wqs二分/带权二分

对于某类限制选$k$个的问题，如果$f(k)$是一个凸函数，可以二分切线的斜率，转换成无限制问题，然后根据选了几个调整斜率，使切点横坐标逼近$k$

有的时候$k$很小，wqs二分斜率反而会增大常数

P2619 [国家集训队] Tree I
CF125E MST Company
首先判定连通性和合法性，$check(minn)$
同一类最小生成树选几个特殊边的问题，打表或者感性理解是一个下凸的函数，直接套wqs二分，每次给特殊边附加权，然后重跑一次kruskal

CF739E Gosha is hunting
暴力dp很简单三维$f_{i,j,k}$，到第$i$个精灵，用了$j$个p球和$k$个u球的最大期望，每次四种决策，发现当$i，j$固定时，$f_{i,j,k}$中$k$这一维的函数是上凸函数。将$k$这一维用wqs二分优化掉，然后每次重新让$f_{i,j}$去dp

P4983 忘情
先化简式子，每一段的贡献是$1+sum$
暴力dp很简单$d{p}_{i,j}=max(d{p}_{i-1,k}+(1+su{m}_j-su{m}_k{)}^2)$，时间复杂度$O(m{n}^2)$，拆开发现可以斜率优化，$O(mn)$。
考虑$d{p}_{i,n}$，是一个上凸函数，所以直接套wqs二分，每次用斜率优化$O(n)$求出$d{p}_n$，最终时间复杂度$O(nlogk)$

P4767 [IOI2000] 邮局
很容易发现位置连续的一些村庄应该由一个邮局管控，那么问题转换为将$n$个村庄分为$m$个部分的最小距离和，然后对于一个部分，反证易得邮局应该放在中间的村庄。
暴力dp $f_{i,j}=f_{i-1,k}+w_{j+1,k}$
$w_{j+1,k}=(2mid-i-j)\ast a_{mid}+su{m}_i+su{m}_j-2\ast su{m}_{mid}-k$ 其中$(mid=i+j+1>>1)$ 发现这个$mid$很烦人，不然可以向上一题一样斜率优化直接优化到$O(nm)$
一：四边形不等式优化 见四边形不等式优化dp
二：发现$f_{i,n}$是一个下凸函数，wqs二分优化即可

P3620 [APIO/CTSC2007] 数据备份
CF958E2 Guard Duty (medium)
排序，贪心每段一定只有两个数，很容易想到dp
$f_{i,j}=max(f_{i,j-1},f_{i-1,j-2}+a_j-a_{j-1})$ 时间复杂度$O(kn)$
发现$f_{i,n}$是一个下凸函数，直接wqs二分优化即可

P4383 [八省联考 2018] 林克卡特树
如果只关注怎么断边，很不好切入变成树上问题。发现其实断$k$条边，再任意连边，会先形成$k+1$个连通块，然后连接他们的直径
$f_{u,i}$表示以$u$为根的连通块中，有$i$条链，经过$u$的最长链的最大值，发现不好转移，比如将儿子$v$合并时，如果儿子最长链是一个以$v$为中间节点的链，或者$u$的最长链是一个以$u$为中间节点的链。
所以增加一维表示当前最长链中，$u$的度数为多少

$f_{u,i,0/1/2}$，然后转移就很好写了，两种决策，合并到$u$中 $/$ 单独作为一个连通块

发现随着$f_i$是一个上凸函数，先增后减，所以wqs二分优化掉$i$这一维即可