“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）组成。证明器的计算能力无限（非确定性），验证器的计算能力有限但可以利用随机数（随机性），证明器和验证器之间交替地发送消息（交互性）。
随便看	渔业循环经济渔业总产值渔业技术经济渔业技术经济效果评价指标体系渔业投入控制渔业捕捞渔业捕捞许可管理规定渔业文化渔业最佳持续产量渔业最大可持续产量渔业最大经济产量渔业机械渔业机械仪器研究所渔业权渔业民俗文化渔业气象渔业气象灾害渔业气象预报渔业水域污染事故监测渔业水域污染源监测渔业水域沉积物质量监测渔业水域生物监测渔业水质标准渔业水质监测渔业污染事故经济损失计算方法