Оценки длины тестов и сертификатов для бесповторных функций Кафтан Дарья Владимировна

Краткое описание

Кафтан, Дарья Владимировна.
Оценки длины тестов и сертификатов для бесповторных функций : диссертация ... кандидата физико-математических наук : 01.01.09 / Кафтан Дарья Владимировна; [Место защиты: ФГБОУ ВО «Московский государственный университет имени М.В. Ломоносова»]. - Москва, 2021. - 102 с. : ил.
Оглавление диссертациикандидат наук Кафтан Дарья Владимировна
Введение
Глава 1. Терминология и обозначения
§ 1.1. Булевы функции и их свойства
§ 1.2. Тесты и сертификаты
Глава 2. Оценки длины сертификатов повторности . . 25 § 2.1. Сертификаты повторности в базисе с дискриминирующей функцией
§ 2.2. Сертификаты повторности в базисах с монотонными
функциями Стеценко
§2.3. Сертификаты повторности в базисе всех функций I
переменных
Глава 3. Проверяющие тесты для функций, бесповторных в элементарном базисе, расширенном монотонными функциями Стеценко
§3.1. Представление бесповторных функций в виде корневых деревьев
§3.2. Леммы о восстановлении бесповторных функций
§ 3.3. Верхние оценки длины тестов
Заключение
Приложение А. Таблицы
Приложение Б. Процедуры
Список литературы
Введение