List of issues > Series «Mathematics». 2009. Vol. 2
The Algorithms for building of minimal supported solution set forsystems of linear Diophantine equations over discrete domains
This paper contains the review of the results obtained in the last years in the solution area of systems of linear Diophantine constraints over discrete domains.
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.