算法分析与设计（证明NPC问题的方法）