麻省理工学院研究人员证明超级马力欧关卡是不可判定的

麻省理工学院理论计算机科学项目，特别是 Erik Demaine 的“算法下界：硬度证明的乐趣”课程的研究表明，超级马力欧关卡是不可判定的。这意味着无法创建一个计算机程序来始终确定马力欧是否能到达某些关卡的终点。这一发现将超级马力欧置于 RE-完全复杂度类别中，表明它属于此类游戏中可想象的最难问题，甚至超过了旅行商问题的复杂度。 AI

影响 展示了计算的理论极限，影响了我们对解决问题能力的理解。

排序理由 学术研究论文，详细介绍了计算复杂度发现。[lever_c_demoted from research: ic=1 ai=0.4]

在 MIT Technology Review 阅读 →

• Erik Demaine
• Goomba
• Hayashi Ani
• Holden Hall
• MacArthur Fellows Program
• MIT Hardness Group
• Naveen R Venkatesan
• Nintendo Entertainment System
• Princess Peach
• Ricky Ruiz
• Spinies
• travelling salesperson problem

• 论文
• 其他

AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →