洛谷 引水入城（记忆化dfs，区间全覆盖问题（用贪心解决））

题目链接：

[NOIP2010 提高组] 引水入城 - 洛谷 

思路：

一种朴素的想法是对第一行的点全部跑一遍dfs，计算出能到达的第n行的点，然后全部加起来看能否覆盖第n行所有点，完成第一问。然后第二问如何计算最少建造的蓄水池数？枚举显然不行，dp的话......我也不知道咋递推。 

---

所以这道题需要先证明出一个特别重要的结论：如果能完成全覆盖，所有蓄水池覆盖区间一定是一个连续线段！证明见某大佬博客：题解 P1514 【引水入城】 - 天上一颗蛋 的博客 - 洛谷博客​​​​​​

这样的话就简单了，直接转化成区间覆盖问题，用贪心思路，详见代码，还是很好理解的。

#include <bits/stdc++.h>
using namespace std;
const int maxn = 505;
const int dx[4]={1,-1,0,0}, dy[4]={0,0,1,-1};
int n, m, a[maxn][maxn];
bool vis[maxn][maxn];
int l[maxn][maxn], r[maxn][maxn]; //线段覆盖区间（覆盖最后一行的哪一段）

void dfs(int x,int y){
    if(vis[x][y]) return;
    vis[x][y] = 1;
    for(int i=0; i<4; i++){
        int xi=x+dx[i], yi=y+dy[i];
        if(xi<1||xi>n||yi<1||yi>m||a[xi][yi]>=a[x][y]) continue; //越界或太高
        dfs(xi,yi); //遍历下一个点
        l[x][y] = min(l[x][y], l[xi][yi]); //区间覆盖处理
        r[x][y] = max(r[x][y], r[xi][yi]);
    }
}
void init(){
    memset(l,0x3f,sizeof(l));
    memset(r,0, sizeof(r));
    for(int i=1; i<=m; i++)
        l[n][i]=r[n][i]=i; //最后一行每个点，一开始只覆盖自己
}
int main(){
    ios::sync_with_stdio(false), cin.tie(0), cout.tie(0);
    cin>>n>>m;
    init(); //线段覆盖初始化
    for(int i=1; i<=n; i++)
    for(int j=1; j<=m; j++)
        cin>>a[i][j];
    for(int i=1; i<=m; i++)
        dfs(1,i); //遍历第一行，算第一问
    int cnt = 0;
    for(int i=1; i<=m; i++)
        if(!vis[n][i]) cnt++;
    if(cnt>0) {cout<<0<<'\n'<<cnt; return 0;} //有的城市不能有水利设施

    //下面进行区间覆盖处理：用到贪心思路
    //能覆盖目前要求的最左边的块的起点中，找右边界最大的
    int cnt2=0;
    int need = 1, right; //目前要求覆盖的地方，目前找到的最优右边界
    while(need<=m){ //注意是 <= m，不是 < m
        for(int i=1; i<=m; i++) //从第一行里面找
            if(l[1][i] <= need) right = max(right, r[1][i]);
        cnt2++;
        need = right+1;
    }
    cout<<1<<'\n'<<cnt2;
}