poj 1160 Post Office //四边形不等式优化

http://blog.csdn.net/find_my_dream/archive/2009/12/03/4931222.aspx

这个博客概括的比较好

 

四边形不等式优化------邮局问题

 

m[p,n]为问题的解

m[i,j]表示在前j个村庄建立i个邮局的最小距离和

 

状态转移方程和边界条件是

m[1,j]=w[1,j]

m[i,j]=min(m[i-1,k]+w[k+1,j])  i<=j

 

其中w[i,j]表示在d[i..j]之间建立一个邮局的最小距离和，

可以证明，当仅建立一个邮局时，最优解出现在中位数，

即设建立邮局的村庄为k，则k=(i+j)/2

计算w[i,j]是比较简单的,不作阐述

 

同时令s[i,j]=k,记录使用前i-1个邮局的村庄数

便于在算出最小距离和之后构造最优建立方案。

 

上述算法中w[i,j]可通过O(n)时间的预处理，在O(1)的时间内算出，

所以，该算法的状态总数为O(n*p)，每个状态转移的状态数为O(n)，

每次状态转移的时间为O(1)，该算法总的时间复杂度为O(p*n^2)。

 

 

以下就是算法的优化

首先这个题目的状态转移方程让我猜测它是否也满足单调性

即  s[i-1,j]<=s[i,j]<=s[i,j+1]

 

首先我们证明函数w满足四边形不等式，即

w[i,j]+w[i',j']<=w[i',j]+w