自己做的\^w^/。对于\(m\)个限制，我们得到了一个图，若不是二分图则无解，否则对于每个连通块有\([l_1,r_1],[l_2,r_2]\)的限制，表示对于两组的人数限制（注意此处\(1,2\)并不代表组\(1\)，\(2\)）。不妨令\(n_1\gen_2,(r_1>r_2\operatorname{or}r_1==r_2\operato