|
Ученые записки Казанского государственного университета. Серия Физико-математические науки, 2009, том 151, книга 2, страницы 36–44
(Mi uzku743)
|
|
|
|
Пятнадцатая международная конференция "Проблемы теоретической кибернетики"
Индивидуальное тестирование бесповторных функций
А. А. Вороненко, Д. В. Чистиков Факультет ВМК Московского государственного университета имени М. В. Ломоносова
Аннотация:
В работе исследуются специальные свойства графов, связанных с бесповторными функциями и их индивидуальным тестированием. Доказана основная теорема, характеризующая множество всевозможных проверяющих тестов, продемонстрировано ее применение к задаче тестирования относительно бесповторной альтернативы в базисе всех функций двух переменных: получены индивидуальные верхние оценки минимальной длины тестов, приведен пример последовательности легко тестируемых функций.
Ключевые слова:
бесповторная функция, тест, бесповторная альтернатива, индивидуальное тестирование, несвязный граф.
Поступила в редакцию: 12.03.2009
Образец цитирования:
А. А. Вороненко, Д. В. Чистиков, “Индивидуальное тестирование бесповторных функций”, Учён. зап. Казан. гос. ун-та. Сер. Физ.-матем. науки, 151, № 2, Изд-во Казанского ун-та, Казань, 2009, 36–44
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/uzku743 https://www.mathnet.ru/rus/uzku/v151/i2/p36
|
Статистика просмотров: |
Страница аннотации: | 464 | PDF полного текста: | 156 | Список литературы: | 58 |
|