Sudoku (in its n X n variant) was shown to be NP-Complete in 2003. The physical proof I demonstrated is due to Gradwohl et al, and a fun variant of this proof that uses playing cards can be found at Moni Naor’s Sudoku page.

The Millionaire’s problems was first coined by Andy Yao, and the solution comes from his paper. The exact demonstration (and the use of the public-private key pair) comes from this site.

If you want to try this at home, this is a useful RSA encryption applet

After looking at Wikipedia for a refresher (and doing a bit of other searching), it looks like some people do refer to the Metropolis-Hastings algorithm as just the Metropolis algorithm, however some people (at least) make a distinction between the two:

Wikipedia says, “The original Metropolis algorithm calls for the proposal density to be symmetric ( Q(x;y) = Q(y;x) ); the generalization by Hastings lifts this restriction.”

This pdf describes the difference between implementing Metropolis and Metropolis-Hastings in R:
http://nitro.biosci.arizona.edu/courses/EEB581-2006/IntroR/Metropolis.pdf

Finally, I noticed that the notes in the book say that the simulated annealing was based on the 1953 work of Metropolis et al. Wikipedia tells us that Hastings generalized the Metropolis algorithm
in 1970. (http://probability.ca/hastings/).

1. Randomized median finding: how to apply randomization to divide and conquer
2. Randomized MAX 3SAT: The probabilistic method, and designing an approximation algorithm that uses randomness
3. The Birthday Paradox: we analyzed the well known phenomenon, and connected it to a problem in hashing (how many items do you need to guarantee a collision in n buckets).

The first two topics were taken from the textbook, and the last topic is covered in the linked notes.

It’s often the case that such algorithms can be generated by designing an expensive dynamic program, and then adapting it. We demonstrate this idea with the KNAPSACK problem.

• Rajeev Motwani’s (old) lecture notes on approximation algorithms. The notes are old, but the fundamentals haven’t really changed. I’ll be drawing on material from Chapter 1 (pages 1-33: the definitions, and the impossibility results).
• Sariel Har-Peled’s notes on approximation algorithms. The relevant material is in pages 1-2 (the greedy approximation algorithm for VERTEX COVER)

1. Show that Independent Set is in NP, by demonstrating that a guessed solution can be verified in polynomial time
2. Construct a transformation f that takes an arbitrary instance x of 3SAT and maps it to an instance f(x) of Independent Set, and does this in polynomial time.
3. Show that if x is satisfiable, then f(x) has an independent set of size k
4. Show that if f(x) has an independent set of size k, then x is satisfiable.

After that, we broke out into groups and looked at a number of NP-Completeness proofs. The problems we considered were:

• SAT (via CIRCUIT SAT)
• 3SAT (via SAT)
• SET PACKING (via INDEPENDENT SET)
• Not-All-Equal SAT (via SAT)
• TSP (via Hamiltonian Path)
• HITTING SET (via SET COVER via VERTEX COVER)

Not-All-Equal SAT is SAT, but where a clause must be satisfied without setting all literals to 1. All the other problems are defined in the textbook.

All of you worked on at least one of these problems, but I encourage you to try your hand at the others. You can be fairly sure that I’ll be asking some NP-Completeness questions either in an assignment or in the final.