Аннотация:
Изучаются конечные системы диофантовых уравнений над конечными конфигурациями. Предложена процедура проверки совместности любой такой системы уравнений. С помощью результатов исполнения процедуры строится множество всех решений системы уравнений. Найдена оценка времени работы предложенной процедуры в общем случае. Выделен класс систем, для которых вопрос об их совместности решается за полиномиальное время.
Ключевые слова:конфигурация, инцидентность, система уравнений, вычислительная сложность.
Полный текст:
PDF файл (401 kB)
