理学 计算复杂性 释 interactive proof 交互式证明 交互式证明（Interactive Proof）是包含了非确定性（nondeterminism）、随机性（randomness）、交互性（interaction）的一种计算模型。一个交互式证明系统由证明器（Prover）和验证器（Verifier）组成。证明器的计算能力无限（非确定性），验证器的计算能力有限但可以利用随机数（随机性），证明器和验证器之间交替地发送消息（交互性）。
理论计算机科学 可计算性与计算复杂性 释文 interactive proofs 交互式证明
- computed tomography (CT)
- computed tomography（CT） scan image
- compute-intensive task
- computer
- computer abuse
- computeracy
- computer-aided analysis
- computer-aided analysis, CAA
- computer aided anthropometry technology
- computer aided apparel design
- computer aided apparel grading design
- computer aided apparel marker-making design
- computer aided apparel process planning
- computer aided apperal style design
- computer-aided building design
- computer-aided classification indexing
- computer aided communication
- computer-aided conceptual design
- computer aided controlled experiment
- computer-aided controlled experiment
- Computer Aided Design
- computer aided design
- computer-aided design
- computer-aided design, CAD
- computer aided design expression