集合
指向原始笔记的链接
- 给定两个集合和全集求:
- 交集
- A与B的所有元素
- 并集
- A与B中都有的元素
- 差集
- 将中元素减去中存在的
- 对称差
- 的余集
- 全集中非的部分,即
- 笛卡尔积
- 最后形式上应该如
- 笛卡尔积对交并差有结合律
- 即所有子集构成的集合 注意不要忘记和本身
- 证明两个集合相等
- 互为子集法
- 例:集合A为偶数集合,集合B
- 具体步骤
- 任取元素 : 设
- 性质处理 : 则 为偶数,即
- 证明子集 : 即 ,故
- 反向证明 : 设 有 ,即 为偶数,故
- 证明相等 : 因为 且 ,故
- 证明对称差满足结合率
- 即证明 :
- 证明思路:
- 将上式左右打开即可证明
- 容斥原理
关系
写法习惯注意
本文以下内容表示的一个二元关系的写法表现为 也有如同 表示二元关系的
五种关系
由集合上的元素构成二元关系
- 自反
- 定义:对于 都有
- 证明思路:
- 设
- 根据基于的具体定义构造x与x的关系并且满足于R
- 因此
- 对称
- 定义:,如果 ,那么
- 证明思路:
- 设且
- 根据 与的具体定义,推导出与也满足关系
- 因此
- 传递
- 定义:,如果且 那么
- 证明思路:
- 设 且
- 根据推导出与也满足关系
- 因此
- 反对称
- 定义: 如果且 那么
- 证明思路:
- 设 且 且
- 根据推导出如果假设成立则必须有
- 因此 ,故是反对称的
等价类
等价类代表某一特性在这个等价关系中是 等价的 如在关系下有三个等价类:
等价关系与偏序关系
若一个二元关系R满足自反 对称 传递 则这个二元关系为等价关系 若一个二元关系R满足自反 反对称 传递 则这个二元关系为偏序关系
关系的运算
关系的复合运算一般使用矩阵形式展开
指向原始笔记的链接
- 复合关系 则使用矩阵与矩阵进行矩阵乘法
- 逆关系矩阵为原矩阵的转置
映射
单射与满射
映射最重要的两个概念:单射,满射 有一个映射 满足
- 对单射证明:
- 如果 则为单射
- 对满射的证明:
- 则 为满射
- 对双射的证明:
- 如果映射 同时满足单射和满射,则 为双射
映射的复合
我们可以将集合的复合看为函数的复合
- 求映射的复合
- 将两个映射看为函数复合
事实上,我们可以完全等价 在我们解决一些问题上也会应用这个概念
- 已知 且 为满射,证明为满射
- 思路:
- 有 使得
- 因为且 则
- 令 且,则有
- 即证
映射的逆
映射存在逆的充要条件是映射是双射
指向原始笔记的链接
- 如何求逆?
- 令 则 就是将中互换
谓词逻辑与命题推理
谓词符号化
一般而言这类题目不难,思路是设出:x为xxx,:x为xxx 然后注意对的使用
- 谓词符号化:所有的人都是要死的,苏格拉底是人,所以苏格拉底是要死的。
- 设:是人
- 设:会死
- 设:是苏格拉底
- 有:因为故
- 谓词符号化:所有的大学生都会说英语,有一些大学生会说法语
- 设:会说英语
- 设:会说法语
- 设:是大学生
- 有1. 2.
- 注意,在使用时候,我们需要使用合取来表示含义而不是蕴含
- 同时两个陈述并列的时候应该不要使用链接
命题推理
以题目形式表现
- 证明下列推理形式的有效性:今天或者是晴天,或者会下雨。如果是晴天,我就会去打球;如果我去打球,那么我就不读书。所以如果我在读书,那么天就在下雨。
- 命题符号化
- 设为今天是晴天
- 设为今天是雨天
- 设表示我去打球
- 设表示我在读书
- 符号化有:
\begin{align*} & (1) \quad p \to q & P \\ & (2) \quad \neg (\neg q \to \neg p) & P \quad (\text{反证假设}) \\ & (3) \quad \neg q \land \neg (\neg p) & T(2) \quad (\text{由 } \neg (A \to B) \equiv A \land \neg B \text{}) \\ & (4) \quad \neg q \land p & T(3) \quad (\text{由双重否定 } \neg(\neg p) \equiv p \text{}) \\ & (5) \quad p & T(4) \quad (\text{由合取消除}) \\ & (6) \quad \neg q & T(4) \quad (\text{由合取消除}) \\ & (7) \quad q & T(1)(5) \quad (\text{由 } p \to q \text{ 和 } p \text{,通过肯定前件}) \\ & (8) \quad q \land \neg q & T(6)(7) \quad (\text{由 } q \text{ 和 } \neg q \text{,得到矛盾}) \\ & (9) \quad \neg \neg (\neg q \to \neg p) & IP(2-8) \quad (\text{由矛盾,推导出假设的否定}) \\ & (10) \quad \neg q \to \neg p & DN(9) \quad (\text{由双重否定,得到原结论}) \end{align*} $$ - 显然反证法没有CP好用指向原始笔记的链接
主要逻辑规则
- 如果有和,则可以推出
- 如果有和,则可以推出
- 如果有和 则可以推出,反之亦然
- 如果有和,则可以推出 ,反之亦然
- 如果有和,则可以推出
- 如果有和,则可以推出
反证法例子
- 一个具体的例子:证明
近世代数
群
一个代数系统通常包括一个集合和一个关系 记作
当然还有阿贝尔群(群的基础上添加交换律)和循环群(有生成元)
现在我们主要讲讲如何考虑单位元和逆元,封闭性和结合律的证明都是通过任取元算(),通过*证明满足和即可
指向原始笔记的链接
- 单位元
- 定义:,使得都有且
- 证明思路:
- 猜测或找到一个候选的单位元
- 证明这个确实在集合中
- 对:
- 证明
- 证明
- tips: 如果运算是交换的,证明上述一个即可
- 逆元
- 定义: 都 使得
- 证明思路
- 任取 ()
- 找到或猜测的候选逆元,这通常是基于运算的定义和单位元
- 证明
- 证明
- 证明
布尔逻辑与格
本篇依旧是在代数系统上进行讨论
指向原始笔记的链接
- 偏序集
- 也就是判断给定是不是偏序关系
- 证明自反,反对称,传递
- 格
- 对任意两个元素都存在最小上界()和最大下界()
- 有界格
- 在格的基础上存在最大元素(记作)和最小元素(记作)
- 有补格
- 在有界格基础上,对 有
- 补元不一定是唯一的
- 分配格
- 满足以下两个等价的分配律中的任意一个
- 布尔代数
- 是一个布尔代数,如果它是一个有补分配格
图论与树
Tips
考虑历年题目,按重要程度书写
最小生成树问题
- 通常以一个带权无向图的形式出现(图可能代表城市、村庄、矿井采集点等)
- 问题直接明了:“求总成本最低的补给线路”、“设计总造价最小的修路方案”、“计算最小成本”等。
- 要求:不仅要算出最小的总权值,通常还需要画出或列出构成最小生成树的边集。
算法:
- 克鲁斯卡尔算法:按权值从小到大选择边,只要不形成回路就加入,直到链接完所有定点为止
- Prim算法:从一个顶点开始,每次选择连接已选顶点集和未选顶点集的权值最小的边
- 一般而言选择第一种算法,更加直观清晰
主要模型建模
- 哈密顿回路/路径:
- 场景:“圆桌会议”,“旅行商问题”
- 问题:“能否安排座位使得相邻的人都能交谈?”,“能否找到一条路径访问所有点一次?”
- 方法:将人/地点视为 顶点,将可以交流/连接的关系视为 边,问题转化为寻找一条经过所有顶点的回路。
- 判断是否存在哈密顿回路方法:
- 这是一个完全NP问题,我们可以依据下面一些条件初步判断
- 若顶点数大于3:
- Dirac定理:若每个顶点的度数 则为哈密顿图
- Orc定理 :若对两个不相邻的顶点 有则是哈密顿图
- 这是一个充分条件,有时候不满足上述两条也可能构成哈密顿图,需要自己再看看
- 图的着色 (Graph Coloring)
- 场景:“考试时间安排”、“会议安排”、“地图着色”。
- 问题:“最少需要多少时间段才能考完所有课程?”
- 方法:将课程/事件/国家视为顶点,如果两个课程有学生同时选修(即存在冲突),则在对应顶点间连一条边。问题转化为求该图的色数(最少需要多少种颜色给顶点着色,使得相邻顶点颜色不同)。
- 这是一个著名的NP完全问题,在考试情景下不可能过分困难
- 勇敢尝试
- 匹配 (Matching)
- 场景:“配对问题”、“任务分配”
- 问题:“能否选出4组不同的配对,用完所有8种颜料?
- 建模方法:将颜料/人员视为顶点,能互相搭配的关系视为边。问题转化为寻找图中的 完美匹配(一个覆盖所有顶点的边子集,且边与边之间不共享顶点)。
- 完美匹配存在的性质
- 当一个图的顶点数量为偶数时候才有可能存在完美匹配
- 最大匹配是指图中边数最多的匹配
- 如果一个最大匹配包含了图中的所有顶点,那么它就是一个完美匹配
- 如果一个图有偶数个顶点且存在哈密顿回路,那么这个图一定存在完美匹配
理论证明:平面图与欧拉公式
主要考虑
指向原始笔记的链接
- 欧拉公式:
- 其中,:顶点数,:边数, :面数(不用忘记外部面)
- 推论1: 对于的简单连通平面图
- 推论2: 如果简单连通平面图中没有长度为3的回路(即没有三角形),
- 面度数推论 :根据握手定理我们可以得出
- 即所有面的度数之和等于2倍的边数
数理逻辑
- 数理逻辑只需要记住三个公式(会不会自求多福吧因为我也不会)
- 一
- 二
指向原始笔记的链接
- 三 :量词分配:只能对分配 只能对分配