О возможности проведения любого активного доказательства за ограниченное число раундов

В 1990 г. Бабаи, Фортнов и Ланд построили мультиинтерактивную систему доказательств для некоторого $\operatorname{NEXP}$-полного множества. Тем самым было доказано совпадение сложностных классов $\operatorname{MIP}$ и $\operatorname{NEXP}$. В настоящей работе для произвольного заданного $\operatorname{NEXP}$-множества строится мультиинтерактивный протокол $\langle V,\ P_1,\ P_2\rangle$ c допустимой вероятностью ошибки $1/3$ и количеством раундов, ограниченным некоторой универсальной константой $c$, т.е. доказывается совпадение классов $\operatorname{MIP}$ и $\operatorname{IP(2,c)}$ для некоторой константы $c$.