Запис Детальніше

ALGORITHMS OF SOLVING SYSTEMS OF LINEAR DIOPHANTINE EQUATIONS IN THE CONTEXT OF CONSTRAINT PROBLEM. PART 2

Наукові журнали НАУ

Переглянути архів Інформація
 
 
Поле Співвідношення
 
Title ALGORITHMS OF SOLVING SYSTEMS OF LINEAR DIOPHANTINE EQUATIONS IN THE CONTEXT OF CONSTRAINT PROBLEM. PART 2
АЛГОРИТМЫ РЕШЕНИЯ СИСТЕМ ЛИНЕЙНЫХ ДИОФАНТОВЫХ УРАВНЕНИЙ В КОНТЕКСТЕ ПРОБЛЕМЫ ВЫПОЛНИМОСТИ ОГРАНИЧЕНИЙ. Ч. 2
АЛГОРИТМИ РОЗВ'ЯЗАННЯ СИСТЕМ ЛІНІЙНИХ ДІОФАНТОВИХ РІВНЯНЬ В КОНТЕКСТІ ПРОБЛЕМИ ВИКОНУВАНОСТІ ОБМЕЖЕНЬ. Ч. 2
 
Creator Кривий, Сергій Лук'янович; Київський національний університет імені Т. Шевченка
 
Subject Diofantine equations; constraint satisfaction problem; joint criteria
51.681.3
Диофантовые уравнения; выполнимость ограничений; критерий совместности
51.681.3
Діофантові рівняння; виконуваність обмежень; критерій сумісності
51.681.3
 
Description The algorithms for computation of minimal supported set of solutions for systems of linear Diophantine homogeneous equations over set of natural numbers and basis of systems of linear Diophantine homogeneous and inhomogeneous equations in ring and field of remainders on modulo of a number. This algorithms consider in context of solving of general constraint satisfaction problem.
Предложены алгоритмы построения минимального порождающего множества решений систем линейных однородных уравнений в множестве натуральных чисел и базиса множества решений системы линейных однородных и неоднородных диофантовых уравнений в кольцах и полях вычетов по модулю некоторого числа. Эти алгоритмы рассматриваются в контексте решения проблемы выполнимости системы ограничений.
Запропоновано алгоритми побудови мінімальної породжуючої множини розв’язків систем лінійних однорідних рівнянь в множині натуральних чисел і базису множини розв’язків системи лінійних однорідних і неоднорідних діофантових рівнянь у кільцях і полях лишків за модулем деякого числа. Ці алгоритми розглядаються в контексті розв’язання проблеми виконуваності системи обмежень.
 
Publisher National Aviation University
 
Contributor


 
Date 2014-12-24
 
Type


 
Format application/pdf
 
Identifier http://jrnl.nau.edu.ua/index.php/IPZ/article/view/7498
 
Source Інженерія програмного забезпечення; Том 18, № 2 (2014); 6
Engineering Software; Том 18, № 2 (2014); 6
Инженерия программного обеспечения; Том 18, № 2 (2014); 6
 
Language uk