摘要: #基于JML规格建立社交网络 ##0 题目概述与博客说明 第三单元作业的目的是基于课程组所给出的JML规格构建一个支持消息传达的社交网络。图相关的问题,其特点之一就是复杂,结点数目超过100的网络就已经可以被称为复杂网络了。相较于前几单元,本单元对于算法的考察,是隐含在JML之下的。也因此,我将图的 阅读全文
posted @ 2021-06-01 00:42 Stanlei 阅读(125) 评论(0) 推荐(1) 编辑
// 侧边栏目录 // https://blog-static.cnblogs.com/files/douzujun/marvin.nav.my1502.css // // // // // //