多项式规约

有多项式时间算法的问题和可能没有多项式时间算法的问题

有多项式时间算法	可能没有多项式时间算法
最短路问题	最长路问题
最小割问题	最大割问题
2元可满足性问题	3元可满足性问题
平面图4着色问题	平面图3着色问题
二部图顶点覆盖问题	一般图顶点覆盖问题
匹配问题	3D匹配问题
素性测试问题	质因子分解问题
线性规划问题	整数线性规划问题

多项式规约
问题$X$能多项式规约到问题$Y$:
对于任意一个问题$X$的实例，进行多项式时间的标准计算步骤，加上多项式时间对$Y$问题求解方法的调用，最终能求解出问题$X$，则问题$X$能多项式规约到问题$Y$。
Note:
问题$Y$比问题$X$要更难，或者难的核心在$Y$上。
可以空跑问题$Y$算法，只是单纯的多项式时间的标准计算步骤

如果问题$X$和问题$Y$能够相互多项式时间规约，即$X{\le }_{p}Y$且$Y{\le }_{p}X$，那么我们用$X{\equiv }_{p}Y$，表示问题$X$和问题$Y$能够相互多项式时间规约。

由于自规约性，我们以下讨论的都是该问题的判定性问题（决策问题）

① 独立集问题 ${\equiv }_p$ 顶点覆盖问题
即若$S$是一个大小为$k$的独立集当且仅当$V-S$是一个大小为$n-k$的顶点覆盖

独立集问题
问题描述：给定一个图$G=$