Please post your solution to the Apr 27 In-Class Exercise to this thread.
Best,
Chris
green circles are the vertex cover of G_bar (k=6), and red edges represent G_bar
(Edited: 2022-04-27)Given G as the instance of clique on slide 9, G_bar is the following:
Since G has a clique of size k = 3, we would calculate the vertex cover of G_bar as {-x2C1, -x3C1, -x1C2, x2C2, x1C3, x2C3}, with size |V| - k = 9 - 3 = 6