理学 计算复杂性 释 proof complexity 证明复杂性 证明复杂性（proof complexity）是计算复杂性的研究方向之一，它关注的是逻辑系统中命题的最短证明的长度。
理论计算机科学 可计算性与计算复杂性 释文 proof complexity 证明复杂性
- photolithography optical source
- photolithography technology
- photolithotrophic autotrophy
- photolithotrophy
- photolocking
- photolog
- photology
- photolometer
- photoluminescence
- photoluminescence method
- photoluminescence spectrum
- photoluminescent material
- photoluminescent polymer
- photolyase
- photolysis
- photolysis catalyst
- photolysis rate
- photolyte
- photolytic
- photom
- photoma
- photomacrograph
- photomagnetic
- photomagnetic effect
- photomagnetism