Class Description

MIPns: MIP with Non-Signaling Provers

Same as MIP, except that the provers can have non-signaling strategies.

MIPns with two provers is equal to PSPACE [Ito10]. MIPns with polylogarithmically many provers is equal to EXP [KRR13].

Linked From

No class.