AtCoder-ARC115_F Migration *
把问题转化成在某个限制 \(mid\) 下求初始局面和最终局面能到达的最小代价局面，如果相等则说明可达。
比较局面的方式是比较权值，如果相等按字典序比较。
对每个节点 \(u\) 求出权值比 \(u\) 小或权值与 \(u\) 相等且编号比 \(u\) 小的节点中，与 \(u\) 路径最大值最小的一个，每次就是贪心在这些棋子中选路径最大值与移动前权值差最小的移动，由于每个棋子都单调地向更小的节点移动，总移动次数 \(O(nk)\)。时间复杂度 \(O(nk\log k\log V)\)。
实际不用二分，同时移动局面 \(S\) 和 \(T\)，每次在二者中选差值最小的一个，并更新答案。
提交记录：Submission - AtCoder