Изменения
→Доказательство
Число <tex>K</tex> выберем позже.
Итак, есть множество <tex>S \subset 2^{m}</tex>. Построим интерактивный протокол доказательства, и мы хотим доказать, такой что:
* если <tex>|S|>2K</tex>, то <tex>V</tex> с высокой вероятностью примет слово;
* если <tex>|S|<K</tex>, то <tex>V</tex> с высокой вероятностью не примет слово.
