-
神仙数数题,抄的 xyx
-
结论:钦定 K K K 的点,如果不带标号,那么可以覆盖全树,现在带标号,只需要考虑标号间置换的同构
那么最后的答案可以表示成 n ! ∏ S i ! \frac{n!}{\prod S_i!} ∏Si!n!, S i S_i Si 为极大等价类(考虑两个点能不能换,这个具有传递性) -
那么考虑将度数不为 2 的点作为关键点,一棵树将被划分成若干条关键点组成的路径 ( a , b ) (a,b) (a,b)
a , b a,b a,b 侧的子树大小为 A , B A,B A,B,链长为 C C C,那么有 ( A − 1 ) + ( B − 1 ) + C = n (A-1)+(B-1)+C=n (A−1)+(B−1)+C=n,并且如果有 ( A − 1 ) + ( B − 1 ) > K (A-1)+(B-1)>K (A−1)+(B−1)>K,那么 K K K 个点可以任意置换 -
按 K K K 从大到小加入,并查集维护集合,每次询问考虑枚举两个没有合并的集合,将尽量多的点压到当前集合的及其子树中,考虑求剩下的点的个数,容斥一下发现是
∑ B + C − 1 + K − N \sum B+C-1+K-N ∑B+C−1+K−N
那么当前联通块的贡献就是(令 x x x 为联通块内的边数, y y y 为没有联通的个数)
K − ∑ B + C − 1 + K − N = K − ( N − x − 1 ) − y ( N − K + 1 ) K-\sum B+C-1+K-N=K-(N-x-1)-y(N-K+1) K−∑B+C−1+K−N=K−(N−x−1)−y(N−K+1)
发现我们暴力枚举连通块复杂度是对的,因为联通块个数为当前链个数 + 1,一条链的存在时间为它的长度,所以是 O ( n ) O(n) O(n) 的, C o d e Code Code
「USACO 2020 US Open Platinum」Circus (数数)(并查集)
最新推荐文章于 2024-06-20 21:31:19 发布