本题题解区均没有对“多源 BFS 优化建图”的正确性做形式化证明（直接省略了 JOI 官方题解中提到的结论），这样建图跑出来的最小生成树和完全图的最小生成树完全一样的结论我感觉也不是很直接。所以写了一个包含形式化证明的题解，请求添加：

Link