Lecture 19: Practice Problems

1. Max Clique

If I can solve Max Clique, can I solve 3-SAT?

Show Answer

Yes.

Construct the graph with k clauses. Ask Max Clique solver for the size of the largest clique. If size == k, then satisfiable.

2. Vertex Cover Application

Security Example: A museum has hallways (edges) and intersections (nodes). What is the minimum number of guards to see every hallway?

Show Answer

Minimum Vertex Cover.

This is NP-Hard.