luogu P2774 方格取数问题

关于构图：

首先，这是一道最小割的题目。

我们可以想到一个性质，最大点独立集=点数-最小点覆盖，通俗来说最大和=全局和-舍弃和，而舍弃和=最小割=最大流。

我们可以看到上面的那一幅图，就会有所启发。

当一个点(i,j)满足(i+j)mod 2=1时，为白色的点，否则为黑色的点。

对于任意一个点，我们不能取它上下左右的点，于是就可以得到上面的那一幅图，白色的点为一个集合，黑色的点为一个集合，两个集合中的点都满足这一规定。

你或许会问，这可以用贪心（ans=max(sigma白,sigma黑)）解决啊。

但是，一个白色的点可以与一个不与它相临的黑色的点连边，这时，就得用到最小割。一个白色的点与与它相临的黑色的点建边，但这些便是需要“割”掉的。有了这些边，就可以从一个白色的点流向一个不与它相临的黑色的点了。

构图：

1.首先，需要一个超级源点和汇点。

2.源点连向每一个黑色的点，流量为这个点的值；同理，每一个白色的点都连向汇点，流量为这个点的值。

3.每一个黑色的点都连向与它相临的白色的点，流量为INF，这些边需要“割”掉一些。

最后就可以根据最小割=最大流这个定理&最大和=全局和-舍弃和求解了。

关于代码：

#include<cstdio>
#include<cstring>
#include<queue>
#include<algorithm>
#define INF 2147483647
using namespace std; 
queue<int> f;
	const int fx[4]={0,0,1,-1};
	const int fy[4]={1,-1,0,0};
	struct node{int x,y,z,next;} a[200000];
	int last[1000];
	int n,m,len=-1,ans=0,st,ed;
void ins(int x,int y,int z)
{
	a[++len].x=x;a[len].y=y;a[len].z=z;a[len].next=last[x];last[x]=len;
}
int h[1000];
bool bfs()
{
	memset(h,0,sizeof(h));
	h[st]=1;
	f.push(st);
	while(!f.empty())
	{
		int x=f.front();
		for(int i=last[x];i>=0;i=a[i].next)
		{
			int y=a[i].y;
			if(a[i].z>0&&h[y]==0)
			{
				h[y]=h[x]+1;
				f.push(y);
			}
		}
		f.pop();
	}
	if(h[ed]) return true; else return false;
}
int dfs(int x,int f)
{
	int s=0,t;
	if(x==ed) return f;
	for(int i=last[x];i>=0;i=a[i].next)
	{
		int y=a[i].y;
		if(a[i].z>0&&h[y]==h[x]+1&&f>s)
		{
			s+=(t=(dfs(y,min(f-s,a[i].z))));
			a[i].z-=t;
			a[i^1].z+=t;
		}
	}
	if(!s) h[x]=0;
	return s;
}
int dinic()
{
	int sum=0;
	while(bfs())
		sum+=dfs(st,INF);
	return sum;
}
int main()
{
	int x,id;
	scanf("%d %d",&n,&m);
	st=0,ed=n*m+1;
	memset(last,-1,sizeof(last));
	for(int i=1;i<=n;i++)
		for(int j=1;j<=m;j++)
		{
			scanf("%d",&x);
			ans+=x;
			id=(i-1)*m+j;
			if((i+j)&1) ins(st,id,x),ins(id,st,0); else ins(id,ed,x),ins(ed,id,0);
		}
	for(int i=1;i<=n;i++)
		for(int j=1;j<=m;j++)
			if((i+j)&1)
			{
				for(int k=0;k<=3;k++)
				{
					int t1=i+fx[k],t2=j+fy[k];
					if(t1<=0||t1>n||t2<=0||t2>m) continue;
					id=(i-1)*m+j;
					ins(id,(t1-1)*m+t2,INF),ins((t1-1)*m+t2,id,0);
				}
			}
	printf("%d",ans-dinic());
}