满足 mmm 条形如“恰好包含 bib_ibi 个有 aia_iai 个子树的节点”的限制的无标号有子树顺序的树的数量为:
((∑i=1mbi)−1)!∏i=1mbi!\dfrac{((\sum^{m}_{i=1} b_i)-1)!}{\prod^{m}_{i=1}b_i!}∏i=1mbi!((∑i=1mbi)−1)!
其中 aia_iai 互不相同、ai≠1a_i \ne 1ai=1 且存在一个 aia_iai 是 000,同时 (∑i=1maibi)+1=∑i=1mbi(\sum^{m}_{i=1} a_ib_i)+1=\sum^{m}_{i=1} b_i(∑i=1maibi)+1=∑i=1mbi。(不然树就不存在了)
我刚利用类似卡特兰数的推法得到了这个结论,并且利用 m=3m=3m=3 的特殊情况通过了本题,但我对我的推导并没有什么信心……
有了这个结论之后这题就可以放到一场洛谷比赛的任意位置了