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

扫码查看

原文链接

NETL
NSTL
万方数据

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

作者：

李凤英、张沙沙、胡杰、董荣胜

展开 >

作者单位：

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

关键词：

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

基金：

国家自然科学基金

项目编号：

62062029

出版年：

2024

计算机教育

清华大学

计算机教育

影响因子：1.033

ISSN：1672-5913

年,卷(期)：2024.(5)

参考文献量3