Reduction: Independent Set → Clique
Define complement of graph to be , where contains those unordered pairs of vertices not in .
CLIQUE ⇒ Finding a complete sub-graph in graph.
A set of nodes is an independent set of iff is a clique of ⇒ nodes have no edges between them in iff they have all possible edges between them in