第条免费访问 在上共享 从经典证明中提取程序 作者: 乌尔里希·伯杰 查看个人资料 , 赫尔穆特·施维赫滕贝格 查看个人资料 作者信息和声明 LCC’94:逻辑和计算复杂性国际研讨会论文选集1994年10月第77-97页出版:1994年10月13日出版历史 LCC’94:逻辑和计算复杂性国际研讨会论文选集从经典证明中提取程序第77–97页 上一个第章下一步第章 摘要没有可用的摘要。 引用人查看全部 索引术语 从经典证明中提取程序计算数学连续数学微积分兰姆达微积分计算理论逻辑证明理论 索引项已通过自动分类分配给内容。 建议 量子与经典证明与建议CCC’07:第二十二届IEEE计算复杂性年会会议记录 本文研究量子证明是否比经典证明更强大,或者在复杂性方面,QMA=QCMA。我们证明了关于这个问题的三个结果。首先,我们给出了QMA和QCMA之间的“量子预言分离”。更具体地说,。。。阅读更多信息量子证明的经典验证STOC’16:第四十八届ACM计算理论年度研讨会论文集 我们提出了一个经典的交互协议,用于验证局部哈密顿问题的量子见证态的有效性。根据该协议,近似多层单回合游戏的非局部值以反演。。。阅读更多信息经典通信与量子隐形传态的非经典保真度 在量子隐形传态中,纠缠的作用已被广泛讨论。众所周知,纠缠是实现非经典隐形传态保真度所必需的。在这里,我们重点关注获得……所需的经典通信量。。。阅读更多信息 评论 Please enable JavaScript to view thecomments powered by Disqus. 登录选项检查您是否可以通过登录凭据或您的机构访问本文。登录完全访问权限获取此出版物 问询处贡献者发布于 LCC’94:逻辑和计算复杂性国际研讨会论文选集1994年10月514页国际标准图书编号:3540601783编辑:丹尼尔·利万特 赞助商合作中出版商Springer-Verlag公司柏林,海德堡 出版历史 出版:1994年10月13日 限定符第条会议 资金来源 其他指标查看文章指标文献计量学引文6文章指标6引文总数查看引文0总下载次数下载量(最近12个月)0下载次数(最近6周)0其他指标查看作者指标引用人查看全部数字版以数字版本查看这篇文章。查看数字版数字其他共享此出版物链接https://dl.acm.org/doi/10.5555/648045.745205复制链接在社交媒体上分享 在上共享 0工具书类