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. 使用Amplify Shader Editor优化特效Shader

    ASE相对于Shader Forge生成的代码更加干净, 用于制作特效的再合适不过,以下是使用ASE优化一个SF制作特效的经过: ## 分析美术用SF制作的Shader 懒得装SF, 直接分析代码可知 ...

  2. 《杜增强讲Unity之Tanks坦克大战》8-子弹碰撞处理

    8 子弹碰撞处理 为了处理子弹打到坦克的伤害我们在这里新建一个Shell.cs 子弹有两种情况,碰到坦克炸开,没有碰到坦克则过2s子弹销毁. void Start () { Destroy (game ...

  3. springboot+elasticsearch实现全局检索

    ElasticSearch是一个基于Lucene的搜索服务器.它提供了一个分布式多用户能力的全文搜索引擎,基于RESTful web接口.Elasticsearch是用Java开发的,并作为Apach ...

  4. 路由器终端常用linux命令汇总(持续更新)

    ls:显示文件名与相关属性 ls -al;ls -l;ls -a 第一列: d:表示目录,dir. -:表示文件. l:表示链接文件,linkfile. 接下来的字符三个为一组,且均为rwx这3个字母 ...

  5. easyui的tab标签链接aspx页面引发全局刷新的问题解决方案

    通过tree组件和tabs组件结合加载子页面窗体aspx,点击按钮页面全部重新加载,或整个跳到子窗体页面,解决方案:换一种结合iframe的方式做系统界面:在tree组件出替换掉设置href属性处为下 ...

  6. XAMPP安装PHP_GMP

    CentOS 6.4 Xampp 7.1.12 下载PHP7.1.12的源码包 yum install gmp-devel yum install m4 .tar.xz cd /root/php-/e ...

  7. Less 的用法

    1. node.js node.js是一个前端的框架 自带一个包管理工具npm node.js 的安装 官网:http://nodejs.cn/ 在命令行检验是否安装成功 切换到项目目录,初始化了一个 ...

  8. html , body , margin , overflow 之大乱战

    <!DOCTYPE html> <html> <head> <style> html,body{ margin:0 ;padding:0 } div{m ...

  9. dobule运算

    DecimalFormat df = new DecimalFormat("0.00"); double rate = (warnMonNum/totalCustCount)*10 ...

  10. Daily Scrum8 11.12

    昨天的任务已完成. 今日任务: 徐钧鸿:个人作业 张艺:构建带有用户管理的框架,并将后端移植好的代码连结. 黄可嵩:完成搜索移植 徐方宇:研究httpclient如何运作,如何利用它实现服务器和客户端 ...