从 P、NP 与 NP-complete 的基本概念出发，通过 3-SAT 和 CLIQUE 两个经典问题，直观理解多项式时间归约以及 P=NP 问题的核心含义。