理学 计算复杂性 释 proof complexity 证明复杂性 证明复杂性（proof complexity）是计算复杂性的研究方向之一，它关注的是逻辑系统中命题的最短证明的长度。
理论计算机科学 可计算性与计算复杂性 释文 proof complexity 证明复杂性
- photon-photon scattering
- photon pressure force
- photon production
- photon recoil effect
- photon rocket
- photon scanning tunneling microscope
- photon scanning tunneling microscope, PSTM
- photon scanning tunnel microscope
- photon scattering
- photon sieve
- photon sieve telescope
- photon sphere
- photon state
- photon statistics
- photon stimulated desorption
- photon stimulated desorption, PSD
- photon to electron conversion efficiency
- photon-to-electron conversion efficiency
- photon-to-electron coversion efficiency
- photon trapping
- photonuclear
- photonuclear absorption
- photonuclear reaction
- photonucleation
- photon up conversion