1. 程式人生 > >[算法作業] 算法概論8.3

[算法作業] 算法概論8.3

line let 有變 sting 問題 com style owin np完全

STINGY SAT is the following problem: given a set of clauses (each a disjunction of literals) and an interger k, find a satisfying assignment in which at most k variables are true, if such an assignment exists. Prove the STINGY is NP-complete.

答:

因為STINGY SAT的解是可在多項式時間內驗證的,屬於NP。而SAT可被歸約到STINGY SAT(將k設為所有變量的總個數),因此STINGY SAT為NP完全問題。

[算法作業] 算法概論8.3