专栏文章

AT_fps_24_v 12 方向

AT_fps_24_v题解参与者 2已保存评论 2

文章操作

快速查看文章及其快照的属性,并进行相关操作。

当前评论
2 条
当前快照
1 份
快照标识符
@min6h14k
此快照首次捕获于
2025/12/01 21:21
3 个月前
此快照最后确认于
2025/12/01 21:21
3 个月前
查看原文
感觉官方题解写得很清晰啊,抄一下
显然坐标不能只用整数表示,需要扩域到 32\frac{\sqrt3}2 上,于是不妨设当前坐标为 (a+3b2,c+3d2)(\frac{a+\sqrt3b}2,\frac{c+\sqrt3d}2),用 xaybzcsdx^ay^bz^cs^d 表示。那么所求可以写成:
[x2Hy0z2Ws0](x2+x2+z2+z2+(x+x1)(s+s1)+(y+y1)(z+z1))n[x^{2H}y^0z^{2W}s^0]\left(x^2+x^{-2}+z^2+z^{-2}+(x+x^{-1})(s+s^{-1})+(y+y^{-1})(z+z^{-1})\right)^n
这东西同时出现了二次项和一次项,考虑用我们小学一年级就学过的方法全部转化为一次。设 X=x+x1X=x+x^{-1},其余各项同理:
(X22+Z22+XS+YZ)n=(X(X+S)+Z(Z+Y)4)n(X^2-2+Z^2-2+XS+YZ)^n=(X(X+S)+Z(Z+Y)-4)^n
这两部分独立,只需解决 [x2Hs0](X(X+S))k[x^{2H}s^0](X(X+S))^k,即可轻松解决原问题。
x=pq,s=pqx=pq,s=\frac pq,简单推下式子:
[x2Hs0]((x+x1)(x+x1+s+s1))k=[p2Hq2H]((pq+(pq)1)(pq+(pq)1+pq1+p1q))k=[p2Hq2H](pq+(pq)1)k(p+p1)k(q+q1)k=i=0k(ki)(kHi+k)2\begin{aligned} &[x^{2H}s^0]((x+x^{-1})(x+x^{-1}+s+s^{-1}))^k\\ =&[p^{2H}q^{2H}]((pq+(pq)^{-1})(pq+(pq)^{-1}+pq^{-1}+p^{-1}q))^k\\ =&[p^{2H}q^{2H}](pq+(pq)^{-1})^k(p+p^{-1})^k(q+q^{-1})^k\\ =&\sum_{i=0}^k\binom ki\binom k{H-i+k}^2 \end{aligned}
于是可以通过一次卷积求出 k=0nk=0\sim n 上述问题的答案。

评论

2 条评论,欢迎与作者交流。

正在加载评论...