Skip to content
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.