理论计算机科学 可计算性与计算复杂性 释文 probabilistically checkable proofs verifier 概率可检测证明验证者
- reduced enumeration
- reduced equation
- reduced extremal distance
- reduced eye
- reduced form
- reduced formula
- reduced fraction
- reduced free group
- reduced game
- reduced G-bundle
- reduced gradient
- reduced gradient method
- reduced graphene oxide
- reduced Grobner basis
- reduced Grothendieck group
- reduced group
- reduced group C*algebra
- reduced hemoglobin
- reduced homology group
- reduced homology sequence
- reduced incidence algebra
- reduced inspection
- reduced instruction set computer
- reduced instruction set computer, RISC
- reduced intersection