「BZOJ2127」happiness（最小割）

题目描述

高一一班的座位表是个n*m的矩阵，经过一个学期的相处，每个同学和前后左右相邻的同学互相成为了好朋友。这学期要分文理科了，每个同学对于选择文科与理科有着自己的喜悦值，而一对好朋友如果能同时选文科或者理科，那么他们又将收获一些喜悦值。

作为计算机竞赛教练的scp大老板，想知道如何分配可以使得全班的喜悦值总和最大。

输入输出格式

输入格式：

第一行两个正整数n，m。

接下来是六个矩阵

• 第一个矩阵为n行m列

此矩阵的第i行第j列的数字表示座位在第i行第j列的同学选择文科获得的喜悦值。

• 第二个矩阵为n行m列

此矩阵的第i行第j列的数字表示座位在第i行第j列的同学选择理科获得的喜悦值。

• 第三个矩阵为n-1行m列

此矩阵的第i行第j列的数字表示座位在第i行第j列的同学与第i+1行第j列的同学同时选择文科获得的额外喜悦值。

• 第四个矩阵为n-1行m列

此矩阵的第i行第j列的数字表示座位在第i行第j列的同学与第i+1行第j列的同学同时选择理科获得的额外喜悦值。

• 第五个矩阵为n行m-1列

此矩阵的第i行第j列的数字表示座位在第i行第j列的同学与第i行第j+1列的同学同时选择文科获得的额外喜悦值。

• 第六个矩阵为n行m-1列

此矩阵的第i行第j列的数字表示座位在第i行第j列的同学与第i行第j+1列的同学同时选择理科获得的额外喜悦值。

输出格式：

输出一个整数，表示喜悦值总和的最大值

输入输出样例

输入样例#1： 复制

1 2
1 1
100 110
1
1000

输出样例#1： 复制

1210

说明

【样例说明】

两人都选理，则获得100+110+1000的喜悦值。

对于100%以内的数据，n,m<=100 所有喜悦值均为小于等于5000的非负整数

题解

　额，这题最重要的是一个模型转换的思想。因为最小割可以代表选择或不选择，那么我们就让每一个最小割的状态分别代表题目所示的每一个状态

　　先考虑建图，假设$A$和$B$是有关联的两点，那么建如下的图

　　其中$S$表示源点，代表文科，$T$表示汇点，代表理科，$A,B$是互相关联的两点。这张图的意思是，如果某个点与$S$相连，代表它选择文科，如果与$T$相连，代表它选择理科

　　那么我们考虑一下，要怎么样才能使全文，全理，一文一理三种情况都能出现呢？

　　我们考虑图中边的流量，a=A文+AB文/2，c=B文+AB文/2，b=A理+AB理/2，d=B理+AB理/2，e=f=AB文/2+AB理/2

　　因为最小割的割可以代表选择，所以我们可以通过枚举割来枚举选择。那么上图中是不是每一个割都代表了一种选择呢？

　　我们设sum=A文+B文+A理+B理+AB文+AB理

　　当两人都选文时，我们割去b，d，那么割的大小为A理+B理+AB理，用sum减去割剩下的就是全选文的高兴值

　　如果两人都选理，那么我们割去a，c，和上面一个一样，就不多说

　　如果两人一文一理怎么办呢？我们假设A文B理，割去a，f，d，那么sum减去割的大小就是A选文和B选理的高兴值

　　综上所述，不难发现上图的每一个割都代表了一种选择的状态。那么我们要令高兴值最大，那么割必须最小，只要求出一个最小割就行了

　　代码参考（抄）了hzwer的

 // luogu-judger-enable-o2
 //minamoto
 #include<iostream>
 #include<cstdio>
 #include<cstring>
 #include<queue>
 #define inf 0x3f3f3f3f
 using namespace std;
 #define getc() (p1==p2&&(p2=(p1=buf)+fread(buf,1,1<<21,stdin),p1==p2)?EOF:*p1++)
 char buf[<<],*p1=buf,*p2=buf;
 inline int read(){
     #define num ch-'0'
     char ch;bool flag=;int res;
     while(!isdigit(ch=getc()))
     (ch=='-')&&(flag=true);
     for(res=num;isdigit(ch=getc());res=res*+num);
     (flag)&&(res=-res);
     #undef num
     return res;
 }
 const int N=,M=;
 int head[N],Next[M],ver[M],edge[M],tot=;
 int dep[N],cur[N],n,m,s,t,mxflow;
 int a[][],b[][],id[][],ans;
 queue<int> q;
 inline void add_edge(int u,int v,int e){
     ver[++tot]=v,Next[tot]=head[u],head[u]=tot,edge[tot]=e;
 }
 inline void ins(int u,int v,int e){
     add_edge(u,v,e),add_edge(v,u,e);
 }
 inline void insert(int u,int v,int e){
     add_edge(u,v,e),add_edge(v,u,);
 }
 bool bfs(){
     memset(dep,-,sizeof(dep));
     while(!q.empty()) q.pop();
     for(int i=s;i<=t;++i) cur[i]=head[i];
     q.push(s),dep[s]=;
     while(!q.empty()){
         int u=q.front();q.pop();
         for(int i=head[u];i;i=Next[i]){
             int v=ver[i];
             if(dep[v]<&&edge[i]){
                 dep[v]=dep[u]+,q.push(v);
                 if(v==t) return true;
             }
         }
     }
     return false;
 }
 int dfs(int u,int limit){
     if(u==t||!limit) return limit;
     int flow=,f;
     for(int i=cur[u];i;i=Next[i]){
         int v=ver[i];cur[u]=i;
         if(dep[v]==dep[u]+&&(f=dfs(v,min(limit,edge[i])))){
             flow+=f,limit-=f;
             edge[i]-=f,edge[i^]+=f;
             if(!limit) break;
         }
     }
     if(!flow) dep[u]=-;
     return flow;
 }
 void dinic(){
     while(bfs()) mxflow+=dfs(s,inf);
 }
 void build(){
     int x;s=,t=n*m+;
     for(int i=;i<n;++i)
     for(int j=;j<=m;++j){
         x=read(),ans+=x;
         a[i][j]+=x,a[i+][j]+=x;
         ins(id[i][j],id[i+][j],x);
     }
     for(int i=;i<n;++i)
     for(int j=;j<=m;++j){
         x=read(),ans+=x;
         b[i][j]+=x,b[i+][j]+=x;
         ins(id[i][j],id[i+][j],x);
     }
     for(int i=;i<=n;++i)
     for(int j=;j<m;++j){
         x=read(),ans+=x;
         a[i][j]+=x,a[i][j+]+=x;
         ins(id[i][j],id[i][j+],x);
     }
     for(int i=;i<=n;++i)
     for(int j=;j<m;++j){
         x=read(),ans+=x;
         b[i][j]+=x,b[i][j+]+=x;
         ins(id[i][j],id[i][j+],x);
     }
     for(int i=;i<=n;++i)
     for(int j=;j<=m;++j){
         insert(s,id[i][j],a[i][j]);
         insert(id[i][j],t,b[i][j]);
     }
 }
 int main(){
     //freopen("testdata.in","r",stdin);
     n=read(),m=read();
     for(int i=;i<=n;++i)
     for(int j=;j<=m;++j)
     a[i][j]=read(),ans+=a[i][j],a[i][j]<<=;
     for(int i=;i<=n;++i)
     for(int j=;j<=m;++j)
     b[i][j]=read(),ans+=b[i][j],b[i][j]<<=;
     for(int i=;i<=n;++i)
     for(int j=;j<=m;++j)
     id[i][j]=(i-)*m+j;
     build(),dinic();
     printf("%d\n",ans-(mxflow>>));
     return ;
 }