NGT’s not even going to mention that Santa probably solved or approximately solved the traveling salesman problem for a complete graph of several hundred million vertices?