vertex covering number