離散件圖的道路與連通

離散件圖的道路與連通第1頁，共40頁，2023年，2月20日，星期一例：下圖中p1=v1e1v1e2v2e2v1e5v4e8v3e6v2p2=v1e2v2e6v3e8v4e5v1e4v3e9v5

p3=v1e5v4e8v3e6v2

（簡記為：p3=v1v4v3v2）

p4=v6

都是道路。v1v2v3v4v6v5e9e10e12e8e7e2e4e5e6e3e1e11第2頁，共40頁，2023年，2月20日，星期一2。道路的分類：①跡：任何滿足道路定義的道路。②簡單道路：邊不重復(fù)出現(xiàn)的道路。③基本道路：結(jié)點不重復(fù)出現(xiàn)的道路。例：上圖中，p1是跡，p2是簡單道路，

p3是基本道路，p4是零道路。第3頁，共40頁，2023年，2月20日，星期一3?；芈罚浩瘘c和終點相同的道路。邊不重復(fù)出現(xiàn)的回路稱為簡單回路。結(jié)點不重復(fù)出現(xiàn)的回路稱為圈。例：下圖中，c1是一般回路，c2是簡單回路，c3是圈。第4頁，共40頁，2023年，2月20日，星期一例：下圖中c1=v1e1v1e2v2e7v4e8v3e4v1e3v2e2v1c2=v1e1v1e2v2e3v1e5v4e8v3e4v1c3=v1e5v4e10v6e12v5e9v3e4v1

（c3可簡記為：c3=v1v4v6v5v3v1）都是回路。c1是一般回路，c2是簡單回路，c3是圈。v1v2v3v4v6v5e9e10e12e8e7e2e4e5e6e3e1e11第5頁，共40頁，2023年，2月20日，星期一4。定理：設(shè)G是n階圖，如果存在從結(jié)點u到v的道路，則必存在長度不超過n-1的道路。

證明要點：如果結(jié)點u到v的道路p的長度超過n-1，則p中至少有n+1個結(jié)點，因而道路中至少有一個結(jié)點出現(xiàn)兩次，如viei...v1，則去掉ei...vi后仍是結(jié)點u到v的道路，但是道路長度至少短1。重復(fù)這一過程，即得所需結(jié)論。第6頁，共40頁，2023年，2月20日，星期一二、無向圖的連通問題1。定義:如果存在從結(jié)點u到結(jié)點v的道路，則稱u到v是連通的。結(jié)點集V上的“連通”關(guān)系具有性質(zhì)：自反、對稱、傳遞。2。如果圖G中任何兩個結(jié)點都是連通的，則稱G是連通圖。第7頁，共40頁，2023年，2月20日，星期一3。圖G中的極大連通子圖稱為圖G的支，圖G的支數(shù)記為(G)。圖G連通當(dāng)且僅當(dāng)(G)=1。

例：下圖中(G)=3。v1v6v4v7v5v2v3v8第8頁，共40頁，2023年，2月20日，星期一4。連通圖G=(V,E)的點割集定義：設(shè)SV，如果(G-S)>1，則稱S是G的一個點割集。

①S是G的一個點割集，而S的任何真子集都不是點割集時，稱S是G的一個基本點割集。如S1={v2，v5}，S2={v2，v6},S3={v2，v7}，S4={v3，v5},S5={v4}②由單個結(jié)點（如u）構(gòu)成的點割集簡稱為割點。v1v6v4v7v5v2v3第9頁，共40頁，2023年，2月20日，星期一定理結(jié)點u是圖G的割點當(dāng)且僅當(dāng)存在兩結(jié)點v和w，使v到w的任何道路都經(jīng)過u。證明要點：“”,當(dāng)u是割點時，則Gu至少有2支，從這2支中各選一個結(jié)點即可?！啊?反之，如果v到w的任何道路都經(jīng)過u，則去掉u后，v和w各在Gu的1支中，即u是割點。第10頁，共40頁，2023年，2月20日，星期一5。連通圖G=(V,E)的邊割集定義：設(shè)FE，如果(G-F)>1，則稱F是G的一個邊割集。

①F是G的一個邊割集，而F的任何真子集都不是邊割集時，稱F是G的一個基本邊割集。如F1={v2v3，v3v7}，F(xiàn)2={v2v3，v5v7},F3={v1v4}，F(xiàn)4={v2v4，v2v6，v5v6},F5={v4v6，v2v6，v2v5，v3v7}②由單條邊（如uv）構(gòu)成的邊割集簡稱為割邊。v1v6v4v5v2v3v7第11頁，共40頁，2023年，2月20日，星期一定理邊e是圖G的割邊當(dāng)且僅當(dāng)e不在G的任何回路上。

證明要點：“”:當(dāng)e是割邊時，則Ge有2支，因而e不在G的任何回路上?！啊?反之，如果e不在任何回路上，則去掉e后，e關(guān)聯(lián)的兩個結(jié)點各在Ge的1支中，即e是割邊。

第12頁，共40頁，2023年，2月20日，星期一

6.圖的連通度(限無環(huán)圖G)(1)點連通度:記為К(G),定義為 最小基本點割集基數(shù), 當(dāng)GKn

К(G) n1, 當(dāng)GKn例如下圖中,К(G)2v1v6v4v5v2v3v7v8第13頁，共40頁，2023年，2月20日，星期一(2)邊連通度:記為λ(G),定義為 最小基本邊割集基數(shù), 當(dāng)GK1

λ(G) 0, 當(dāng)GK1例如下圖中,К(G)2,

λ(G)2v1v6v4v5v2v3v7v8第14頁，共40頁，2023年，2月20日，星期一練習(xí):求下列圖的К(G),

λ(G),和К(G)=2λ(G)=2=2К(G)=2λ(G)=2=2К(G)=2λ(G)=3=4第15頁，共40頁，2023年，2月20日，星期一(3)連通度定理:К(G)λ(G)證明要點:

首先,每個結(jié)點關(guān)聯(lián)的邊構(gòu)成一個邊割集,于是λ(G).下面證明К(G)λ(G)：首先注意對每個基本邊割集F，(G-F)=2；其次設(shè)F含λ(G)條邊，G-F的2支為G1和G2，若G不是二部圖，則去掉這支中與F關(guān)聯(lián)的全部結(jié)點即可；若G是二部圖，則交替刪去這2支中與F關(guān)聯(lián)的結(jié)點即可。第16頁，共40頁，2023年，2月20日，星期一四、有向圖的道路

1。定義：如果圖G中由結(jié)點和邊交替構(gòu)成的序列p=v0e1v1e2v2...ekvk,滿足其中每條ei是vi-1的出邊和vi的入邊，則稱p為由v0到vk的一條有向道路。在下圖中，一些有向道路p1=v1v4v2v1v3v5v4 p2=v3v2v1v3v5v4v2

p3=v5v4v2v1v3v1v2v3v4v5第17頁，共40頁，2023年，2月20日，星期一2。有向道路的分類：①有向跡：任何滿足定義的有向道路。②有向簡單道路：邊不重復(fù)的有向道路。③有向基本道路：結(jié)點不重復(fù)的有向道路。3。有向回路：起點和終點相同的有向道路。邊不重復(fù)的有向回路稱為有向簡單回路。結(jié)點不重復(fù)的有向回路稱為有向圈，第18頁，共40頁，2023年，2月20日，星期一在下圖中，一些有向回路

p1=v1v4v2v1v3v5v4v2v1p2=v3v2v1v3v5v4v3p3=v5v4v2v1v3v5v1v2v3v4v5第19頁，共40頁，2023年，2月20日，星期一五、有向圖的連通問題

1。如果存在從結(jié)點u到結(jié)點v的有向道路，則稱u可達v。結(jié)點集V上的“可達”關(guān)系具有性質(zhì)：自反、傳遞。定理：如果在n階有向圖中結(jié)點u可達v，則必存在從結(jié)點u到結(jié)點v的長度不超過n-1的有向道路。第20頁，共40頁，2023年，2月20日，星期一2。有向圖G的連通有如下三個層次：①強連通圖：任何一對不同結(jié)點都相互可達。②單向連通圖：任何一對不同結(jié)點間，至少從一個結(jié)點可達另一個結(jié)點。③弱連通圖：不看邊的方向時是連通的。

abcd單向連通弱連通abcdabcd強連通第21頁，共40頁，2023年，2月20日，星期一3。強連通的性質(zhì)①死鎖問題的強連通背景②定理:有向圖G是強連通圖當(dāng)且僅當(dāng)存在一條包含所有結(jié)點的有向回路。證明要點：當(dāng)G強連通時,據(jù)定義可依次構(gòu)造道路v1v2

v3…vn

v1,反過來是明顯的.③定義：有向圖G的極大強連通子圖稱為強分圖。例：下面有３個強分圖:G({v2,

v3,

v4}),G({v5,

v6})G({v1})v1v2v5v3v4v6第22頁，共40頁，2023年，2月20日，星期一定理：每個結(jié)點都只位于一個強分圖中。證明要點：強連通是結(jié)點集合上的一個等價關(guān)系，由每個等價類誘導(dǎo)的子圖是一個強分圖．

第23頁，共40頁，2023年，2月20日，星期一作業(yè)：習(xí)題9。21、2、5

(吳子華)or習(xí)題10。31、2、5

(馮偉森)附加題1：證明>1的圖必含回路，反之成立嗎？附加題2：證明連通圖的1度結(jié)點不是割點。第24頁，共40頁，2023年，2月20日，星期一第三節(jié)圖的矩陣表示一、鄰接矩陣

1。設(shè)G=(V,E)是有向簡單圖,其中

V={v1,v2,...,vn},

定義矩陣A=(aij)

nn如下:1如果(vi,vj)Eaij=0如果(vi,vj)E

稱A為G的鄰接矩陣.第25頁，共40頁，2023年，2月20日，星期一

下面有向圖對應(yīng)的鄰接矩陣是

v1v2v3v4v5v100110v210110A=v300001v400100v500010v1v2v5v3v4第26頁，共40頁，2023年，2月20日，星期一2。鄰接矩陣的性質(zhì)：①鄰接矩陣等價地描述了有向圖的信息。矩陣行和等于結(jié)點出度，列和等于入度。②設(shè)A2=(a(2)ij)，則

a(2)ij=1kn

(aikakj)

a(2)ij

0當(dāng)且僅當(dāng)至少存在aik=1且

akj=1，也就是存在從vi到vj的長度為2的有向道路。因此

a(2)ij

的值表達了從vi到vj的長度為2的有向道路數(shù)目。第27頁，共40頁，2023年，2月20日，星期一例如，對于前面的鄰結(jié)矩陣

v1v2v3v4v5v100101v200211A2=v300010v400001v500100

從中可以看出，存在一條從v1到v3的長度為2的道路，2條從v2到v3的長度為2的道路，1條從v4到v5的長度為2的道路，不存在從v5到v2的長度為2的道路等等。v1v2v5v3v4第28頁，共40頁，2023年，2月20日，星期一v1v2v3v4v5

v100011v200112A3=v3

00100v400010v500001v1v2v5v3v4第29頁，共40頁，2023年，2月20日，星期一

類似地，可以構(gòu)造0011000121A4=000010010000010

可對照圖找出長度為4的有向道路.③設(shè)Am=(a(m)ij)，那么a(m)ij

的值表達了從vi到vj長度為m的有向道路數(shù)目。a(m)ii

的值表達了通過vi的長度為m的有向回路數(shù)目。

第30頁，共40頁，2023年，2月20日，星期一3?？蛇_矩陣設(shè)G=(V,E)是有向簡單圖,其中

V={v1,v2,...,vn},

定義矩陣P=(pij)

nn如下:1vi非平凡可達vjpij=0其它

稱P為G的可達矩陣.第31頁，共40頁，2023年，2月20日，星期一可達矩陣P可通過鄰結(jié)矩陣A求得，方法之一是計算矩陣和：

B=A+A2+...

+An-1

然后，令pij=1當(dāng)且僅當(dāng)bij>0。例如，由前面的例子可得第32頁，共40頁，2023年，2月20日，星期一B=A+A2+A3+A40033210554=001120021100121其中每個非0的bij表達了vi到vj的長度不超過4的道路數(shù)目，若bij=0，表明不存在從vi到vj的非平凡道路。

v1v2v5v3v4第33頁，共40頁，2023年，2月20日，星期一由矩陣B直接可導(dǎo)出下面的可達矩陣：0011110111P=001110011100111可達矩陣也可以利用Warshall算法求得。v1v2v5v3v4第34頁，共40頁，2023年，2月20日，星期一4。由可達矩陣構(gòu)造圖的強分圖令Q=PPT=(qij)

nn，其中1i=jqij=pijpjiij

那么，在矩陣Q中第k行中元素1對應(yīng)列的結(jié)點，構(gòu)成圖的一個強分圖。第35頁，共40頁，2023年，2月20日，星期一例：根據(jù)前面例子得到的可達矩陣，可得00111010001011100000PPT

=001111111100111111110011111111

1000001000=001110011100111從第1行知道，v1單獨在一個強分圖中；從第2行知道，v2單獨在一個強分圖中；從第3、4、5行知道，v3、v4、v5共同構(gòu)成一個強分圖。

第36頁，共40頁，2023年，2月20日，星期一由此可見，該圖有3個強分圖，它們分別包含結(jié)點子集{v1}、{v2}、{v3，v4，v5}?？捎上聢D驗證。v1v2v