n log n 到底从哪来？排序下界、2-SAT 与 3-SAT、停机问题，卡的是同一件事

为什么排序的下界恰好是 n log n？为什么 2-SAT 线性可解、3-SAT 却是 NP 完全？为什么停机问题判不出来？三个问题卡的是同一件事：结构允不允许你提前看见。本文把它拆开，并给出三条能自己跑验证的推论。