[PKU 3715]Blue and Red(最小点覆盖集)

【题目大意】：

军事演习 分为红蓝方
但是有的兵是好友 不能被分在不同方
问最少删掉多少人 满足条件
输出 删掉人的序号（字典序最小）

【题目分析】：

一个天津的童鞋问我的~看了看……最开始悲剧了一下~

写写发现还可以，1A之~

比较裸的一个最小点覆盖集，konig定理证明就自己翻书吧~M67那里也有……

现在比较集中的问题在于字典序的问题。经典的方法就是试删。

因为原来就是一个二分图，所以我们就不该变原来的结构，0集合的都在左边，1集合的都在右边~

这样我们得到一个初始匹配，枚举点，删点，对于在X部的点，找匹配的Y点，然后沿着反向边找增广路，如果找不到，那么就这个点就删掉，否则不删~（P.s.找到增广路相当于找到了删除点的替代品~）

对于Y部的点，沿着正向边找增广路~然后情况同上。所以要写两个find函数~

【代码（为了省工写的是邻接矩阵~）】：

program PKU_3715;var g:array[0..300,0..300] of boolean; belongs,linkx,linky:array[0..300] of longint; v,del:array[0..300] of boolean; n,m,i,x,ans,tt,ttt,y:longint;function find1(x:longint):boolean;var i:longint;begin if del[x] then exit(false); for i:=1 to n do if g[x,i] and not v[i] and not del[i] then begin v[i]:=true; if (linky[i]=0) or find1(linky[i]) then begin linky[i]:=x; linkx[x]:=i; exit(true); end; end; exit(false);end;function find2(x:longint):boolean;var i:longint;begin if del[x] then exit(false); for i:=1 to n do if g[i,x] and not v[i] and not del[i] then begin v[i]:=true; if (linkx[i]=0) or find2(linkx[i]) then begin linky[x]:=i; linkx[i]:=x; exit(true); end; end; exit(false);end;begin assign(input,'a.in'); assign(output,'a.out'); reset(input); rewrite(output); readln(tt); for ttt:=1 to tt do begin readln(n,m); for i:=1 to n do read(belongs[i]); fillchar(g,sizeof(g),0); for i:=1 to m do begin readln(x,y); inc(x); inc(y); if (belongs[x]=0) and (belongs[y]=1) then g[x,y]:=true; if (belongs[x]=1) and (belongs[y]=0) then g[y,x]:=true; end; fillchar(linkx,sizeof(linkx),0); fillchar(linky,sizeof(linky),0); fillchar(del,sizeof(del),0); ans:=0; for i:=1 to n do begin fillchar(v,sizeof(v),0); if find1(i) then inc(ans); end; write(ans); for i:=1 to n do if belongs[i]=0 then begin x:=linkx[i]; if x=0 then continue; linky[x]:=0; linkx[i]:=0; del[i]:=true; fillchar(v,sizeof(v),0); if not find2(x) then write(' ',i-1) else del[i]:=false; end else begin x:=linky[i]; if x=0 then continue; linkx[x]:=0; linky[i]:=0; del[i]:=true; fillchar(v,sizeof(v),0); if not find1(x) then write(' ',i-1) else del[i]:=false; end; writeln; end; close(input); close(output);end.