Quantum Algorithm Design, Constraint Satisfaction, Quantum Computing, Computer Science.
[https://en.wikipedia.org/wiki/Four_color_theorem]), and so on. There’s a reason why this whole thing is important to us, though, and it isn’t because we want to prove a mathematical theorem. It’s a lot more practical than that. At least if you’re in the business of quantum algorithm design.