摘要: 概述 本单元的任务是根据JML描述实现要求的接口,以完成一个社交网络图的模拟,包括添加节点(Person),添加边(add relation),查询连通性和变得权值等。在几次迭代开发的过程中还会加入构建最小生成树和查询最短路径的功能。本单元的主要聚焦于JML规格的理解和一些基础图算法的编码应用。 基 阅读全文
posted @ 2022-06-06 13:32 scrail 阅读(10) 评论(0) 推荐(0) 编辑