理学 计算复杂性 释 interactive proof 交互式证明 交互式证明（Interactive Proof）是包含了非确定性（nondeterminism）、随机性（randomness）、交互性（interaction）的一种计算模型。一个交互式证明系统由证明器（Prover）和验证器（Verifier）组成。证明器的计算能力无限（非确定性），验证器的计算能力有限但可以利用随机数（随机性），证明器和验证器之间交替地发送消息（交互性）。
理论计算机科学 可计算性与计算复杂性 释文 interactive proofs 交互式证明
- orthonormal tetrad
- orthonormal transformation
- orthonormal vectors
- orthonormal wavelet
- orthopaedic polymer
- orthopanchromatic film
- ortho-para conversion
- ortho/para directing
- ortho para directing group
- ortho-para directing group
- ortho-para equilibrium
- ortho-para hydrogen conversion system
- ortho-para ratio
- orthopedic bone plate
- orthopedic bone screw
- orthopedic bone wire
- orthopedic pin
- orthopedics
- orthopedic shoes（pad）
- orthopedic surgical clamp
- orthopedic surgical hook & needle
- orthopedic surgical instruments with power
- orthopedic surgical knife and cone
- orthopedic surgical operation instruments
- orthopedic surgical saw\chisel\file