【題目大意】：

要你建一些基地塔，現在一直建基地塔的成本和m個使用者群，每個使用者群都有需要兩個基地塔，然後還告訴你如果能滿足這個使用者群的需求就會得到的利潤，問你最大的獲利。

【題目分析】：

當年很多神牛在這題上都卡了崩~原因呢，主要有兩個，一個是沒想出來這個悲劇的最大權閉合圖的演算法，第二就是最大流演算法不好~~

第二個問題現在看來沒什麼問題，有了巨無解的SAP後讓這個資料量成了小case~~

現在就要解決這個悲劇的構圖~

我就直接說說怎麼構圖，具體證明看amber07年論文。

構圖：

s到每個基地塔連一個邊，容量為成本，每個使用者群到t連一個邊容量為利潤，然後依賴關係連邊，容量為正無窮~~

最後的答案就是所有使用者群的利潤總和減去最大流~~

P.s. Amber論文裡面的構圖是把我這個圖整個反轉過來，但是經過實測這樣過不了，就是一個原則，東西少的忘左靠就對了……

【程式碼】:

program profit; const inf=100000000; type link=^node; node=record data,c:longint; next,op:link; end; var g:array[0..70000] of link; vh,dis:array[0..70000] of longint; n,m,i,x,y,w,ans,s,t,nn:longint; function min2(x,y:longint):longint; begin if x<y then exit(x) else exit(y); end; procedure con(x,y,c:longint); var p,t:link; begin new(p); p^.data:=y; p^.c:=c; p^.next:=g[x]; g[x]:=p; new(t); t^.data:=x; t^.c:=0; t^.next:=g[y]; g[y]:=t; p^.op:=t; t^.op:=p; end; function aug(x,flow:longint):longint; var bak,tmp,min:longint; p:link; begin if x=t then exit(flow); bak:=flow; min:=nn-1; p:=g[x]; while p<>nil do begin if p^.c>0 then begin if dis[p^.data]+1=dis[x] then begin tmp:=aug(p^.data,min2(bak,p^.c)); dec(bak,tmp); dec(p^.c,tmp); inc(p^.op^.c,tmp); if dis[s]>=nn then exit(flow-bak); if bak=0 then break; end; if dis[p^.data]<min then min:=dis[p^.data]; end; p:=p^.next; end; if flow=bak then begin dec(vh[dis[x]]); if vh[dis[x]]=0 then dis[s]:=nn; dis[x]:=min+1; inc(vh[dis[x]]); end; exit(flow-bak); end; begin assign(input,'profit.in'); assign(output,'profit.out'); reset(input); rewrite(output); readln(n,m); s:=0; t:=n+m+1; nn:=n+m+2; ans:=0; for i:=1 to n do begin read(x); con(s,i,x); end; for i:=1 to m do begin readln(x,y,w); con(x,n+i,inf); con(y,n+i,inf); con(n+i,t,w); inc(ans,w); end; vh[0]:=nn; while dis[s]<nn do dec(ans,aug(s,inf)); writeln(ans); close(input); close(output); end.