https://kottke.org/16/05/p-vs-np-and-the-computational-complexity-zoo