**Strassen’s Algorithm**

**Seven Bridges of Königsberg**

**Minimum Spanning Trees**

- Wikipedia's page on minimum spanning trees
- Minimum spanning trees from the Stonybrook Algorithm Repository

**Prime Numbers and Primality Testing**

**Shor’s Algorithm and Quantum Computing**

- Wikipedia's page on Shor's Algorithm
- Matthew Hayward's page on Shor's Algorithm and Quantum Computing

**Boolean Satisfiability**

- Play the FunSAT game - You solve satisfiability puzzles that help chip designers optimize their layoutsa> " class="main" target="myiframe">Play the FunSAT game
- The International Conferences on Theory and Applications of Satisfiability Testing (SAT)
- “The quest for efficient Boolean satisfiability solvers”, Lintao Zhang and Sharad Malik

**Does P = NP?**

- The Millennium Problem

**NP-Complete Problems**

- Karp’s list of 21 NP-complete problems
- Wikipedia's list of NP-complete problems
- An annotated list of NP-complete problems
- Forbes Lewis's list with some proofs

**Shortest Path Problem**

- Dijkstra's Algorithm

**Map coloring**

- Graph coloring, map coloring, and chromatic number: basics and applications, with worksheets
- The three color problem
- The four color problem

**Linear Programming**