ИНДИВИДУАЛЬНОЕ ТЕСТИРОВАНИЕ БЕСПОВТОРНЫХ ФУНКЦИЙ // Ученые записки КФУ. Физико-математические науки 2009 N2

Abstract

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