算法提高——宰羊

问题描述
炫炫回了内蒙，肯定要吃羊肉啦，所有他家要宰羊吃。炫炫家有 N 只羊，羊圈排成一排，标号 1 ~ N。

炫炫每天吃掉一只羊（这食量！其实是放生啦），吃掉的羊的邻居会以为它被放生了，然后又会告诉他们的邻居，

这样一直传播下去，除非某个邻居已经被“放生”了。

每一天，所有知道某羊被“放生”了这个消息的羊都会很不满，如果不给他们巧克力的话，他们就会很造反，

炫炫已经知道他要吃掉哪些羊，他可以任意安排吃的顺序，然后使巧克力的用量最小，请求出这个最小值。
　　
输入格式
本题有多组数据，第一行为数据组数 T。
对于每组数据
第一行：两个用空格隔开的整数：N 和 M，表示羊的数量和需要吃掉的数量
第二行：有 M 个数，表示要吃那些羊。
　　
输出格式
T 行，为每组数据的答案。
　　
样例输入
2
8 1
3
20 3
3 6 14

样例输出
7
35

数据范围
T ≤ 10
N ≤ 10000
M ≤ 100

---

题解
动态规划：

f[l][r]：

• 集合：所有将区间 [L，R] 内的羊全部杀完的方案的集合
• 属性：最小值（巧克力消耗）

代价：

• 每个区间 [L, R] 可以根据被宰杀羊的编号，分成两个更小的区间 [L, k - 1] 与 [k + 1, R]，此时第 k 只羊已经被宰杀。
• 因此，在计算区间 [L, R] 时，第 L - 1 、R + 1 只羊也已被宰杀，所以杀第 k 只羊的代价为 a[r + 1] - a[l - 1] - 2

#include <iostream>
using namespace std;

const int N = 1010, INF = 0x3f3f3f3f;

int a[N], f[N][N];

int main()
{
	int T;
	cin >> T;
	
	while(T --)
	{
		int n, m;
		cin >> n >> m;
		for (int i = 1; i <= m; i ++) cin >> a[i];
		
		a[0] = 0;
		a[m + 1] = n + 1;
		for (int len = 1; len <= m; len ++)
			for (int l = 1; l + len - 1 <= m; l ++)
			{
				int r = l + len - 1;
				if(len == 1) f[l][r] = a[r + 1] - a[l - 1] - 2;
				else
				{
					f[l][r] = INF;
					for (int k = l; k <= r; k ++)
						f[l][r] = min(f[l][r], f[l][k - 1] + f[k + 1][r] + a[r + 1] - a[l - 1] - 2);
				}
			}
			
		cout << f[1][m] << endl;	
	}
	
	return 0;
}