min vertex cover , dfs