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

单词	interactive proof
释义	interactive proof Encyclopedia 理学计算复杂性释 interactive proof交互式证明交互式证明（Interactive Proof）是包含了非确定性（nondeterminism）、随机性（randomness）、交互性（interaction）的一种计算模型。一个交互式证明系统由证明器（Prover）和验证器（Verifier）组成。证明器的计算能力无限（非确定性），验证器的计算能力有限但可以利用随机数（随机性），证明器和验证器之间交替地发送消息（交互性）。
随便看	LaCoste pendulum Lacour motor Lac plan lacquer Lacquer Box Inlaid With a Scene of Dragons Striking through Clouds and Seawater in Mother-of-pearl Made by Jiang Qianli Lacquer Box in the Shape of a Mandarin Duck from Zeng Marquis Yi's Tomb lacquer cauldron with cloud and vortex patterns Lacquer Coffin from a Western Han Tomb at Mawangdui Lacquer Coffin from Tombs of Han Dynasty at Mawangdui Lacquered Leather Shield from a Chu Tomb at Changsha lacquer fat lacquer fern family Lacquer Figure with Meridian-points Marked from Tombs of Han Dynasty at Laoguanshan lacquer fragments with turquoise inlays of the Shang Dynasty lacquer from Hemudu lacquer from Taosi lacquer gauze lacquer inlaid with multi-precious objects lacquer ladle with gold inlay from a Tomb of the Spring and Autumn Period at Yishui Lacquer Lian Toilet Box with Needle-incised Design from a Chu Tomb at Changsha lacquer painting lacquer painting in Zhu Ran's Tomb lacquer paintings of Han Dynasty lacquer paintings on Guyuan coffin Lacquer Plate with Qianlong Mark

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