离散数学图论知识总结

前言

马上过段时间期末就要离散考图论了，很多知识根本记不住（因为一部分是用日语学习的），在这里稍微码一下。

第一部分 图的定义和握手定理

基本定义

1. 给出一个名为G无向图，V(G)表示图的点集合，E(G)表示图的边集合(有向图为A(D)，叫做弧集合)。|G| 表示图的结点数(日语中也叫做位数) ，||G||表示图的边的数量(日语中叫做size)。
2. 简单图（单纯图）：没有自回路和平行边
3. 多重边图（多重图）：没有自回路，有平行边
4. 伪图（广义图）：有自回路，有平行边
5. 正则图：一个图中所有结点的度数都相同的图，每个点的度数为k，则叫这个图为k正则图。
6. 同构（同型）：一个图和另一个图的点集合之间存在双射（一对一写像），且边也存在双射，则两个图同构（记作$G\cong H$）
7. 度数（次数）：无向图G中，点v所连接的所有边的数量成为这个点的度数（记作$de{g}_G(v)$），而最小度数是一个图度数最小点的度数($\delta (G)$)，最大度数是一个图最大度数点的度数（$\Delta (G)$）。
8. 握手定理：一个图的所有度数之和等于这个图边数量的两倍。奇数度数的结点的个数是偶数个。（有向图中，所有出度等于入度等于边数）

重要算法

Havel–Hakimi算法:

这个算法的作用是告诉我们给定一个度数序列，能否构成一个简单图，又称为一个序列是否可以简单图化。具体算法流程是，先将序列按从大到小排序，去掉第一个数，然后到第一个数+1构成的下标为止的所有数-1，以此类推，如果最后剩下的是一个全零序列，则该序列可以简单图化。

第二部分 各种图以及各种图的计算

基本定义

1. 完全图$K_n$:所有点之间都存在边的简单图
2. 完全二部图$K_{n,m}$