CSC 320 Notes: History of NP-Completeness Reductions