为什么 LeetCode 的判题机，永远只说"超时"，从来不说"死循环"？你写个 while(true); 丢上去，它照样老老实实跑完时限，甩给你一个 TLE，而不会贴心地提醒一句："兄弟，你这是死循环。" 一开始我以为，是判题机不屑于做。后来才知道——不是它不想，是这件事在数学上被证明做不到。 这背后，就是计算机科学发展史上著名的：停机问题。(Halting Problem) 一、先问一句：机器到底能"判定"什么 1936 年，图灵为了回答"什么是可计算"，搬出了一台简单到有点寒酸的机器：一条