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