3

OMCE002-Fを形式的冪級数で解く

809
1

OMCE002-F が形式的冪級数で解けそうだと思ったので自分の考察を書いてみます.
わるえふ さんに校閲や図の作成など協力していただきました!ありがとうございます!!


OMCE002-F

2 以上 17998 以下の整数 n に対し,0 以上 8999 以下の整数の組 (a1,a2,,an,b1,b2,,bn) であって a1+a2++an=9000,b1+b2++bn=8998,a10,an0,(ak,bk)(0,0)(k=1,2,,n) を満たすものすべてについての k=1n(2ak+4bkak)の総和を Sn とします.n=217998(1)nSnを求めてください.


解説

 まず約束事として,N=9000,M=8998 とします.x,y2 変数冪級数を用いて考えます.x の冪級数 g を以下のように定義します.
g=i=0Cixi(Cii)
このとき,
f=i=0j=0(2i+4ji)xiyj=114x11g4y
となります.


証明
(0,0) から出発し, y=x+k 上のある点 P(s,s+k) へとx,y いずれかの正方向に 1 進むことを繰り返して得られる経路について考える.
s=7,k=3の場合の例 s=7,k=3の場合の例
上の図のように経路を(一意に)分割すると,経路数 (2s+ks)は以下と等しくなる.

n1+n2++nk+1=sCn1Cn2Cnk(2nk+1nk+1)

したがって,
i=0(2i+ki)xi=(i=0Cixi)k(i=0(2ii)xi)
また,
i=0(2ii)xi=114x であるから,
i=0(2i+ki)xi=gk114x
となる. したがって,
f=i=0j=0(2i+4ji)xiyj=j=0g4jyj114x=114x11g4y


 Snfの積の係数となります.しかし制約がいくつかあるので気をつけます.
制約 ak0(k=1,n) については, f11y で, 制約 (ak,bk)(0,0)(k1,n) については f1 で対応します.
よって, Sn は,
(f11y)(f1)n2(f11y)
xNyM の係数となります. したがって, n=2(1)nSn
(f11y)2(1(f1)+(f1)2(f1)3+)=(f11y)211+(f1)=1f(f11y)2=f+1f1(1y)221y
xNyM の係数となる.
よって, gk114x=i=0(2i+ki)xi に気を付ければ以下のように計算できる.
[xNyM](f+1f1(1y)221y)=[xNyM]f+[xNyM]1f1(1y)2=[xNyM]114x11g4y+[xNyM]14x14x(1g4y)1(1y)2=[xN]g4M114x+[xN]14x14x(M+1g4M)=[xN]g4M114x+(M+1)[xN]114x4(M+1)[xN1]114xM[xN]g4114x+4M[xN1]g4114x=(2N+4MN)+(M+1)(2NN)4(M+1)(2(N1)N1)M(2N+4N)+4M(2(N1)+4N1)


投稿日:2024429
更新日:20241230
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

MARTH
MARTH
31
3977
OMC黄

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中