【引水入城】解题报告

题目描述

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

【样例1 说明】
只需要在海拔为9 的那座城市中建造蓄水厂，即可满足要求。
【样例2 说明】

上图中，在3 个粗线框出的城市中建造蓄水厂，可以满足要求。以这3 个蓄水厂为源头
在干旱区中建造的输水站分别用3 种颜色标出。当然，建造方法可能不唯一。

【数据范围】

输入格式

输入文件的每行中两个数之间用一个空格隔开。
输入的第一行是两个正整数N 和M，表示矩形的规模。
接下来N 行，每行M 个正整数，依次代表每座城市的海拔高度。

输出格式

输出有两行。如果能满足要求，输出的第一行是整数1，第二行是一个整数，代表最少
建造几个蓄水厂；如果不能满足要求，输出的第一行是整数0，第二行是一个整数，代表有
几座干旱区中的城市不可能建有水利设施。

//=======================================================================

//=======================================================================

基本方法：

最重要的是要能理解。在满足所有点都被覆盖的情况下，每个蓄水厂覆盖的沙漠城市都是一个连续区间，

这个可以证明。如果右边的蓄水站不能覆盖这个沙漠城市，那么必定左边的这个蓄水站覆盖它，好像有

一条海拔分割线。

想清楚了这一点之后，就不复杂了。对每个沿海城市进行广搜，找到他能覆盖的沙漠区间。

再用动规解决。最小路径覆盖模型。

                  |--- f[i-1][j],

f[i][j] = min|

                   |--- f[i-1][k]+1 （k<j and i能够覆盖k+1~j）

现在WA90

//引水入城
//WA60	无法覆盖完的时候输出最多覆盖，只输出了0，没有输出覆盖数量 
//WA80	增加了这一部分
//		if (left[i]==1)
//		{
//			for (long j=1;j<right[i]+1;j++)
//				f[i][j] = 1;
//		} 
//		考虑的特殊情况 
//WA90	

#include <cstdio>

struct node
{
	long x;long y;
};

long n;long m;
long hei[502][502];
bool used[502][502];
long dx[4]={-1,0,1,0};
long dy[4]={0,1,0,-1};
node que[10000000];
const long oo = 0x7fff0000;
long left[502];
long right[502];
long f[502][502];
bool color[502];

void bfs(long p,long q)
{
	long l=0;
	long r=0;
	used[p][q] = true;
	r++;
	que[r].x = p;
	que[r].y = q;
	while (l<r)
	{
		node now = que[++l];
		for (long i=0;i<4;i++)
		{
			node nn;
			nn.x = now.x+dx[i];
			nn.y = now.y+dy[i];
			if (hei[nn.x][nn.y]<hei[now.x][now.y]&&!used[nn.x][nn.y])
			{
				used[nn.x][nn.y]=true;
				r++;
				que[r] = nn;
			}
		}
	}
}

int main()
{
	freopen("601.out","w",stdout);
	freopen("601.in" ,"r",stdin);
	scanf("%ld%ld",&n,&m);
	for (long i=1;i<n+1;i++)
	{	
		for (long j=1;j<m+1;j++)
		{
			scanf("%ld",&hei[i][j]);
		}
	}
	for (long i=0;i<n+1;i++)
		hei[i][0]=hei[i][m+1]=oo;
	for (long i=0;i<m+1;i++)
		hei[0][i]=hei[n+1][i]=oo;
	for (long i=1;i<m+1;i++)
	{
		for (long j=1;j<n+1;j++)
			for (long k=1;k<m+1;k++)
				used[j][k] = false;
		bfs(1,i);
		for (long j=1;j<m+1;j++)
			if (used[n][j]){left[i]=j;break;}
		for (long j=m;j>0;j--)
			if (used[n][j]){right[i]=j;break;}
	}
	
	
	//===============================If not OK
	for (long i=1;i<m+1;i++)
	{
		for (long j=left[i];j<=right[i];j++)
		{
			color[j]=true;
		}
	}
	long count = 0;
	for (long i=1;i<m+1;i++)
		if (!color[i]) count++;
	if (count > 0)
	{
		printf("0\n%ld",count);
		return 0;
	}
	//=================================IF OK
	for (long i=0;i<m+1;i++)
		for (long j=0;j<m+1;j++)
			f[i][j]=0x7fff0000;
	for (long i=1;i<m+1;i++)
	{
		for (long j=left[1];j<right[1]+1;j++)
		{
			f[i][j] = 1;
		}
		if (left[i]==1)
		{
			for (long j=1;j<right[i]+1;j++)
				f[i][j] = 1;
		}
	}
	for (long i=1;i<m+1;i++)
	{
		for (long j=1;j<m+1;j++)
		{
			f[i][j]<?=f[i-1][j];
			for (long k=1;k<j;k++)
			{
				if (left[i]<=k+1&&right[i]>=j)
				{
					f[i][j]<?=f[i-1][k]+1;
				}
			}
		}
	}
	printf("1\n%ld",f[m][m]);
}