[LOJ#6044]. 「雅礼集训 2017 Day8」共[二分图、prufer序列]

题意

题目链接

分析

  • 钦定 \(k\) 个点作为深度为奇数的点,有 \(\binom{n-1}{k-1}\) 种方案。
  • 将树黑白染色,这张完全二分图的生成树的个数就是我们钦定 \(k\) 个点之后合法的方案数。
  • 然后就和 BZOJ4766文艺计算姬 一致了,假设两边点集大小分别为 \(n,m\) ,生成树个数就是 \(n^{m-1}m^{n-1}\)
  • 证明可以考虑 prufer 序列还原树时的操作,将所有点先放入 set 中,每次将没有出现在序列中的编号最小的点拿出来和 prufer 序列开头的点连边,并将这两个元素对应删除直到 set 的大小为2。对于选择的点集相同,出现顺序不同的两个方案,一定会保证每个集合的点所占据的位置是一个固定的集合,证明如下:

假设我们得到了两个点集相同的 prufer 序列:

\(S_1\ S_2\ T_1\ T_2\ S_3\)
\(S_1\ S_2\ S_3\ T_2\ T_1\)

上述例子中的第三个位置,我们的 set 在前 3 个位置取出的点时相同的,\(T_1,S_3\) 不属于同一个点集,不可能都可以和 set 取出的第三个元素连边。

  • 所以答案就是 \(k^{n-k-1}(n-k)^{k-1}\binom{n-1}{k-1}\)

代码

代码链接

转载于:https://www.cnblogs.com/yqgAKIOI/p/10282111.html

你可能感兴趣的:([LOJ#6044]. 「雅礼集训 2017 Day8」共[二分图、prufer序列])