NETL
《集合与图论》的联合实验课程——以欧拉图构造性证明的算法实现为例
Yonghui Wu 1吴永辉
作者信息
- 1. 上海智能信息处理重点实验室,复旦大学计算机科学技术学院 上海,200433
- 折叠
摘要
《集合与图论》是计算机科学与技术的理论基础课.《集合与图论》与程序设计类课程的联合实验课程,基于程序设计竞赛试题,以提高学生综合应用知识编程解决问题的能力为目标.本文详述《集合与图论》和《数据结构》的联合实验课程"欧拉图构造性证明的算法实现".实验由求解欧拉链的程序设计竞赛试题及其解析构成;学生完成基于DFS的欧拉图定理的构造性证明;体会证明过程就是发现欧拉链的算法;在编程解决问题的过程中综合运用DFS、图的建模、并查集判断图的连通性等.
关键词
高等教育/集合与图论课/程序设计课/联合实验课引用本文复制引用
主办单位
全国高等学校计算机教育研究会/教育部会议名称
第六届中国计算机实践教育学术会议暨第十五届全国高等学校计算机实践教学论坛会议时间
2022-11-05会议地点
广西桂林会议母体文献
第六届中国计算机实践教育学术会议暨第十五届全国高等学校计算机实践教学论坛论文集页码
131-135出版时间
2022