离散数学精选.pptVIP

7.2 路与连通 7.2.1 路 7.2.2 连通图 7.1.3 连通度 7.4.4 二分图 7.2.1 路 设u和v是任意图G的结点 图G的u – v链(chain 或walk)：有限结点和边交替序列u0e1u1e2…un-1enun (u＝u0,v＝un)，其中结点ui-1和ui正好是ei的两个端点。 链的长度：链中出现的边数 链的端点；链的内部点 开的链：两端点不同；闭的链 迹(trail)：边互不同的链 路(path)：内部点互不同的链 7.2.1 路 注释 1）链中，结点和边可以重复。 2）简单图G的链可用结点序列表示。 3）平凡链：不含边（即长度为0） 4）有向图D的u – v有向链：链中各边的方向 都从u到v。 5）有向图D的u – v有向迹 6）有向图D的u – v有向路 7.2.1 路 例如 x1－x3链：x1 e9 x2 e8 x5 e2 x5 e3 x4 e3 x5 e6 x3 x1－x3迹：x1 e9 x2 e8 x5 e2 x5 e3 x4 e4 x3 x1－x3路：x1 e9 x2 e8 x5 e3 x4 e4 x3 有向x1－x3链：x1 e1 x5 e2 x5 e6 x3 e4 x4 e5 x3 e4 e9 e7 e1 e2 e5 e3 e8 e6 x1 x4 x2 x3 x5 7.2.1 路 回(circuit)：两端点相同的迹 闭迹 圈(cycle)或回路(circuit)：闭路 k回：长度为k的回 奇圈：长度为偶数的圈 有向回：有向闭迹 有向圈：有向闭路 7.2.2 连通图 结点x和y是连通的：无向图G中存在连接结点x和y的路。 规定x到自身总是连通的 连通图：无向图G中每一对不同的结点x和y间都有一条路。 非连通图 连通分支 连通分支数 7.2.2 连通图 连通分支 7.2.2 连通图 结点x可达y：有向图D中存在x到y的有向路 规定结点x到自身总是可达 单侧连通有向图：结点间一个可达另一个 强连通有向图：结点间相互可达 弱连通向图：基础图是连通图 非强连通图 强连通分支（强分图） 7.2.2 连通图 例如 强连通图 单侧连通图 弱连通图 7.2.2 连通图 非强连通图 强分图 6 5 3 2 1 8 4 7 6 5 3 2 1 8 4 7 7.2.3 连通度 割点和桥 7.2.3 连通度 点割和边割 7.2.3 连通度 割点 割边或桥 块：没有割点的非平凡连通图 点割 边割 (点)连通度K(G)＝min{|T||T是G的点割} 边连通度λ(G)＝min{|S||S是G的边割} 7.2.3 连通度 定理7.2.6 对图G，有K(G)≤λ(G)≤δ(G)。 若G不连通，则K(G)＝λ(G)＝0。 若G连通：1）λ(G)≤δ(G) 2）K(G)≤λ(G) 7.2.4 二分图 二分图（bipartite graph）或偶图 简单图 G＝V1,V2,E 1 2 3 4 5 6 5 3 1 6 4 2 7.2.4 二分图 完全二分图（complete bipartite graph） K3,6 K2,3 K3,3 K2,6 7.2.4 二分图 定理7.2.9 非平凡图G是二分图当且仅当G中不含有长为奇数的圈。 7.2.4 二分图 n维立方体Qn是二分图 1101 1001 1000 1010 1011 1100 1111 1110 0000 0001 0011 0111 0110 0010 0101 0100 7.2.4 二分图 n维立方体Qn是二分图 0000 0011 0101 0110 1001 1010 1100 1111 0001 0010 0100 0111 1000 1011 1101 1110 * *