Vertex covering number