文章目录
- 1、无向图和有向图
- 2、图的表示
- 2.1 图解表示
- 2.2 图的邻接矩阵表示
- 2.2 图的邻接表表示
- 3、子图
- 4、度
- 5、正则图
- 6、同构
- 7、路,圈和连通图
- 7.1 连通图的判定条件
- 7.2 圈的判定条件
- 8、补图和双图
- 8.1 补图
- 8.2 双图
- 9、欧拉图
- 10、哈密顿图
- 10.1 哈密顿图判定的充分条件
- THE END
1、无向图和有向图
\qquad 定义1. 设 V V V为有穷集合,令 P 2 ( V ) = { { u , v } ∣ u , v ∈ V } P_2(V)=\{\{u,v\}|u,v \in V \} P2(V)={{u,v}∣u,v∈V}表示 V V V中任意两个元素的二元组集合,令 E ⊆ P 2 ( V ) E\subseteq P_2(V) E⊆P2(V)表示 P 2 ( V ) P_2(V) P2(V)中的任意子集,则称二元组( V , E V, E V,E)为无向图。
\qquad 记作 G = ( V , E ) G=(V, E) G=(V,E),其中 V V V表示定点集合, E E E表示边集合。 ∀ { u , v } ∈ E \forall \{u,v\} \in E ∀{u,v}∈E,称 u u u和 v v v邻接,边 { u , v } \{u,v\} {u,v}和顶点 u u u和顶点 v v v相关联。
\qquad 两个图 G = ( V , E ) G=(V,E) G=(V,E)和 H = ( U , F ) H=(U,F) H=(U,F)是相等的,当且仅当满足 V = U , E = F V=U, E=F V=U,E=F。
\qquad ∀ G = ( V , E ) , ∣ V ∣ = p , ∣ E ∣ = q \forall G=(V,E), |V| = p, |E| = q ∀G=(V,E),∣V∣=p,∣E∣=q,则称 G G G为 ( p , q ) (p,q) (p,q)图。 特殊地,称 ( 1 , 0 ) (1,0) (1,0)为平凡图, ( p , 0 ) (p,0) (p,0)为零图。
\qquad 定义2. 设 V V V为有穷集合,令 A ⊆ V × V \ { ( v , v ) ∣ v ∈ V } A \subseteq V×V \backslash \{ (v,v)|v\in V\} A⊆V×V\{(v,v)∣v∈V}表示有向边集合,则称 ( V , A ) (V, A) (V,A)为有向图,记作 D = ( V , A ) D=(V,A) D=(V,A)。
\qquad 需要注意,有向图和无向图中, E E E和 A A A均是反自反的。
2、图的表示
2.1 图解表示
\qquad 给定顶点集合和边集合之后,可以直观地将图进行可视化绘制,这种表示方法称为图解表示法。
2.2 图的邻接矩阵表示
\qquad 将图的所有顶点分别构成一个二维矩阵的行列,将顶点之间的边关系表示在构成的矩阵之中,则称这个二维矩阵为图的邻接矩阵。
2.2 图的邻接表表示
\qquad 上述使用图的邻接矩阵表示图的时候,当图时一个稀疏图时(图中的边数量较少),在图的存储时会浪费大量的存储空间,所以需要将图进行压缩存储。一种简单的方式就是利用图的邻接表来存储图。邻接表中表的头结点表示图中每一个顶点,邻接表中的每一个节点中有值域和指针域,值域存储图中节点的编号,指针域存储一个指针,指向和当前结点相邻接的其他结点。
3、子图
\qquad 给定一个图 G = ( V , E ) G=(V, E) G=(V,E),称 G 1 = ( V 1 , E 1 ) G_1=(V_1, E_1) G1=(V1,E1)为图 G G G的子图,当且仅当 V 1 ∈ V V_1\in V V1∈V并且 E 1 ∈ E E_1\in E E1∈E。
\qquad G G G的生成子图指的是包含 G G G的所有顶点的子图 G ′ G' G′的,但是 G ′ G' G′中不包含 G G G中所有的边。
4、度
\qquad G = ( V , E ) G=(V, E) G=(V,E),对于 ∀ v ∈ V \forall v \in V ∀v∈V,与 v v v相关联的边的条数称为顶点 v v v的度,记作 d e g v deg\ v deg v。
- 定理 1. (握手定理) 给定一个图 G = ( V , E ) G=(V, E) G=(V,E)是一个 ( p , q ) (p,q) (p,q)图,则有 ∑ v ∈ V d e g v = 2 ∗ q \sum_{v \in V}deg \ v = 2*q ∑v∈Vdeg v=2∗q,即 G G G中顶点的度数是边点数量的两倍。
- 推论 1. 握过奇数次手的人有偶数个。
\qquad 推论 1. 简单说明,因为有 定理 1. 成立,所以图中所有顶点的度数总和为偶数;将图中的顶点按照度数多少分为奇数点和偶数点,因为偶数乘以任何数都为偶数,说以奇数点的个数必定为偶数个。
\qquad 记图 G G G的最小度数节点为 δ ( G ) = m i n v ∈ V { d e g v } \delta(G) = min_{v \in V}\{deg \ v\} δ(G)=minv∈V{deg v},记图 G G G的最大度数节点为 Δ ( G ) = m a x v ∈ V { d e g v } \Delta(G) = max_{v \in V}\{deg \ v\} Δ(G)=maxv∈V{deg v}。
5、正则图
\qquad 给定一个 ( p , q ) (p, q) (p,q)图 G = ( V , E ) G=(V, E) G=(V,E),如果 ∀ v ∈ V \forall v \in V ∀v∈V,均满足 d e g v = r deg \ v = r deg v=r,则称 G G G为 r r r-正则图。若 G G G中所有顶点的度数均为 p − 1 p-1 p−1,则称 G G G为完全图,即 p − 1 p-1 p−1-正则图即为完全图,记为 K p K_p Kp
6、同构
\qquad G = ( V , E ) G=(V, E) G=(V,E), H = ( U , F ) H=(U, F) H=(U,F),令 ∣ V ∣ = ∣ U ∣ |V|=|U| ∣V∣=∣U∣;如果 ∃ ϕ : V → U \exist \phi: V →U ∃ϕ:V→U, ϕ \phi ϕ是一个双射,满足 ( v 1 , v 2 ) ∈ E ⇆ ϕ ( v 1 ) ϕ ( v 2 ) ∈ F (v_1, v_2) \in E \leftrightarrows \phi(v_1)\phi(v_2) \in F (v1,v2)∈E⇆ϕ(v1)ϕ(v2)∈F,则称 G G G和 H H H是同构的,记作 G ≅ H G \cong H G≅H。
7、路,圈和连通图
\qquad 通道: G = ( V , E ) G=(V, E) G=(V,E), G G G的顶点和边的交错序列 v 0 , x 0 , v 1 , x 1 , . . . , x n , v n v_0, x_0, v_1, x_1, ..., x_n, v_n v0,x0,v1,x1,...,xn,vn 称为 G G G的一条通道,通道的程度为通道中边的数量,若 v 0 = v n v_0 = v_n v0=vn,则称这个通道为闭通道。
\qquad 迹: G G G 的一条(闭)通道如果没有重复的边,则称其为一条(闭)迹。
\qquad 路: G G G 的没有重复顶点的(闭)通道,称为(闭)路,闭路也称为圈。
\qquad 连通图: G = ( V , E ) , ∀ u , v ∈ V G=(V, E),\forall u,v \in V G=(V,E),∀u,v∈V,如果 u u u和 v v v之间有路,则称图 G G G连通。
7.1 连通图的判定条件
\qquad (充分条件) 定理 1. G = ( V , E ) G=(V, E) G=(V,E)是一个 ( p , q ) (p,q) (p,q)图, ∀ u , v ∈ V \forall u,v \in V ∀u,v∈V, 如果 ( u , v ) ∉ E (u,v) \notin E (u,v)∈/E,且 d e g u + d e g v ≥ p − 1 deg \ u + deg \ v \geq p-1 deg u+deg v≥p−1,则称 G G G是连通的。
\qquad 图的极大连通子图:在一个非联通图中,任意一个连通的子图称为极大连通子图。之所以称为“极大”是因为连通子图中任意再多加一个点,则子图就变得不连通。
\qquad 推论. G = ( V , E ) G=(V, E) G=(V,E)是一个 ( p , q ) (p,q) (p,q)图,若 ∀ v ∈ V \forall v \in V ∀v∈V, d e g v ≥ ⌈ p 2 ⌉ deg\ v \geq \lceil \frac{p}{2} \rceil deg v≥⌈2p⌉,则 G G G是连通的。
7.2 圈的判定条件
\qquad G = ( V , E ) G=(V, E) G=(V,E)图, ∀ v ∈ V \forall v \in V ∀v∈V, 如果 G G G中 v v v顶点的度为偶数,则 G G G中必定有圈存在。同时有:若 δ ( G ) ≥ m ≥ 2 \delta(G) \geq m \geq 2 δ(G)≥m≥2, 则有长度至少为 m + 1 m+1 m+1的圈存在。(可以使用最长路方法进行证明)。
\qquad G = ( V , E ) G=(V, E) G=(V,E)图,若 ∀ u , v ∈ V \forall u,v \in V ∀u,v∈V之间有两条不同的路,则 G G G中有圈存在。
8、补图和双图
8.1 补图
\qquad 定义:设 G = ( V , E ) G=(V, E) G=(V,E), 则 G G G的补图 G c = ( V , E c ) G^c = (V, E^c) Gc=(V,Ec),其中 E c = P 2 ( V ) / E E^c = P_2(V) /\ E Ec=P2(V)/ E。若 G G G和 H H H同构,则 G c G^c Gc和 H c H^c Hc也同构,若 G G G和 G c G^c Gc同构,则称, G G G为自同构。
\qquad 利用补图的定义,可以方便地证明在6个顶点的图 G G G中,或者图 G G G中有三角形存在,或者 G c G^c Gc中有三角形存在。
8.2 双图
\qquad 定义:设 G = ( V , E ) G=(V, E) G=(V,E),若存在一个 V V V的二划分 { V 1 , V 2 } \{V_1, V_2 \} {V1,V2},使得 ∀ u v ∈ E , u ∈ V 1 , v ∈ V 2 \forall uv \in E, u \in V_1, v \in V_2 ∀uv∈E,u∈V1,v∈V2或者 u ∈ V 2 , v ∈ V 1 u \in V_2, v \in V_1 u∈V2,v∈V1,则称 G G G为双图。
\qquad 定理 1. 设 G = ( V , E ) G=(V, E) G=(V,E)是一个无向图,则 G G G是双图的充分必要条件为: G G G中圈的长度为偶数。
\qquad 图兰定理. (在没有三角形的图中,完全双图的边数最多). 设 G = ( V , E ) G=(V, E) G=(V,E)是 ( p , q ) (p,q) (p,q)图,如果 G G G中没有三角形,则 q ≤ ⌈ p 2 4 ⌉ q \leq \lceil \frac{p^2}{4} \rceil q≤⌈4p2⌉
9、欧拉图
\qquad 定义图 G = ( V , E ) G=(V,E) G=(V,E),包含 G G G中所有顶点和所有边的(闭)迹称为欧拉(闭)迹。
\qquad 包含欧拉(闭)迹的图称为欧拉图。
\qquad 欧拉定理: G G G是欧拉图,当且仅当 G G G是连通的,且 G G G中每一个顶点的度为偶数。
\qquad 定理2:图 G G G中有一条欧拉开迹,当且仅当 G G G中恰好有两个奇度顶点。
\qquad 定理3:假设 G G G中有2 n n n个奇度顶点,则 G G G中至少有 n n n条迹。
10、哈密顿图
\qquad 对于一个无向图 G = ( V , E ) G=(V,E) G=(V,E),如果 G G G中有生成圈(每一个节点只走一次的环路),则称 G G G为哈密顿图。
\qquad 可以使用染色法来判别一个图 G G G是否为哈密顿图,染色法是指在一个图中用两种不同的颜色进行染色,同一个边的两端的节点需要染成不同的颜色,图中所有节点均需要进行染色。若某个图 G G G可以进行染色,满足每一条边的两个端点均为不同的颜色,同时满足不同颜色的节点数量不同,则这个图 G G G一定不是哈密顿图。
\qquad 哈密顿图判定的必要条件:给定一个图 G = ( V , E ) G=(V,E) G=(V,E), 令 S ⊆ V S \subseteq V S⊆V,令 ∣ G − S ∣ |G-S| ∣G−S∣表示从 G G G中去除 S S S之后图中剩余的枝的数量, ∣ S ∣ |S| ∣S∣表示集合 S S S中的节点数量, 当且仅当 ∣ G − S ∣ ≤ ∣ S ∣ |G-S| \leq |S| ∣G−S∣≤∣S∣,则 G G G为一个哈密顿图。
10.1 哈密顿图判定的充分条件
\qquad 定理1(Dirac定理). 给定一个图 G = ( V , E ) G=(V,E) G=(V,E)是一个 ( p , q ) (p,q) (p,q)图, ∣ V ∣ = p > 3 |V|=p>3 ∣V∣=p>3,如果 ∀ v ∈ V \forall v \in V ∀v∈V, d e g ( v ) ≥ p / 2 deg(v) \geq p/2 deg(v)≥p/2, 则 G G G为哈密顿图。
\qquad 定理2(Ore定理). 给定一个图 G = ( V , E ) G=(V,E) G=(V,E)是一个 ( p , q ) (p,q) (p,q)图, ∀ u , v ∈ V , ( u , v ) ∉ E \forall u,v \in V, (u,v) \notin E ∀u,v∈V,(u,v)∈/E,若 d e g ( u ) + d e g ( v ) ≥ p deg(u)+deg(v) \geq p deg(u)+deg(v)≥p,则 G G G为哈密顿图。
\qquad 定理3. 给定一个图 G = ( V , E ) G=(V,E) G=(V,E)是一个 ( p , q ) (p,q) (p,q)图, ∀ u , v ∈ V , ( u , v ) ∉ E \forall u,v \in V, (u,v) \notin E ∀u,v∈V,(u,v)∈/E,若 d e g ( u ) + d e g ( v ) ≥ p − 1 deg(u)+deg(v) \geq p-1 deg(u)+deg(v)≥p−1,则 G G G中有一个哈密顿路。