【wqs二分 || 决策单调性】cf321E. Ciel and Gondolas

题目描述

题目大意

众所周知，贞鱼是一种高智商水生动物。不过他们到了陆地上智商会减半。
这不？他们遇到了大麻烦！
n只贞鱼到陆地上乘车，现在有k辆汽车可以租用。
由于贞鱼们并不能在陆地上自由行走，一辆车只能载一段连续的贞鱼。
贞鱼们互相有着深深的怨念，每一对贞鱼之间有怨气值。
第i只贞鱼与第j只贞鱼的怨气值记为Yij，且Yij=Yji，Yii=0。
每辆车载重不限，但是每一对在同辆车中的贞鱼都会产生怨气值。
当然,超级贞鱼zzp长者希望怨气值的总和最小。
不过他智商已经减半,想不出分配方案。
他现在找到了你,请你帮助他分配贞鱼们,并输出最小怨气值之和ans。
n<=4000，1 ≤ k ≤min(n , 800)

---

题目分析

做法一：wqs二分

这个题第一眼就像是wqs二分，并且答案函数的确是一个凸函数的形状。

于是首先是个wqs二分的模板题。

 #include<bits/stdc++.h>

 typedef long long ll;

 const int maxn = ;

 const int INF = 0x3f3f3f3f;

 int n,k,L,R;

 ll a[maxn][maxn],g[maxn][maxn],f[maxn],h[maxn],ans;

 char tc(){static char tr[],*A=tr,*B=tr;return A==B&&(B=(A=tr)+fread(tr,,,stdin),A==B)?EOF:*A++;}

 #define getchar tc

 int read()

 {

     char ch = getchar();

     int num = , fl = ;

     for (; !isdigit(ch); ch=getchar())

         if (ch=='-') fl = -;

     for (; isdigit(ch); ch=getchar())

         num = (num<<)+(num<<)+ch-;

     return num*fl;

 }

 ll check(int w)

 {

     memset(f, 0x3f3f3f3f, sizeof f);

     memset(h, 0x3f3f3f3f, sizeof h);

     f[] = h[] = ;

     for (int i=; i<=n; i++)

         for (int j=; j<i; j++)

             if (f[i] > f[j]+g[j+][i]+w||(f[i]==f[j]+g[j+][i]+w&&h[j]+ < h[i])){

                 f[i] = f[j]+g[j+][i]+w, h[i] = h[j]+;

             }

     if (h[n] <= k) ans = f[n]-k*w;

     return h[n];

 }

 int main()

 {

     n = read(), k = read();

     for (int i=; i<=n; i++)

         for (int j=; j<=n; j++) a[i][j] = read();

     for (int i=n; i>=; i--)

         for (int j=i; j<=n; j++)

             g[i][j] = g[i+][j]+g[i][j-]-g[i+][j-]+a[i][j];

     ans = INF, L = , R = g[][n];

     for (int mid=(L+R)>>; L<=R; mid=(L+R)>>)

         if (check(mid) <= k) R = mid-;

         else L = mid+;

     printf("%lld\n",ans);

     return ;

 }

做法二：决策单调性

$n^2$dp是$f[j][i]$表示前$i$个鱼分为$j$组的最小代价。对于每一个同样的$j$，其转移是具有单调性的。那就是说把$i$视作层，剩下的就是层之间的转移。

暂时还没写。

END