Time Limit: 30 Sec Memory Limit: 512 MB

  

Description

  

  ​ 给你一个无向带权连通图,每条边是黑色或白色。让你求一棵最小权的恰好有need条白色边的生成树。

   

​   题目保证有解。

  

Input

  

  ​ 第一行V,E,need分别表示点数,边数和需要的白色边数。

  

  ​ 接下来E行,每行s,t,c,col表示这边的端点(点从0开始标号),边权,颜色(0白色1黑色)。

  

Output

  

​   一行表示所求生成树的边权和。

  

  ​ V<=50000,E<=100000,所有数据边权为[1,100]中的正整数。

  

Sample Input

  

​   2 2 1

​   0 1 1 1

​   0 1 2 0

  

Sample Output

  

​   2

  

  

      

  

  

Solution

  

​   乍一看无从下手。可是我完全没有想到那道强化版的题目

  

​   若直接求生成树,我们没办法保证白边的数量符合要求。

  

​   如何影响白边的选择?我们尝试对所有白边的权值加上一个偏移值\(d\)。令\(f(d)\)为偏移值为\(d\)被选择的白边数量,可以发现\(f(d)\)随着\(d\)的增长单调不增。这个函数可二分。

  

​   于是我们可以二分出当\(f(d)=need\)时\(d\)的值。最小生成树对边进行排序时,对于相同权值的边,我们优先选择白边。令\(g(d)\)为偏移值为\(d\)时最小生成树的权值,则\(ans=g(d)-d*use\),其中\(use\)是最小生成树中白边的数量。

  

​   可是\(f(d)\)有可能在\(need\)处不连续,我们会二分到形如\(f(d)>need\)且\(f(d+1)<need\)的情况,二分值夹着答案,怎么办?

  

​   注意到我们的对于边的排序方法是若权值相同,白边优先。上述情况可以仔细讨论一下:偏移值为\(d\)时,存在若干条权值相同的黑边和白边,我们优先选择了白边,因而导致\(f(d)>need\),当偏移值为\(d+1\)时,原来的这些黑边和白边被强行分开了,因为白边权值大了一些,排到了后面去,因此我们优先选完了前面的这些黑边,导致了\(f(d)<need\)。

  

​   (注意这里讨论的边不会涉及到其他权值的边,因为根据我们的排序,当偏移值+1时只会影响到这些边)

  

​   所以如今我们只能强行将偏移值为\(d\)时的一些白边用同权值的黑边来替代。

  

​   即\(ans=g(d)-d*f(d)+d*(f(d)-need)=g(d)-d*need\)。

  

​   所以二分得到\(d\)为\(f(d)>=need\)的最大值,按上述式子计算即可。

  

#include <cstdio>
#include <algorithm>
using namespace std;
const int N=50005,M=100005,INF=1000000000;
int n,m,need;
int bl[N];
struct Edge{int u,v,w,c;}e[M];
inline bool cmp(const Edge &a,const Edge &b){
if(a.w!=b.w)
return a.w<b.w;
return a.c<b.c;
}
inline int find(int x){return bl[x]==x?x:(bl[x]=find(bl[x]));}
int MST(int &res){
sort(e+1,e+1+m,cmp);
for(int i=1;i<=n;i++) bl[i]=i;
int sum=0,wsum=0;
res=0;
for(int i=1;i<=m&&sum<n-1;i++){
int u=find(e[i].u),v=find(e[i].v);
if(u==v) continue;
sum++;
wsum+=e[i].w;
bl[u]=v;
res+=e[i].c==0;
}
return wsum;
}
int calc(int delta,int &use){
int tot=0;
for(int i=1;i<=m;i++)
if(e[i].c==0) e[i].w+=delta,tot++;
int res=MST(use);
for(int i=1;i<=m;i++)
if(e[i].c==0) e[i].w-=delta;
return res;
}
int main(){
scanf("%d%d%d",&n,&m,&need);
n++;
for(int i=1;i<=m;i++){
int u,v,w,c;
scanf("%d%d%d%d",&u,&v,&w,&c);
u++; v++;
e[i]=(Edge){u,v,w,c};
}
int l=-110,r=110,mid,use;
while(l<=r){
mid=(l+r)>>1;
calc(mid,use);
if(use>=need) l=mid+1;
else r=mid-1;
}
int ans=calc(r,use);
printf("%d\n",ans-r*need);
return 0;
}

【BZOJ2654】tree的更多相关文章

  1. 【BZOJ2654】Tree(凸优化,最小生成树)

    [BZOJ2654]Tree(凸优化,最小生成树) 题面 BZOJ 洛谷 题解 这道题目是之前\(Apio\)的时候写的,忽然发现自己忘记发博客了... 这个万一就是一个凸优化, 给所有白边二分一个额 ...

  2. 【BZOJ2654】tree 二分+最小生成树

    [BZOJ2654]tree Description 给你一个无向带权连通图,每条边是黑色或白色.让你求一棵最小权的恰好有need条白色边的生成树. 题目保证有解. Input 第一行V,E,need ...

  3. 【bzoj2654】 tree

    http://www.lydsy.com/JudgeOnline/problem.php?id=2654 (题目链接) 题意 给你一个无向带权连通图,每条边是黑色或白色.让你求一棵最小权的恰好有nee ...

  4. 二分+最小生成树【bzoj2654】: tree

    2654: tree 给你一个无向带权连通图,每条边是黑色或白色.让你求一棵最小权的恰好有need条白色边的生成树. 题目保证有解. 二分答案,然后跑最小生成树判断. 注意优先跑白色边. code: ...

  5. 【bzoj2654】tree 二分+Kruscal

    题目描述 给你一个无向带权连通图,每条边是黑色或白色.让你求一棵最小权的恰好有need条白色边的生成树.题目保证有解. 输入 第一行V,E,need分别表示点数,边数和需要的白色边数. 接下来E行,每 ...

  6. 【bzoj2654]】tree

    给白色边都加上一个值,二分这个值,使得选取的白边数量减少 #include<algorithm> #include<iostream> #include<cstdlib& ...

  7. 【BZOJ2654】tree(生成树 二分)

    题目链接 大意 给你一个无向带权连通图,每条边是黑色或白色,求一棵最小权的恰好有\(Need\)条白色边的生成树. 题目保证有解,输出最小权值. 其中每条边权在\([1,100]\)范围内. 思路 首 ...

  8. 【POJ3237】Tree 树链剖分+线段树

    [POJ3237]Tree Description You are given a tree with N nodes. The tree's nodes are numbered 1 through ...

  9. 【BZOJ】【2631】Tree

    LCT 又一道名字叫做Tree的题目…… 看到删边加边什么的……又是动态树问题……果断再次搬出LCT. 这题比起上道[3282]tree的难点在于需要像线段树维护区间那样,进行树上路径的权值修改&am ...

随机推荐

  1. C/C++作用域运算符::

    ::是运算符中等级最高的,它分为三种:全局作用域符,类作用域符,命名空间作用域符 全局作用 全局作用域符号:当全局变量在局部函数中与其中某个变量重名,那么就可以用::来区分如:  char ch; / ...

  2. 启动Nodejs服务

    vs code 中间创建 1.  settings.json { , { , { 'Content-Type': 'text/plain;charset=utf-8' })

  3. Linux虚拟机安装教程

    必备组件: vmware(程序主题) 链接:https://pan.baidu.com/s/14OplOGOQTVAnf0iDqgDhDQ 提取码:jape centos(Linux系统) 链接:ht ...

  4. js传输txt文档内容

    要求:实现修改text文档内容,即可将text修改内容传到页面显示: HTML: <!doctype html> <html lang="en"> < ...

  5. 深入 JSX

    从本质上讲,JSX 只是为 React.createElement(component, props, ...children) 函数提供的语法糖.JSX代码: 1 2 3 <MyButton ...

  6. 转载---LIBRARY_PATH和LD_LIBRARY_PATH环境变量的区别

    总是分不太清楚LIBRARY_PATH和LD_LIBRARY_PATH环境变量的区别,每次都是现查一下,转载到这里,备忘... 转载自:https://www.cnblogs.com/panfeng4 ...

  7. delphi 图像处理 图像放大缩小

    procedure TDR_QM_ZP_Form.btn_FDClick(Sender: TObject); //图像放大 begin my_int1 := Trunc( my_int1 * 1.1) ...

  8. NABCD模型分析

    1.N——need需求 目前,学习英语是所有学生会面临的问题.提高词汇量对学习英语是十分必要的,尤其是对大学生来说对手机的使用特别频繁,我们提高英语词汇量也应该把手机更好的利用起来,利用自己对手机的使 ...

  9. BETA随笔6/7

    前言 我们居然又冲刺了·六 团队代码管理github 站立会议 队名:PMS 530雨勤(组长) 过去两天完成了哪些任务 新方案代码比之前的更简单,但是对场景的要求相应变高了,已经实现,误差感人 代码 ...

  10. 关于char存储值表示

    char里面-128的二进制表示为1000 0000,0的二进制表示为0000 0000 -127的二进制表示为1000 0001, 127的二进制表示为0111 1111. 从-127到-1和1到1 ...