《算法概论》8.3
吝啬SAT问题是这样的:给定一组子句 (每个子句都是其中文字的析取) 和整数 k,求一个最多有 k 个变量为 true 的满足赋值——如果该赋值存在。证明吝啬SAT是NP-完全问题。
证明:
已知SAT问题是NPC问题。
要证明吝啬SAT问题是NPC问题,只须证明,一个SAT问题可以在多项式时间归约到吝啬SAT问题。
假设SAT问题有n个变量,令吝啬SAT问题中的k为SAT问题中的n,即在常数时间内将SAT问题归约到吝啬SAT问题。
得证!
吝啬SAT问题是这样的:给定一组子句 (每个子句都是其中文字的析取) 和整数 k,求一个最多有 k 个变量为 true 的满足赋值——如果该赋值存在。证明吝啬SAT是NP-完全问题。
证明:
已知SAT问题是NPC问题。
要证明吝啬SAT问题是NPC问题,只须证明,一个SAT问题可以在多项式时间归约到吝啬SAT问题。
假设SAT问题有n个变量,令吝啬SAT问题中的k为SAT问题中的n,即在常数时间内将SAT问题归约到吝啬SAT问题。
得证!