在学习使用非0-1线性规划解决顶点覆盖的问题时候,发现将原本0-1线性规划(NP难问题)松弛后,就变为不是NP难问题,那么在多项式时间解决它的时候,可以提供一个解顶点覆盖问题的下界。
于是好奇为什么0-1规划是NP难,松弛后反而不是NP难?好奇学学。
参考《算法导论》26章
29 章 线性规划
研究线性规划定义及其单纯性法(多项式时间方法)
29.1 标准型和松弛型
研究线性规划的两种表现形式,标准型和松弛型以及其转换。
29.2 如何将问题转化为线性规划问题
最短路径和最大流算法的例子
29.3 单纯形算法
为了利用单纯形算法,必须要把原线性规划变成松弛型,