TADM2E 9.17
From Algorithm Wiki
Take an instance of vertex cover VC(G,k)
Create G': for each edge create {u, v} create a new vertex uv. create edges {u, uv} and {v, uv}
Call Dom-SET(G',k)
Take an instance of vertex cover VC(G,k)
Create G': for each edge create {u, v} create a new vertex uv. create edges {u, uv} and {v, uv}
Call Dom-SET(G',k)
