Rt 我想的是3-4直接统计所有 U 的个数

5-6 对每条边记录时间，对每个点的赋值记录时间，然后先对每个 U 的点扩展，之后看没有赋值到的比较时间看能不能推掉那些 U 点。

7-8 建图跑2-SAT 如果当前连通块不合法就把当前连通块的size加上（去掉 $>n$ 的点），然后如果一个连通快不合法，那么连向这个连通块的边全都不合法。

但是我赛时调了几乎3h 现在爆0 求思路假没假。