| 术语 | 英文 | 释义 |
|---|
| 闭包 | Closure | 集合在某种运算下封闭的最小扩充，如自反闭包、对称闭包、传递闭包 |
| 并查集 | Disjoint Set | 维护不相交集合合并与查询的数据结构，常用于等价关系的动态维护 |
| 术语 | 英文 | 释义 |
| -------- | ----------------------------- | ------------------------------------------------------------------ | --- | --- | --- | --- | --- | --- | --- | ------------------- |
| 域 | Field | 同时满足加法和乘法群性质且满足分配律的代数结构，如有理数域、有限域 |
| 粗糙集 | Rough Set | 通过上近似和下近似处理不精确或不完整信息的数学工具 |
| 容斥原理 | Inclusion-Exclusion Principle | 计算多个集合并集大小的公式： | A∪B | = | A | + | B | - | A∩B | ，可推广至 n 个集合 |
| 术语 | 英文 | 释义 |
|---|
| 代数系统 | Algebraic System | 由集合及其上定义的运算构成的数学结构，如群、环、域 |
| 等价关系 | Equivalence Relation | 满足自反性、对称性和传递性的二元关系，将集合划分为等价类 |
| 等价类 | Equivalence Class | 等价关系下与给定元素等价的所有元素组成的子集 |
| 术语 | 英文 | 释义 |
|---|
| 二部图 | Bipartite Graph | 顶点集可划分为两个独立集，且每条边的两端分属不同集合的图 |
| 术语 | 英文 | 释义 |
|---|
| 范式 | Normal Form | 命题公式或谓词公式的标准形式，如析取范式（DNF）和合取范式（CNF） |
| 分配格 | Distributive Lattice | 满足分配律的格，即交对并和并对交都满足分配性 |
| 术语 | 英文 | 释义 |
|---|
| 命题 | Proposition | 可以判断真假的陈述句，是命题逻辑的基本研究对象 |
| 格 | Lattice | 任意两个元素都有上确界和下确界的偏序集 |
| 术语 | 英文 | 释义 |
|---|
| 哈斯图 | Hasse Diagram | 偏序关系的简化图形表示，省略自环、传递边和方向箭头 |
| 哈密顿图 | Hamiltonian Graph | 包含经过每个顶点恰好一次的回路（哈密顿回路）的图 |
| 环 | Ring | 具有加法群和乘法半群结构且满足分配律的代数系统 |
| 术语 | 英文 | 释义 |
|---|
| 基数 | Cardinality | 集合中元素的数量，分为有限基数和无限基数（如可数集与不可数集） |
| 极小项 | Minterm | 包含所有变量的布尔乘积项，用于构造析取范式 |
| 术语 | 英文 | 释义 |
|---|
| 可满足性 | Satisfiability | 命题公式是否存在一组真值指派使其为真的性质，SAT 问题是经典 NP 完全问题 |
| 术语 | 英文 | 释义 |
|---|
| 量词 | Quantifier | 谓词逻辑中表示数量范围的符号，包括全称量词 ∀ 和存在量词 ∃ |
| 连通图 | Connected Graph | 任意两个顶点之间都存在路径的图 |
| 术语 | 英文 | 释义 |
|---|
| 满射 | Surjection | 值域中每个元素都有原像的映射，即 f(A) = B |
| 术语 | 英文 | 释义 |
|---|
| 欧拉图 | Eulerian Graph | 包含经过每条边恰好一次的回路（欧拉回路）的图，当且仅当所有顶点度数为偶数 |
| 术语 | 英文 | 释义 |
|---|
| 偏序 | Partial Order | 满足自反性、反对称性和传递性的二元关系，常用 ≤ 表示 |
| 平面图 | Planar Graph | 可以在平面上画出且边不相交的图，满足欧拉公式 V-E+F=2 |
| 匹配 | Matching | 图中一组没有公共顶点的边集合，最大匹配是边数最多的匹配 |
| 谓词 | Predicate | 描述个体性质或个体间关系的函数，取值为真或假 |
| 术语 | 英文 | 释义 |
|---|
| 群 | Group | 具有封闭性、结合律、单位元和逆元的代数结构，如整数加法群 |
| 圈 | Cycle | 起点和终点相同的路径，且除端点外无重复顶点 |
| 术语 | 英文 | 释义 |
|---|
| 树 | Tree | 无回路的连通图，n 个顶点的树恰有 n-1 条边 |
| 生成函数 | Generating Function | 将序列 {aₙ} 编码为幂级数 Σaₙxⁿ 的函数，用于求解递推关系和计数问题 |
| 着色 | Coloring | 为图的顶点或边分配颜色使得相邻元素颜色不同的过程，最小颜色数为色数 |
| 术语 | 英文 | 释义 |
|---|
| 同构 | Isomorphism | 两个代数结构或图之间保持结构的一一对应映射 |
| 图 | Graph | 由顶点集和边集组成的数学结构 G=(V,E)，用于建模离散对象间的关系 |
| 术语 | 英文 | 释义 |
|---|
| 网络流 | Network Flow | 在带权有向图中从源点到汇点的流量分配问题，最大流最小割定理是核心结论 |
| 术语 | 英文 | 释义 |
|---|
| 自同构 | Automorphism | 结构到自身的同构映射，保持所有运算和关系不变 |