本文提出了一个理解计算不可判定性的新框架，将艾伦·图灵的工作与格奥尔格·康托尔的集合论联系起来。它引入了一种根据输入数据的概率分布来衡量问题不可判定性程度的方法。该研究还定义了三个新的不可判定问题复杂度类——U-complete、D-complete 和 H-complete——并否定地回答了一个关于不可判定问题复杂度的基本问题，类似于P vs. NP问题。 AI
影响 引入了计算和不可判定性的新理论框架，可能影响未来关于复杂问题解决的AI研究。
排序理由 这是一篇介绍计算领域新理论概念和复杂度类的研究论文。
- Alan Turing
- Alonzo Church
- Cook/Levin
- Eugene Eberbach
- Georg Cantor
- John von Neumann
- Kurt Gödel
- NP-complete
- P vs. NP
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
