skeleton vertex cover constraint