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

Microsoft's Space Partition Tree and Graph algorithm enables developers to apply vector search to traditional, audio and visual queries.