命题逻辑
谓词逻辑
二元关系
自反性
反自反
对称
反对称
传递性：空也传递
关系的性质
等价关系
等价类，商集
闭包
传递闭包
warshall算法的过程
函数
定义
满射，单射，双射 复合函数的单射和满射
函数运算，复合
函数的逆
归纳
数学归纳法
强数学归纳法
普通数学归纳法
代数系统
结合性
交换性
分配性
单位元
零元
逆元
同构：双射函数
同态：只需要是函数就可以
群论
原群
半群
幺群
群
交换群
子群
平凡子群
子群判定定理
有限子群判定定理
群中元素的阶
陪集
langrange定理
循环群
循环群的子群
循环群的生成元
群同构，群同态
有限循环群，无限循环群
图论
图的定义和表示
无向图：点集和边集
度
握手定理
入度 出度
图的同构
零图，线图，圈图，轮图
正则图
二部图
减边 加边
减点 加点
图的连通度
通路
连通性
点割集
边割集
欧拉图
判定定理：每个顶点为偶度
半欧拉图判定：两个奇度顶点
构造freud算法
哈密顿图
哈密顿回路的必要条件：去点分析子图的数量
哈密顿回路的充分条件：闭图
带权图的最短路 Dijkstra算法（最好把运算过程写出来）
二部图与匹配 hall定理
二部图判定：不包含奇圈
极大匹配
最大匹配
匹配数
M-饱和点
可增广交错路径
树 最小生成树算法
不含简单回路的连通图
树中路径唯一
生成树：子图是树，则为生成树
有向树
根树
有序
r叉
树的高度
二叉树 前序中序后序的遍历
二叉树的左右子树必须区分：不可以翻转
算出二叉树的个数
区分左右子树，分类讨论
4个顶点
3 0 0 3 2 1 1 2 5+5+2+2=14种情况
K4有多少个不同的生成树 C 6 3-4 去掉回路（回路不是树）
Haffman编码
有向图
强连通
弱连通
3876
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
