背景
描述
站的队形——较矮的2个人站两侧，最高的站中间。
从对称学角度来欣赏，左右两个人的身高越接近，则这一组的“残疾程度”越低。
计算公式为 h=(a-b)^2 (a、b为较矮的2人的身高)
那么问题来了。
现在候选人有n个人，要从他们当中选出3*m个人排舞蹈，要求总体的“残疾程度”最低。
输入格式
第二排n个数字，保证升序排列。
输出格式
测试样例1
输入
输出
备注
数据保证3*m<=n
对于这道题，首先应该想到贪心：每次取差值最小的一对。但是这样的贪心策略很容易找到反例，而且N=5000的数据规模，十分有可能是O(n^2)的算法。
于是考虑动态规划。如果是DP，那么很容易想到如下的状态定义：d[i][j]表示用前j个数组成i个(x,y,z)数对的最小消耗。
另外一个很容易注意到的地方就是：对于一个最优决策中的任意一个数对(x,y,z)，其中x和y必在有序的a[i]中相邻。关于这点用反证法不难证明，也很容易注意到。
对于(x,y,z)中的z应该如何决策的问题，之前一直令我迷惑，这一点应该是题目最难解决的问题。
考虑状态d[i][j]:
对于x和y，有如下考虑：
对于a[j]，如果不使用a[j]，那么d[i][j]=d[i][j-1]；
如果使用a[j]，那么就和a[j-1]一起使用，d[i][j]=d[i-1][j-2]+w(a[i],a[i-1])；
于是有了总的状态转移方程：d[i][j]=min{d[i][j-1],d[i-1][j-2]+w(a[i],a[i-1])}；
这应该不难理解，但是对于z的决策呢？
如果把a[i]按降序排列，那么z的影响就可以忽略了！这样依然可以采用上面的方程。
考虑状态d[i][j]：
如果j<3i，此时当前策略是不可行的，d[i][j]=INF；
如果j>=3i，即j>=3(i-1)+3，j>3(i-1)+2，当前状态有效
转移到d[i-1][j-2]时，至少剩余一个多余的a[k]
由于序列降序，a[k]可以和a[j]、a[j-1]配对
同时d[i-1][j-2]有效，可以继续递归。
转移到d[i][j-1]
若d[i][j-1]为无效状态，d[i][j-1]==INF，必然不会比上面那种转移方式优；
若d[i][j-1]为有效状态，可以继续递归地进行下去。
#include<iostream>
#include<cstdio>
#include<string>
#include<cstring>
#include<algorithm>
using namespace std;
int m,n,a[];
long long dp[][];
int main(){
cin>>m>>n;
for(int i = n;i >= ;i--){
scanf("%d",&a[i]);
}
for(int i = ;i <= m;i++){
for(int j = ;j <= n;j++){
if(j < i * ) dp[i][j] = 9876543212345L;
else dp[i][j] = min(dp[i][j-],dp[i-][j-] + (a[j] - a[j-]) * (a[j] - a[j-]));
}
}
cout<<dp[m][n];
return ;
}