摘要: BUAA_2022_OO_Unit3_Summary 石以砥焉,化钝为利。 第0章 总览 本单元为按照JML规格实现一个带有并查集、最小生成树、最短路径等算法的简单社交网络模拟系统。当然,JML严谨的描述和保姆级别的指导足以让同学写出正确性的代码,但是并不代表“照搬照抄”的代码可以在性能上取得满意的 阅读全文
posted @ 2022-06-01 00:58 `Demon 阅读(118) 评论(0) 推荐(0) 编辑