部落划分

对于这种“要求划分出指定的连通块个数满足题目条件”的题目，我们可以往最小生成树上面想，另一道类似的：北极网络

这里的证明与北极网络是类似的

显然我们可以在Kruscal的过程中构造出的方案是合法的，假设循环到第\(i\)条边的时候结束了，那么我们可以认为前面\(i-1\)条边都加入了图中，形成了\(s\)个连通块。注意每两对点之间都有边，一条边被加入图中当且仅当这条边的两个端点属于同一连通集

如果说答案更大，那么前\(i\)条边一定存在一条边没有被加入（否则的话，连通块个数只会小于\(s\)），那么这条没被加入的边显然就是题目要求计算的值，显然也小于等于第\(i\)条边的权值