Home Online Mathematical Communication Thoughts Mathematics of the impossible: Computational Complexity, chapter 4, reductions