离散数学 图论基础知识总结

无序对:
两个元素构成的集合 {a,b} { a , b } 称为无序对,
A,B A , B 为两个集合,则 {{a,b}|aAbB} { { a , b } | a ∈ A ∧ b ∈ B } A A B 构成的无序积

笛卡尔积的区别在于构成笛卡尔积是由有序对构成
无序积 中的无序对的两个元素不分次序同时又可以是相同的

多重集合
集合中的元素可以重复出现,和Multimap 或 Multiset 中类似

重复度为元素在多重集合中出现的次数

无向图

一个无向图G是一个二元组 <V,E> < V , E > <script type="math/tex" id="MathJax-Element-6"> </script>, 即 G=<V,E> G =< V , E >
V V 是顶点集,是一个非空的有穷集合(意思为一个无向图里面至少有一个顶点,并且顶点的个数是有限的)
E是边集,它是无序积 V V &V的一个有穷的多重子集 通俗来说就是 可以存在重边,以及自环

有向图
D=<V,E> D =< V , E >
和无向图的区别就是 边是有方向的

几个概念

n阶图 : 有n个顶点
零图 : 没有边
平凡图:只有一个顶点,没有边,即一阶零图
空图:没有点,没有边记为 在定义中规定顶点集非空,但是在图的运算中可能产生空图

在无向图 G=<V,E> G =< V , E > 中,设边 e=(vi,vj)E e = ( v i , v j ) ∈ E vi,vj v i , v j e e 的端点
那么 e vi(vj) v i ( v j ) 关 联
如果 vivj v i ≠ v j 那么 vi(vj) v i ( v j ) e e 的关联次数为1
如果vi=vj 那么 vi(vj) v i ( v j ) e e 的关联次数为2
vk不是e的端点 那么 vk v k e e 的关联次数为0

简单来说
如果这条边是自环 那个这个环所连的点与这个环的关联次数为2
如果是一条边 那么边的两个端点与这条边的关联次数为1
其他点与这条边的关联次数自然就为0了

在无向图中

如果两个顶点之间至少有一条边 这两个点 相邻
如果两条边有一个共同的点 这两条边相邻

有向图
D=<V,E> 中, e=<vi,vj>E e =< v i , v j >∈ E vi,vj v i , v j e e 的两个端点
vi e e 的起点
vj e e 的终点
e vi,vj v i , v j 关联
vi v i vj v j 有一条边 那么这两个顶点相邻
称为
vi v i 邻接 vj v j
vj v j 邻接 vi v i
如果一条边的终点是另一条边的起点 那么这两边相邻
比如这样

这里写图片描述

此图中 e1 e 1 e2 e 2 相邻

在无向图和有向图中

没有边关联的点 是 孤立点
两个端点重合的边 是 环

顶点的度数
无向图 G=<V,E> G =< V , E > viV v i ∈ V 那么 vi v i 连了几条边 那么它的度数就是多少
度记为 dG(vi) d G ( v i ) 简记为 d(vi) d ( v i )
每个环给端点提供的度数为2

有向图 D=<V,E> D =< V , E > viV v i ∈ V
出度: vi v i 作为边的起点次数 (即有多少条边从它指向另一个端点) 记为 d+(vi) d + ( v i )
入度: vi v i 作为边的终点次数 (即有多少条边指向它) 记为 d(vi) d − ( v i )
度数:作为边的端点次数 记为 d(vi) d ( v i )
显然
d(vi)=d+(vi)+d(vi) d ( v i ) = d + ( v i ) + d − ( v i )

度数为1的顶点为悬挂顶点
与悬挂顶点关联的边称为悬挂边
最大度: Δ=max{d(v)|vV(D)} Δ = m a x { d ( v ) | v ∈ V ( D ) }
最小度: δ=min{d(v)|v intV(D)} δ = m i n { d ( v ) | v   i n t V ( D ) }
最大出度: Δ+=max{d+(v)|vV(D)} Δ + = m a x { d + ( v ) | v ∈ V ( D ) }
最小出度: δ+=min{d+(v)|vV(D)} δ + = m i n { d + ( v ) | v ∈ V ( D ) }
最大入度: Δ=max{d(v)|vV(D)} Δ − = m a x { d − ( v ) | v ∈ V ( D ) }
最小入度: δ=min{d(v)|vV(D)} δ − = m i n { d − ( v ) | v ∈ V ( D ) }

握手定理
各顶点的度数之和为边数的两倍
ni=1d(vi)=2m ∑ i = 1 n d ( v i ) = 2 m
推论
任何图中,度数为奇数的顶点个数是偶数

简单证明:
所有度数之和必为偶数(由握手定理)
奇数个奇数+(偶数个或者奇数个)偶数 = 奇数
矛盾

定理6.2

所有顶点入度之和( (i=1)nd+(vi) ∑ ( i = 1 ) n d + ( v i ) )=所有顶点出度之和( ni=1d(vi) ∑ i = 1 n d − ( v i ) )=边数(m)

度数列
V={v1,v2,,vn} V = { v 1 , v 2 , … , v n } 为n阶图G的顶点集
d(v1),d(v2),,d(vn) d ( v 1 ) , d ( v 2 ) , … , d ( v n ) 为G的度数列

对于有向图 可继续划分为 出度列和入度列

几个概念
平行边
在无向图中,关联一对顶点的无向边多余1条,这些边统称为平行便
重数
平行边的条数成为重数

有向平行边
有向图中,关联一对顶点的有向边多于1条,并且起点和终点相同(或者理解为方向相同)

多重图
含平行边的图

简单图
既不含平行边也不含环的图

显然 n阶简单无向图
Δn1 Δ ≤ n − 1

无向完全图
记为 Kn K n
简单说:每对顶点之间都有一条边的无向简单图
m=C2n=n(n1)2 m = C n 2 = n ( n − 1 ) 2

有向完全图
简单说:每对顶点之间均有两条方向相反的边的有向简单图
m=2C2n=n(n1) m = 2 C n 2 = n ( n − 1 )

k k − 正则图
无向简单图中,各顶点度数均等于k
由握手定理知 n阶 k k − 正则图中边数 m=kn2 m = k n 2

n阶无向圈图
共有n条边,并且边的顺序是按点的顺序
直接给图:
这里写图片描述

边集 E={<v1,v2>,<v2,v3>,<v3,v4>,<v4,v1>} E = { < v 1 , v 2 > , < v 2 , v 3 > , < v 3 , v 4 > , < v 4 , v 1 > }
记为 Cn C n

n阶有向圈图
和n阶无向圈图一样,只不过边加上了方向
给图:
这里写图片描述

边集 E={<v1,v2>,<v2,v3>,<v3,v4>,<v4,v1>} E = { < v 1 , v 2 > , < v 2 , v 3 > , < v 3 , v 4 > , < v 4 , v 1 > }
记为 Cn C n

n阶轮图
就是在无向圈 Cn1(n4) C n − 1 ( n ≥ 4 ) 内放置一个顶点,使得该顶点与 Cn1 C n − 1 上的每个顶点相邻
所得的简单图 即为n阶轮图,记为 Wn W n

这里写图片描述

n方体图
简单来说,就是每个顶点与它相邻的顶点,他们的顶点标号的二进制表示只有一位不同 记为 Qn Q n

这里写图片描述

子图

G=<V,E>,G=<V,E> G =< V , E > , G ′ =< V ′ , E ′ >
两图都是无向图,或者两图都是有向图
如果 GG G ′ 中 的 点 集 和 边 集 都 ⊆ G
那么 GGGG G ′ 是 G 的 子 图 , G 是 G ′ 的 母 图 记为 GG G ′ ⊆ G
如果 GG G ′ ≠ G 那么 GG G ′ 是 G 的 真 子 图
如果 V=V V ′ = V 那么 GG G ′ 是 G 的 生 成 子 图 (简单来说:生成子图就是 包含母图的所有顶点,但是包含一部分边(或者全部边))

如果 E1E ∅ ≠ E 1 ⊆ E
并且 V1 V 1 为以 E1 E 1 中的边关联的顶点全体为顶点集的 G G 的子图
称为E1的导出子图 记作 G[E1] G [ E 1 ]

简单来说,就是取母图中的一个子边集,并且这些边的两端的端点构成子点集。

补图

就是在原图中,保留所有顶点,然后加边,使得原图变成完全图 Kn K n 然后去掉原有的边,所得的图就是补图
G¯¯¯¯=V G ¯ = V & V V - G

ps:原图和补图互为补图

如果
G¯¯¯¯G G ¯ ≅ G 那么称它们为自补图

图的同构
简单来说 如果其中一个图通过变换可以变成另一个图,那么两图同构 记为 G1G2 G 1 ≅ G 2
或者说 若它们都是标定图,可以通过调整一个图的顶点次序,使得 G1 G 1 G2 G 2 有相同的度数列,那么两图同构

图的连通性
通路
G=<V,E>,GΓ=v0e1v1e2elvl G =< V , E > , 设 G 中 顶 点 和 边 的 交 替 序 列 为 Γ = v 0 e 1 v 1 e 2 ⋯ e l v l
要求: vi1eiviei v i − 1 是 e i 的 起 点 , v i 是 e i 的 终 点 i=1,2,,l i = 1 , 2 , ⋯ , l
那么 Γv0vl Γ 为 v 0 到 v l 的 回 路
ΓΓ Γ 中 所 含 边 数 即 为 Γ 的 长 度
v0=vl v 0 = v l 那么称通路为回路 (简单来说,就是通路的起点和终点一样)

简单通路
Γ Γ 中 所 有 边 各 异 ,便是简单通路
v0=vl v 0 = v l 那么称 Γ Γ 为 简 单 回 路

初级通路
Γ Γ 中 所 有 顶 点 各 异 , 且 所 有 边 各 异 称为初级通路或路径
v0=vl v 0 = v l 那么称 Γ Γ 为初级回路或圈
长度为奇数的圈为奇圈,长度为偶数的圈为偶圈

复杂通路
在初级通路的基础上, Γ Γ 中 有 重 边 Γ Γ 为 复 杂 通 路
v0=vl v 0 = v l 复杂回路

备注
在无向图中,长度为1的圈由环给出,长度为2的圈由两条平行边给出,在无向简单图中,圈长至少为3,。
在有向图中,长度为1的圈由环给出。在有向简单图中,圈长至少为2

定理6.3
在一个n阶图中,若从顶点 u u v (uv) ( u ≠ v ) 存在通路,则从 uvn1 u 到 v 存 在 长 度 ≤ n − 1 的 初 级 通 路
简单证明:把通路中重复出现的顶点去掉,这条通路就变成初级通路,既然顶点各异,边各异,长度必然 n1 ≤ n − 1

定理6.4
在一个n阶图中,如果存在 v v 到 自 身 的 简 单 回 路 , 则从 v v 到自身存在长度不超过n的初级回路
简单证明:也是把重复顶点去掉

无向图连通性
vivj v i 与 v j 之 间 存 在 通 路 那么 vivj v i 与 v j 是 连 通 的
规定 vi v i 与 自 身 连 通

连通图
无向图 G G 是平凡图(一阶零图,即只有一个顶点,没有边)或者G中任意两个顶点都是连通的,则称 G G 是连通图
否则称G是非连通图

连通分支
在原图的一个子图中,其中任意两个顶点都是相互可达,并且其中的任意顶点与子图以外的顶点都是不可达,那么称这个子图为连通分支(连通块)
连通分支的个数记为 p(G) p ( G ) 对于一个连通图, p(G)=1 p ( G ) = 1

短程线
vivj线vivj v i 与 v j 是 连 通 的 话 , 那 么 短 程 线 就 是 v i 到 v j 之 间 长 度 最 短 的 通 路
短程线的长度称为 vivj v i 到 v j 之 间 的 距 离
记为 d(vi,vj) d ( v i , v j ) vivjd(vi,vj)= v i 与 v j 之 间 不 连 通 , 那 么 规 定 d ( v i , v j ) = ∞

三条性质
d(vi,vj)0vi=vj d ( v i , v j ) ≥ 0 并 且 当 v i = v j 时 , 等 号 成 立
d(vi,vj)+d(vj,vk)d(vi,vk) d ( v i , v j ) + d ( v j , v k ) ≥ d ( v i , v k )
d(vi,vj)=d(vj,vi) d ( v i , v j ) = d ( v j , v i )

点割集
如果删去原图中的一些点,使得原图的连通性被破坏,或者说连通分支数量增加,并且如果少删一些点不能导致破坏连通性,那么这些点的集合称为点割集,如果点割集中只有一个点,那么称其为割点

备注:悬挂顶点不可能出现在点割集中

边割集
删去一些边,使得破坏连通性,并且少删一条都不行。 这些边组成的集合称为边割集,简称割集。若只有一条边,则称该边为割边或者桥

备注
1° 完全图 Kn K n 无点割集
2° n阶零图既无点割集,也无边割集
3° 若 G G 是连通图,E G G 的边割集,那么p(GE)=2
4° 若 G G 是连通图,VG,则 p(GV)2p(GV)>2 p ( G − V ′ ) ≥ 2 而 且 可 能 p ( G − V ′ ) > 2

点连通度
κ(G)=min{|V||VGV使(GV)} κ ( G ) = m i n { | V ′ | | V ′ 是 G 的 点 割 集 或 V ′ 使 ( G − V ′ ) 只 有 一 个 顶 点 }
那么称 κ(G)G κ ( G ) 是 G 的 点 连 通 度

边连通度
λ(G)=min{|E||EG} λ ( G ) = m i n { | E ′ | | E ′ 是 G 的 边 割 集 }
那么称 λ(G)G λ ( G ) 为 G 的 边 连 通 度

备注
Gκ(G)=λ(G)=0min=0 若 G 是 平 凡 图 , 则 κ ( G ) = λ ( G ) = 0 这 里 约 定 m i n ∅ = 0
GKn,Gn1Gκ(G)=n1 若 G 是 完 全 图 K n , 由 于 G 无 点 割 集 , 那 么 显 然 当 删 除 n − 1 个 顶 点 之 后 , G 变 成 平 凡 图 , 所 以 κ ( G ) = n − 1
Gκ(G)=1Gλ(G)=1 若 G 中 存 在 割 点 , 则 κ ( G ) = 1 ; 若 G 中 存 在 割 边 ( 桥 ) , 则 λ ( G ) = 1

定理6.5
对于任何无向图G,有
κ(G)λ(G)δ(G) κ ( G ) ≤ λ ( G ) ≤ δ ( G )

有向图连通性
D=<V,E>vi,vjD 设 D =< V , E > 为 有 向 图 , 设 v i , v j 为 D 中 任 意 两 个 顶 点
vivjvivjvi v i 到 v j 之 间 有 通 路 , 那 么 称 v i 可 达 v j , 规 定 v i 到 自 身 总 是 可 达
vjvivivj 若 v j 可 达 v i , 那 么 称 v i 与 v j 是 相 互 可 达 的
vivj线线vivj 若 v i 到 v j 之 间 存 在 通 路 , 那 么 最 短 的 通 路 称 为 短 程 线 , 短 程 线 的 长 度 称 为 v i 到 v j 的 距 离

弱连通图或连通图
DD D 为 一 有 向 图 , 如 果 略 去 方 向 所 得 图 是 连 通 图 , 那 么 D 为 弱 连 通 图 或 连 通 图

单向连通图
D D 中 任 意 两 顶 点 至 少 一 个 可 达 另 一 个

强连通图
D D 中 任 意 两 顶 点 相 互 可 达

D 判 别 有 向 图 D 是 否 为 强 联 通 或 是 否 为 单 向 连 通
DD 若 有 向 图 D 中 存 在 经 过 每 个 顶 点 至 少 一 次 的 回 路 , 则 D 是 强 联 通 的
DD 若 有 向 图 D 中 存 在 经 过 每 个 顶 点 至 少 一 次 的 通 路 , 则 D 是 单 向 连 通 的

图的矩阵表示

无向图的关联矩阵
G=<V,E>,V={v1,v2,,vn},E={e1,e2,,em} 设 无 向 图 G =< V , E > , V = { v 1 , v 2 , ⋯ , v n } , E = { e 1 , e 2 , ⋯ , e m }
mijviej,(mij)n×mGM(G) 令 m i j 为 顶 点 v i 与 边 e j 的 关 联 次 数 , 则 称 ( m i j ) n × m 为 G 的 关 联 矩 阵 , 记 作 M ( G )

mij m i j 的 取 值 有 三 种
0(viej) 0 ( v i 与 e j 不 关 联 )
1(viej) 1 ( v i 与 e j 关 联 一 次 )
2(ejvi) 2 ( e j 是 以 v i 为 端 点 的 环 )

五条性质
ni=1mij=2M(G)2 ∑ i = 1 n m i j = 2 , 即 M ( G ) 各 列 元 素 之 和 为 2
mi=1mij=d(vi)M(G)ivi ∑ i = 1 m m i j = d ( v i ) , 即 M ( G ) 第 i 行 元 素 之 和 为 v i 的 度 数
ni=1d(vi)=ni=1mj=1=mj=1i=1n=mi=12=2m() ∑ i = 1 n d ( v i ) = ∑ i = 1 n ∑ j = 1 m = ∑ j = 1 m ∑ i = 1 n = ∑ i = 1 m 2 = 2 m ( 握 手 定 理 )
jkejek 若 第 j 列 与 第 k 列 相 同 , 当 且 仅 当 e j 与 e k 是 平 行 边
mj=1mij=0vi ∑ j = 1 m m i j = 0 , 当 且 仅 当 顶 点 v i 为 孤 立 点

有向无环图的关联矩阵
有向图中的 mij m i j 有 三 种 取 值
1(viej) 1 ( v i 为 e j 的 起 点 )
0(viej) 0 ( v i 与 e j 不 关 联 )
1(vie)j) − 1 ( v i 是 e ) j 的 终 点 )

五条性质
1° 每列恰有一个1和一个-1(规定图中无环)
2° 1的总个数等于-1的总个数,等于边数
i1vi1vi 第 i 行 中 1 的 个 数 等 于 v i 的 出 度 , − 1 的 个 数 等 于 v i 的 入 度
jkejek 第 j 列 与 第 k 列 相 同 当 且 仅 当 e j 和 e k 是 平 行 边
i0vi 第 i 行 全 为 0 当 且 仅 当 v i 是 孤 立 点

有向图的邻接矩阵
设有向图 D=<V,E>,V={v1,v2,,vn},|E|=m,a(1)ijvivj(a(1)ij)n×nDA(D) D =< V , E > , V = { v 1 , v 2 , ⋯ , v n } , | E | = m , 令 a i j ( 1 ) 为 顶 点 v i 邻 接 到 顶 点 v j 的 边 的 条 数 , 称 ( a i j ( 1 ) ) n × n 为 D 的 邻 接 矩 阵 , 记 为 A ( D )

两条性质
ivi 第 i 行 元 素 之 和 为 v i 的 出 度
jvj 第 j 列 元 素 之 和 为 v j 的 入 度

定理6.6
Al(l1)a(l)ijvivjli,ja(ijl)Dlia(l)ijDl A l ( l ≥ 1 ) 中 的 元 素 a i j ( l ) 是 v i 到 v j 长 度 为 l 的 通 路 数 , ∑ i , j a i j ( l ) 是 D 中 长 度 为 l 的 通 路 总 数 , 其 中 ∑ i a i j ( l ) 是 D 中 长 度 为 l 的 回 路 总 数

推论
Bl=A+A2++Al(l1),Blb(l)ijDl B l = A + A 2 + ⋯ + A l ( l ≥ 1 ) , 则 B l 的 元 素 b i j ( l ) 是 D 中 长 度 小 于 等 于 l 的 回 路 总 数

可达矩阵
1vivj 1 表 示 v i 可 达 v j
0 0 表 示 不 可 达

三条性质
线1pij=1,iin 主 对 角 线 上 的 元 素 全 为 1 , 即 p i j = 1 , i ≤ i ≤ n
DP(D)1 D 是 强 联 通 , 当 且 仅 当 P ( D ) 的 元 素 全 为 1
pij=1b(n1)ij0,1i,jnij p i j = 1 当 且 仅 当 b i j ( n − 1 ) ≠ 0 , 1 ≤ i , j ≤ n 且 i ≠ j

欧拉通路
G G 中 存 在 经 过 每 条 边 一 次 且 一 次 的 通 路
欧拉回路
G G 中 存 在 经 过 每 条 边 一 次 仅 一 次 的 回 路
欧拉图
具有欧拉回路的图

定理6.10
判断欧拉图
GG 无 向 图 G 中 有 欧 拉 回 路 , 当 且 仅 当 G 是 连 通 图 并 且 没 有 奇 度 顶 点
DD 有 向 图 D 有 欧 拉 回 路 , 当 且 仅 当 D 是 连 通 的 且 所 有 顶 点 的 入 度 等 于 出 度

哈密顿通路
G G 中 经 过 每 个 顶 点 一 次 仅 一 次 的 通 路
哈密顿回路
G G 中 经 过 每 个 顶 点 一 次 仅 一 次 的 回 路
哈密顿图
G G 中 存 在 哈 密 顿 回 路

三个性质
存 在 哈 密 顿 通 路 ( 回 路 ) 的 图 一 定 是 连 通 图
哈 密 顿 通 路 是 初 级 通 路 , 哈 密 顿 回 路 是 初 级 回 路
G 若 G 中 存 在 哈 密 顿 回 路 , 则 一 定 存 在 哈 密 顿 通 路 , 反 之 不 真

定理6.12
若删去一些点后,连通分支数>删去的点数,那么这个图一定不是哈密顿图

推论
有割点的图一定不是哈密顿图

定理6.13
Gn(n3)Gu,v, 设 G 是 n ( n ≥ 3 ) 阶 无 向 简 单 图 , 若 对 于 G 中 每 一 对 不 相 邻 的 顶 点 u , v , 均 有
d(u)+d(v)n1G d ( u ) + d ( v ) ≥ n − 1 , 那 么 G 中 存 在 哈 密 顿 通 路
d(u)+d(v)nGG 若 d ( u ) + d ( v ) ≥ n , 那 么 G 中 存 在 哈 密 顿 回 路 , 即 G 是 哈 密 顿 图

推论
Gn(n3)δ(G)n2,G 设 G 是 n ( n ≥ 3 ) 阶 无 向 简 单 图 , 若 δ ( G ) ≥ n 2 , 则 G 是 哈 密 顿 图

定理6.14
n(n2)D=<V,E>KnD 在 n ( n ≥ 2 ) 阶 有 向 图 D =< V , E > 中 , 如 果 略 去 所 有 有 向 边 的 方 向 , 所 得 无 向 图 中 含 生 成 子 图 K n , 则 D 中 存 在 哈 密 顿 通 路

  • 35
    点赞
  • 142
    收藏
    觉得还不错? 一键收藏
  • 1
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值