摘要: 综述 本单元的主要任务是实现简单社交关系网络的模拟和查询,主要考察基于JML规格的理解和代码实现,一些基本算法的掌握以及程序性能与正确性的测试考量。三次作业的任务相仿,均是基于JML规格实现相应接口的方法,并分别掌握一个基本算法,分别为并查集算法、最小生成树算法和最短路径算法。通过三次作业的开发,我 阅读全文
posted @ 2022-06-04 18:15 伊尔卡米诺 阅读(38) 评论(0) 推荐(0) 编辑