Задача Дейкстры

Простой алгоритм решения простой задачи, – но трюк гроссмейстерский! См. также «Инварианты и индикаторы».