●（做codevs1908时，发现测试数据也涵盖了1907，想要一并做了，但因为“技术”不佳，搞了一上午）
●09方格取数问题（codevs1907 方格取数3）
- 想了半天，也没成功建好图；
- 无奈下参考题解，说是本题要求二分图点权最大独立集，然后可以由结论：“最大点权独立集 = 所有点权 - 最小点权覆盖集 = 所有点权 - 最小割集 = 所有点权 - 网络最大流”转化到求最大流（我真的很懵逼，但又感觉很有道理）；
- 下面附上solution：（自己领悟吧）
- （不懂那个鬼结论的我就用那个结论建了个图，跑了个Dinic。）
●13星际转移问题（codevs 1908）
- （这个题的要比上一个好想一些。（因为上一题的鬼结论我真不知道））
- 思路：
- 本题的建图比较有趣，要把每个空间站按天数进行建点和连边；
- 建图:
- 1.原点（s）到地球（ear）有一条容量为k的边；（表示要送出k个人民）
- 2.月球（yue）到汇点（t）有一条容量为INF的边；
- 3.每个空间站的前一天的点到该空间站的后一天有一条容量为INF的边；（表示人民可以待在空间站里度过一天又一天）
- 4.若一个飞船在前一天在某一空间站（或地球），后一天在另一个空间站（或月球），则在对应的两个点间连一条有向边，容量为飞船的载重；（表示前一天某一空间站（或地球）的几个人民可以通过一个飞船坐到后一天的另一个空间站（或月球）；
- 以题目的样例为例，上一张图帮助理解；
- 上图中：
- 方框为点，里面的数字为编号；
- 黑色箭头为边，上的数字为容量，（未标的均为INF）；
- 红色路径为最大的可行流。
- （建图方法解决后，但还有一个问题，Day是未知的，该怎么确定点有多少呢？）
- 方法：枚举天数或二分天数，然后跑个最大流判断是否能将人民送完（即汇点的流入量是否等于k）；
- 选择：枚举天数：
- 原因：改图比较特殊，若用枚举天数的方法，只需每次在前一次的图上加新点，连新边即可，一直到找到答案。若用二分的话，则需要每次重新建图。
- （当然，在开始枚举天数之前，先用并查集检查一下人民能否从地球到月球。）
- 总：枚举+Dinic（找最大流）+并查集（e，只是用来检查的）
●代码(为了AC掉codevs1908，把两份代码怼到一起了)：
#include<iostream>
#include<cstdio>
#include<cstring>
#define INF 0x3f3f3f3f
using namespace std;
int n,m,k,yue=1,ear=2,sz=4,ent=2,aim,tot,s,t;
int sps[30][30],cw[30][2],ld[30],ls[30],head[30000],h[30000],q[30000];
int fa[30];
struct edge{
int to,cap,next;
}e[300000];
bool special_read()
{
char s[100];
gets(s);
int a[4]={0},o=1;
int len=strlen(s);
for(int i=0;i<len;i++)
{
if('0'<=s[i]&&s[i]<='9') a[o]=a[o]*10+s[i]-'0';
else if(a[o]) o++;
}
n=a[1];m=a[2];
return k=a[3];
}
int read(int &o)
{
int x=0,f=1; char ch=getchar();
while(ch<'0'||ch>'9'){if(ch=='-') f=-1;ch=getchar();}
while('0'<=ch&&ch<='9') {x=x*10+ch-'0';ch=getchar();}
o=x*f;
}
void add_edge(int u,int v,int cap)
{
e[ent]=(edge){v,cap,head[u]};head[u]=ent++;
e[ent]=(edge){u,0,head[v]};head[v]=ent++;
}
void make_new_edge(int day)
{
for(int i=3;i<=n+3-1;i++) add_edge(ld[i],++sz,INF),ld[i]=sz;
for(int i=1;i<=m;i++)
{
int t=day%cw[i][1],o=sps[i][t];
if(o==ear) add_edge(ear,++sz,cw[i][0]),ls[i]=sz;
else if(o==yue) add_edge(ls[i],yue,cw[i][0]),ls[i]=0;
else
{
if(ls[i])add_edge(ls[i],ld[o],cw[i][0]);
ls[i]=ld[o];
}
}
}
bool bfs(int s,int t)
{
memset(h,0,sizeof(h));
int l=0,r=1;q[1]=s;h[s]=1;
while(l<r)
{
int u=q[++l];
for(int i=head[u];i;i=e[i].next)
{
int v=e[i].to;
if(h[v]||!e[i].cap) continue;
h[v]=h[u]+1; q[++r]=v;
}
}
return h[t];
}
int dfs(int u,int res,int t)
{
if(u==t) return res;
int flowout=0,f;
for(int i=head[u];i;i=e[i].next)
{
int v=e[i].to;
if(!e[i].cap||h[v]!=h[u]+1) continue;
f=dfs(v,min(res,e[i].cap),t);
e[i].cap-=f; e[i^1].cap+=f;
flowout+=f; res-=f;
if(!res) break;
}
if(!flowout) h[u]=-1;
return flowout;
}
int Dinic(int s,int t)
{
while(bfs(s,t))
{
aim+=dfs(s,INF,t);
}
return aim;
}
void check_and_add(int a,int b,int c,int d)
{
c+=a; d+=b;
if(c==0||c==n+1||d==0||d==m+1) return;
int u=(a-1)*m+b,v=(c-1)*m+d;
add_edge(u,v,INF);
}
int find(int x)
{
if(fa[x]!=x) return fa[x]=find(fa[x]);
return x;
}
void unio(int x,int y)
{
int fx=find(x),fy=find(y);
if(fx!=fy) fa[fy]=fx;
}
void _1908()
{
for(int i=1;i<=25;i++) fa[i]=i;
for(int i=1;i<=m;i++)
{
read(cw[i][0]);read(cw[i][1]);
for(int j=0;j<cw[i][1];j++)
{
read(sps[i][j]);
sps[i][j]+=2;
if(j)
for(int jj=0;jj<j;jj++)
unio(sps[i][jj],sps[i][j]);
}
}
if(find(yue)!=find(ear)) printf("0");
else
{
int day=0;
add_edge(3,ear,k); add_edge(yue,4,INF);
for(int i=3;i<=n+3-1;i++) ld[i]=++sz;
for(int i=1;i<=m;i++)
{
int o=sps[i][0];
if(o==ear) add_edge(ear,++sz,cw[i][0]),ls[i]=sz;
else if(o!=yue) ls[i]=ld[o];
}
while(1)
{
++day;
make_new_edge(day);
if(Dinic(3,4)==k) { printf("%d",day); break;}
} }
}
void _1907()
{
int x,co=0;
s=n*m+1;t=n*m+2;
for(int i=1;i<=n;i++)
for(int j=1;j<=m;j++)
{
co=(i+j)%2;
int u=(i-1)*m+j;scanf("%d",&x); tot+=x;
if(!co)
{
add_edge(s,u,x);
check_and_add(i,j,-1,0);
check_and_add(i,j,1,0);
check_and_add(i,j,0,-1);
check_and_add(i,j,0,1);
}
else add_edge(u,t,x);
}
printf("%d",tot-Dinic(s,t));
}
int main()
{
if(special_read()) _1908();
else _1907(); return 0;
}