Свидетель установлен

В теории компьютерного обучения пусть C — класс понятий в области X а c — понятие в C. , Подмножество S из X является набором-свидетелем для c в C, если c ( S ) проверяет c (т. е. c является единственным непротиворечивым понятием относительно c ( S )). Минимальный размер набора-свидетеля для c называется размером-свидетелем или номером спецификации и обозначается $w_{C}(c)$. Значение $\max\{w_{C}(c):c\in C\}$ называется измерением C. ​ обучающим