Prove that STINGY SAT is NP-complete. ... STINGY SAT is the following problem: given a set of clauses (each a ... 算法导论(中文版).
確定! 回上一頁