連通性 (Connectivity) 將公司標幟插入此投影片 選取〔插入〕功能表 中的〔圖片〕選項 選取〔從檔案〕指令 選取該圖片檔案 按下〔確定〕按鈕 調整商標的大小 於商標圖示內按一下﹐此時商標圖示外的白色小方塊即為可調整大小的圖框。 利用該圖框來調整物件大小 如果你在調整邊框之前﹐先按住Shift 鍵,便可維持該物件的比例。 連通性 (Connectivity)
1.切點與切集(Cut Vertices and Cut Set) 定義 1.1 在一個圖G中,如果 c(G-v) c(G),則v稱為是G的一個切點(Cut Vertex)。 定義 1.2 v是連通圖G切點之充要條件是存在兩個與v不同的點u及w,同時滿足所有由u到w的路徑皆會通過v點。
定理 1.3 一個兩點以上的圖,除了空圖(沒有邊)之外都至少含有兩點,它們都不是切點。 定理 1.4 (點連通數,Connectivity) 一個圖G的點連通數 且G-S為不連通圖或是剩下一點}.
所以,當G本身不連通時, ;如果G中含有切點而本身又是連通圖,則 。例如,樹圖或是 ;當然任意圈的點連通數都是2。爲了方便起見,一般把滿足 的圖G,稱為n-連通圖,所以所謂的1-連通圖就是指一般的連通圖。同時,在一個n-連通圖中,"至少"要拿走n個點才可能得到一個不連通的子圖。
定義1.6(分隔集,Separating Set) 定理1.5 令G為具有p個點的圖,它的度數列為 ,同時 ,如果對於所有的 , ,則G為一個n-連通圖。 定義1.6(分隔集,Separating Set) 一個 V(G) 的子集合S稱為是兩點u與v的分隔集,如果u與v分別落在G-S的兩個部份裡面。
令u與v為G中不相鄰的兩點,則 u,v 的分隔數恰好等於由u到v沒有共用點(Internally Disjoint)的路徑數。 定理 1.7 (Menger, 1927) 令u與v為G中不相鄰的兩點,則 u,v 的分隔數恰好等於由u到v沒有共用點(Internally Disjoint)的路徑數。 有了Menger的定理,Whitney很順利地刻劃出n-連通圖。 定理 1.8 一個圖為n-連通的充要條件為任兩點皆存在有n條互斥的路徑相連。
定理 1.9 一個具有2n個點的圖,它是n-連通的充要條件為這個圖的點集合可以任意分割成兩個大小一樣的子集合 與 ,同時存在有n條互斥路徑連接 與 的點。 定理 1.10 假如G是一個n-連通圖,則G中的任意n個點都會落在一個圈上。
一個圖G為3-連通圖的充要條件為G本身是一個輪圖(圖 一),或者是G可以由下列兩類型的運算從一個輪圖建構出來: 定理 1.11 一個圖G為3-連通圖的充要條件為G本身是一個輪圖(圖 一),或者是G可以由下列兩類型的運算從一個輪圖建構出來: (i) 加一個新邊; (ii) 把度數超過3的點v,用相鄰的兩點 與 取代,使得 在新圖中,每個 在中點和 與 之一相連,同時維 持 及 。(圖二) 圖一 圖二
2.橋與邊切集(Bridge, Edge-Cut Set) 定義 2.1 在一個圖G中,如果 則e稱為是G的橋。 定義 2.2(邊連通數, Edge-Connectivity) 一個圖G的邊連通數 且G-T為不連通圖}。(這裡的G-T代表依次從G中扣掉T中的邊所得到的圖。)
定理 2.3 對於任意圖G,令 代表G中點的最小度數。則 。 定義 2.4 一個圖G在 時,稱為是n-邊連通,亦即去掉G中的任何n-1個邊都無法獲得不連通圖。
定理 2.5 一個圖G是n-邊連通的充要條件為在 中不存在有一個非空子集合W,使得 中的邊數小於n,這裡的 代表所有在G中由A中點連到B中點的邊所成的集合。 定理 2.6 一個圖是n-邊連通的充要條件為任兩點間皆可以找到n條路徑,它們沒有共同使用的邊。
定理 2.7(Plesnik) 如果G的直徑為2,則 。 推論 2.8 在一個圖G中,如果不相鄰兩點的度數和皆大於 ,則 。 作業 6 任給三個正整數 ,證明必存在一個圖它滿足 , 及 。
3.網路(Networks) 一個網路N是一個具有特殊性質的有向圖D,它具有下列特性: 有一個點s叫出發點(Source),有一個點t叫 終點(Sink) (ii)D的弧上每一個弧都指定一個非負整數,稱為是容量(Capacity),這個指定的動作也稱為是一個容量函數(Capacity function)。
定義 3.1(Flow) 令c為網路N的一個容量函數,同時s和t分別為網路的出發點和終點。一個網路的物流是指一個定義在 上的一個整數值函數f,它滿足下列兩個條件: (i) ;以及 (ii) 對於所有不同於s和t的點, ,其中 。 (保守方程,Conservation Equation)。
定理 3.2 令N為一個網路,它的起點與終點分別為s、t。同時D為決定N的有向圖,則對於N中的任一個物流f, 。 定義 3.3(網路切集,Cut) 在一個網路N中,令X為包含起點s的集合,同時 ,則 為網路N的一個切集。切集容量的大小為 ,一般也用capK表示。
定理 3.4 對於N中任意物流f以任意切集 , 推論 3.5(min-max性質) 令f與k分別為N中的一個物流及切集,同時滿足 ,則f為最大物流,K為最小切集(容量和最小)。 推論 3.6 如果f與c分別為網路N的物流及容量函數,同時滿足: (1)對於所有的 , 及 (2)對於所有的 , 。 則f為最大物流, 為最小切集。
定理 3.7 網路N中的物流f為最大物流的充要條件是在N中的D找不到f-可增值的半路徑。 定理 3.8(Ford 及 Fulkerson) (最大流量-最小切集定理) 在一個網路中,最大流量恰等於最小切集的容量。