【題目大意】：

軍事演習 分為紅藍方
但是有的兵是好友 不能被分在不同方
問最少刪掉多少人 滿足條件
輸出 刪掉人的序號（字典序最小）

【題目分析】：

一個天津的童鞋問我的~看了看……最開始悲劇了一下~

寫寫發現還可以，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.