首先是一个 NP 问题,所有的 NP 问题都可以约化到 NPC 问题