vertex cover <non fini>