另一种判无解的正确方法

wqs倍增（把二分改倍增），在check函数里面跑两遍kruskal，注意这两遍的边排序函数有差异。第一遍以s为端点的边尽量靠后，第二遍以s为端点的边尽量靠前，统计两个最小生成树以s为端点的边数可以得到合法边数区间为[l,r]。k<l说明边权增量不够大，正常倍增。l<=k<=r直接输出答案结束。倍增完了还没跑出答案直接无解。