考虑处理字典序的一类经典操作：
按位枚举。

我们思考一些性质：

一个点的权值出去则不会再回来。
一条边不会使用两次。

那么我们从小到大来操作。

那么存在矛盾当且仅当：

起点在之前非开始边被操作过
中间经过之前走过的边，且作用与本次不等效。
终点被占据。

\(O(n^2)\)

[CSP-S2019] 树上的数