計算理論

圖靈機、可計算性與 P/NP——哪些問題電腦永遠算不出來。

全部 NP-complete (1) P vs NP (1) PCP定理 (1) PSPACE (1) 互動證明 (1) 停機問題 (1) 去隨機化 (1) 可計算性 (1) 圖靈機 (1) 精細複雜度 (1) 複雜度理論 (1) 計算理論 (1)

從有限狀態機到圖靈機，看停機問題為何不可解、NP-complete 為何把數千個難題綁在一起