ИСТИНА

В докладе излагаются утверждения о том, что для произвольной отличной от константы булевой функции f от n переменных существуют тестопригодные реализующие функцию f обобщенные итеративные контактные схемы, допускающие а) единичный проверяющий тест замыкания (размыкания) длины O(1), б) единичный проверяющий тест длины O(1), а также имеются тестопригодные моделирующие функцию f обобщенная итеративная контактная схема и контактная схема, допускающие единичные проверяющие тесты длин O(1).