UOJ Logo wangrx的博客

博客

#816 明明是 GF 题!

2021-10-09 06:06:21 By wangrx

我们可以无脑得到答案就是

$$\sum_{2a+2b+c+d=n}\dbinom{n}{2a,2b,c,d}$$

直接 EGF 套上去

$$n![x^n]{\left(\sum_{k}\dfrac{x^k}{k!}[2|k]\right)}^2{\left(\sum_k\dfrac{x^k}{k!}\right)}^2$$

右边显然是 $e^{2x}$。

左边 $[2|k]$ 直接单位根反演:$[2|k]=\dfrac{(-1)^k+1}{2}$

因此左边就是 $(\dfrac{1}{2}(e^x+e^{-x}))^2$,随便算一下,答案就是

$$n![x^n]\dfrac{1}{4}(e^{4x}+2e^{2x}+1)$$

$$=4^{n-1}+2^{n-1}+\dfrac{1}{4}[n=0]$$

右边 $\dfrac{1}{4}[n=0]$ 不要,左边高精度快速幂即可。

复杂度 $\Theta(n^2\log n)$,若使用 FFT 的话复杂度 $\Theta(n\log^2 n)$

zjy 总是说“dp 意义下山没有区别”啥的,重申一下,他说的是:

$$f(S)=f_{|S|}$$

意思是答案只和集合的大小有关。

而一般说的“有区别”,是等价类意义下的。

对于两座山 1 和 2,1 夏 2 冬 和 1 冬 2 夏 是两种不同的方案。

如果我们认为它们是相同的,那么我们要计算的是:

$$\sum_{2a+2b+c+d=n}1=[x^n]\dfrac{1}{(1-x^2)^2}\dfrac{1}{(1-x)^2}$$

这玩意我们可以有限微积分做,推柿子极其痛苦,答案是

$$\dfrac{1}{48}(2(n+4)^{\underline{3}}+3(n+3)((-1)^{n}-1))$$

评论

AKAutomaton
哈哈
pidan
蛤蛤
WernerYin
@yinjinrun 大号,你快来看看
AKAutomaton
@yzhx 大号,你快来看看
lowger
@qwq123 大号,你快来看看
lixinze
@Tony102 大号,你快来看看
wuliyuan
@wly 大号,你快来看看
Yinner_Wer
@WernerYin 大号,你快来看看
CJ_wuliyuan
@zero @magua @Father @Ancestor 大号,你快来看看
wuliyuan
@CJ_xsl 小号,过来康康
lowger
sb
AKAutomaton
@fffighting 大号,你快来看看
Baylor5307
@S00021 大号,你快来看看
Baylor5307
@zero @magua @Father @Ancestor

发表评论

可以用@mike来提到mike这个用户,mike会被高亮显示。如果你真的想打“@”这个字符,请用“@@”。