“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）组成。证明器的计算能力无限（非确定性），验证器的计算能力有限但可以利用随机数（随机性），证明器和验证器之间交替地发送消息（交互性）。
随便看	飞行机组人员飞行机组应急出口撤离演示试验飞行条件飞行标准管理飞行校验飞机飞行模拟器飞行模拟器试验鉴定飞行比特飞行汽车飞行热线飞行疲劳飞行空间定向飞行等时差线飞行管理系统飞行者一号飞机飞行能力飞行表演飞行训练模拟器飞行记录器飞行试验飞行试验不安全事件飞行试验任务下达飞行试验任务单飞行试验任务讲评飞行试验地面实验室