Computational complexity is one of the most beautiful fields of
modern mathematics, and it is increasingly relevant to other
sciences ranging from physics to biology. But this beauty is often
buried underneath layers of unnecessary formalism, and exciting
recent results like interactive proofs, cryptography, and quantum
computing are usually considered too "advanced" to show to the
typical student. The aim of this book is to bridge both gaps by... more...