JZYZOJ1349 SPOJ839 星屑幻想 xor 网络流 最大流

http://172.20.6.3/Problem_Show.asp?id=1349

调了两个小时发现数组开小了[doge]。
题意：给出几个点，有的点的权值确定，连接两点的边的权值为两点值的异或和，求所有边权值的和最小的点权值的方案（若有多种方案，输出点的权值和最小的方案）。

不严谨的方案证明（严谨的方案应该和最小割有关）：首先，当每个未知权值的点只与几个已知权值的点相连时，显然这个点二进制的每一位都取这些相连的权值中此位最多的，以争取到更多的此位为0。
因为要求输出点的权值也尽量小，所以当某一位相连的0和1相等时，这一位取0。

这种方案可以扩展到那些连接有未知权值点的未知权值点，此时问题就可以按位用网络流求解出最小方案的二进制每一位从而求出数。
计算到某一位时，
s向所有确定权值的该位为1的点连一条权值为无穷的有向边，
所有确定权值的该位为0的点向t连一条权值为无穷的有向边，
题目中相连的边都为权值为1的无向边，
然后从s向t网络流，结束后连1多的点到s有 所有边的权值都大于0的一条路 ，否则没有，据此求出该位。

代码

 #include<iostream>
 #include<cstdio>
 #include<cstring>
 #include<algorithm>
 #include<cmath>
 #include<queue>
 using namespace std;
 const int maxn=;
 const long long inf=100000000000000000LL;
 long long n,m;
 long long val[maxn];
 struct cu{
     long long x,y;
 }a[maxn*];
 struct nod{
     long long y,v,next;
 }e[maxn*];
 long long head[maxn]={},tot=;
 bool vis[maxn]={};
 long long ans[maxn]={};
 long long dep[maxn]={};
 void insert(long long x,long long y,long long v1,long long v2){
     e[++tot].y=y;e[tot].next=head[x];e[tot].v=v1;head[x]=tot;
     e[++tot].y=x;e[tot].next=head[y];e[tot].v=v2;head[y]=tot;
 }
 bool bfs(long long s,long long t){
     queue<long long>q;while(!q.empty())q.pop();
     memset(dep,,sizeof(dep));
     q.push(s);q.push(s);dep[s]=;long long x,y,v;
     while(!q.empty()){
         x=q.front();q.pop();
         for(int i=head[x];i;i=e[i].next){
             y=e[i].y;v=e[i].v;
             if(v>&&!dep[y]){
                 dep[y]=dep[x]+;q.push(y);
             }
         }
     }
     return dep[t];
 }
 long long dfs(long long x,long long t,long long mi){
     if(x==t||mi==)return mi;
     long long y,v,tsn=,z;
     for(int i=head[x];i;i=e[i].next){
         y=e[i].y;v=e[i].v;
         if(v>&&dep[y]==dep[x]+){
             z=dfs(y,t,min(mi-tsn,v));
             e[i].v-=z;e[i^].v+=z;
             tsn+=z;
             if(tsn==mi)return tsn;
         }
     }
     return tsn;
 }
 void dinic(long long s,long long t){
     while(bfs(s,t)){
         dfs(s,t,inf);
     }
 }
 void dra(long long x,long long v){
     long long  y;vis[x]=;ans[x]+=v;
     for(int i=head[x];i;i=e[i].next){
         y=e[i].y;
         if(e[i].v>&&!vis[y]){
             dra(y,v);
         }
     }
 }
 void doit(){
     long long v=,s=n+,t=n+;
     for(;;){
         memset(vis,,sizeof(vis));
         memset(head,,sizeof(head));tot=;
         for(int i=;i<=m;i++){
             insert(a[i].x,a[i].y,,);
         }int f=;
         for(int i=;i<=n;i++){
             if(val[i]!=-){
                 if(val[i]>)f=;
                 if(val[i]%)insert(s,i,inf,);
                 else insert(i,t,inf,);
                 val[i]/=;
             }
         }
         if(!f)break;
         dinic(s,t);
         dra(s,v);
         v*=;
     }
     for(int i=;i<=n;i++){
         printf("%I64d\n",ans[i]);
     }
 }
 int main(){
     //freopen("wtf.in","r",stdin);
     scanf("%I64d%I64d",&n,&m);
     for(int i=;i<=m;i++){
         scanf("%I64d%I64d",&a[i].x,&a[i].y);
     }long long k,x,y;scanf("%I64d",&k);memset(val,-,sizeof(val));
     for(int i=;i<=k;i++){
         scanf("%I64d%I64d",&x,&y);val[x]=y;
     }doit();
     return ;
 }