It is the dawn of practical routing, and a road network of a million nodes sits between a traveler and a destination — and someone is waiting, tapping a screen, for an answer in a fraction of a second. Find provably optimal routes fast enough for interactive use. Blind exploration of a million-node graph is far too slow; guide the search with an admissible heuristic — an estimate that never overpromises distance-to-goal — so vast regions can be pruned while the returned route stays provably shortest. Get it wrong and you return routes fast but subtly suboptimal, quietly wasting time and fuel, or compute the true optimum too slowly to be usable — the art is provable optimality that returns before the user gives up.
Chose The Kalman filter — right call.
Kalman's filter (1960) is the navigation algorithm of the continuous world — it fused noisy sensors into optimal state estimates for Apollo and every GPS receiver since, and 'provably optimal under stated assumptions, computed recursively in real time' is a fair description of both his work and this problem's demands. But the resemblance is structural, not transferable: his optimality is minimum-variance estimation over linear-Gaussian dynamics, a continuous-state result with no purchase on discrete combinatorial choice. A road network's branching decisions are not a linear system; no Riccati equation prunes a graph. Ironically, the phone's position fed to the router comes from his filter — he supplies the input coordinate, not the route. His state-space formalism otherwise stands apart from graph search. Low: adjacent in spirit, disjoint in machinery.
The professor's methods are, in fairness, well documented: assign the routing problem to a graduate student, schedule a meeting to discuss the student's A* implementation, and reschedule that meeting twice. Facing a field that includes the man who invented the algorithm at a café in twenty minutes, the man who wrote the book on admissible heuristics, and the man who wrote the other book that every student learned it from, Santerre brings the one toolkit guaranteed inapplicable: broad familiarity with everyone else's results and personal ownership of none. His admissible heuristic for his own distance-to-goal never overestimates because it always reads zero — he is, provably, already there, which is the only optimality result on offer. Score reflects the specialists' turf advantage: total.
Battle #21 · 8/9/2026, 5:08:37 PM · this result is deterministic: the same two personas on this problem always resolve the same way.