Место издания:М.: Издательский отдел факультета ВМиК МГУ (лицензия ИД 05899 от 24.09.2001); МАКС Пресс
Первая страница:80
Последняя страница:81
Аннотация:Доказано, что с ростом n стремится к единице доля зависящих от n переменных функций алгебры логики, для каждой из которых существуют реализующие их контактные схемы, допускающие проверяющие тесты размыкания (проверяющие тесты замыкания) линейной по n длины.