传送门:bzoj1563
四边形不等式
设 w ( x , y ) w(x,y) w(x,y)是定义在整数集合上的二元函数。若对于定义域上的任何整数, a , b , c , d ( a ≤ b ≤ c ≤ d ) a,b,c,d(a\leq b\leq c\leq d) a,b,c,d(a≤b≤c≤d), ∃ \exist ∃ w ( a , d ) + w ( b , c ) ≥ w ( a , c ) + w ( b , d ) w(a,d)+w(b,c)\geq w(a,c)+w(b,d) w(a,d)+w(b,c)≥w(a,c)+w(b,d)。则称函数 w w w满足四边形不等式。
一维DP的决策单调性
对于一维线性状态转移方程:
d p i = m i n j = 0 i − 1 ( d p j + v a l ( j , i ) ) dp_i=min_{j=0}^{i-1}(dp_j+val(j,i)) dpi=minj=0i−1(dpj+val(j,i))
若函数 v a l val val满足四边形不等式,则称 d p dp dp具有决策单调性。
而在bzoj1563诗人小G中,转移方程如下:
设 d p i dp_i dpi表示前 i i i句是排版后最小不协调度, l e n i len_i leni为第 i i i句诗的长度, s u m i sum_i sum