[国家集训队2012]tree(陈立杰) 题解（二分+最小生成树）

tree

时间限制: 3 Sec  内存限制: 512 MB

题目描述

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

题目保证有解。

输入

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

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

输出

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

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

样例输入

2 2 1
0 1 1 1
0 1 2 0

样例输出

2
　　这道题正解是二分+最小生成树。本题最烦人的就是限制白边的数量因此我们需要一个东西使白边被优先或滞后考虑。由于克鲁斯卡尔是按照边权排序，我们可以给白边附上一个假边权，这样就可以使白边被优先或滞后考虑了。
　　由于我们还需要保证改变后所有白边的相对大小不变，因此我们不能直接对白边附上某个值而是统一加上或减去某一个值，这样就可以保证相对大小不变了。至于这个值到底应当是多少，我们完全可以二分去查找，毕竟它是满足单调的。
　　这时一种比较坑爹的情况就会出现了，如果这个图当所有白边边权加x后在最小生成树中的数目比need大，加x+1后数量又比need小，我们该如何处理呢？我们可以想一下，是什么样的黑边被替换了呢？就是白边新增的边的边权-附加的权值，因此如果现在算进最小生成树中的白边数大于need，其实它也是可以被算进结果的。
　　

 #include<iostream>
 #include<cstdlib>
 #include<cstdio>
 #include<cstring>
 #include<algorithm>
 #include<map>
 #include<queue>
 #include<string>
 #include<cmath>
 using namespace std;
 int n,m,ne;
 struct ro{
     int from,to;
     int l,col,rl;
 }road[];
 void build(int x,int y,int bh,int z,int zx){
     road[bh].from=x;
     road[bh].to=y;
     road[bh].rl=road[bh].l=z;
     road[bh].col=zx;
 }
 bool pd=;
 int px(ro a,ro b){
     if(a.l==b.l)
         return a.col<b.col;
     return a.l<b.l;
 }
 int fa[];
 map<int,bool> fw2[][];
 map<int,int> fw[][];
 void init(int x){
     for(int i=;i<=n;i++)
         fa[i]=i;
     for(int i=;i<=m;i++)
     {
         if(!road[i].col)
         {
             road[i].l=road[i].rl+x;
         }
     }
     sort(road+,road+m+,px);
 }
 int find(int x){
     if(fa[x]==x)
         return x;
     else
         return fa[x]=find(fa[x]);
 }
 void hb(int x,int y){
     int a=find(x);
     int b=find(y);
     if(a>b) fa[a]=b;
     else fa[b]=a;
 }
 int sum=0x7fffffff;
 bool check(int x){
     int js=,ans=,js2=,js3=;

     for(int i=;i<=m;i++)
     {
         if(js==n-)break;
         if(find(road[i].from)!=find(road[i].to))
         {
             js++;
             if(road[i].col==)
             {
                 js2++;
             }
             ans+=road[i].l;
             hb(road[i].from,road[i].to);
         }
     }
     if(js2>=ne)
     {
         sum=ans-ne*x;
         return ;
     }
     pd=;
     return ;
 }
 int main(){
     scanf("%d%d%d",&n,&m,&ne);
     for(int i=;i<=m;i++)
     {
         int x,y,z,zx;
         scanf("%d%d%d%d",&x,&y,&z,&zx);
         build(x,y,i,z,zx);
     }
     int li=-,ri=;
     while(li<=ri)
     {
         int mid=(li+ri)/;
         init(mid);
         if(check(mid))
         {
             li=mid+;
         }
         else
             ri=mid-;
     }
     printf("%d\n",sum);
     //while(1);
     return ;
 }