思路:
描述小hi:在上一周的hiho一下中我們初步講解了網路流的概念以及常規解法,小ho你還記得內容麼?
小ho:我記得!網路流就是給定了一張圖g=(v,e),以及源點s和匯點t。每一條邊e(u,v)具有容量c(u,v)。網路流的最大流問題求解的就是從s到t最多能有多少流量。
小hi:那這個問題解決辦法呢?
小ho:解決網路流的基本思路就是尋找增廣路,不斷更新殘留網路。直到找不到新的增廣路,此時得到的流就是該網路的最大流。
小hi:沒錯,看來你記得很牢嘛。
小ho:哎嘿嘿,不過這裡我有乙個問題,為什麼找不到增廣路時就已經找到了最大流呢?
小hi:這一次我就來解決你的疑惑,首先我們要從網路流的割開始講起。
對於乙個網路流圖g=(v,e),其割的定義為一種點的劃分方式:將所有的點劃分為s和t=v-s兩個部分,其中源點s∈s,匯點t∈t。
對於乙個割(s,t),我們定義淨流f(s,t)表示穿過割(s,t)的流量之和,即:
f(s,t) = σf(u,v) | u∈s,v∈t舉個例子(該例子選自演算法導論):
淨流f = f(2,4)+f(3,4)+f(3,5) = 12+(-4)+11 = 19同時我們定義割的容量c(s,t)為所有從s到t的邊容量之和,即:
c(s,t) = σc(u,v) | u∈s,v∈t同樣在上面的例子中,其割的容量為:
c(2,4)+c(3,5)=12+14=26小ho:也就是說在計算割(s,t)的淨流f(s,t)時可能存在反向的流使得f(u,v)<0,而容量c(s,t)一定是非負數。
小hi:你這麼說也沒錯。實際上對於任意乙個割的淨流f(s,t)總是和網路流的流量f相等。比如上面例子中我們改變一下割的方式:
可以計算出對於這兩種情況淨流f(s,t)仍然等於19。
乙個直觀的解釋是:根據網路流的定義,只有源點s會產生流量,匯點t會接收流量。因此任意非s和t的點u,其淨流量一定為0,也即是σ(f(u,v))=0。而源點s的流量最終都會通過割(s,t)的邊到達匯點t,所以網路流的流f等於割的靜流f(s,t)。
嚴格的證明如下:
f(s,t) = f(s,v) - f(s,s)所以f(s,t)等於從源點s出來的流,也就是網路的流f。從s到t的流等於從s到所有節點的流減去從s到s內部節點的流
f(s,t) = f(s,v)
由於s內部的節點之間存在的流一定有對應的反向流,因此f(s,s)=0
f(s,t) = f(s,v) + f(s-s,v)
再將s集合分成源點s和其他屬於s的節點
f(s,t) = f(s,v)
由於除了源點s以外其他節點不會產生流,因此f(s-s,v)=0
f(s,t) = f(s,v) = f
小ho:簡單理解的話,也就是說任意乙個割的淨流f(s,t)都等於當前網路的流量f。
小hi:是這樣的。而對於任意乙個割的淨流f(s,t)一定是小於等於割的容量c(s,t)。那也即是,對於網路的任意乙個流f一定是小於等於任意乙個割的容量c(s,t)。
而在所有可能的割中,存在乙個容量最小的割,我們稱其為最小割。
這個最小割限制了乙個網路的流f上界,所以有:
對於任乙個網路流圖來說,其最大流一定是小於等於最小割的。
小ho:但是這和增廣路又有什麼關係呢?
小hi:接下來就是重點了。利用上面講的知識,我們可以推出乙個最大流最小割定理:
對於乙個網路流圖g=(v,e),其中有源點s和匯點t,那麼下面三個條件是等價的:首先證明1 => 2:1. 流f是圖g的最大流
2. 殘留網路gf不存在增廣路
3. 對於g的某乙個割(s,t),此時f = c(s,t)
我們利用反證法,假設流f是圖g的最大流,但是殘留網路中還存在有增廣路p,其流量為fp。則我們有流f'=f+fp>f。這與f是最大流產生矛盾。接著證明2 => 3:
假設殘留網路gf不存在增廣路,所以在殘留網路gf中不存在路徑從s到達t。我們定義s集合為:當前殘留網路中s能夠到達的點。同時定義t=v-s。最後證明3 => 1:此時(s,t)構成乙個割(s,t)。且對於任意的u∈s,v∈t,有f(u,v)=c(u,v)。若f(u,v)0,s可以到達v,與v屬於t矛盾。
因此有f(s,t)=σf(u,v)=σc(u,v)=c(s,t)。
由於f的上界為最小割,當f到達割的容量時,顯然就已經到達最大值,因此f為最大流。這樣就說明了為什麼找不到增廣路時,所求得的一定是最大流。
#include #include #include #include #include #include #include #include #include #include #include #include #include #include using namespace std;
#pragma comment(linker, "/stack:102400000,102400000")
#define maxn 505
#define mod 1000000007
#define mod 2147493647
#define mem(a , b) memset(a , b , sizeof(a))
#define ll long long
#define ull unsigned long long
#define for(i , n) for(int i = 1 ; i<= n ; i ++)
typedef pairpii;
int n , m , t;
vectorv[maxn];
int a[maxn][maxn] , path[maxn];
bool vis[maxn] ;
int flow[maxn];
bool getaugmentpath()
for(int i = 0 ; i < v[cur].size() ; i ++)}}
return 0;
}void update(int num)
return ;
}int main()
int ans = 0;
while(getaugmentpath())
int node[maxn] , id = 0;
for(int i = 1 ; i <= n ; i ++)
}printf("%d %d\n" , ans , id);
for(int i = 0 ; i < id; i ++)
cout << endl;
}return 0;
}
hihoCoder1378 最大流最小割
時間限制 10000ms 單點時限 1000ms 記憶體限制 256mb 描述小ho 我記得!網路流就是給定了一張圖g v,e 以及源點s和匯點t。每一條邊e u,v 具有容量c u,v 網路流的最大流問題求解的就是從s到t最多能有多少流量。小hi 那這個問題解決辦法呢?小ho 解決網路流的基本思路...
20155232《網路對抗》Exp7 網路欺詐防範
本實踐的目標理解常用網路欺詐背後的原理,以提高防範意識,並提出具體防範方法。具體實踐有 1 簡單應用set工具建立冒名 1分 2 ettercap dns spoof 1分 3 結合應用兩種技術,用dns spoof引導特定訪問到冒名 1.5分 netstat tupln grep 80指令檢視80...
9 1 1 網路模型
9.1.1 osi七層模型。1.應用層 一般指應用程式,該層主要負責確定通訊物件。常用協議有ftp,http,snmp 2.表示層 資料的編碼和轉化,根據不同的應用目的將資料處理為不同格式,表現出各種副檔名。3.會話層 負責在網路中的兩個結點之間建立,維護,控制會話。提供單工,半雙工,全雙工 x,h...