RUS  ENG
Полная версия
ЖУРНАЛЫ // Ученые записки Казанского университета. Серия Физико-математические науки // Архив

Учён. зап. Казан. гос. ун-та. Сер. Физ.-матем. науки, 2009, том 151, книга 2, страницы 36–44 (Mi uzku743)

Пятнадцатая международная конференция "Проблемы теоретической кибернетики"

Индивидуальное тестирование бесповторных функций

А. А. Вороненко, Д. В. Чистиков

Факультет ВМК Московского государственного университета имени М. В. Ломоносова

Аннотация: В работе исследуются специальные свойства графов, связанных с бесповторными функциями и их индивидуальным тестированием. Доказана основная теорема, характеризующая множество всевозможных проверяющих тестов, продемонстрировано ее применение к задаче тестирования относительно бесповторной альтернативы в базисе всех функций двух переменных: получены индивидуальные верхние оценки минимальной длины тестов, приведен пример последовательности легко тестируемых функций.

Ключевые слова: бесповторная функция, тест, бесповторная альтернатива, индивидуальное тестирование, несвязный граф.

УДК: 519.718

Поступила в редакцию: 12.03.2009



Реферативные базы данных:


© МИАН, 2024