BZOJ 3903 比賽 最小割

BZOJ 3903 比賽 最小割

題目大意：給定一個無向圖，一些點有點權，一些點的點權可以自己指定，每條邊的邊權為兩端點權值的異或，求邊權最小值

按位拆開，每一位跑最小割

#include 
#include 
#include 
#include 
#define M 550
#define S 0
#define T (M-1)
#define INF 0x3f3f3f3f
using namespace std;
struct edge{
	int x,y;
}edges[3030];
int n,m,p;
int a[M];
long long ans;
namespace Max_Flow{
	struct abcd{
		int to,f,next;
	}table[1001001];
	int head[M],tot=1;
	int dpt[M];
	void Initialize()
	{
		memset(head,0,sizeof head);
		tot=1;
	}
	void Add(int x,int y,int z)
	{
		table[++tot].to=y;
		table[tot].f=z;
		table[tot].next=head[x];
		head[x]=tot;
	}
	void Link(int x,int y,int z)
	{
		Add(x,y,z);
		Add(y,x,z);
	}
	bool BFS()
	{
		static int q[M];
		int i,r=0,h=0;
		memset(dpt,-1,sizeof dpt);
		q[++r]=S;dpt[S]=1;
		while(r!=h)
		{
			int x=q[++h];
			for(i=head[x];i;i=table[i].next)
				if(table[i].f&&!~dpt[table[i].to])
				{
					dpt[table[i].to]=dpt[x]+1;
					q[++r]=table[i].to;
					if(table[i].to==T)
						return true;
				}
		}
		return false;
	}
	int Dinic(int x,int flow)
	{
		int i,left=flow;
		if(x==T) return flow;
		for(i=head[x];i&&left;i=table[i].next)
			if(table[i].f&&dpt[table[i].to]==dpt[x]+1)
			{
				int temp=Dinic(table[i].to,min(left,table[i].f) );
				left-=temp;
				table[i].f-=temp;
				table[i^1].f+=temp;
			}
		if(left) dpt[x]=-1;
		return flow-left;
	}
}
int main()
{
	using namespace Max_Flow;
	int i,j,x,y;
	cin>>n>>m>>p;
	for(i=1;i<=m;i++)
	{
		scanf("%d%d",&x,&y);
		edges[i].x=x;
		edges[i].y=y;
	}
	memset(a,-1,sizeof a);
	for(j=1;j<=p;j++)
	{
		scanf("%d%d",&x,&y);
		a[x]=y;
	}
	for(j=0;j<=30;j++)
	{
		Initialize();
		for(i=1;i<=n;i++)
			if(~a[i])
			{
				if( ~(a[i]>>j)&1 )
					Link(S,i,INF);
				else
					Link(i,T,INF);
			}
		for(i=1;i<=m;i++)
			Link(edges[i].x,edges[i].y,1);
		while( BFS() )
			ans+=(long long)Dinic(S,INF)<