网站首页  词典首页

请输入您要查询的英文单词:

 

单词 probabilistically checkable proofs
释义

probabilistically checkable proofs

  • 网络证明;概率验证模型;概率可验证证明
1.
证明
他提出可以利用计算机科学产生随机数列,实 现可概率检查的证明(probabilistically checkable proofs)。交互式的证明与说服将 …
www.docin.com
2.
概率验证模型
被称为概率验证模型probabilistically checkable proofs)。定义3(Fortnow et al.[24])若M 是一个多项式时间概率图灵机并 …
blog.sina.com.cn
3.
概率可验证证明
... proofs)Raz (1998);另一篇是关于概率可验证证明(probabilistically checkable proofs)Raz & Safra (1997).
glossy.smartvehiclefinance.com

例句

随便看

 

英汉双解词典包含2704715条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/2/28 19:43:38