2D/1D动态规划的四边形优化

POJ 1160 Post Office

 

给出一维坐标系上个点的坐标，求在n个点上建立m个点，使他们到m个点欧氏距离最小的点距离只和最小，典型的2D/1D问题

 

http://blog.csdn.net/hqd_acm/article/details/6217756 关于数学模型的证明，达哥的BLOG里讲的很详细，

 

附上自己的理解：

 

对于决策范围：

利用决策s的物理意义（直接想不容易理解啊）：即等式s[i-1,j]<=s[i,j]<=s[i,j+1]成立
前半部分表示前j的村子建立i-1个邮局的最优决策i-1的位置，显然若建立i个邮局，决策不会比i-1的决策靠前,
如若这样，则得到的决策一定存在将一个邮局移到s[i-1,j]位置的更优解（这里自己想一下）。
后半部分表示在前j+1个村子的最优决策比j个决策靠后，也是可以通过反正法证明
在j-i固定时，所有决策是单调不减的，总决策数O（n）均摊下来就是O（1）了。
注意：在计算d[i,j]之前要先知道s[i,j+1]固枚举j的时候要倒序

 

///9453240 jxy859 1160 Accepted 892K 32MS C++ 1304B 2011-10-19 15:10:42 /*未加优化*/
///9459616 jxy859 1160 Accepted 936K 16MS C++ 1696B 2011-10-20 20:41:52 /*加优化*/

#include <cstdio>
#include <cstring>
#include <algorithm>

using namespace std;
const int maxn=305;
const int inf=0x5fffffff;
int opt[maxn][maxn], dp[maxn][maxn];
///opt[i,j]表示 i到j建立一个邮局时的最小距离。
///dp[i,j]