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》中提出了一種新的復
相關文章
相關標籤/搜索