计算机科学家为何咨询神谕？（音频）

计算机科学家正在使用一种名为“神谕”的假设设备来推进计算复杂性理论，探索关于问题解决难度的基本问题。 这些理论工具能够立即对特定问题提供正确的“是”或“否”答案，帮助研究人员理解不同计算问题类别之间的关系。 神谕在量子计算研究中尤其有价值，促进了例如彼得·肖尔在1994年提出的大数分解量子算法的突破。 此外，该技术还帮助研究人员排除了某些方法，从而针对计算机科学中的核心问题P与NP问题进行了更深入的研究。

打开APP收听