Bzoj 3624: [Apio2008]免费道路 （贪心+生成树）

Sample Input

5 7 2
1 3 0
4 5 1
3 2 0
5 3 1
4 3 0
1 2 1
4 2 1

Sample Output

3 2 0
4 3 0
5 3 1
1 2 1

　　这道题当时光读题就读半天，现在大概翻译一下：

　　　　我们需要对于该图建一棵生成树使所有点连通，并且这棵树里有且只有K条白边。

　　　读明白后就想到了[国家集训队2012]tree(陈立杰)，那道题也是类似，要求白边数量恰好为need，但是那道题要求是最小生成树，而这道题只要是生成树就好了。而且还得判断和不合法。然后就开始想，假设我们先扣掉所有白边，那么剩下的就是由黑边组成的一个个联通块了。然后呢？就不知道了，一开始想去用并查集搞，但是没搞出什么名堂，也就放弃了。

　　正解的确还是最小生成树，额，或许不应该说是最小生成树，但是的确要用克鲁斯卡尔，我们先把黑边优先，这样，我们就可以先找出造出一个生成树的下限，如果k比他还小那么显然不行。同理，我们再白边优先，找出生成树的上限，如果k比他大那么仍然不行。

　　合法性我们解决完了，答案怎么出来呢？

　　让我们先回顾树的一个性质：当我们在一棵树上，从一个点向另一个点连边时树就会被破坏，但是，当我们拆开由这两个边组成的环上的任意一点时，树又变得合法。

　　首先，对于我们找出白边下限时找出的白边我们都是无法找出黑边将他们替换的，说白了，我们必须选上他们。

　　其次，对于剩下的白边，我们可以意识到，我们之所以没有把它们在找下限时把它找到是因为它可以被一个黑边或者白边代替，如果它被白边代替，那么我们仍然不必选他，因为那条白边是一定要选的，当然，我们可以把它和那条白边替换，但既然是spj，这有什么意义呢？

　　　如果他是被黑边替换，那么我们如果先选他也就不必再去选那条黑边，因此，我们先把必须选白边选上，再贪心去找那些被黑边替换的白边，找够了就只去找黑边，最终输出答案就好了。

 #include <iostream>
 #include <cstdlib>
 #include <cstdio>
 #include <cstring>
 #include <queue>
 #include <algorithm>
 #include <cmath>
 #include <map>
 #define N 20005
 #define M 100005
 using namespace std;
 int n,m,t,fa[N];
 struct ro
 {
     int to,from,l;
     bool bj;
 }road[M];
 bool px1(ro a,ro b)
 {
     return a.l>b.l;
 }
 bool px2(ro a,ro b)
 {
     return a.l<b.l;
 }
 int find(int x)
 {
     if(fa[x]==x)return x;
     return fa[x]=find(fa[x]);
 }
 void hb(int x,int y)
 {
     int a=find(x),b=find(y);
     fa[a]=b;
 }
 int ans[N];
 int main()
 {
     scanf("%d%d%d",&n,&m,&t);
     int sum=;
     for(int i=;i<=n;i++)fa[i]=i;
     for(int i=;i<=m;i++)
     {
         scanf("%d%d%d",&road[i].from,&road[i].to,&road[i].l);
         if(!road[i].l)sum++;
     }
     sort(road+,road++m,px1);
     int js1=,js2=;
     for(int i=;i<=m;i++)
     {
         int x=road[i].from,y=road[i].to;
         if(find(x)!=find(y))
         {
             js1++;
             if(!road[i].l)
             {
                 road[i].bj=;
                 js2++;
             }
             hb(x,y);
         }
         if(js1==n-)break;
     }
     if(js1!=n-||js2>t)
     {
         printf("no solution\n");
         exit();
     }
     sort(road+,road++m,px2);
     js1=,js2=;
     for(int i=;i<=n;i++)fa[i]=i;
     for(int i=;i<=sum;i++)
     {
         if(road[i].bj)
         {
             int x=road[i].from,y=road[i].to;
             hb(x,y);
             js2++;
             js1++;
             ans[js1]=i;
         }
     }
     for(int i=;i<=m;i++)
     {
         int x=road[i].from,y=road[i].to;
         if(find(x)!=find(y))
         {
             if(!road[i].l)
             {
                 js2++;
             }
             js1++;
             ans[js1]=i;
             hb(x,y);
         }
         if(js2==t)i=sum,js2=-;
     }
     if(js2!=-)
     {
         printf("no solution\n");
         exit();
     }
     for(int i=;i<=n-;i++)
     {
         printf("%d %d %d\n",road[ans[i]].from,road[ans[i]].to,road[ans[i]].l);
     }
     return ;
 }