离散图论部分定理.docxVIP

离散图论部分定理 定理7.1.1 设无向图 G =〈Ｖ，Ｅ ，Ψ〉有 m 条边， 则 Sv∈V dG (v) = 2m 定理7.1.2 设有向图 G ＝〈Ｖ，Ｅ ，Ψ〉有 m 条边， 则 Sv∈V dG＋(v) = Sv∈V dG－(v) = m，且 Sv∈V dG (v) = 2m 。 定理7.1.3 任何图中都有偶数个 奇结点。 两个图同构的必要条件 两个同构的图必有相同的结点个数和边数，并且： 1）双射 f 保持结点之间的邻接关系， 2）双射 g 保持边之间的邻接关系。 完全图必是正则图，但正则图不一定是完全图 图G的子图是G的一部分， G的真子图的边比G的边少， G的生成子图与G有相同的结点， G的导出子图G[V￠]是G的以V￠为结点集合的最大子图。 并非任何两个图都有交、并和环和，它们必须可运算的才行 定理7.2.1 设图 Ｇ１＝〈Ｖ１，Ｅ１，Ψ１〉和 Ｇ２＝〈Ｖ２，Ｅ２，Ψ２〉是 可运算的。 i)?? 如果 V１∩Ｖ２≠ ?，则存在唯一的 Ｇ１∩Ｇ２。 （ Q V１∩Ｖ２ ＝ ?时，Ｇ１∩Ｇ２ 不存在 ） ii)? 存在唯一的 Ｇ１∪Ｇ２和 Ｇ１? Ｇ２。 证明：以 i) 为例，不妨设 G１和Ｇ２同为有向图，若同为无向图也可同样证明。 a) （存在性） 定义 Ψ：E1∩Ｅ２→ (V1∩V2)× (V1∩V2) 为 ： 对于任意的 e∈Ｅ１∩Ｅ２，Ψ(e) ＝ Ψ１(e) ＝ Ψ２(e) 。 显然，〈Ｖ１∩Ｖ２，Ｅ１∩Ｅ２，Ψ〉＝ Ｇ１∩Ｇ２。 b) （唯一性） 设图 G＝〈Ｖ１∩Ｖ２，Ｅ１∩Ｅ２，Ψ〉 和 G￠＝〈Ｖ１∩Ｖ２，Ｅ１∩Ｅ２，Ψ￠〉均为 G１和Ｇ２的交。 因为 G í G1，所以对任意 e∈E1∩E2 皆有 Ψ(e) ＝Ψ1(e) 。 因为 G￠ í G1，所以对任意 e∈E1∩E2 皆有 Ψ′(e) ＝Ψ1(e) 。 这表明 Ψ＝Ψ￠。 因此，G ＝ G￠ 。 简单无向图都有补图，并且一个简单无向图的所有补图都同构 定理7.2.2 设 f 和 g 为图 G ＝ Ｖ，Ｅ，Ψ 和 G￠ ＝ Ｖ￠ ，Ｅ￠ ，Ψ￠ 之间 的 同构映射。 若 v ? V 且 v￠ = f (v)，则 dG (v) = dG￠ (v ￠ )； 若 S í V 且 S￠ = f ( S ) ，则 G [S] = G ￠[ S ￠ ] 且 G – S G￠ – S￠ ； 若 K í E 且 K￠ = f ( K ) ，则 G [K] = G ￠[K￠] 且 G – K G￠ –K￠ ； ，即 G 的补图与 G￠ 的补图仍同构。 基本路径 必为 简单路径 任何结点到自身总存在路径。 v到 v￠ 存在路径 T v￠ 到 v 存在路径？ ( 无向图 √ 有向图 ╳ ) 定理7.3.1 设图 G ＝〈Ｖ，Ｅ，Ψ〉，v, v′?Ｖ。如果存在从 v 至 v′的路径，则存在从 v 至 v′的基本路径。 证明：（第二归纳法） 假设当存在从 v 至 v′的长度小于 l 的路径时，必存在 从 v 至 v′的基本路径。 如果从 v 至 v′的路径 v0e1v1…vl-1elvl 不是基本路径， 其中 v0 = v, vl = v′，则必有 i 和 j 使 0≤i j ≤l 且vi = vj ，故 v0e1v1…viej+1vj+1…vl-1elvl 是从 v 至 v′的长度为 l – (j – i) l 的路径。根据归纳假设，必存在从 v 至 v′的基本路径。 n 阶图中的基本路径的长度小于 n。 （ 因为基本路径中的结点互不相同，即最多仅含 n 个结点， 所以所经过的边数必定小于 n。） 可达集（reachable set）的概念用于安全性证明。 ? 无向图：若从 v1 可达 v2，则从 v2 必可达 v1 。 有向图：从 v1 可达 v2 不能保证从 v2 必可达 v1。 定理7.3.3 设图 G ＝〈Ｖ，Ｅ，Ψ〉， v1 ，v2 ?Ｖ。 从 v1 可达 v2 iff 存在从 v1 至 v2 的基本路径 戴克斯特拉（Dijkstra）算法 算法（求从结点 s 至 t 的加权距离） λ(s) ← 0，且 v∈ V – ｛s｝，λ(v) ← ∞； T ← V； 任取 u ∈｛ u′｜若 v′∈T，则 λ(u′) ≤ λ(v′) ｝； 如果 u =