理学 计算复杂性 释 interactive proof 交互式证明 交互式证明（Interactive Proof）是包含了非确定性（nondeterminism）、随机性（randomness）、交互性（interaction）的一种计算模型。一个交互式证明系统由证明器（Prover）和验证器（Verifier）组成。证明器的计算能力无限（非确定性），验证器的计算能力有限但可以利用随机数（随机性），证明器和验证器之间交替地发送消息（交互性）。
理论计算机科学 可计算性与计算复杂性 释文 interactive proofs 交互式证明
- electronic density of states
- electronic design rule
- electronic design rule, EDR
- electronic device
- electronic diamagnetism
- electronic dictionaries
- electronic dictionary
- electronic dictionary function
- electronic dictionary structure
- electronic differential speed
- electronic digital computer
- electronic digital integrator
- electronic distance meter，EDM instrument
- electronic document
- electronic document and records management system
- Electronic documents/ electronic data interchange
- electronic document standard
- electronic drift
- Electronic Drum
- Electronice commerce 4C strategy
- Electronice commerce 4P strategy
- Electronice commerce 4R strategy
- electronice commerce marketing strategy
- Electronice commerce place strategy
- Electronice commerce price strategy