互動式多項式時間等於多項式空間問題(interactive polynormial time equals polynomial space problem)是2018年公布的計算機科學技術名詞。
基本介紹
- 中文名:互動式多項式時間等於多項式空間問題
- 外文名:interactive polynormial time equals polynomial space problem
- 所屬學科:計算機科學技術
- 公布時間:2018年
定義,出處,
定義
判斷互動式多項式時間計算複雜性是否等於多項式空間計算複雜性的問題,該問題由沙米爾(Shamir)在1990年給出了肯定的證明,即IP = PSPACE。
出處
《計算機科學技術名詞 》第三版。