A rough set method for the vertex cover problem in graph theory