bzoj1458: 士兵占领 网络流

链接

https://www.lydsy.com/JudgeOnline/problem.php?id=1458
也可以去luogu

思路

想成倒着删去点，使得依旧满足覆盖！！
左边横，右边列，之间用点链接起来，流量1
S到i为之间总公共 最多去掉m-h[i]-L[i]个，i到T同理。

代码

#include <iostream>
#include <queue>
#include <cstdio>
#include <cstring>
const int N=507,inf=0x3f3f3f3f;
using namespace std;
int read() {
	int x=0,f=1;char s=getchar();
	for(;s>'9'||s<'0';s=getchar()) if(s=='-') f=-1;
	for(;s>='0'&&s<='9';s=getchar()) x=x*10+s-'0';
	return x*f;
}
int n,m,k,S,T,L[N],C[N],dis[N],mp[N][N],h[N],l[N];
struct node {
	int v,nxt,cap;
}e[2000007];
int head[2000007],tot=1;
void add(int u,int v,int cap) {
	e[++tot].v=v;
	e[tot].cap=cap;
	e[tot].nxt=head[u];
	head[u]=tot;
}
queue<int> q;
bool bfs() {
	memset(dis,-1,sizeof(dis));
	q.push(S);
	dis[S]=0;
	while(!q.empty()) {
		int u=q.front();
		q.pop();
		for(int i=head[u];i;i=e[i].nxt) {
			int v=e[i].v;
			if(dis[v]==-1&&e[i].cap) {
				dis[v]=dis[u]+1;
				q.push(v);
			}
		}
	}
	return dis[T]!=-1;
}
int dfs(int u,int f) {
	if(u==T) return f;
	int rest=f;
	for(int i=head[u];i;i=e[i].nxt) {
		int v=e[i].v;
		if(dis[v]==dis[u]+1&&e[i].cap&&rest) {
			int t=dfs(v,min(rest,e[i].cap));
			if(!t) dis[t]=0;
			e[i].cap-=t;
			e[i^1].cap+=t;
			rest-=t;
		}
	}
	return f-rest;
}
int dinic() {
	int ans=0;
	while(bfs()) ans+=dfs(S,inf);
	return ans;
}
int main() {
//	freopen("a.in","r",stdin);
	n=read(),m=read(),k=read();
	for(int i=1;i<=m;++i) L[i]=read();
	for(int i=1;i<=n;++i) C[i]=read();
	for(int i=1;i<=k;++i) {
		int x=read(),y=read();
		h[x]++,l[y]++;
		mp[x][y]=1;
	}
	for(int i=1;i<=n;++i) if(m-h[i]<L[i]) {puts("JIONG!");return 0;}
	for(int i=1;i<=m;++i) if(n-l[i]<C[i]) {puts("JIONG!");return 0;}
	for(int i=1;i<=n;++i)
		for(int j=1;j<=m;++j)
			if(!mp[i][j]) add(i,j+n,1),add(j+n,i,0);
	S=n+m+1,T=n+m+2;
	for(int i=1;i<=n;++i) add(S,i,m-h[i]-L[i]),add(i,S,0);
	for(int i=1;i<=m;++i) add(i+n,T,n-l[i]-C[i]),add(T,i+n,0);
	printf("%d\n",n*m-dinic()-k);
	return 0;
}