RUS  ENG
Полная версия
ЖУРНАЛЫ // Труды по дискретной математике // Архив

Тр. по дискр. матем., 2002, том 5, страницы 227–234 (Mi tdm85)

Эта публикация цитируется в 2 статьях

Эффективные алгоритмы построения графа общего решения для систем булевых уравнений

В. Г. Смирнов


Аннотация: Введено понятие графа общего решения системы булевых уравнений (в том числе и с искаженной правой частью). Установлена возможность построения асимптотически эффективных алгоритмов решения некоторых классов систем булевых уравнений.



© МИАН, 2024