理学 计算复杂性 释 interactive proof 交互式证明 交互式证明（Interactive Proof）是包含了非确定性（nondeterminism）、随机性（randomness）、交互性（interaction）的一种计算模型。一个交互式证明系统由证明器（Prover）和验证器（Verifier）组成。证明器的计算能力无限（非确定性），验证器的计算能力有限但可以利用随机数（随机性），证明器和验证器之间交替地发送消息（交互性）。
理论计算机科学 可计算性与计算复杂性 释文 interactive proofs 交互式证明
- Catalan-Mersenne number
- Catalan National Art Museum
- Catalan number
- Catalan problem
- Catalans
- Catalan solid
- Catalan surface
- Catalan triangle
- Catalan trisectrix
- catalase
- Cataldi
- catalog
- cataloging rules
- Catalog Marketing
- catalog number
- Catalog of Ancient Jade Articles
- catalog of archival documents
- Catalog of Arithmetical Books
- Catalog of Buddhist Scriptures in the Great Tang
- catalog of charts and publications
- Catalog of Chinese Folk Arts
- Catalog of Chinese Philology
- Catalog of Chinese Popular Novels
- Catalog of Confucian Classics
- Catalog of Confucian Classics from the General Study of the Literary Remains