“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）组成。证明器的计算能力无限（非确定性），验证器的计算能力有限但可以利用随机数（随机性），证明器和验证器之间交替地发送消息（交互性）。
随便看	俄国1861年的农奴制改革俄国1905年革命俄国1917年前法律俄国–伊朗战争俄国临时政府俄国二月革命俄国产业革命俄国公共教育运动俄国农奴制俄国农奴制度俄国农奴制经济俄国农村公社制度俄国农民起义俄国历法俄国地方自治运动俄国左派社会革命党俄国-希瓦条约俄国形式主义俄国彼得一世的经济改革俄国征服中亚俄国情史俄国植被学派俄国-浩罕条约俄国美术俄国象征派