四边形不等式优化

形式$1$

转移形如$$f(i,j)=\{\begin{array}{r}\underset{i<k\le j}{\min }f(i,k-1)+f(k,j)+w(i,j),i<j\\ 0,i=j\\ \infty ,i>j\end{array}$$
给出一些定义
若函数$g(i,j)$满足$a\le b\le c\le d,g(a,c)+g(b,d)\le g(a,d)+g(b,c)$（可简记为交叉小于等于包含），那么称函数$g$满足四边形不等式
若函数$g(i,j)$满足$a\le b\le c\le d,g(b,c)\le g(a,d)$，那么称函数$g$满足区间单调性

定理1 若$w$满足四边形不等式和区间单调性，那么$f$满足四边形不等式

证明：$a=b$或者$c=d$时显然成立
对区间长度$d-a$进行归纳证明

• $a<b=c<d$时
  设 k = min ⁡ { k ∣ f ( a , k − 1 ) + f ( k , d ) + w ( a , d ) } k=\min \{k|f(a,k-1)+f(k,d)+w(a,d)\} k=min{k∣f(a,k−1)+f(k,d)+w(a,d)}，即$k$为$f(a,d)$的最优决策点
  若$k\le b$，则有
  $$f(a,b)+f(b,d)\le w(a,b)+f(a,k-1)+f(k,b)+f(b,d)$$
  $$\le w(a,d)+f(a,k-1)+f(k,d)=f(a,d)$$
  $k>b$同理
• $a<b<c<d$时
  设 y = min ⁡ { y ∣ f ( a , y − 1 ) + f ( y , d ) + w ( a , d ) } , z = min ⁡ { z ∣ f ( b , z − 1 ) + f ( z , c ) + w ( b , c ) } y=\min \{y|f(a,y-1)+f(y,d)+w(a,d)\},z=\min \{z|f(b,z-1)+f(z,c)+w(b,c)\} y=min{y∣f(a,y−1)+f(y,d)+w(a,d)},z=min{z∣f(b,z−1)+f(z,c)+w(b,c)}，即$y$为$f(a,d)$的最优决策点，$z$为$f(b,c)$的最优决策点
  若$y\le z$，则有
  $$f(a,c)+f(b,d)$$
  $$\le w(a,c)+f(a,y-1)+f(y,c)+w(b,d)+f(b,z-1)+f(z,d)$$
  $$\le w(a,c)+w(b,d)+f(a,y-1)+f(b,z-1)+f(y,c)+f(z,d)$$
  $$\le w(a,d)+w(b,c)+f(a,y-1)+f(b,z-1)+f(y,d)+f(c,z)$$
  $$=f(a,d)+f(b,c)$$
  $y>z$时，同理

定理2 设$p(i,j)$为$f(i,j)$的最小最优决策点，若$f$满足四边形不等式，则有$p(l,r-1)\le p(l,r)\le p(l+1,r)$

由于$p(l,r-1)\le p(l,r)$的证明和$p(l,r)\le p(l+1,r)$类似，所以我们只证明$p(l,r-1)\le p(l,r)$
证明：设$a=p(l,r-1),b=p(l,r)$
假设$a>b$,则有$b\le a\le r-1\le r$，由四边形不等式可得
$$f(b,r-1)+f(a,r)\le f(b,r)+f(a,r-1)$$
因为$b$是$f(l,r)$的最优决策点，所以$f(l,b-1)+f(b,r)\le f(l,a-1)+f(a,r)$
两式相加得
$$f(l,b-1)+f(b,r-1)\le f(l,a-1)+f(a,r-1)$$
这与$a$是$f(l,r-1)$的最小最优决策点矛盾，故$a\le b$,即$p(l,r-1)\le p(l,r)$

因此，时间复杂度变为
$$\sum _{l=1}^n\sum _{r=l}^{n}p(l+1,r)-p(l,r-1)=\sum _{i=1}^{n}p(n-i+1,n)-p(1,i)\le n^2$$

例1 石子合并

设有$N$个堆石子排成一排，其编号为$1,2\cdots N$，每堆石子有质量$m_i$，每次可以将相邻两个石堆合并，合并的代价为两个石堆的质量和，问将$N$个石堆合并成一堆的最小代价
$$N\le 1000,m_i\le 1000$$

$solution:$

$w(i,j)=s_j-s_{i-1}$，显然这个函数满足四边形不等式，时间复杂度即为$O(n^2)$

形式2

转移形如$$f(i,j)=\underset{k\le j}{\min }f(i-1,k)+w(k,j)(i\le n,j\le m)$$
设$p(i,j)$为$f(i,j)$的最小的最优决策点
若函数$w$满足四边形不等式，则有类似的结论$p(i,j-1)\le p(i,j)\le p(i,j+1)$
证明类似
考虑使用分治解决，具体地，设一个递归函数$solve(l,r,L,R)$表示要求出$p(i,l\sim r)$，而且$p$的范围在$L\sim R$，每次先算出$p(i,\frac{l+r}{2})$，然后递归到两边，时间复杂度为$O(nm\log m)$

例2 「POI2011」Lightning Conductor

给定一个长度为$n$的序列$a_1\cdots a_n$，要求对每个$1\le r\le n$，找到最小的非负整数$f_r$，满足
$$\forall l\in [1,n],a_l\le a_r+f_r-\sqrt{|r-l|}$$

$solution:$

易知， f r = max ⁡ l = 1 n { a l + ∣ r − l ∣ } − a r f_r=\max_{l=1}^n\{a_l+\sqrt{|r-l|}\}-a_r fr​=maxl=1n​{al​+∣r−l∣ ​}−ar​
不妨设 l < r , f r = max ⁡ l = 1 n { a l + ∣ r − l ∣ } − a r , w ( i , j ) = a i + ∣ i − j ∣ l<r,f_r=\max_{l=1}^n\{a_l+\sqrt{|r-l|}\}-a_r,w(i,j)=a_i+\sqrt{|i-j|} l<r,fr​=maxl=1n​{al​+∣r−l∣ ​}−ar​,w(i,j)=ai​+∣i−j∣ ​
不难证明$w(i,j)$满足四边形不等式，故具有决策单调性，使用上述分治算法就能做到$O(n\log n)$

形式3

转移形如$$f(i)=\underset{j<i}{\min }f(j)+w(j+1,i)(i\le n)$$

定理3 若$w(i,j)$满足四边形不等式，则$f(i)$具有决策单调性

可以像定理$2$那样用反证法证明

此类问题可以用单调队列加二分解决，具体地，每个决策点可以影响一个区间的答案，队列中的元素形如$[l,r,p]$表示目前$[l,r]$的最优决策为$p$，每次新加入一个决策时，从队尾开始比较，看看当前决策是否可以覆盖队尾决策，若可以，弹掉队尾，否则判断二分判断分界点在哪里，如果队首的已经不能影响到当前点时就弹掉队首，时间复杂度为$O(n\log n)$

例4 P1912 [NOI2009] 诗人小G

有$n$个物品，每个物品价值为$a_i$，你现在要把它们分成若干个连续段。设一个段内的物品价值和为$S$，那么代价就是$|S-L{|}^p$，求最小代价

$n\le 1e5a,L\le 3e6P\le 10$

$solution:$

f [ i ] = min ⁡ j < i { f [ j ] + w ( j + 1 , i ) } , w ( i , j ) = ∣ S ( j ) − S ( i − 1 ) − L ∣ p f[i]=\min_{j<i}\{f[j]+w(j+1,i)\},w(i,j)=|S(j)−S(i-1)−L|^p f[i]=j<imin​{f[j]+w(j+1,i)},w(i,j)=∣S(j)−S(i−1)−L∣p
可以证明$w(i,j)$满足四边形不等式，即可$O(n\log n)$解决问题

定理4 $w$满足四边形不等式当且仅当，$w(i,j)+w(i+1,j+1)\le w(i+1,j)+w(i,j+1)$

必要性显然，下面证明充分性
证明：
转换一下形式:
$$w(i,j)-w(i+1,j)\le w(i,j+1)-w(i+1,j+1)$$
考虑从$i+1$推广到$i+k$，
假设有$w(i,j)-w(i+k,j)\le w(i,j+1)-w(i+k,j+1)$
并且有$w(i+k,j)-w(i+k+1,j)\le w(i+k,j+1)-w(i+k+1,j+1)$
两式相加有$w(i,j)-w(i+k+1,j)\le w(i,j+1)-w(i+k+1,j+1)$
我们把$i+k$推广到了$i+k+1$，所以可以从$i+1$推广到所有情况
$j$的情况类似

四边形不等式一般解题过程

• 1.列出dp式
• 2.证明$w$函数满足四边形不等式
• 3.证明$dp$函数满足四边形不等式
• 4.用决策单调性优化$dp$

四边形不等式实际解题过程

• 1.列出dp式
• 2.猜想或打表发现$w$函数满足四边形不等式
• 3.猜想或打表发现$dp$函数满足四边形不等式
• 4.用决策单调性优化$dp$

参考资料：

• oiwiki四边形不等式优化
• 四边形不等式与决策单调性bykqp