• 2024-10-02P1912 [NOI2009] 诗人小G
    题目链接题解:定义算上空格的前缀和\(sum[i]=\sum_{j=1}^{i}len[j]+1\)\(dp[i]=min_{j<i}(dp[j]+|sum[i]-sum[j]-1+L|^p)\)相当于枚举上一行的结尾在哪。可以感性理解一下,i越靠后,最优决策点j一定会往后移。所以决策点具有单调性。我有一个简单的证明,就是列个式子,证明i向后移
  • 2024-07-18P1912 [NOI2009] 诗人小G 题解
    我们设\(s_i\)表示前\(i\)个句子的长度之和,这样就有dp\[f_i=\min_{j<i}\big\{f_j+|s_i-s_j+i-j-1-L|^P\big\}\]我们设\(w(l,r)=|s_r-s_l+r-l-1-L|^P\),如果\(w\)满足四边形不等式,则原dp具有决策单调性。设\(u=(s_i+i)-(s_j+