We are building a dynamic, interactive pedagogical visualization tool to help teach the concept of NP-completeness. In particular, the tool includes a knowledgebase of NP-compelte problems, reductions, solutions, and verification algorithms. Visit Redux.
