传送门:loj2470
保序回归
详见2018国家集训队论文《浅谈保序回归问题》(高睿泉)。
定义如下:
这里仅仅谈一下针对此题( L 1 L_1 L1问题)的普遍解法,整体二分:
一些约定:
- 将序列 z z z中所有元素与 a a a取 max \max max,与 b b b取 min \min min称为序列向集合 S = { a , b } S=\{a,b\} S={ a,b}取整。
- 点集 U U U的 L p L_p Lp均值为满足 ∑ v i ∈ U w i ∣ y i − k ∣ p ( 1 ≤ p < ∞ ) \sum \limits_{v_i\in U}w_i|y_i-k|^p(1\leq p<\infty) vi∈U∑wi∣yi−k∣p(1≤p<∞)或 max v i ∈ U w i ∣ y i − k ∣ ( p = ∞ ) \max _{v_i\in U}w_i|y_i-k|(p=\infty) maxvi∈Uwi∣yi−k∣(p=∞)最小的 k k k。
这里规定问题中 p = 1 p=1 p=1。
存在引理:
证明有点繁琐,而且我没看懂QWQ,感性理解一下吧。
由此引理得到:
假设最优解不落在 ( a , b ) (a,b) (a,b)中,通过一组 S = { a , b } S=\{a,b\} S={
a,b}问题的最优解,就可以知道某一组原问题最优解中 z i z_i