算法 {點割集,邊割集}
@LOC: 1
;
點割集
定義
令图G的点集为S, 对S进行集合的拆分 得到{Si}
(Si的並集 = S
且Si 交集 Sj = empty
), 令Gi
為Si
的導出子圖, 則{Gi}
為圖G的一個點割集;.
比如5個點的完全圖, 那麼{1-2, 3-4, 5}
是他的一個割集, 也可以不考慮邊(因爲是導出子圖) 即{ {1,2}, {3,4}, {5}}
是一個割集;
無向圖的邊割集
定義
無向圖G的兩個點P0,P1
, 對於某些邊的集合{ei}
, 如果刪除這些邊之後 P0,P1
不是連通的, 則稱: 邊集{ei}
是點P0,P1
的一個邊割集;.
比如a-b-c
, {a,c}
點的邊割集有: { {a-b}, {b-c}, {a-b,b-c} }
; (邊割集不唯一);
相關定義
#最小割#
邊權和最小的 邊割集;
性質
不存在最小邊割集, 比如a-b-c
, 對於a,c
的邊割集 a-b, b-c
他倆不是包含關係;
@DELI;
刪除邊割集后, S,T
一定不連通, 但注意 他倆可能最開始本來就不連通…
@DELI;
@MARK: @LOC_0
;
無向圖G0
, 其對應的有向圖G1
(一條無向邊對應2條有向邊 a-b, a<->b
);
#性質0#: G1
的邊割集 可以對應到 G0
無向圖的邊歌集;.
比如G0: a-b-c; G1: a<->b<->c
, G1
的a->c
的邊割集a<->b->c
對應 G0
的a,c
的邊割集a-b-c
;
即 G1
有向圖的邊割集 裏的一個邊x->y
把他轉換為 無向圖中的x-y
無向邊, 這樣 G1
裏的任一邊割集 都可以對應到 G0
裏的一個邊割集;
#性質1#: G1
的最小割 等於 G0
的最小割;.
因爲性質0, 他倆是相互對應的;
@DELI;
算法
最大流求最小割的值
@LINK:
;
有向圖的邊割集
定義
有向圖G的兩個點P0,P1
, 對於某些邊的集合{ei}
, 如果刪除這些邊之後 P0
不可達P1
, 則稱: 邊集{ei}
是點P0->P1
的一個邊割集;.
比如a->b->c
, a->c
點的邊割集有: { {a->b}, {b->c}, {a->b,b->c} }
; (邊割集不唯一);
性質
#有向圖的邊割集 可以對應到 無向圖中的邊割集#;@LINK: @LOC_0
;
筆記
#割Cut
, 割集CutSet
#
圖G 拆分partition
為2個子集 {G1, G2}
, 則{G1,G2}
為圖G的一個割; (即 圖的拆分 如果子集個數為2 則稱之為割 他是圖的拆分的一個特例);
所有形如a-b
()的邊的集合 稱之為這個割的割集;.
比如對於一個4個點的完全圖G, 則{1-2, 3-4}
是G的一個割Cut, 該割Cut的割集為{(1-3) (1-4) (2-3) (2-4)}
;
邊割集兩個定義: {形如G0-G1
的無向邊, 去掉這些邊后S,T
不聯通};