|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
О проверяющих тестах для некоторого класса функций, реализованных контактными схемамидоклад на конференции
- Автор: Романов Д.С.
- Международная Конференция : Ломоносовские чтения - 2014. Секция вычислительной математики и кибернетики
- Даты проведения конференции: 14-23 апреля 2014
- Тип доклада: Устный
- Докладчик: Романов Д.С.
- Место проведения: факультет ВМК МГУ имени М.В. Ломоносова, Russia
-
Аннотация доклада:
Доказано, что с ростом n стремится к единице доля таких зависящих от n переменных функций алгебры логики, что для каждой из них существует реализующая ее контактная схема, допускающая проверяющий тест размыкания (проверяющий тест замыкания) линейной по n длины.
- Доклад на конференции выполнен в рамках проекта (проектов):
- Добавил в систему: Врагова Елена Юрьевна