“interactive proof”的概念、定义、翻译、参考文献-科学参考

单词	interactive proof
释义	interactive proof Encyclopedia 理学计算复杂性释 interactive proof交互式证明交互式证明（Interactive Proof）是包含了非确定性（nondeterminism）、随机性（randomness）、交互性（interaction）的一种计算模型。一个交互式证明系统由证明器（Prover）和验证器（Verifier）组成。证明器的计算能力无限（非确定性），验证器的计算能力有限但可以利用随机数（随机性），证明器和验证器之间交替地发送消息（交互性）。
随便看	湖南省科学技术信息研究所湖南省科学技术馆湖南省立中山图书馆湖南省立第一师范学校旧址湖南省艺术学校湖南省艺术研究院湖南省花鼓戏保护传承中心湖南省话剧院湖南花灯戏湖南花鼓戏湖南莽山国家级自然保护区湖南衡阳11·3建筑倒塌事故救援湖南衡阳破坏选举案湖南路鼓牌子湖南通道坪坦风雨桥群修缮工程湖南酒埠江国家湿地公园湖南里南京遗址湖南镇水电站湖南阳戏湖南阳明山国家森林公园湖南雪峰湖国家湿地公园湖南飞天山国家地质公园湖南黄桑国家级自然保护区湖南黑茶湖口青阳腔曲本

科学参考收录了854744条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。