ИСТИНА

Конечные вероятностные пространства важны в таких направлениях исследования операций как data mining, компьютерное моделирование, сетевая и компьютерная безопасность, криптография и многих других. Рассматривается сложность проверки простой гипотезы H(0; n) против сложной альтернативы H(1; n) в конечных моделях. Путь упрощения вычисления критериев это построить критические множества, зависящие от наименьших запретов (наименьшие вектора, имеющие вероятность 0). Доказаны необходимые и достаточные условия, при которых существует состоятельная последовательность статистических критериев и все критические множества критериев определяются наименьшими запретами. Существование такой последовательности критериев эквивалентно существованию строго состоятельной последовательности критериев.