离散结构
离散结构
离散结构研究在集合上加入关系、运算或连接方式后形成的具体数学对象。
1 整体主线
图论结构 → 代数运算结构。
本部分建立在 数学语言与证明 之上。
- 图论结构研究对象之间的连接、路径与可达性；
- 代数运算结构研究对象如何组合，以及运算满足哪些性质。
2 图论的基本数学结构
研究：
- 图、边与顶点；
- 游走、迹、路径与环；
- 连通与可达；
- 树、森林与生成树；
- 桥、割点与割；
- DAG、拓扑序与偏序；
- 强连通分量与图的商结构。
这里整理图论的数学对象与基本性质；具体最短路、生成树、连通性算法仍放在算法知识库中。
3 代数运算结构
研究：
- 二元运算与封闭性；
- 结合律、单位元、逆元和交换律；
- 幂等性与吸收元；
- 半群、幺半群、群与阿贝尔群；
- 同态；
- 算法中的可合并信息。
它统一解释了：
- 快速幂为什么可以作用于矩阵、置换和函数；
- 线段树为什么要求合并满足结合律；
- 前缀差分为什么依赖逆元；
- 稀疏表为什么可以利用幂等性；
- 带权并查集为什么需要群结构；
- 最短路为什么同时包含“路径拼接”和“候选选择”。
4 后续扩展
未来可继续加入：
- 置换与循环结构；
- 布尔代数与二进制集合；
- 更一般的半环与格结构。
这些内容应在积累到足够完整时再加入，不必为了目录完整而提前拆分。
返回：数学知识体系