理论计算机科学 可计算性与计算复杂性 释文 probabilistically checkable proofs, PCP 概率可检测证明
- principal ideal domain
- principal ideal ring
- principal ideal theorem
- principal idele
- principal idempotent
- principal idempotent element
- principal identity
- principal indecomposable module
- principal indecomposable representation
- principal integral domain
- principal integral representation
- principal invariant
- principal isotope
- principal isotropy group
- principalization
- principal lattice element
- principal leadership
- principal left ideal
- principal left ideal ring
- principal line
- principal line of photograph
- principally analytic set
- principally polarized variety
- principal mapping
- principal matrix