ИГУ - «Известия Иркутского государственного университета»

«Известия Иркутского государственного университета»

Журнал ИГУ

Список выпусков > Серия «Математика» №2, 2009

Алгоритмы построения предбазиса множества решений систем линейных диофантовых ограничений в дискретных областях

Автор(ы)
C. Л. Крывый, В. Гжывач

Аннотация

В статье дан обзор результатов, полученных авторами в последние годы в области программирования с ограничениями(Constraint Programming) для языка ограничений линейного типа.

Ключевые слова
предбазис, базис множества решений, диофантовые ограничения, дискретные области, программирование с ограничениями

УДК
51.681.3

Литература

1. Крывый С. Л. Критерий совместности систем линейных диофантовых уравненийнадмножествомнатуральныхчисел./С.Л. Крывый// Доклады НАНУ.—1999. —N5. —С.107 –112.

2. Крывый С.Л. О некоторых методах решения и критериях совместности системлинейных диофантовых уравнений в области натуральных чисел./ С.Л. Крывый// ж. Кибернетикаи системныйанализ. — 1999. —N4. —С.12 –36.

3. Крывый С.Л., Гжывач В., Хайдер Л. Алгоритм построения базиса множества решений СЛОДУ в множестве {0, 1}./ С.Л. Крывый, В. Гжывач, Л. Хайдер // Тезисы межд. конф. "Алгебра, логика, кибернетика". — Иркутск. — 2004 (август).— С. 167 –169.

4. Kryvyi S., Matveeva L., Grzywac W. Algorithms for Building of the Minimal SupportedSetofSolutionsofHSLDI overthesetof natural numbers./ S. Kryvyi,L. Matveeva, W. Grzywac // In Proc. Intern. Conf. "Concurent Systems and Programming". —Warszawa. —2005(september). —P.281 –290.

5. Крывый С. Л. Алгоритмы решения систем линейных диофантовых уравненийвцелочисленныхобластях./С. Л. Крывый// Кибернетикаи системный анализ. — 2006. —N2. —С.3 –17.

6. Крывый С. Л. Алгоритмы решения систем линейных диофантовы уравнений вполяхвычетов./ С. Л. Крывый// Тамже. —2007. —N2. —С.15 –23.

7. Крывый С. Л. Алгоритмы решения систем линейных диофантовы уравнений вкольцахвычетов./ С. Л. Крывый// Тамже. —2007. —N5. —С.36 –43.

8. ДонецГ.А.Решение задачио сейфена(0,1)-матрицах./ Г.А. Донец// Там же. —2002. —N1. —С.98 –105.

9. Черемушкин А. В. Лекции по арифметическим алгоритмам в криптографии. /А. В. Черемушкин// Москва:МЦНМО. —2002. —103 с.

10. BaaderF.,Ziekmann J.Unificationtheory/ F. Baader, J.Ziekman,// Handbook of Logic in Artificial Intelligence and Logic Programming. — Oxford University Press. — 1994. – -P. 1 – 85.

11. Allen R., Kennedy K. Automatic translation of FORTRAN program to vector form/ R.Allen, K. Kennedy// ACMTransactions onProgrammingLanguages and systems. — 1987. — v. 9, N4. — P. 491 – 542.

12. CreignouN.,KhannaS.,SudanM.ComplexityClassificationofBooleanConstraint SatisfactionProblems./N.Creignou,S. Khanna,M.Sudan.//SIAMMonographs on Discrete Mathematics and Applications: Society for Industrial and Applied Mathematics. Philadelphia. PA. — 2001. — v. 7. — 347 p.

13. Чугаенко А.В. О реализации TSS-алгоритма./ А. Чугаенко// ж.Управляющиесистемы и машины. — 2007. — N 3. — С. 27 – 33. 14 – 26.