Minimum Vertex Covering Problem