Journal or Publication Title:
Date of publication:
Volume:
ISSN:
Additional Information:
Title:
Об асимптотических оценках числа решений систем булевых уравнений с зависимыми переменными
Creator:
Subject:
Coverage:
Abstract:
Известно, что многие вопросы функционирования дискретных управляющих систем сводятся к решению систем булевых уравнений, либо к определению числа их решений. Таковы, например, некоторые задачи синтеза цифровых автоматов, нахождения внутренне и внешне устойчивых множеств в графе, вопросы теории тестов и др. Естественно предполагать, что множество решений системы будет сужаться с ростом числа уравнений и при достаточно большом количестве последних будет пустым.