Выдержка из книги
Козлов В.Я.
Труды по дискретной математике Том8
В § 4 вводится понятие графа решений системы fc - значных уравнений. Рассматриваются алгоритмы построения графа решений, вычисления числа решений и перечисления всех решений систем, погружаемых в заданный модуль. Введены в рассмотрение 5-классы систем fc - значных уравнений и определены понятия эффективных и асимптотически эффективных последовательностей алгоритмов решения для систем из данного 5-класса.
