标签：二分 重学 wqs 白边 最小 生成 leq 爽文 now
引入：最小度限制生成树
将连接 \(s\) 的边称为 白边。我们人为地控制“最小”生成树的白边数量，那么其权值一定先减小后增大。其中顶点为真正最小生成树的白边数量。
发现其有凹凸性，于是考虑 wqs 二分，具体如何操作不再详细说明，最终复杂度是 \(O(n\log n+n\log W)\)。
除此之外，题目还让我们判断无解。怎么判断呢？我们都知道最后二分出来的点不一定就是 \(t\)，而是长这样（不用在意为什么它是凸的）：
所以我们找到这里的 \(l\) 和 \(r\)，看看是否有 \(l\leq t\leq r\) 就行啦。
接下来看下一道题：MST Company
它要求我们在上一道题的基础上输出方案。
“直接像上题一样解出答案，然后算一遍不就可以了吗？”
我该怎么保证一定有 \(t\) 条白边而不是 \(l\) 或者 \(r\) 条？
“......”
接下来介绍一种方法：
先贴着 下界（\(l\)）做一次，算出哪些白边是一定要的（必要白边）。然后贴着 上界（\(r\)）做一次，算出最多有多少条白边。
定义 \(f_i\) 为保证最小生成树的情况下，最多有多少条权值 \(>i\) 的白边能在生成树中。\(f_i\) 可以在贴上界的时候算出。
然后重新贴 下界（\(l\)）做一次，按边权从小到大加入。假设现在边权为 \(i\)，白边数量为 \(now\)，并且已经算了边权为 \(i\) 的必要白边。那么只要 \(now+f_i<t\)，我就加一条边权为 \(i\) 的非必要白边，知道无边可加或者 \(now+f_i=t\)。
容易知道，这样构造一定能构造出一种白边数量为 \(t\) 的最小生成树。
注意前面要像上道题一样判无解。
欢迎纠错与指正，但我并不保证我能完全理解以及回答你们的问题。
标签：二分,重学,wqs,白边,最小,生成,leq,爽文,now 来源： https://www.cnblogs.com/AFewSuns/p/wqs-solution.html
本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享； 2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关； 3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关； 4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除； 5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。