スナネコです。yosupo judgeにある を解きました。
https://judge.yosupo.jp/problem/sum_of_exponential_times_polynomial
yosupo judge の github を見ると参考文献が載ってます。
https://github.com/yosupo06/library-checker-problems/issues/98
そういうわけで、この記事は Min_25 さんによる以下の記事を私の理解で書き直したものです。
ひとによってはオリジナルの方がわかりやすいかもしれません。
https://web.archive.org/web/20170622095007/http://min-25.hatenablog.com/entry/2015/04/24/031413
話の流れはこうです。
・数列 を漸化式で表す
・係数行列の固有多項式を求める
・固有多項式で割ったあまりを explicit な式で表す
ステップ1. 漸化式を出す
本題に入る前に、単項式 の値を に関する漸化式で求めるにはどうすればよいか考えてみましょう。
全ての についての を持てばできますね。具体的には、 が と二項係数を使って書けることから言えます。例えば
となります。二項係数を並べたこの下三角行列のことを下三角パスカル行列というそうです。 の下三角パスカル行列をwikipediaでは と表しているので、ここでもそう書くことにします。
本題に戻ります。ここまでわかれば元の問題を漸化式で書くのは簡単です。
こうですね。左上の の小行列を とまとめて書くことにして
とします。求めたいものは の最後の成分であり、、 です。
ここまでくれば、線形漸化式を持つ数列の第 項を求めるのと同じようにできそうな気がしてきましたね。
ステップ2. 係数行列の固有多項式を求める
なぜ固有多項式を求めたいのか一応説明しておきましょうか。一般に、行列 の固有多項式 は を満たします。このことから、 とすると、 となります。*1
そうすると、小さい次数の項しか残らないので、いろいろ話が簡単になるわけです。
それでは本題に戻ります。さっき求めた係数行列 の固有多項式 を求めましょう。
は下三角行列で、対角成分は が 個、 が 個なので、 です。……はい、これだけです。
詳しくは省略しますが、ここまでわかれば、線形漸化式のときと同じように高速きたまさ法で で元の問題を解くことができます。
ステップ3. 固有多項式で割ったあまりを求める
きたまさ法を使った解法では を求めるために の時間がかかりますが、実はこの問題の場合は の係数を直接計算することができるので、よりよい計算量で解くことができます。
ここから先はひたすら計算が続きます。ちゃんとついてきてくださいね。
の形から、定数 と、 次以下の多項式 を用いて、 と書けます。この と を頑張って求めます。
について
この は要するに です。 なら自明です。そうでないときは になるので、あとは をずらすだけですね。
に関する和が残ってしまいました。二項係数なので階乗に書き下して変形してもよいですが、組合せ的な言い換えをした方がわかりやすいことも多いです。今回、二項係数の積の部分は「 個から 個選び、さらに選んだ 個から 個選ぶ方法の数」だと思えます。これは「 個から 個選び、さらに選ばなかった 個から 個選ぶ方法の数」と等しいので、こういうふうに変形できますね。
最後の等号は、 を使って を全部 に置き換えて計算するとわかります。そういうわけで、 は具体的に次のような形で書けました。
について
すでに が求まっているので、適当な値を に代入して、恒等式 を に関する 次方程式だと思って解くだけですが、適当な に対して を求めるのはそんなに簡単ではないので、簡単に計算できる を探す必要があります。どんな なら簡単に求められるでしょうか。実は、 と をあわせると になるので、 を選べばよいです。このとき、 を得ます。 ならこれで話は終わりです。 のときは の係数が になってしまうので、これではうまくいきません。 のとき、元の問題は単なる単項式の和なので、最初から場合分けをして取り除いておいてもいいんですが、せっかくなのでいまやったのと同じような方法で求められないか考えてみましょう。
のときに を求める
という恒等式を思い出すと、 は 次以下だったことから、 は の 次の係数と等しくなります。 のとき なので、「 の 次の係数を求めよ」という問題になりますが、上で を求めるときにやったのと全く同じ議論で になることがすぐわかります。
ステップ4. を求める
これも線形漸化式の第 項を求めるときと全く同じですが、一応説明しておきましょう。
求めたいものは の最後の成分でした。 とおくと、 となります。つまり なので、 を予め愚直に求めておけば計算できます。
計算量解析
計算する必要があるものは と です。
計算量は に見えますが、線形篩・線形逆元列挙・N乗数の高速列挙・二項係数の差分計算など、細かい工夫をたくさんすると になります。
私の実装例はこれです。線形篩ではなく普通の篩を使っているので、計算量は になっています。
https://old.yosupo.jp/submission/81322
ラグランジュ補間でも解けるという話を聞いたのですが、私はまだわかっていません。誰か教えてくれますか?