一个约束最多可能会带来 $2$ 个新的变量，所以并查集的 $fa$ 数组要开到 $2 \times 10^5$。