Graph Isomorphism, Groups, Galois theory, etc.