Two mathematicians have proved that a straightforward question — how hard is it to untie a knot? — has a complicated answer.

Google Maps estimates travel time using a blend of technology and data. It calculates distance, considers speed limits, and ...