Reduction to the minimum vertex cover