首先这题显然就是求一个最小割。然后跑dinic加点优化也是可以过的。
这题还有一种更妙的做法:st平面图最大流转对偶图最短路。大概做法就是首先在原图中加一条s->t的边,然后把原图的一个面当作一个点,每条边连接两个面,在对偶图中就是连接相应的点。然后对偶图中的一个环对应了原图的一个割。特别的,如果不看s->t这条边的话,对偶图中s->t的一个最短路就是原图的最小割。然后直接求最短路就好了。边数是和原图相同的,所以复杂度 O(knm) 。有图就好理解了,可以参见周冬的论文,见这里:传送门
Dinic版
#include <cstdio>
#include <cstring>
#include <queue>
#include <algorithm>
using namespace std;
#define ll long long
#define inf 0x3f3f3f3f
#define N 1000100
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,h[N],num=1,id[1010][1010],T=0,lev[N],ans=0;
struct edge{
int to,next,val;
}data[N*12];
inline int add(int x,int y,int 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;
data[++num].to=x;data[num].next=h[y];h[y]=num;data[num].val=val;
data[++num].to=y;data[num].next=h[x];h[x]=num;data[num].val=0;
}
inline bool bfs(){
queue<int>q;memset(lev,0,sizeof(lev));
q.push(1);lev[1]=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;q.push(y);
}
}return lev[T];
}
inline int dinic(int x,int low){
if(x==T) return low;int tmp=low;
for(int i=h[x];i;i=data[i].next){
int y=data[i].to;if(lev[y]!=lev[x]+1||!data[i].val) continue;
int 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;
}
int main(){
// freopen("a.in","r",stdin);
n=read();m=read();
for(int i=1;i<=n;++i)
for(int j=1;j<=m;++j) id[i][j]=++T;
for(int i=1;i<=n;++i)
for(int j=1;j<m;++j) add(id[i][j],id[i][j+1],read());
for(int i=1;i<n;++i)
for(int j=1;j<=m;++j) add(id[i][j],id[i+1][j],read());
for(int i=1;i<n;++i)
for(int j=1;j<m;++j) add(id[i][j],id[i+1][j+1],read());
while(bfs()) ans+=dinic(1,inf);
printf("%d\n",ans);
return 0;
}
对偶图最短路
#include <cstdio>
#include <cstring>
#include <queue>
#include <algorithm>
using namespace std;
#define ll long long
#define inf 0x3f3f3f3f
#define N 2000100
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[1010][1010][2],h[N],num=1,tot=2,dis[N];
bool inq[N];
struct edge{
int to,next,val;
}data[6000000];
inline void add(int x,int y,int 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=val;
}
inline void spfa(){
queue<int>q;memset(dis,inf,sizeof(dis));
q.push(1);inq[1]=1;dis[1]=0;
while(!q.empty()){
int x=q.front();q.pop();inq[x]=0;
for(int i=h[x];i;i=data[i].next){
int y=data[i].to;
if(dis[x]+data[i].val<dis[y]){
dis[y]=dis[x]+data[i].val;
if(!inq[y]) q.push(y),inq[y]=1;
}
}
}
}
int main(){
// freopen("a.in","r",stdin);
n=read();m=read();
for(int i=1;i<=m+1;++i) id[1][i][0]=id[1][i][1]=1,id[n+1][i][0]=id[n+1][i][1]=2;
for(int i=1;i<=n+1;++i) id[i][m+1][0]=id[i][m+1][1]=1,id[i][1][0]=id[i][1][1]=2;
for(int i=2;i<=n;++i)
for(int j=2;j<=m;++j) id[i][j][0]=++tot,id[i][j][1]=++tot;
for(int i=1;i<=n;++i)
for(int j=2;j<=m;++j) add(id[i][j][0],id[i+1][j][1],read());
for(int i=2;i<=n;++i)
for(int j=1;j<=m;++j) add(id[i][j][1],id[i][j+1][0],read());
for(int i=2;i<=n;++i)
for(int j=2;j<=m;++j) add(id[i][j][0],id[i][j][1],read());
spfa();printf("%d\n",dis[2]);
return 0;
}