机构名称：
¥ 1.0
（a）Mahadev [Mah18]的量子计算的经典验证。本文解决了量子计算的验证问题：从量化设备获得的经典数据，该量子设备声称具有执行任意量子电路（多项式大小）的能力，如何确保经典的“ Veriefer”确保报告的数据表明计算机的正确结果？对于具有自然经典证书的问题，这是一项简单的任务。例如，如果问题要确定为输入整数n，则n具有大于（例如）n 1/4的主要因素，则可以通过在存在的情况下提供该因素来证明积极的答案（可以通过提供n的完整质量分解N）来证明它。使用Shor的保理算法，可以在量子多项式时间内确定N的质量分解；验证它可以在经典的多项式时间内完成。
简介
主要关键词
相关文件推荐
