yyz_AC

摘要：   ![](https://im 阅读全文

摘要： 图的基本概念 图的基本概念 一般图： 所有点的度数之和为边数的2倍 可图化表示度数列的奇度定点的个数为偶数个。可简单图化表示$d(v) \le \delta (G)$$d(v) \le \delta (G)$ 任何无向图都有$k(G)\le \lambda (G)\le \delta(G)$$k(G 阅读全文

摘要： 第五章代数结构 代数系统的运算和性质 闭运算：集合A中的运算其结果还在A中 代数系统 其运算定义可视为实数集合加减乘除的推广 注意：若B是A的逆元则A也是B的逆元，左右逆元不一定存在存在也不一定唯一，左走逆元即使都存在也不一定唯一 半群 广群：是代数系统非空集合S中的一个二元运算，是可封闭的$<S, 阅读全文

摘要： 其他版本推荐这位同学的博客离散数学 - MushRain 我也借鉴了很多，在此感谢😚 第二章知识点 引言：所有人都是要死的，苏格拉底是人，所以苏格拉底要死的 ​ 苏格拉底三段论 第一张命题逻辑的缺陷是把原子命题作为基本组成单位，丢失了原子命题之间的内在联系和数量关系，将原子命题进一步细分分析出其中 阅读全文

摘要： 第一章知识点 ~~因为第一章多且杂就不分小标题了~~ 定义： 命题: 非真即假！的陈述句，真值为真为真命题，真值为假为假命题。 悖论: 真假矛盾的命题。如我说的话都是假话 //不是命题 原子命题: 不可以再被拆分的为原子命题。 如2 大于 3 联结词：通过已有命题构造出新命题的一种方法。 非联结词： 阅读全文

摘要： 搜索 框架 dfs框架 #include <bits/stdc++.h> using namespace std; const int N = 100005; struct Node { char value; int lson, rson; } tree[N]; //tree[0]不用，0表示空结 阅读全文

摘要： 图的基本概念 路与回路 阅读全文

摘要： 格和布尔代数复习 主要框架 格的定义以及性质# 定义： 格：设$<S, \preccurlyeq>$为一个偏序集，若对任意两个元素都可以找到一个最小上界和最大下界，那么称此偏序集为格。 规定： $\and$表示最小上界 $\or$ 表示最大下界 对偶命题：将所有的符号换成相反的符号的命题为对偶命题， 阅读全文

摘要： 序关系 covA: 如果告诉你的是关系的集合形式，如图中的关系R1，首先去掉所有的<x,x>。其次，破坏掉关系的传递性：如果<x,y>，<y,z>，<x,z>都在其中，则去掉<x,z>。剩下的就是covA了。 如果告诉你的是关系图，那么去掉所有的环，然后还是破坏传递性。比如图3-14中的(c)，去掉 阅读全文

摘要： 集合论 集合与关系 集合的概念 略 集合表示法 略 集合相等定义 基本概念 子集 空集 全集 幂集 集合的运算 序偶 笛卡尔积 总结 关系及其表示 总结 关系性质 特殊关系的性质： 空关系： 反自反性，对称性，反对称性，传递性 全域关系：自反性，对称性，传递性 恒等关系：自反性，对称性，传递性 复合 阅读全文