You need to know: Class P, class NP, NP-hard problems, graph, vertices, edges.
Background: A vertex cover of graph G is the set S of vertices of G such that for each edge of G either
or
(or both). Let
be the size of the smallest vertex cover of G. The minimum vertex cover problem is: given graph G, compute
. Its approximation with factor
is: given graph G, compute number k such that
.
The Theorem: On 7th October 2002, Irit Dinur and Samuel Safra submitted to the Annals of Mathematics a paper in which they proved that the minimum vertex cover problem is NP-hard to approximate to within any constant factor smaller than
Short context: Because the minimum vertex cover problem is well-known to be NP-hard to solve exactly, it is natural to look for approximate algorithms. A simple algorithm, discovered independently by Gavril and Yannakakis, gives approximation with factor , and this is the best known. In the opposite direction, Håstad proved in 2001 that the problem is NP-hard to approximate to within any factor
. The Theorem proves the same result with better factor
in place of
. See here for further progress in a later work.
Links: The original paper is available here. See also Section 5.7 of this book for an accessible description of the Theorem.
One thought on “Minimum vertex cover is NP-hard to approximate within any factor c < 1.3606…”