满足 NPC问题 的第一条不满足第二条