12
m=|E1|+|E2| ≤ n1(n1-1)/2+ n2(n2-1)/2 ≤(n-1)(n1-1)/2+(n-1)(n2-1)/2 ≤(n-1)(n-2)/2, ,
2.2
道路与回路的判定
1.判定各点对间是否有道路相通:邻接矩阵方法 1.判定各点对间是否有道路相通: 判定各点对间是否有道路相通
有向图或无向图)的 设A=(aij)n×n是图 有向图或无向图 的 = × 是图G(有向图或无向图 邻接矩阵, 的长度为1的道路 邻接矩阵,则aij是vi到vj的长度为 的道路 (边)的条数。 的条数。 边 的条数 一般地, 一般地,设Ak=( aij(k) )n×n ,则aij(k)是vi到 × vj的长度恰为 的道路的条数 k=1,2,…。 的长度恰为k的道路的条数 的道路的条数, 。 这可用数学归纳法予以证明: 这可用数学归纳法予以证明: 因为 Ak= Ak-1A, 所以
16
定义道路矩阵 定义道路矩阵P=(pij) n×n ,其中 道路矩阵 × , v 路 通 1 若 i , v j 有 相 pij = , v 路 通 0 若 i , v j无 相 则 P=A∨A(2)∨A (3)∨…∨A (n) ∨ ∨ (布尔运算 布尔运算) 布尔运算
17
v1
例 v2
命题:若简单 1 命题: 图G的每个结点 的每个结点 的度数≥ , 的度数≥3,则G 中必含带弦的回 路。 5
3
4
6
证明: 证明:设 P=(e1,e2,…,ek)是G的一条最长 是 的一条最长 的初级道路, 的初级道路,e1=(v0,v1)。由于 为最长的 。由于P为最长的 初级道路,所以与v 初级道路,所以与 0有边相边的结点都在 P上。( 否则与 是最长的假设矛盾 否则与P是最长的假设矛盾 是最长的假设矛盾) 上 v0至少有三个相邻结点 1, vi, vj,它们与 1 至少有三个相邻结点v 它们与v 它们与 相连的边e 中最多有两个在P中 即 相连的边 1, e’, e”中最多有两个在 中,即 中最多有两个在 其中至少有一边不在P上 此边就是C的 其中至少有一边不在 上,此边就是 的 一条弦 一条弦。 v1 e2 e1 v0 e” e’