码迷,mamicode.com
首页 > 其他好文 > 详细

JZOJ5988 珂学计树题

时间:2020-02-06 01:05:08      阅读:62      评论:0      收藏:0      [点我收藏+]

标签:zoj   循环   相同   catalan   节点   limits   方案   sum   置换   

题意

liu_runda曾经是个喜欢切数数题的OIer,往往看到数数题他就开始刚数数题.于是liu_runda出了一个数树题.听说OI圈子珂学盛行,他就在题目名字里加了珂学二字.一开始liu_runda想让选手数n个节点的不同构的二叉树的数目.
但是liu_runda虽然退役已久,也知道答案就是Catalan(n),这太裸了,出出来一定会被挂起来裱.因此他把题目加强.我们从二叉树的根节点出发一直向右儿子走到不能再走为止,可以找到最右下方的节点v,这个节点是没有右儿子的.
如果根节点和v不相同,我们就把根节点和根节点的右儿子断开,让根节点的右儿子成为新的根节点,同时把根节点接在v的右儿子位置.根节点的左儿子此时仍然挂在根节点上.
这样的操作可以进行多次.如果两棵二叉树能通过若干次这样的操作变得同构,我们也认为它们是同构的.
问在这种新的定义下有多少n个节点的本质不同的二叉树.答案可能很大,所以只需要输出对998244353取模后的结果

做法

考虑把二叉树定义一种与括号序列一一映射的关系:"(左子树),右子树",\(n\)个点映射为\(2n\)长度的合法括号序列
这样按题意连接,相当于把前面第一个括号整个部分移动到序列的右边
将其本质不同一一映射为:\(01\)序列(\(n\)\(0\),\(n\)\(1\))循环移位本质不同

置换有\(2n\)个,枚举循环移位\(i\),将序列划分为\((2n,i)\)个等价类

  • 根据裴蜀定理,\(i\)为奇数时不合法
  • \(i\)为偶数时,方案数为\(\binom{(2n,i)}{(2n,i)/2}\)

则答案为\(\frac{1}{2n}\sum\limits_{i=0}^{2n-1} \binom{(2n,i)}{(2n,i)/2}\)

题外话

这题挺简单的,考虑清楚第一步就好了(这里纠结了很久)

JZOJ5988 珂学计树题

标签:zoj   循环   相同   catalan   节点   limits   方案   sum   置换   

原文地址:https://www.cnblogs.com/Grice/p/12267406.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!