modifying names and the minimal vertex cover function