AHPs——algebraic holographic proofs

1. Interactive proofs interactive proofs correspond to languages decidable in polynomial space: IP[poly(n)] = PSPACE。 1.1 L.Babai1985年论文 在L. Babai的1985年论文《Trading group theory for randomness》中提出了一种新的复
相关文章
相关标签/搜索