エイシング プログラミング コンテスト 2020 F - Two Snuke
公式解説とは違う解法です。
解法
のときは答えは なので、 とします。
まずは 解法を
まず答えを で求める方法を考えます。
の値を として、これを全通り試しましょう。そうすると、この を つに分ける分け方が 通りあります。 個並んだボールを 本の仕切りで つの領域に分ける場合の数です。
として、 も同様に定義します。そうすると「全部足して 以下」という条件は と表記することができます。これを満たす の組それぞれについて (人名ではなく積です)を計算し、全て合計したものを求めたいです。これは、以下のような場合の数と等しくなります。
- 個のボールに 本の仕切りを入れて の つの領域に分け、さらに に相当する つの領域から つずつのボールを選ぶような場合の数。
これは言い換えると、ボールと仕切りを並べる合計 箇所のスペースから、仕切りと選んだボールに相当する 箇所を選び、その 箇所には左から順に「選んだボール、仕切り、…、選んだボール、仕切り」と割り当てるような場合の数に等しいです。つまり、この値は と計算できます。
の範囲としては が全て正になれるもの、つまり である範囲を考えます。そうすると答えは
と計算することができます。階乗を前計算して についてループを回すことで で解くことができますが、間に合いません。
偶奇に分けて多項式と見る
先ほどのシグマの中身を見てみましょう。 という値は、具体的には という についての 次多項式です。同様に は についての 次多項式です。つまりシグマの中身は と についての 次多項式です。より正確には、全ての項で と の次数合計が 以下であるような多項式となっています。
ここで重要な性質として、 についての 次多項式の値を まで合計したものは についての 次多項式になります。
今回の計算式におけるループ終端は でした。このままでは扱いにくいので の偶奇で場合分けします。例えば が奇数である場合、 と置きます。そうするとループの終端は となり、 を で置き換えるとシグマの中身は と についての 次多項式になります。先ほどの性質から、このシグマを処理した結果は についての 次多項式になることが分かります。
具体的に冪乗和の公式を当てはめて大量の計算をすればこの多項式の係数が求められますが、絶対にやりたくないです。「ラグランジュ補間」という方法を使いましょう。これは「 についての 次多項式 の自由度は であり、 通りの相異なる点 から多項式を一意に決定することができる」という性質を用いるものです。特に相異なる既知の点として に対する を用いた場合、1つの未知の に対する の値は で計算することができます。
つまり、 (すなわち )に対する答えをそれぞれ で計算し、これらを用いてラグランジュ補間を行えば、入力 が奇数である場合の答えを高速に求めることができます。
が偶数である場合も と置くことで同様に計算することができます。
ACコード
Submission #15191688 - AIsing Programming Contest 2020
ラグランジュ補間のライブラリを持っていれば実装は楽です。ラグランジュ補間の実装は、長くはないですが計算式がややこしいです。
実は かどうかを場合分けせずに または の結果からラグランジュ補間しても良いのですが、一応説明に従い場合分けをしています。