Minimum Vertex Cover — Definition, Formula & Examples
A minimum vertex cover is the smallest set of vertices in a graph such that every edge has at least one endpoint in that set. It represents the most efficient way to 'cover' all edges using vertices.
Given an undirected graph , a vertex cover is a subset such that for every edge , at least one of or belongs to . A minimum vertex cover is a vertex cover of smallest cardinality among all vertex covers of .
How It Works
To find a minimum vertex cover, you need to select as few vertices as possible while ensuring every edge in the graph is incident to at least one selected vertex. For small graphs, you can check this by inspection or brute force. For general graphs, finding a minimum vertex cover is NP-hard, meaning no known polynomial-time algorithm solves it exactly for all inputs. However, a simple 2-approximation algorithm exists: repeatedly pick any uncovered edge, add both its endpoints to the cover, and remove all edges incident to those vertices. König's theorem provides an exact polynomial-time solution for bipartite graphs by equating the minimum vertex cover size to the maximum matching size.
Worked Example
Problem: Find a minimum vertex cover of the graph with vertices and edges .
Step 1: List all edges and note which vertices each edge requires. Edge needs or ; edge needs or ; edge needs or ; edge needs or .
Step 2: Try a two-vertex cover. Choosing : edge is covered by , edge is covered by , edge is covered by , edge is covered by . All four edges are covered.
Step 3: Verify no single vertex covers all edges. Vertex alone misses , and vertex alone misses and . So a cover of size 1 is impossible.
Answer: The minimum vertex cover is with size 2. (Note: is also a minimum vertex cover of the same size.)
Why It Matters
Minimum vertex cover appears in algorithm design courses when studying NP-completeness, since it is one of Karp's 21 NP-complete problems. It models real problems like placing the fewest security cameras to monitor every corridor or selecting the fewest sensors to cover every network link.
Common Mistakes
Mistake: Confusing minimum vertex cover with minimum edge cover or independent set.
Correction: A vertex cover selects vertices to cover all edges. An edge cover selects edges to cover all vertices. An independent set is actually the complement of a vertex cover: is a vertex cover of if and only if is an independent set.
