vertex cover problem