MIP∗ = REに至る過程

Decrypt history, Encrypt future™

MIP∗ = REに至る過程

https://www.math.ias.edu/~avi/TALKS/PvsNP_Clay%20Research%20Conference_2025.pdf#page=33.00

MIP∗ = RE(Nov 7 2022)

Recursively Enumerable(RE)

R≠RE

P vs NP

IP=PSPACE

IP*=PSPACE

MIP=NEXP

(MIP=2IPで必要十分で3,4,5とふやしても効果はない)

MIP*=RE