【湖南集训3.30】sanrd

题目描述

给出一个$n$个点$m$条边的无向图$H$。

定义图$A$和$B$的乘积$A\times B$是一个无向图$G$，其点集$V=\{ (x, y)|x\in A, y\in B\}$，边集$E=\{ ( (u, v), (u', v'))|u=u'且v\oplus v'=2^k 或 v=v'且u\oplus u'=2^k(k\geq 0)\}$

要求你把$H$分解为$C\times D$，其中$D$的点数为$2^p$（从$0$开始编号），$D$中两个点间有连边，当且仅当两个点的标号的异或值是$2$的幂。

$n, m\leq 10^5$

---

分析

实际上这个题把题面要求的东西读懂了，就很好做。

其实$D=(0-1)^k$，也就是只有$0,1$两个点时得到的图的若干次幂。
考虑乘上一个$(0-1)$代表了什么，实际上代表把原图复制一份，对应点之间连边。
那么对应的，我们每次尝试把图$H$分解成两个完全相同的图，而且两个图存在的连边只能是一一对应的点。
我们假如枚举了一条层间边，其他的层间边也可以被马上确定。
那么应该要枚举哪条层间边呢？考虑枚举度数最小的点，它的度数不会超过$\sqrt{n}$，因此，每次选取度数最小的点进行枚举，$O(n)$判断可行性，找到某种可行方案时向下递归就好了。

考虑时间复杂度，$T_n=2T_{\frac{n}{2}}+n\sqrt{n}$
于是总的时间复杂度是$O(n\sqrt{n}log n)$