Список выпусков > Серия «Математика». 2009. Том 2
Алгоритмы построения предбазиса множества решений систем линейных диофантовых ограничений в дискретных областях
В статье дан обзор результатов, полученных авторами в последние годы в области программирования с ограничениями(Constraint Programming) для языка ограничений линейного типа.
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.