例子：
ans[i] = max(a[j] + sqrt(i - j)) (j < i)
大致意思：i位置的答案等於從i前面選乙個j位置，使得表示式最大。
那麼，當咱們已經求出 i 的最大值就是在 j 位置的時候，求比 i 大的位置的答案的時候它的範圍應該是怎樣的呢？
假設 a[j] + sqrt(i - j) < a[k] + sqrt(i - k) (j < k) (意思是，已知j的i答案往前找的最大值的位置，從j的後面選乙個k，滿足這個式子的）
解釋一下這個式子： y = sqrt(x) 這是乙個遞增函式，但是它的增量後隨著x的增大而減小，（用物理的語言就是，加速度減小的加速運動），這個式子很重要。
j < k =>> -j > -k =>> i - j > i - k 因此假設的前面的x是大於後面的x的----------！！！！
當i增大的時候，也就是對應的x增大的時候，前面增加量會小於後面的增加量，所以假設是一定成立的。
那麼： 當咱們求比 i 大的ans的時候， 咱們只需看j 後面的就可以了（此時把j前面的全部不用看了），這樣複雜度降低了very多。
---------------------------------------這僅僅是非常非常eazy的東東 orz orz orz
路漫漫 。。。 路漫漫 。。。
決策單調性優化DP 分治優化決策單調性
前言 本來這篇已經寫了 frac 了 然後我關機時忘儲存了。華麗的分割線 對於類似於 dp i j max min dp k 1 j 1 count k,i 不妨設 當 最後一次 max min 更新時 f i,j k 若有 forall i,j in 1,n s.t.i j rightarrow ...
單調佇列優化和決策單調性優化
有時狀態轉移方程形如f i j min w i,j 其中l i,j k j，l i,j l i,j 1 如果兩個決策k1,k2滿足f i 1 k1 f i 1 k2 且k1 k2，那麼k1出現後k2就沒用了。維護乙個佇列，按k從小到大存下所有有用的決策，f i 1 k 是單調上公升的。每次加入新決策...
決策單調性
dp min dp w l,r 若 w l,r 滿足 則 dp 滿足四邊形不等式，其決策點 op 滿足 op le op le op 複雜度降至 mathcal o n 2 eg.合併石子 dp min w l,r 若 w l,r 滿足四邊形不等式，則決策具有單調性。對決策區間分治，具體來說，每次求...