前言
马上过段时间期末就要离散考图论了,很多知识根本记不住(因为一部分是用日语学习的),在这里稍微码一下。
第一部分 图的定义和握手定理
基本定义
- 给出一个名为G无向图,V(G)表示图的点集合,E(G)表示图的边集合(有向图为A(D),叫做弧集合)。|G| 表示图的结点数(日语中也叫做位数) ,||G||表示图的边的数量(日语中叫做size)。
- 简单图(单纯图):没有自回路和平行边
- 多重边图(多重图):没有自回路,有平行边
- 伪图(广义图):有自回路,有平行边
- 正则图:一个图中所有结点的度数都相同的图,每个点的度数为k,则叫这个图为k正则图。
- 同构(同型):一个图和另一个图的点集合之间存在双射(一对一写像),且边也存在双射,则两个图同构(记作 G ≅ H G \cong H G≅H)
- 度数(次数):无向图G中,点v所连接的所有边的数量成为这个点的度数(记作 d e g G ( v ) deg_G(v) degG(v)),而最小度数是一个图度数最小点的度数( δ ( G ) \delta(G) δ(G)),最大度数是一个图最大度数点的度数( Δ ( G ) \Delta(G) Δ(G))。
- 握手定理:一个图的所有度数之和等于这个图边数量的两倍。奇数度数的结点的个数是偶数个。(有向图中,所有出度等于入度等于边数)
重要算法
Havel–Hakimi算法:
这个算法的作用是告诉我们给定一个度数序列,能否构成一个简单图,又称为一个序列是否可以简单图化。具体算法流程是,先将序列按从大到小排序,去掉第一个数,然后到第一个数+1构成的下标为止的所有数-1,以此类推,如果最后剩下的是一个全零序列,则该序列可以简单图化。
第二部分 各种图以及各种图的计算
基本定义
- 完全图 K n K_n Kn:所有点之间都存在边的简单图
- 完全二部图 K n , m K_{n,m} Kn,m