[蓝桥杯][算法提高]和谐宿舍2（记忆化搜索）

问题描述
　　我的某室友学过素描，墙上有n张他的作品。这些作品都是宽度为1，高度不定的矩形，从左到右排成一排，且底边在同一水平线上。
　　宿舍评比就要来了，为了及格，我们决定买不多于m块的矩形木板，把这些作品和谐掉。要求木板也从左到右排成一排，且底边与作品的底边在同一水平线上。
　　在能够把所有作品和谐掉的前提下，我们希望这些木板的面积和最小，问最小面积和。

输入格式
　　第一行两个数n和m，表示作品数和木板数；
　　第二行n个数Hi，表示从左到右第i个作品的高度。
输出格式
　　一行一个数ans，表示答案。
样例输入
5 2
4 2 3 5 4
样例输出
22
数据规模和约定
　　对于30%的数据：1<=n，m<=10；
　　对于100%的数据：1<=n，m<=100，1<=Hi<=10000。
思路：挺明显的动态规划。dp[l][r][num]数组代表由第l块木板到第r块画，用num块木板遮盖所需要的最小面积。
状态转移方程：

dp[l][r][num]=min(dp[l][r][num],(i-l+1)*H+dfs(i+1,r,num-1));

需要加几个剪枝的条件否则会超时：
①如果dp[l][r][num]出现过，就可以直接返回。
②如果num变为负数，这就说明l-r用num块木板不够，就直接返回inf
③如果说r-l+1<num,说明这些木板多余了，那么只用r-l+1块就可以了。
④如果说l>r了但是num还没有用完的话，这样肯定不是最优的。为什么呢？极限思想，我们可以将每一幅画都用一块木板和谐，这样应该是最小的。num还不为0，说明前面那种方法一定可以。这样的话，就说明之前那种办法不是最优的。
代码如下：

#include<bits/stdc++.h>
#define ll long long
#define inf 0x3f3f3f3f
using namespace std;

const int maxx=1e2+10;
int dp[maxx][maxx][maxx];
int h[maxx];
int n,m;

inline int dfs(int l,int r,int num)
{
	if(num>r-l+1) return dfs(l,r,r-l+1);
	if(l>r&&num) return inf;
	if(l>r&&num==0) return 0;
	if(num<0) return inf;
	if(dp[l][r][num]!=inf) return dp[l][r][num];
	int H=0;
	for(int i=l;i<=r;i++)
	{
		H=max(H,h[i]);
		dp[l][r][num]=min(dp[l][r][num],(i-l+1)*H+dfs(i+1,r,num-1));
	}
	return dp[l][r][num];
}
int main()
{
	scanf("%d%d",&n,&m);
	memset(dp,inf,sizeof(dp));
	for(int i=1;i<=n;i++) scanf("%d",&h[i]);
	printf("%d\n",dfs(1,n,m));
	return 0;
}

努力加油a啊，(^o)/~