“interactive proof”的概念、定义、翻译、参考文献-科学参考

interactive proof

Encyclopedia

理学计算复杂性释
interactive proof交互式证明
交互式证明（Interactive Proof）是包含了非确定性（nondeterminism）、随机性（randomness）、交互性（interaction）的一种计算模型。一个交互式证明系统由证明器（Prover）和验证器（Verifier）组成。证明器的计算能力无限（非确定性），验证器的计算能力有限但可以利用随机数（随机性），证明器和验证器之间交替地发送消息（交互性）。

单词	interactive proof
释义	interactive proof Encyclopedia 理学计算复杂性释 interactive proof交互式证明交互式证明（Interactive Proof）是包含了非确定性（nondeterminism）、随机性（randomness）、交互性（interaction）的一种计算模型。一个交互式证明系统由证明器（Prover）和验证器（Verifier）组成。证明器的计算能力无限（非确定性），验证器的计算能力有限但可以利用随机数（随机性），证明器和验证器之间交替地发送消息（交互性）。
随便看	莫尔斯萨德定理莫尔斯，S.F.B. 莫尔条纹莫尔根施特恩莫尔格勒河莫尔法莫尔[滴定]法莫尔滴定法莫尔特曼，J. 莫尔玖柯娃，N.V. 莫尔申，N.N. 莫尔盐莫尔纳尔莫尔纳尔，F. 莫尔蒂耶，G.de 莫尔达哈里，T. 莫尔韦德莫尔韦德公式莫尔韦德投影莫尔顿莫尔顿波莫尔顿，A.L. 莫尔-马斯凯罗尼作图莫尔，C.O. 莫尔，J.H.H.