Ամսագրի կամ հրապարակման վերնագիր:
Հրապարակման ամսաթիվ:
Հատոր:
ISSN:
Լրացուցիչ տեղեկություն:
սեղմիր այստեղ կապին հետևելու համար
Վերնագիր:
Об асимптотических оценках числа решений систем булевых уравнений с зависимыми переменными
Ստեղծողը:
Խորագիր:
Ծածկույթ:
Ամփոփում:
Известно, что многие вопросы функционирования дискретных управляющих систем сводятся к решению систем булевых уравнений, либо к определению числа их решений. Таковы, например, некоторые задачи синтеза цифровых автоматов, нахождения внутренне и внешне устойчивых множеств в графе, вопросы теории тестов и др. Естественно предполагать, что множество решений системы будет сужаться с ростом числа уравнений и при достаточно большом количестве последних будет пустым.