Two computer scientists found — in the unlikeliest of places — just the idea they needed to make a big leap in graph theory.