P =?NP问题是计算复杂性中的核心问题。2000年, 美国克雷实验室将其收录为 “千禧年大奖” 七个问题之首。本文基于图灵模型, 对P=?NP问题的研究现状、 P=NP/P≠NP证明方法、 NPC问题求解方法及研究进展进行阐述。