理学 计算复杂性 释 interactive proof 交互式证明 交互式证明（Interactive Proof）是包含了非确定性（nondeterminism）、随机性（randomness）、交互性（interaction）的一种计算模型。一个交互式证明系统由证明器（Prover）和验证器（Verifier）组成。证明器的计算能力无限（非确定性），验证器的计算能力有限但可以利用随机数（随机性），证明器和验证器之间交替地发送消息（交互性）。
理论计算机科学 可计算性与计算复杂性 释文 interactive proofs 交互式证明
- non-custodial penalty，non-imprisonment punishment
- noncyclic
- noncyclic code
- noncyclic coordinate
- noncyclic electron flow
- non-cyclicity
- noncyclic photophosphorylation
- non-cyclic variation
- non-cylindrical
- noncylindrical fold
- non-cylindrical ruled surface
- non-cytotoxic anticancer drugs
- non-Darcy flow
- nondecidability
- non-declarative memory
- non-decomposable
- non-decomposable Markov chain
- non-decomposable matrix
- non-decreasing
- non decreasing function
- non-decreasing function
- nondecreasing function
- non-decreasing sequence
- non-deducibility
- non-deducibility proof