"Nick, that's the Steiner Tree problem! It's NP-complete!" He probably would've wasted a few more days going down that rabbit hole.
Edit: Nick has some great Cold War spy games stories that I've only heard him tell in broad strokes.
There is a wide-spread misconception of the meaning of NP-complete, unfortunately. Also, it should probably be NP-hard, not NP-complete, the latter is for a decision problem only.
Or look at these amazing results: https://www.math.uwaterloo.ca/tsp/star/index.html
(many people say the protein folding problem is NP-complete, but the community generally believes you can predict the folding pathways of all proteins without explicitly running such calculations).
And it's hard to overstate his caliber. For those of you who are unfamiliar with the name, Nick mentored Clifford Cocks at GCHQ and pushed him in the direction of inventing public key cryptography.