qwq自闭的一个题

我来修锅辣！！！！！！

这篇题解！可以\(hack\)全网大部分的做法！！！

首先，我们可以把原图中的边，分成两类，一类是与\(1\)相连，另一类是不与\(1\)相连。

原题就转化成选择\(k\)条关键边的\(MST\)

那么我们可以按照tree I 那个题的思路来考虑这个题。

由于是\(MST\)，所以函数满足下凸，那么对于这种恰好选\(k\)个的问题，我们可以直接凸优化。

\(erf\)一个值，然后把所有与1相连的边都加上这个值。

对于相等权值的来说，我们优先把不与1相连的边排在前面。

那么这种情况我们二分出来的那个\(mid\)
满足两个条件
1.满足下界，也就是说，能选到<=k条边的最大的\(mid\)
2.在这种情况下，\(mst\)上面的与1相连的边，是“必须出现在MST”上的边。

那么我们考虑该怎么统计方案。

首先，对于那些一定要出现在\(MST\)上的关键边，我们先把他们加入\(ans\)（只加入与1相连的边），然后对于剩下的边，把与1相连的边加上\(mid\)后，进行\(MST\)，如果已经选够了\(k\)条边，那么对于剩下的关键边就直接跳过。

这样做正确的原因是，我们首先把必须要出现暗在\(MST\)上的边加入了\(ans\)，然后对于剩下的边，只会分成两种，可能在MST上，或者是不可能在MST上，那剩下的部分直接用贪心的思路来做\(MST\)就是没错的。

而网上大多数题解是错的，qwq
所以这个问题困扰了我很久

#include<bits/stdc++.h>
#define pb push_back
#define mk make_pair
#define ll long long
#define int long long
using namespace std;inline int read()
{int x=0,f=1;char ch=getchar();while (!isdigit(ch)){if (ch=='-') f=-1;ch=getchar();}while (isdigit(ch)){x=(x<<1)+(x<<3)+ch-'0';ch=getchar();}return x*f;
}
const int maxn = 3e5+1e2;
struct Edge{int u,v;ll w;int tag,num;
};
Edge e[maxn];
int fa[maxn];
int n,m,k;
int val;
int find(int x)
{if (fa[x]!=x) fa[x]=find(fa[x]);return fa[x];
}bool cmp(Edge a,Edge b)
{if(a.w==b.w) return a.tag>b.tag;return a.w<b.w;
}bool cmp1(Edge a,Edge b)
{if (a.w==b.w) return a.tag<b.tag;return a.w<b.w;
}int solve()
{for (int i=1;i<=n;i++) fa[i]=i;sort(e+1,e+1+m,cmp1);int tot=0;for (int i=1;i<=m;i++){int f1 = find(e[i].u);int f2 = find(e[i].v);if (f1==f2) continue;fa[f1]=fa[f2];tot+=e[i].tag; }return tot;
}vector<int> v;int lyf[maxn*2];signed main()
{n=read(),m=read(),k=read();ll l = -1e10,r=1e10;int ymh=0;for (int i=1;i<=m;i++){e[i].u=read(),e[i].v=read(),e[i].w=read(),e[i].num=i;if (e[i].u==1 || e[i].v==1) e[i].tag=1;if (e[i].tag==1) ymh++;}ll ans=0;//cout<<ymh<<endl;while(r>=l){ll mid = (l+r)/2;for (int i=1;i<=m;i++) if(e[i].tag) e[i].w+=mid;int tmp = solve();//cerr<<"*"<<mid<<" "<<tmp<<endl;if (tmp<=k) r=mid-1,ans=mid;else l=mid+1;for (int i=1;i<=m;i++) if (e[i].tag) e[i].w-=mid;}//cerr<<ans<<endl;int ptx=0;for (int i=1;i<=m;i++) if (e[i].tag) e[i].w+=ans;for (int i=1;i<=n;i++) fa[i]=i;sort(e+1,e+1+m,cmp1);for (int i=1;i<=m;i++){int f1 = find(e[i].u);int f2 = find(e[i].v);if (f1==f2) continue;fa[f1]=fa[f2];if (e[i].tag==1) lyf[e[i].num]=1;}for (int i=1;i<=n;i++) fa[i]=i;for (int i=1;i<=m;i++){if (lyf[e[i].num]){int f1 = find(e[i].u);int f2 = find(e[i].v);if (f1==f2) continue;fa[f1]=fa[f2];ptx+=e[i].tag;v.pb(e[i].num);}}//cout<<ptx<<endl;if (ptx>k) {cout<<-1;return 0;}//for (int i=1;i<=n;i++) fa[i]=i;//cerr<<ptx<<endl;sort(e+1,e+1+m,cmp);for (int i=1;i<=m;i++){int f1 = find(e[i].u);int f2 = find(e[i].v);if (f1==f2) continue;if (ptx==k && e[i].tag==1) continue;fa[f1]=fa[f2];v.pb(e[i].num);if (e[i].tag==1) ptx++;}//cerr<<ptx<<endl;if(ptx!=k || v.size()!=n-1) {cout<<-1;return 0;}cout<<n-1<<endl;for (int i=0;i<v.size();i++) cout<<v[i]<<" ";return 0;
}
//final