“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）组成。证明器的计算能力无限（非确定性），验证器的计算能力有限但可以利用随机数（随机性），证明器和验证器之间交替地发送消息（交互性）。
随便看	城市残存自然植被城市残存自然群落城市民族工作条例城市气象学城市气象灾害城市水文城市水文效应城市水系城市水系统规划城市污水量城市治理城市流浪乞讨人员救助制度城市测量城市测量数据库城市消防规划城市消防远程监控系统城市湖泊城市湿地城市热岛效应分析城市热岛效应强度城市热环境城市燃气供应系统城市燃气气源城市燃气管网城市物流