bzoj2756 [SCOI2012]奇怪的游戏（二分+最大流）

首先要二分图染色，我们发现格子个数的奇偶性影响了我们二分图的性质。分类讨论。
如果是偶数个格子，那么黑点白点一样多，记黑点权值和sum1,白点权值和sum2,那么每一次操作是黑白权值和各+1，所以如果最后想所有数都相同，必须sum1和sum2一开始就相同。否则无解。我们还发现偶数个格子时，如果都变成x满足要求，则都变成比x大的数时也一定满足要求。因此我们可以二分一个最小的x，用最大流判满流判是否合法。S向黑点建边，容量为x-权值，白点向T建边，容量为x-权值，黑点向相邻白点建边，容量为inf。最后答案就是x*黑点个数-黑点点权和
如果是奇数个格子，那么黑点比白点多一个。记黑点权值和sum1,白点权值和sum2,那么同理，设x=sum1-sum2，最后只能都变成x，一遍最大流判断一下是否可行即可。
这个二分上界是怎么得到的呀？望dalao指教，

#include <cstdio>
#include <cstring>
#include <algorithm>
#include <queue>
using namespace std;
#define ll long long
#define inf 1LL<<60
#define N 1700
inline int read(){
    int x=0,f=1;char ch=getchar();
    while(ch<'0'||ch>'9'){if(ch=='-')f=-1;ch=getchar();}
    while(ch>='0'&&ch<='9') x=x*10+ch-'0',ch=getchar();
    return x*f;
}
int n,m,id[50][50],h[N],num=1,cur[N],lev[N],T=1610,a[50][50];
int dx[]={0,0,1,-1},dy[]={1,-1,0,0};
struct edge{
    int to,next;ll val;
}data[10000];
inline void add(int x,int y,ll val){
    data[++num].to=y;data[num].next=h[x];h[x]=num;data[num].val=val;
    data[++num].to=x;data[num].next=h[y];h[y]=num;data[num].val=0;
}
inline bool bfs(){
    queue<int>q;memset(lev,0,sizeof(lev));
    q.push(0);lev[0]=1;
    while(!q.empty()){
        int x=q.front();q.pop();
        for(int i=h[x];i;i=data[i].next){
            int y=data[i].to;if(lev[y]||!data[i].val) continue;
            lev[y]=lev[x]+1;if(y==T) return 1;q.push(y);
        }
    }return 0;
}
inline ll dinic(int x,ll low){
    if(x==T) return low;ll tmp=low;
    for(int &i=cur[x];i;i=data[i].next){
        int y=data[i].to;if(lev[y]!=lev[x]+1||!data[i].val) continue;
        ll res=dinic(y,min(tmp,data[i].val));
        if(!res) lev[y]=0;else tmp-=res,data[i].val-=res,data[i^1].val+=res;
        if(!tmp) return low;
    }return low-tmp;
}
inline bool jud(ll x){
    memset(h,0,sizeof(h));num=1;ll ans=0,tot=0;
    for(int i=1;i<=n;++i)
        for(int j=1;j<=m;++j){
            if(i+j&1){add(id[i][j],T,x-a[i][j]);continue;}
            add(0,id[i][j],x-a[i][j]);tot+=x-a[i][j];
            for(int k=0;k<4;++k){
                int x=i+dx[k],y=j+dy[k];
                if(x<1||x>n||y<1||y>m) continue;
                add(id[i][j],id[x][y],inf);
            }
        }
    while(bfs()){memcpy(cur,h,sizeof(h));ans+=dinic(0,inf);}
    return ans==tot;
}
int main(){
//  freopen("a.in","r",stdin);
    int tst=read();
    while(tst--){
        memset(h,0,sizeof(h));num=1;
        ll sum2=0,sum1=0;int tot=0,mx=0;
        n=read();m=read();
        for(int i=1;i<=n;++i)
            for(int j=1;j<=m;++j){
                id[i][j]=++tot;a[i][j]=read();mx=max(mx,a[i][j]);
                if(i+j&1) sum2+=a[i][j];
                else sum1+=a[i][j];
            }
        if(n*m&1){
            ll x=sum1-sum2;
            if(x<mx||!jud(x)) puts("-1");
            else printf("%lld\n",x*(n*m>>1)-sum2);continue;
        }if(sum1!=sum2){puts("-1");continue;}
        ll l=mx,r=1LL<<50;
        while(l<=r){
            ll mid=l+r>>1;
            if(jud(mid)) r=mid-1;
            else l=mid+1;
        }ll ans=r+1;
        printf("%lld\n",ans*(n*m>>1)-sum1);
    }return 0;
}