似乎是经典题目，倍增 + 并查集维护“两个区间相等”的限制