luogu P3355 骑士共存问题

关于构图：

首先，这是一道最小割的题目（类似于方格取数问题）。

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

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

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

那根这道题有什么关系呢，我们可以发现，对于第一步，我们可以从一个黑色的点跳去一个白色的点，或反之。而这些可以跳到的点所连的边都是要“割”掉的，有了这些边，我们就可以跳了。

构图：

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

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

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

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

关于代码：

#include<cstdio>
#include<cstring>
#include<queue>
#include<algorithm>
#define INF 2147483647
using namespace std; 
queue<int> f;
	const int fx[8]={1,1,-1,-1,2,2,-2,-2};
	const int fy[8]={2,-2,2,-2,1,-1,1,-1};
	struct node{int x,y,z,next;} a[500000];
	int last[100000];
	int n,m,len=-1,ans=0,st,ed;
	bool bz[500][500];
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[100000];
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,y,id;
	scanf("%d %d",&n,&m);
	ans=n*n-m;
	st=0,ed=n*n+1;
	memset(last,-1,sizeof(last));
	memset(bz,true,sizeof(bz));
	for(int i=1;i<=m;i++)
	{
		scanf("%d %d",&x,&y);
		bz[x][y]=false;
	}
	for(int i=1;i<=n;i++)
		for(int j=1;j<=n;j++)
		{
			if(!bz[i][j]) continue;
			id=(i-1)*n+j;
			if((i+j)&1)
			{
				ins(st,id,1),ins(id,st,0);
				for(int k=0;k<=7;k++)
				{
					int t1=i+fx[k],t2=j+fy[k];
					if(t1<=0||t1>n||t2<=0||t2>n||!bz[t1][t2]) continue;
					ins(id,(t1-1)*n+t2,INF),ins((t1-1)*n+t2,id,0);
				}
			} else ins(id,ed,1),ins(ed,id,0);
		}
	printf("%d",ans-dinic());
}