BUAA UNIT3 社交关系模拟系统 一. 总结实现自己实现规格所采取的设计策略 ? 在实现JML规格时，采取的策略为先大致读一遍JML规格，理解将要实现的类成员变量与方法的大致意义，之后去设计将要实现的类中的数据结构与算法，然后开始下手写代码。值得注意的是，这仅仅是第一步要进行的工作。 ? 在之 ...
分类：
其他好文 时间：
2021-06-02 15:12:46
阅读次数：
0
题目描述： 给定一个包含红色、白色和蓝色，一共 n 个元素的数组，原地对它们进行排序，使得相同颜色的元素相邻，并按照红色、白色、蓝色顺序排列。 此题中，我们使用整数 0、 1 和 2 分别表示红色、白色和蓝色。 示例 1： 输入：nums = [2,0,2,1,1,0] 输出：[0,0,1,1,2, ...
分类：
其他好文 时间：
2021-06-02 15:10:23
阅读次数：
0
运行模拟器出错 上述错误是因为需要JAVA环境 JAVA 环境下载网址 https://www.oracle.com/java/technologies/javase-jdk16-downloads.html GUI Guider是恩智浦提供的基于开源LVGL图形库的一种用户友好的图形用户界面开发工 ...
分类：
编程语言 时间：
2021-06-02 15:09:51
阅读次数：
0
本单元是基于JML规格来实现对社交关系的模拟和查询，整体架构与设计都是官方给出。在实现过程中，我深感JML是一个非常适合开发的形式化规格语言。尤其对于团队项目的开发，用JML可以清晰规定每一部分的代码要求，程序员在实现时仅需思考在此基础上如何提升性能，而不用为架构设计发愁，体验极佳。 设计策略 由于 ...
分类：
其他好文 时间：
2021-06-02 15:07:31
阅读次数：
0
简介 忘不了, 这是华为面试官给我的面试题, 但是我没有在1分钟内做出来. 或许那个时候面试官本来就不想要一个人. 使用模拟的方法. 使用一个visited数组, 判断是否走到边界, 只有四个方向: j++ i++ j-- i-- 依次循环. code class Solution { public ...
分类：
编程语言 时间：
2021-06-02 14:55:47
阅读次数：
0
1、Set接口：Set不允许包含相同的元素，如果试图把两个相同元素加入同一个集合中，add方法返回false。 Set判断两个对象相同不是使用==运算符，而是根据equals方法。也就是说，只要两个对象用equals方法比较返回true，Set就不 会接受这两个对象。2、HashSet：HashSe ...
分类：
其他好文 时间：
2021-06-02 14:39:54
阅读次数：
0
1、建设表 2、每个函数的解释 -- 一条SQL解决ALL SELECT -- sql四大排序算法 ROW_NUMBER() over(PARTITION by age), RANK() over(PARTITION by age), DENSE_RANK() over(PARTITION by a ...
分类：
数据库 时间：
2021-06-02 14:10:56
阅读次数：
0
#include <stdio.h> const int N=3; int main() { int a[N] = {1, 2, 3}; int i; printf("通过数组名和下标直接访问数组元素:\n"); for(i=0; i<N; i++) printf("%d: %d\n", &a[i] ...
分类：
其他好文 时间：
2021-06-02 13:48:33
阅读次数：
0
时间复杂度：O(N2) 空间复杂度：O(1) 稳定性：稳定 // 冒泡排序 void bubble_sort(int list[], int listSize) { int i, j, flag; int temp; for (i = listSize - 1; i >= 1; --i) { fla ...
分类：
编程语言 时间：
2021-06-02 13:42:30
阅读次数：
0
1.mysql索引优化和查询优化 执行计划各个字段含义： id: 表示查询中select子句或者操作表的顺序，id的值越大，代表优先级越高，越先执行 select_type 😒elect的查询类型:SIMPLE,PRIMARY,SUBQUERY,DERIVED,UNION,UNION REUSLT ...
分类：
数据库 时间：
2021-06-02 13:41:35
阅读次数：
0
