多項式時間歸約 (Polynomial Reduction)

定義：若問題 A 可以在多項式時間內轉換為問題 B，則 A ≤ᵖ B。

意義：如果 B 可解，則 A 也可解。因此 B 至少和 A 一樣難。

NP-Complete 證明：
1. 證明問題在 NP 中（解可在多項式時間驗證）
2. 證明某個已知 NPC 問題可歸約到它

經典歸約鏈：
SAT → 3-SAT → Clique → Vertex Cover → Hamiltonian Cycle → TSP