Dijkstra最短路径

Dijkstra最短路径算法。我们实现并证明了正确的Dijkstra算法的单源最短路径问题,在1956由E. Dijkstra设想。该算法使用数据细化框架实现一元,不确定的程序。使用伊莎贝尔集合框架中的数据结构来导出有效的实现。