Аннотация:
Рассмотрены возможности применения специальных вычислителей, основанных на использовании ассоциативной памяти, к решению систем булевых уравнений. Предложен алгоритм решения систем булевых уравнений с использованием ассоциативных вычислителей. Выделены классы систем булевых уравнений, которые могут эффективно решаться предложенным алгоритмом. Получены субэкспоненциальные оценки математического ожидания трудоемкости использования предложенного алгоритма для решения систем уравнений из выделенных классов систем булевых уравнений. Библ. 7. Фиг. 5.
Ключевые слова:системы булевых уравнений, ассоциативная память, комплекс системы уравнений, алгоритмы склеивания и согласования.
УДК:519.7
Поступила в редакцию: 19.02.2010 Исправленный вариант: 25.05.2010