Minimal vertex cover