摘要：传送门 思路 肯定会想要 DP 算这个东西，但 $S_1 \neq S_2$ 实在是一个很烦的限制，这导致 DP 的时候必须记录上一次选择的点集。考虑把这个限制容斥掉，具体来说，令 $G_i$ 表示答案，$F_i$ 表示使用 $i$ 次操作使得 $U = {1}$，但不要求 $S_1 \neq S_ 阅读全文