理学 归约 释 PSPACE-completeness PSPACE完全性 PSPACE完全性（PSPACE-completeness）刻画了多项式空间PSPACE类中在多项式时间归约下最难的一类问题。
理论计算机科学 可计算性与计算复杂性 释文 PSPACE-completeness PSPACE完全性 理论计算机科学 可计算性与计算复杂性 释文 PSPACE-completeness PSPACE完全性
- formally smooth transformation
- formally undecidable formula
- formally undecidable proposition
- formally unsolvable formula
- formal manifold
- formal mathematical analysis
- formal method
- formal methods
- formal methods in analythizing cryptographic protocols
- formal model
- formal models of language
- formal modification
- formal moduli
- formal moduli scheme
- formal neighborhood
- formal ontology
- formal organizational control
- formal parameter
- formal polynomial
- formal potential
- formal power series
- formal power series ring
- formal pragmatics
- formal product
- formal programming language