“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）组成。证明器的计算能力无限（非确定性），验证器的计算能力有限但可以利用随机数（随机性），证明器和验证器之间交替地发送消息（交互性）。
随便看	铁路运输能力铁路运输计划铁路运输调度铁路运输量铁路选线设计铁路通信铁路通信业务铁路通信信号电磁兼容铁路通信信号系统防雷铁路通信监测检测铁路通信线路铁路通信网络管理铁路通过能力铁路道口信号铁路道岔转换设备铁路重大事故铁路钢桥疲劳检算铁路钢-混凝土结合梁铁路防沙铁路隧道养护维修铁路隧道净空断面积铁路隧道救援疏散通道铁路隧道防护门铁路集便卸污铁路集装箱运输