求最短路径的Dijkstra形式模型与算法
作者机构:桂林电子科技大学计算机与信息安全学院广西桂林541004
出 版 物:《计算机教育》 (Computer Education)
年 卷 期:2024年第5期
页 面:31-35页
学科分类:0401[教育学-教育学] 04[教育学] 040102[教育学-课程与教学论]
主 题:最短路径 Dijkstra算法 形式模型 学科形态
摘 要:计算模型(概念模型、形式模型)是计算学科最基础的概念,针对传统算法类教学存在的忽视计算模型的问题,以最短路径求解的Dijkstra算法为例,探讨如何构造其形式模型,给出基于模型的算法,以及算法的正确性证明、复杂性分析和算法实现,介绍用抽象、理论和设计3个学科形态拆分该算法求解问题的整个过程,以达到控制和降低问题求解复杂性,提高学生求解复杂问题能力的目的。