并查集（Disjoint Sets），直译即不相交集。 等价关系 离散数学中对等价关系的定义：满足自反性、对称性和传递性的关系。 集合A，?(a,b)，a,b∈A，满足aRb，则称R为A上的关系，若R满足以上三种性质，则为等价关系。 数学上的定义不必过多解释，只需知道，等价关系是用来对集合中的元素分 ...
分类：
编程语言 时间：
2020-06-01 20:37:19
阅读次数：
62
java的垃圾回收是自动化的，偶时候会出现内存溢出的情况，内存溢出也是jvm分配的内存中对象过多，超出了最大可分配内存的大小。 提到java的垃圾回收机制就不得不提一个方法：? System.gc()用于调用垃圾收集器，在调用时，垃圾收集器将运行以回收未使用的内存空间。它将尝试释放被丢弃对象占用的内 ...
分类：
编程语言 时间：
2020-05-27 00:58:56
阅读次数：
80
第三单元我们对JML进行了学习，并加深了对形式化设计的理解。本单元通过给定的JML来实现了一个人际关系网，最后实现了一个人际关系管理网络，表示了人与人之间的关系，人所在群组，人与人之间的借贷关系，以及离散数学中的连通，强连通，最短通路等关系。 一、JML理论基础 JML是对java程序进行规格化设计 ...
分类：
其他好文 时间：
2020-05-22 11:17:54
阅读次数：
53
JML理论基础 JML规定了一些语法,用这些语法可以描述一个方法,一个类的行为,理论基础是离散数学吧 JML常用语法 前置条件: 使用 require + 表达式 ,表达式一般为布尔表达式 副作用: assignable列出这个方法能够修改的类成员属性，\nothing是个关键词，表示这个方法不对任 ...
分类：
其他好文 时间：
2020-05-20 14:35:05
阅读次数：
60
离散数学II 第7-9章重难点概要 期中考试 包括计算题，论述题，证明题，应用题。计算题7道小题，论述5道小题，证明3个小题，应用1个小题。 第7章 图 7.1 零图，基图，标定图，关联（点和边），相邻（点和点），关联集（边集合），邻域（点集合），点v的度数，出度，入度，孤立点，G的最大（小）度，握 ...
分类：
其他好文 时间：
2020-05-17 20:32:55
阅读次数：
172
去年换工作的时候，面试了一下 Google (这里说的是 Google 中国)，来了个 Google 面试七轮游，结果是没通过。现在分享下我参与面试的具体流程以及个人认为应该注意的事项，希望对大家有所帮助。
分类：
其他好文 时间：
2020-05-01 10:49:49
阅读次数：
81
离散数学课程重点 命题逻辑 本次课的主要内容 ：命题及其表示法；联结词；命题公式与翻译。 本次课的重、难点 ：理解命题的概念和表示方法；弄懂命题联结词否定、合取、析取、条件（视频中称蕴含）和双条件（视频中称等价）的定义，及其与自然语言中相关联结词的联系和区别。掌握命题符号化的方法：（1）找出原子命题 ...
分类：
其他好文 时间：
2020-04-19 22:31:12
阅读次数：
175
上午 两小时高数 两小时 JAVA视频看到包装类 除了 character 是0 -127 其余都是 -128 到127是一样的 下午两小时 离散数学 看JAVA视频 看到 48P HASH值 HASH存自己类 要重写EQUAL 明天看到进程 奥里给 ...
分类：
其他好文 时间：
2020-04-08 22:43:36
阅读次数：
65
第三章：集合与关系 3.4 序偶与笛卡尔乘积 1 有序组（序偶、三元组、n元组） 2 笛卡尔乘积 一、有序组 1.序偶 ：由两个元素，按照一定次序构成的二元组称为 ? 一个序偶，记作。 ? 注： =的充要条件为x=u,y=v 2. 三元组 ：三元组是一个序偶,z ，记作。 ? 注：,z ≠ 3. n ...
分类：
其他好文 时间：
2020-04-05 20:48:46
阅读次数：
148
