计算机教育2024，Issue(5) ：31-35.

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

李凤英 张沙沙 胡杰 董荣胜
计算机教育2024，Issue(5) ：31-35.
✕
  • NETL
  • NSTL
  • 万方数据

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

李凤英 1张沙沙 1胡杰 1董荣胜1
扫码查看

作者信息

  • 1. 桂林电子科技大学计算机与信息安全学院,广西桂林 541004
  • 折叠

摘要

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

关键词

最短路径/Dijkstra算法/形式模型/学科形态

引用本文复制引用

基金项目

国家自然科学基金(62062029)

出版年

2024
计算机教育
清华大学

计算机教育

影响因子：1.033
ISSN：1672-5913
参考文献量3
段落导航相关论文