摘要： BUAA-OO-2022 Unit-3 博客总结 本单元的目标为熟悉JML规格，任务是构建一个包含人、组、网络、消息的社交网络。在维护过程中，我们需要通过某些算法来进行优化以缩减查询时间。抽象来讲，人可以视为社交网络中的一个节点；一个组可以视为社交网络中的连通图；而整张网络可以视为图；人与人的关系便 阅读全文