Алгоритмы построения предбазиса множества решений систем линейных диофантовых ограничений в дискретных областях
| Авторы: | 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. |