集合

  • 给定两个集合和全集求:
    • 交集
      • A与B的所有元素
    • 并集
      • A与B中都有的元素
    • 差集
      • 中元素减去中存在的
    • 对称差
    • 的余集
      • 全集中非的部分,即
    • 笛卡尔积
      • 最后形式上应该如
      • 笛卡尔积对交并差有结合律
    • 所有子集构成的集合 注意不要忘记和本身
  • 证明两个集合相等
    • 互为子集法
    • 例:集合A为偶数集合,集合B
    • 具体步骤
      1. 任取元素 : 设
      2. 性质处理 : 则 为偶数,即
      3. 证明子集 ,故
      4. 反向证明 : 设 ,即 为偶数,故
      5. 证明相等 : 因为 ,故
  • 证明对称差满足结合率
    • 即证明 :
    • 证明思路:
      • 将上式左右打开即可证明
  • 容斥原理
指向原始笔记的链接


关系

写法习惯注意

本文以下内容表示的一个二元关系的写法表现为 也有如同 表示二元关系的

五种关系

由集合上的元素构成二元关系

  • 自反
    • 定义:对于 都有
    • 证明思路:
      • 根据基于的具体定义构造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倍的边数
指向原始笔记的链接


数理逻辑

  • 数理逻辑只需要记住三个公式(会不会自求多福吧因为我也不会)

  • 三 :量词分配:只能对分配 只能对分配
指向原始笔记的链接