vu

Notes for Vanderbilt University

View the Project on GitHub

Lecture 03-31-17

Independent set (Stable set)

Independent set reduction

  1. Show that in NP
    • If given the set of size K, then can easily verify
  2. CLIQUE is transformable into INDEPENDENT-SET
    • GK -> G’K’
    • G’ = G complement where there is an edge between x and y iff no edge between x and y in G
    • K’ = K
    • Suppose that G has a clique C of size K, then C is an independent set in G’
    • Suppose that G’ has an independent set I of size K, then I must form a clique in G of size K - Easy reduction - Recall: we turned CNF Satisifiability into CLIQUE
    • We didn’t show CLIQUE -> Satisifiability
      • Why not?
      • Since Satisifiability is already in NP-Complete, we don’t have to prove again
        • 3-Satisifiability is CNF-Satisifiability where there are most 3 literals in each clause
    • Also NP-complete - Special case will be hard as well

Cryptography

Vertex Cover

Edge Cover

Traveling salesperson problem

Hamilton Cycle problem