F: Two Snuke (AtCoder)
最近AtCoderという競技プログラミングをはじめたアラフォーサラリーマンです。ここのところ業務でコード書くことがなく寂しいので、ボケ防止のため在宅勤務で通勤がなくなってできた時間を使ってやっています。学生の人が多そうで肩身狭い思いしながらやっていますが、どこかで、始めた経緯とか感想などをまとめたいなと思います。
AtCoder、ABCという初心向けのはずのコンテストでも結構難しい問題多いです。解説も簡潔なものであることも多いので、解答読んでもすぐにはよくわからない・・ということがしばしばあります。同じように悩んでしている人いるかもしれないので、解答の理解に時間がかかった問題を丁寧に解説してみたいなと思います。(今週末コンテンストがないので暇潰しもかねて)
第一回は先週末にあったエイシング プログラミング コンテスト 2020の最後の問題です
F - Two Snuke
解説読んでも省略しているところで何をしているかわからず理解に苦労しました。
以下、解説のPDFの表記をそのまま使います。(Snukeの元ネタって誰なのかが気になります)
まず解説の「N-5個の一列に並んだボールに対し、 15個の仕切りを(最初の5つのセグメントに含まれるボールの個数が偶数になるように)入れる方法」を考えればいいというところへの誘導について考えていきます。
まず単純なケースとして
のとき
ありうるの組すべてについて
を計算して足し合わせた数について考えてみます。
これは「Nを5つのグループにわけ、それぞれのグループから1つ選ぶ」選び方の数に等しくなります。
5個の箱にそれぞれa, b, c, d, e個ボールが入っていて、それぞれの箱から1個ずつボールを選ぶボールの選び方はなので、総和を求める問題から組み合わせを求める問題に落とし込むことができています。(こんな発想はなかったので解説よんでおおーと思いました)
次に「N個のボールを5つのグループにわけ、それぞれのグループから1つボールを選ぶ」選び方を考えてみます。
このボールを5つのグループにわけ、その中の一つを選んで色を塗ってみます
ここで色を塗ったボールと仕切りに注目してみると、色塗りボール⇨仕切り⇨色塗りボール⇨仕切り・・・と交互に9個並んでいます。
そのため、色塗りボールを仕切りに変化させても元と1対1で対応します。(奇数番目を色塗りボールにすればいいので)
ですので、「N-5個のボールに9個の仕切りを入れる、入れ方の個数」を求めればいいことがわかります。
いまはわかりやすくするため
という条件で考えましたが
の場合はどうすればいいでしょうか?
この場合も同じ考え方で、
「N個のボールを6つのグループにわけ、最初の5つのグループからそれぞれ1つボールを選ぶ」
とすればいいです。
最後のグループがNに満たないあまりの数に対応します。
結果「N-5個のボールに10個の仕切りを入れる、入れ方の個数」となります。
さらに解説にあるように
の場合も同じように考えれば、解説にあるように
「N-5個の一列に並んだボールに対し、 15個の仕切りを(最初の5つのセグメントに含まれるボールの個数が偶数になるように)入れる方法」
と1対1に対応しているところにたどり着きます。
で、自分が解説読んでつまづいたのが次からの部分です。
を「i個のボールまで見て、現在仕切りを j個入れ、現状のセグメントに含まれるボールの個数のパリティが であるような仕切りの入れ方の個数」、と定義してDPでこの問題を解くことができる。これを行列累乗で高速化する。
こちら最終的に理解した内容を書いてみます。
左から順番に、ボールか仕切りを置いていく。
と考えます。
最初5個のセグメント(仕切りが5つ置かれるまで)は偶数なのでかそうでないかで場合分けして考えます。
解説にあるパリティというのは、いま置いて行っているセグメントにボールが偶数個入っているか、奇数個入っているかを示すもの、という意味だと思います。偶数の場合p=0、奇数の場合p=1と考えるとします。
なお簡単のためのときは、奇数だったとしても常にp=0とします。
のとき
最後のセグメントのボールの数が偶数になるケース(p=0)は、奇数の状態にボールを置くか、仕切りを置くかです。ただ、かならず偶数にしなければいけないので、前のセグメントが奇数の状態で仕切りを置くことができません。
また奇数(p=1)になるケースは、偶数ボールがあるときにボールをもう1個おいたときのみです。
のときは
になります。ボールを置いた場合と、仕切りを置いた場合の場合の数の和になります
さて、これを行列の形にして解かなければいけません。
をベクトル、を行列として
という形にできれば
となり、はで出せるため間に合います。
を少し定義をかえて、仕切りとボールをあわせてn個、仕切りをj個おいたときの数をとします。
すると、
のとき
のとき
何か行列にできそうな気がしてきました。
ですので、考えられるj, pのパターンを全部いれたベクトルを考えることにします。
21要素ととても大きくなってしまいますが、プログラムで処理すれば実装も処理時間も全然余裕でした。
上の式を行列の形に書き直せば
となります。この行列をとします。
ボールも仕切りも何も置いてない状態はなので
となります。
求めたい答えは、ボールをN-5個、仕切りを15個並べた状態ですので、になります。 の最後の要素です。
ですので、
を計算すれば答えがでてきます。
の高速計算の方法は色々なサイトで紹介していると思うので省略します。「繰り返し二乗法」で検索するのがいいと思います。
(軽い気持ちで書き始めましたが思ったより長くなってしまいました・・。第2回は果たしてあるのか)