Proof of concept vertex cover 2-approximation