【題目大意】：

給你一個無向圖，現已知一些點的編號，讓你給另一些點編號，使得邊權值和最小。邊權的計算方法就是將兩個端點的編號xor一下。

【題目分析】：

乍一看，覺得這個東西確實很悲劇~~xor這個東西實在是一個不太好的操作。

但是仔細想想的話，xor這種二進位制位操作位與位之間是互不影響的。所以我們只要保證異或出來的東西每一位都儘量小就可以了。這就是這個題出xor的原因了，別的東西搞不出來。

xor是一個非常有意思的運算，對於位來說，只有進行xor的兩個位不一樣的時候得到的值是1，否則是0。舉一個我最愛舉的例子，所有的二進位制位運算都可以想象成你想去公園，你的爸爸媽媽要投票表決。and就是你爸你媽都同意你才能去，or就是你爸你媽只要一個同意你就可以去，然後最悲劇的就是xor，就是你爸你媽必須打起來你才能去…………:-)~~

這樣我們實際上就是讓編號不一樣的位儘量少。那就把編號拆到位的級別，每一位都進行一次決策。這樣我們就可以想象成我要將所有點的這個位分成兩類，一類是1，一類是0，而跨越這兩類之間的邊就是我要花費的代價，當然就是邊權。這就是一個最小割了~~

呵呵，是不是很神奇~~膜拜Amber神牛……

【程式碼（不知道為什麼特別慢~~）】：

 program SPOJ_839; const inf=10000000; type ntype=record data,c,op,next:longint; end; etype=record x,y:longint; end; ltype=record x,num:longint; end; var v:array[0..1001] of boolean; g,vh,dis:array[0..1002] of longint; node:array[0..200000] of ntype; e:array[0..5000] of etype; lab:array[0..1000] of ltype; ans:array[0..1000] of longint; n,nn,m,tt,ttt,i,j,k,now,max,tot,s,t,flow:longint; function max2(x,y:longint):longint; begin if x>y then exit(x) else exit(y); end; function min2(x,y:longint):longint; begin if x<y then exit(x) else exit(y); end; procedure link(x,y,c:longint); begin inc(tot); node[tot].data:=y; node[tot].op:=tot+1; node[tot].c:=c; node[tot].next:=g[x]; g[x]:=tot; inc(tot); node[tot].data:=x; node[tot].op:=tot-1; node[tot].c:=0; node[tot].next:=g[y]; g[y]:=tot; end; function aug(x,flow:longint):longint; var bak,tmp,min,p:longint; begin if x=t then exit(flow); bak:=flow; min:=nn-1; p:=g[x]; while p<>0 do begin if node[p].c>0 then begin if dis[node[p].data]+1=dis[x] then begin tmp:=aug(node[p].data,min2(node[p].c,bak)); dec(bak,tmp); dec(node[p].c,tmp); inc(node[node[p].op].c,tmp); if dis[s]>=nn then exit(flow-bak); if bak=0 then break; end; if dis[node[p].data]<min then min:=dis[node[p].data]; end; p:=node[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; procedure dfs(x:longint); var p:longint; begin inc(ans[x],1 shl i); v[x]:=true; p:=g[x]; while p<>0 do begin if not v[node[p].data] and (node[p].c>0) then dfs(node[p].data); p:=node[p].next; end; end; begin assign(input,'a.in'); assign(output,'a.out'); reset(input); rewrite(output); readln(tt); for ttt:=1 to tt do begin fillchar(e,sizeof(e),0); readln(n,m); for i:=1 to m do readln(e[i].x,e[i].y); readln(k); max:=0; for i:=1 to k do begin readln(lab[i].x,lab[i].num); max:=max2(max,lab[i].num); end; s:=0; t:=n+1; nn:=n+2; fillchar(ans,sizeof(ans),0); for i:=0 to 31 do begin fillchar(g,sizeof(g),0); fillchar(node,sizeof(node),0); tot:=0; now:=1 shl i; if now>max then break; for j:=1 to m do begin link(e[j].x,e[j].y,1); link(e[j].y,e[j].x,1); end; for j:=1 to k do if lab[j].num and now>0 then link(s,lab[j].x,inf) else link(lab[j].x,t,inf); fillchar(vh,sizeof(vh),0); vh[0]:=nn; flow:=0; fillchar(dis,sizeof(dis),0); while dis[s]<nn do inc(flow,aug(s,inf)); fillchar(v,sizeof(v),0); dfs(s); end; for i:=1 to n do writeln(ans[i]); end; close(input); close(output); end.