【NOIP2010】引水入城

以前一直以为是什么高端DP，看了题解才发现是水题，老是这样看题解才能写出来到赛场上怎么办嘛QAQ

原题：

在一个遥远的国度，一侧是风景秀美的湖泊，另一侧则是漫无边际的沙漠。该国的行政
区划十分特殊，刚好构成一个 N 行 M 列的矩形，如上图所示，其中每个格子都代表一座城 市，每座城市都有一个海拔高度。
为了使居民们都尽可能饮用到清澈的湖水，现在要在某些城市建造水利设施。水利设施 有两种，分别为蓄水厂和输水站。蓄水厂的功能是利用水泵将湖泊中的水抽取到所在城市的 蓄水池中。因此，只有与湖泊毗邻的第 1 行的城市可以建造蓄水厂。而输水站的功能则是通 过输水管线利用高度落差，将湖水从高处向低处输送。故一座城市能建造输水站的前提，是 存在比它海拔更高且拥有公共边的相邻城市，已经建有水利设施。
由于第 N 行的城市靠近沙漠，是该国的干旱区，所以要求其中的每座城市都建有水利 设施。那么，这个要求能否满足呢？如果能，请计算最少建造几个蓄水厂；如果不能，求干 旱区中不可能建有水利设施的城市数目。

首先可以先假设第一行的所有格子都建站了，用bfs即可求出是否能把最后一行完全覆盖以及如果不能完全覆盖没有覆盖到的格子有几个

然后在用一个bfs求出如果在第一行第i个格子建站能在最后一行上覆盖区间的左端点和右端点，容易证明如果在第一行某点建站，在最后一行一定是连续覆盖一个区间

然后区间覆盖dp，if(i>=left[j] && i<=right[j])  f[i]=min(f[i],f[left[j]-1]+1)

需要有一个特判，就是只有一行的情况（如果在第一次bfs把第一行每个点入队的同时也标记上的话似乎就不用搞这个特判）

代码：

 #include<iostream>
 #include<cstdio>
 #include<algorithm>
 #include<cstring>
 #include<cmath>
 using namespace std;
 int read(){int z=,mark=;  char ch=getchar();
     while(ch<''||ch>''){if(ch=='-')mark=-;  ch=getchar();}
     while(ch>=''&&ch<=''){z=(z<<)+(z<<)+ch-'';  ch=getchar();}
     return z*mark;
 }
 int fx[]={,-,,},fy[]={,,,-};
 int m,n,a[][];
 int visited[][];
 int dui[],tou=;
 int ans;
 int fleft[],fright[];
 int f[];
 int bfs1(){
     memset(visited,,sizeof(visited));
     for(int i=;i<=n;i++)  dui[++tou]=i-;
     for(int k=;k<=tou;k++){
         int x=dui[k]/n+,y=dui[k]%n+;
         for(int i=;i<;i++)if(!visited[x+fx[i]][y+fy[i]] && a[x][y]>a[x+fx[i]][y+fy[i]]){
             visited[x+fx[i]][y+fy[i]]=-;
             dui[++tou]=(x+fx[i]-)*n+y+fy[i]-;
         }
     }
     int ge=;
     for(int i=;i<=n;i++)  if(!visited[m][i])  ge++;
     return ge;
 }
 void bfs2(int _s){
     dui[tou=]=_s-;
     for(int k=;k<=tou;k++){
         int x=dui[k]/n+,y=dui[k]%n+;
         for(int i=;i<;i++)if(visited[x+fx[i]][y+fy[i]]!=_s && a[x][y]>a[x+fx[i]][y+fy[i]]){
             visited[x+fx[i]][y+fy[i]]=_s;
             dui[++tou]=(x+fx[i]-)*n+y+fy[i]-;
         }
     }
     for(int i=;i<=n;i++)  if(visited[m][i]==_s){  fleft[_s]=i;
         for(int j=i+;j<=n+;j++)  if(visited[m][j]!=_s){  fright[_s]=j-;//注意这里如果枚举到n就有可能n也被覆盖了，然后fright就是0
             break;
         }
         break;
     }
 }
 int main(){
     //freopen("ddd.in","r",stdin);
     freopen("flow.in","r",stdin);
     freopen("flow.out","w",stdout);
     memset(f,,sizeof(f));
     cin>>m>>n;
     for(int i=;i<=m;i++)
         for(int j=;j<=n;j++)
             a[i][j]=read();
     for(int i=;i<=m+;i++)  a[i][]=,a[i][n+]=;
     for(int i=;i<=n+;i++)  a[][i]=,a[m+][i]=;
     if(ans=bfs1()){  cout<<((m==) ?  : )<<endl<<ans<<endl;  return ;}//去你大爷的特判，这里有一行的情况
     for(int i=;i<=n;i++)  bfs2(i);
     f[]=;
     for(int i=;i<=n;i++)
         for(int j=;j<=n;j++)
             if(i>=fleft[j] && i<=fright[j])
                 f[i]=min(f[i],f[fleft[j]-]+);
     cout<<<<endl<<f[n]<<endl;
     return ;
 }