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

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

解説

　まず約束事として,$N=9000,M=8998$ とします.$x,y$ の $2$ 変数冪級数を用いて考えます.$x$ の冪級数 $g$ を以下のように定義します.
$$g=\sum_{i=0}^{\infty}C_ix^i\quad(C_iはi番目のカタラン数)$$
このとき,
$$f=\sum_{i=0}^{\infty}\sum_{j=0}^{\infty}\binom{2i+4j}{i} x^iy^j=\frac{1}{\sqrt{1-4x}}\frac{1}{1-g^4y}$$
となります.

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

$$\sum_{n_1+n_2+\dots+n_{k+1}=s}C_{n_1}C_{n_2}\cdots C_{n_k}\binom{2n_{k+1}}{n_{k+1}}$$

したがって,
$$\sum_{i=0}^{\infty}\binom{2i+k}{i}x^i=\Big(\sum_{i=0}^{\infty}C_ix^i\Big)^k\Big(\sum_{i=0}^{\infty}\binom{2i}{i}x^i\Big)$$
また,
$\sum_{i=0}^{\infty}\binom{2i}{i}x^i=\frac{1}{\sqrt{1-4x}}$ であるから,
$$\sum_{i=0}^{\infty}\binom{2i+k}{i}x^i=g^k\frac{1}{\sqrt{1-4x}}$$
となる. したがって,
$$ \begin{aligned} f&=\sum_{i=0}^{\infty}\sum_{j=0}^{\infty}\binom{2i+4j}{i} x^iy^j\\\\ &=\sum_{j=0}^{\infty}g^{4j}y^j\frac{1}{\sqrt{1-4x}}\\\\ &=\frac{1}{\sqrt{1-4x}}\frac{1}{1-g^4y}\\\\ \end{aligned}$$

　$S_n$は $f$の積の係数となります.しかし制約がいくつかあるので気をつけます.
制約 $a_k\neq0\quad(k=1,n)$ については, $f-\frac{1}{1-y}$ で, 制約 $(a_k,b_k)\neq(0,0)\quad(k\neq1,n)$ については $f-1$ で対応します.
よって, $S_n$ は,
$$\Big(f-\frac{1}{1-y}\Big)(f-1)^{n-2}\Big(f-\frac{1}{1-y}\Big)$$
の $x^{N}y^{M}$ の係数となります. したがって, $\sum_{n=2}^{\infty}(-1)^nS_n$ は
$$\begin{aligned} &\Big(f-\frac{1}{1-y}\Big)^2(1-(f-1)+(f-1)^2-(f-1)^3+\dots)\\\\ &=\Big(f-\frac{1}{1-y}\Big)^2\frac{1}{1+(f-1)}\\\\ &=\frac{1}{f}\Big(f-\frac{1}{1-y}\Big)^2\\\\ &=f+\frac{1}{f}\frac{1}{(1-y)^2}-\frac{2}{1-y} \end{aligned}$$
の $x^{N}y^{M}$ の係数となる.
よって, $$g^k\frac{1}{\sqrt{1-4x}}=\sum_{i=0}^{\infty}\binom{2i+k}{i}x^i$$ に気を付ければ以下のように計算できる.
$$ \begin{aligned} &[x^{N}y^{M}]\Big(f+\frac{1}{f}\frac{1}{(1-y)^2}-\frac{2}{1-y}\Big)\\\\ &=[x^{N}y^{M}]f+[x^{N}y^{M}]\frac{1}{f}\frac{1}{(1-y)^2}\\\\ &=[x^{N}y^{M}]\frac{1}{\sqrt{1-4x}}\frac{1}{1-g^4y}+[x^{N}y^{M}]\frac{1-4x}{\sqrt{1-4x}} (1-g^4y)\frac{1}{(1-y)^2}\\\\ &=[x^{N}]g^{4 M}\frac{1}{\sqrt{1-4x}}+[x^{N}]\frac{1-4x}{\sqrt{1-4x}} (M+1-g^4M)\\\\ &=[x^{N}]g^{4 M}\frac{1}{\sqrt{1-4x}}+(M+1)[x^{N}]\frac{1}{\sqrt{1-4x}}-4(M+1)[x^{N-1}]\frac{1}{\sqrt{1-4x}}\\\\ &-M[x^{N}]g^4\frac{1}{\sqrt{1-4x}}+4M[x^{N-1}]g^4\frac{1}{\sqrt{1-4x}}\\\\ &=\binom{2N+4M}{N}+(M+1)\binom{2N}{N}-4(M+1)\binom{2(N-1)}{N-1}-M\binom{2N+4}{N}+4M\binom{2(N-1)+4}{N-1}\\\\ \end{aligned} $$