Type the CLRS pseudocode for APPROX-VERTEX-COVER

Answer

C = empty E' = G.E while E' != empty: pick (u, v) in E' C = C + {u, v} remove edges on u or v

Both endpoints of each picked edge go into the cover; the picked edges form a maximal matching, which is the lower bound that gives the ratio 2.