Class Description

MIP^ns: MIP with Non-Signaling Provers

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

MIP^ns with two provers is equal to PSPACE [Ito10]. MIP^ns with polylogarithmically many provers is equal to EXP [KRR13].

Linked From

No class.