理学 计算复杂性 释 interactive proof 交互式证明 交互式证明（Interactive Proof）是包含了非确定性（nondeterminism）、随机性（randomness）、交互性（interaction）的一种计算模型。一个交互式证明系统由证明器（Prover）和验证器（Verifier）组成。证明器的计算能力无限（非确定性），验证器的计算能力有限但可以利用随机数（随机性），证明器和验证器之间交替地发送消息（交互性）。
理论计算机科学 可计算性与计算复杂性 释文 interactive proofs 交互式证明
- parity digit
- parity inversion
- parity nonconservation
- parity of gamma radiation
- parity of γ radiation
- parity operator
- parity phenomenon
- parity progression ratio
- parity representation
- parity selection rule
- parity selection rules
- parity space fault diagnosis method
- parity transformation
- parity violation
- parity violation in beta decay
- parity violation in β-decay
- park and outside traffic management
- park and ride place design
- Park Bad-Muskau
- Park Chung Hee
- park circular transformation
- Park des Buttes-Chaumont
- Park Du-jin
- Parker
- Parker and Lee