V
Vertex cover of undirected graph
Use the minisat to solve the vertex cover problem, and use another two approximation apporaches to test the runtime and ratio.
Use the minisat to solve the vertex cover problem, and use another two approximation apporaches to test the runtime and ratio.