NP难题之外：一个更直观的复杂度问题
2025-04-17
本文作者质疑将停机问题作为NP难问题之上的典型例子，认为其不够直观且易于混淆。停机问题虽然不可判定，但验证“是”的答案却可以通过有限步骤运行程序来实现。作者提出了一个更易理解的例子：在一个无限网格上移动棋子，判断能否到达目标点。这个问题在低维度下是PSPACE完全的，维度增加后复杂度会迅速提升，最终达到ACKERMANN完全，直观地展示了远超NP问题的复杂性。