In comments: "other things that do work well in practice but not in theory?" "Levit's algorithm for shortest paths in a graph" Hmm. Quick search, seems it's

In comments: "other things that do work well in practice but not in theory?" "Levit's algorithm for shortest paths in a graph" Hmm. Quick search, seems it's called Pape-Levit for independent discoveries, twenty year old benchmark paper at: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.54.8746&rep=rep1&type=pdf http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.54....