Professional Documents
Culture Documents
v
( ||u| - |u
|| = 1 AND w(u
) > w(u) )
u u
(b) Show that this is a valid approximation algorithm with
A
= 2.
(c) Does the algorithm run in polynomial time?
8. 10 pts In problem 6 you found an algorithm for the 2SAT problem. The 3SAT problem is just an
extension of the 2SAT problem, in which a clause can have no more than 3 literals. For example,
following is an instance of the 3SAT problem:
(x
1
x
2
) (x
1
x
3
x
4
) (x
2
) (x
2
x
3
x
4
)
Just as before the goal is to find an assignment of truth values to the variables such that, the who
expression becomes true. However, unlike 2SAT, 3SAT is NP-hard, which means that, no
efficient algorithm is known to solve it.
As you can see from the struct of the CNF form, for the entire expression to be true, every clause
has to be true. Give an approximation heuristic which will satisfy (turn true) at least half the
clauses of the formula.
9. 0 pts Read Chapter 8 of DPV, on NP-Complete problems from pg 247 to 262. Nothing to
submit for this problem.