Классы RP, BPP, PP. 2–раундовые интерактивные доказательства. Многораундовые интерактивные доказательства.
