求最短路径的Dijkstra形式模型与算法  

作　　者：李凤英 张沙沙 胡杰 董荣胜 

机构地区：[1]桂林电子科技大学计算机与信息安全学院,广西桂林541004

出　　处：《计算机教育》2024年第5期31-35,共5页Computer Education

基　　金：国家自然科学基金项目(62062029)。

摘　　要：计算模型(概念模型、形式模型)是计算学科最基础的概念,针对传统算法类教学存在的忽视计算模型的问题,以最短路径求解的Dijkstra算法为例,探讨如何构造其形式模型,给出基于模型的算法,以及算法的正确性证明、复杂性分析和算法实现,介绍用抽象、理论和设计3个学科形态拆分该算法求解问题的整个过程,以达到控制和降低问题求解复杂性,提高学生求解复杂问题能力的目的。

关 键 词：最短路径 DIJKSTRA算法 形式模型 学科形态 

分 类 号：G642[文化科学—高等教育学]