题目描述
BlinkerBlinker最近喜欢上一个奇怪的游戏。

这个游戏在一个 N \times MN×M 的棋盘上玩,每个格子有一个数。每次BlinkerBlinker会选择两个相邻的格子,并使这两个数都加上11。

现在BlinkerBlinker想知道最少多少次能使棋盘上的数都变成同一个数,如果永远不能变成同一个数则输出-1−1。

输入格式
输入的第一行是一个整数TT,表示输入数据有T轮游戏组成。

每轮游戏的第一行有两个整数NN和MM, 分别代表棋盘的行数和列数。 接下来有NN行,每行MM个数。

输出格式
对于每个游戏输出最少能使游戏结束的次数,如果永远不能变成同一个数则输出-1−1。

输入输出样例
输入 #1复制

2
2 2
1 2
2 3
3 3
1 2 3
2 3 4
4 3 2
输出 #1复制
2
-1
说明/提示
对于30%的数据,保证T<=10,1<=N,M<=8T<=10,1<=N,M<=8

对于100%的数据,保证 T<=10,1<=N,M<=40T<=10,1<=N,M<=40,所有数为正整数且小于10000000001000000000


不愧是一道黑题,还是挺难的。

看到这道题,我们看到让相邻两个增加,我们是不是可以想到这是一张二分图。然后就可以黑白染色了,然后设当前的最小值为x,白色的个数为nw,总和为sw,黑色的个数为nb,总和为sb。

然后就有如下等式:nw * x - sw = nb * x - sb ,我们就能解出 x = (sw-sb) / (nw-nb)

因为我们每次必然是黑色,白色个数各加1,所以如果个数相等,并且总和不等时,必然无解。

如果个数不相等,那么x必然唯一。

所以我们要做的事情就是,判断当前的值都为x时,是否合法。

我们二分x,因为个数相等时,肯定具有二分性。

如果当前的x,我们建图:s连向白点,然后流量就为 x-g[i][j] ,代表流出去的流量,也就是需要增加的值,然后向四边连流量为inf的边,代表可以选择任意一个一起增加值。黑点向T连边,代表需要增加的值,流量为x-g[i][j] 。最后判断最大流是不是需要增加的总和即可。


AC代码:

#pragma GCC optimize(2)
#include<bits/stdc++.h>
#define int long long
using namespace std;
const int inf=0x3f3f3f3f3f3f3f3f;
const int N=10010,M=4e5+10;
const int dx[]={0,1,0,-1},dy[]={1,0,-1,0};
int T,n,m,g[45][45],h[N],sw,sb,nb,nw,l,r,s,t;
int head[N],nex[M],to[M],w[M],tot;
inline void ade(int a,int b,int c){
	to[++tot]=b; nex[tot]=head[a]; w[tot]=c; head[a]=tot;
}
inline void add(int a,int b,int c){ade(a,b,c);	ade(b,a,0);}
inline int id(int x,int y){return (x-1)*m+y;}
inline int bfs(){
	queue<int> q;	q.push(s);	memset(h,0,sizeof h);	h[s]=1;
	while(q.size()){
		int u=q.front();	q.pop();
		for(int i=head[u];i;i=nex[i]){
			if(w[i]&&!h[to[i]]){
				h[to[i]]=h[u]+1;	q.push(to[i]);
			}
		}
	}
	return h[t];
}
int dfs(int x,int f){
	if(x==t)	return f; int fl=0;
	for(int i=head[x];i&&f;i=nex[i]){
		if(w[i]&&h[to[i]]==h[x]+1){
			int mi=dfs(to[i],min(w[i],f));
			w[i]-=mi; w[i^1]+=mi; fl+=mi; f-=mi;
		}
	}
	if(!fl)	h[x]=-1;
	return fl;
}
inline int dinic(){
	int res=0;
	while(bfs())	res+=dfs(s,inf);
	return res;
}
inline int check(int mid){
	tot=1;	memset(head,0,sizeof head); int res=0;
	for(int i=1;i<=n;i++){
		for(int j=1;j<=m;j++){
			if((i+j)&1){
				add(s,id(i,j),mid-g[i][j]);
				for(int k=0;k<4;k++){
					int tx=i+dx[k],ty=j+dy[k];
					if(tx>=1&&tx<=n&&ty>=1&&ty<=m)	add(id(i,j),id(tx,ty),inf);
				}
			}else	add(id(i,j),t,mid-g[i][j]),res+=mid-g[i][j];
		}
	}
	return dinic()==res;
}
signed main(){
	cin>>T;
	while(T--){
		cin>>n>>m; l=0; t=n*m+1; sb=sw=nb=nw=0;
		for(int i=1;i<=n;i++){
			for(int j=1;j<=m;j++){
				cin>>g[i][j]; l=max(l,g[i][j]);
				if((i+j)&1)	sb+=g[i][j],nb++;
				else	sw+=g[i][j],nw++;
			}
		}
		if((n*m)&1){		 
			int p=(sw-sb)/(nw-nb);
			if((sw-sb)%(nw-nb)==0&&p>=l&&check(p))	cout<<p*nb-sb<<endl;
			else	puts("-1");	continue;
		}
		if(sw!=sb){puts("-1");	continue;}
		r=inf>>1;
		while(l<r){
			int mid=l+r>>1;
			if(check(mid))	r=mid;
			else	l=mid+1;
		}
		if(r!=inf>>1)	cout<<nb*l-sb<<endl;
		else	puts("-1");
	}
	return 0;
}