四边形不等式为
w
(
a
,
d
)
+
w
(
b
,
c
)
>
=
w
(
a
,
c
)
+
w
(
b
,
d
)
(
a
<
=
b
<
=
c
<
=
d
)
w(a , d) + w(b ,c ) >= w(a , c) + w(b , d) (a<=b<=c<=d)
w(a,d)+w(b,c)>=w(a,c)+w(b,d)(a<=b<=c<=d)
当满足 w ( a , b + 1 ) + w ( a + 1 , b ) > = w ( a , b ) + w ( a + 1 , b + 1 ) w(a , b + 1) + w(a + 1 , b) >= w(a , b) + w(a + 1 , b + 1) w(a,b+1)+w(a+1,b)>=w(a,b)+w(a+1,b+1)
四边形不等式成立。。。。。
这个很好证,类似于数学归纳法一样。。。。
可以用来做类似于
F
[
i
]
=
m
i
n
(
F
[
j
]
+
v
a
l
(
j
,
i
)
)
(
j
<
=
i
)
的
决
策
单
调
F[i]= min(F[j] + val(j , i))(j<=i)的决策单调
F[i]=min(F[j]+val(j,i))(j<=i)的决策单调
证明省
可以吧复杂度优化到nlogn
拿个简单题当个例子
…
显然可以得到方程
F
[
i
]
=
m
i
n
(
F
[
j
]
+
∣
s
u
m
[
i
]
−
s
u
m
[
j
]
+
i
−
j
−
1
−
L
∣
p
)
F[i] = min(F[j] + |sum[i] - sum[j] + i - j - 1 - L|^p)
F[i]=min(F[j]+∣sum[i]−sum[j]+i−j−1−L∣p)
F
[
i
]
=
m
i
n
(
F
[
j
]
+
v
a
l
(
j
,
i
)
)
F[i] = min(F[j] + val(j , i))
F[i]=min(F[j]+val(j,i))
要证val(j , i)满足四边形不等式跳过
直接写