AGC028 参加記録&解説(A~C)
AtCoder Grand Contest 028 - AtCoder
今回も前回と同じく、速解き1完でレート微減。うーん…
しっかり復習しましょう。A~Cを振り返ります。
A - Two Abbreviations
解法
※以降の説明では、文字列のインデックスを0始まりで記載します。
まず の長さ は の両方で割り切れるという条件があるため、 は の公倍数です。公倍数は最小公倍数の倍数であるため、 は の正整数倍です。
とりあえず、 として考えます。 の中で、 文字列 がどこに含まれているかを図示します。
図のように、 が1文字進むごとに は 文字、 が1文字進むごとに は 文字進みます。
の各文字のうち、 のどちらか一方に対応している位置はその文字を採用すればよいですし、どちらとも対応していない位置の文字は好きに決めればよいです。問題は両方に対応している位置で、 これらは同じ文字である必要があります。
このように の両方の文字が存在する位置は、 と の公倍数(と0)になります。先ほども書いたように公倍数は最小公倍数の倍数であるため、 の0以上の整数倍の位置すべてについて、そこに対応する の文字が一致しているかどうかを調べればよいです。
これで、 のときの判定ができました。では他の公倍数の場合はどうか?と考えてみますが、他の公倍数は の正整数倍です。 とすると、 の対応図は上の図をそっくりそのまま 倍に「引き伸ばした」ような感じになります。つまりどの公倍数で考えても、比較しなければいけない と の文字は同じであり、 に矛盾なく を構成できるかどうかも同じになります。
そのため上記のように で調べて、OKであればその値が最小値ですし、NGであればどの公倍数でも は構成不可能なので-1を出力します。
ACコード
- (C++)Submission #3401769 - AtCoder Grand Contest 028
- (Ruby)Submission #3392922 - AtCoder Grand Contest 028
C++のほうが、上の説明に沿って書いています。
B - Removing Blocks
解法
各ブロックについて、「 個の全てのパターンについて合計したときに、ブロック の重さは合計何回分カウントされるか?」を求めたいです。これを係数として に掛けて総和を取ると答えになります。
これをさらに分解し、「ブロック を取り除くときに、ブロック の重さは合計何回分カウントされるか?」を考えます。各パターンごとに各ブロックはそれぞれ1回ずつしか取り除かれないため、これは「 個の全てのパターンのうち、ブロック を取り除くときにブロック の重さがカウントされるパターンはいくつあるか?」と書き換えられます。
ブロック を取り除くときにブロック の重さがカウントされる条件は、取り除く時点で から までのブロックが全て存在すること。言い換えると、 から までの 個のブロックのうち、ブロック が最初に取り除かれることです。このようなパターンの数は になります。これは、ブロックを取り除く順番をランダムな事象として考えたときに、 個のブロックのうちブロック が最初に取り除かれる確率が である、と考えたほうが理解しやすいかもしれません。
ここまでの内容を整理すると、
- 「ブロック を取り除くときに、ブロック の重さは合計何回分カウントされるか」は、。
- 「 個の全てのパターンを合計したときに、ブロック の重さは合計何回分カウントされるか?」は、↑を全ての について合計した 。
- 答えは、それを係数として に掛けて合計したもの。
です。
では、 を求めましょう。 は全ての項に共通なので、 を求めて一番最後に を掛けることにします。これは の両側それぞれで見ると、 という形になっています。この累積和を事前計算しておけば、各 についてこの値が高速に求められます。
ただしこれは整数での割り算なので、素数modでの逆元計算を行い、その逆元を足し算していきます。逆元の計算についてはこちらの記事によくまとまっています。信頼と実績のけんちょんさん。
「1000000007 で割ったあまり」の求め方を総特集! 〜 逆元から離散対数まで 〜
これで材料が揃いました。解法をまとめます。
- 素数modでの逆元計算を用いて、 の累積和を計算しておく。
- 各 について、累積和を使って を計算する。
- 上記結果を係数として に掛け、加算する。
- 最後に後回しにしておいた を掛ける。
ACコード
- (C++)Submission #3401177 - AtCoder Grand Contest 028
- (Ruby)Submission #3401958 - AtCoder Grand Contest 028
C - Min Cost Cycle
解法
ある頂点の と別の頂点の がペアになり、 本の辺を構成します。このとき、重みの小さいものをなるべくばらけさせたいです。特に、 を合計 個をごちゃ混ぜにソートして、小さいほうから 個を 本の辺にばらけさせることができれば、これが最適です。
ただし問題では「全ての頂点を1度ずつ通るサイクルを構成すること」が要求されています。 から重みとして使いたい値を 個選んだとき、それを 本の辺にばらけさせて、要求されているサイクルが構成できるでしょうか。
サイクルを構成できる条件は、上図のようなものになります。一番左のOKパターンは実際に作ってみればいいので分かりやすく、一番右のNGパターンも図のように閉路を作ろうとすると必ず繋ぎ相手がいなくなるので分かりやすいです。真ん中のパターンが必ずOKというのはちょっと難しいのですが、「Aを使うもの」と「Bを使うもの」をそれぞれ固めて、その間を「AもBも使うもの」と「AもBも使わないもの」で上手く繋ぐようにするとサイクルを構成できます。(図では要素数が少ないですが、一応そのように構成しています。)
これでやることが決まりました。OKパターンを満たすように、その中で の合計がなるべく小さくなるように 個を選びます。
ということで、まず小さい方から 個選んでしまいましょう。この 個がOKかNGかを確認します。
- OKパターンだった場合
- 何の問題もありません。そのまま出力します。
- NGパターンだった場合
- この場合、取る値を変更しないといけません。2番目に合計が小さくなるのは、 番目を選んだ場合です。これがOKパターンならこれが答えです。ただこれも、NGパターンになることがあります。
最後の詰めです。 番目も 番目もNGパターンになるというのはどういう状態でしょうか。
番目を選んだ状態から、 番目を選んでも 番目を選んでもNGになる場合、 これらの2つの値は同じ頂点に属しています。これがとても重要です。
次の候補を考えます。 番目がNGとなると、次に重み合計が小さくなるのは
- 番目
- 番目
のどちらかになります。このときこれら2つはどちらも、「 番目と 番目は同じ頂点に属している」ということを使ってOKパターンになることが示せます。
- 番目を選ぶと、同じ頂点に属する 番目がどちらも選ばれていない。そのため他の頂点どれか1つ以上で、 両方が選ばれているはずである。
- 番目を選ぶと、同じ頂点に属する 番目がどちらも選ばれている。
つまり、2つをそれぞれ計算して小さい方を出力すればよいです。
解法をまとめます。
- 各重みをソートし、小さい方から 個選び、OKパターンかどうか判定する。OKパターンなら合計値を出力して終了。
- ↑がNGパターンの場合、 番目を選び、OKパターンかどうか判定する。OKパターンなら合計値を出力して終了。
- ↑もNGパターンの場合、以下の2つはともにOKパターンなので、2つのうち合計値が小さいほうを出力して終了。
- 番目
- 番目
ACコード
(C++)Submission #3402799 - AtCoder Grand Contest 028
さいごに
本番では、
- Aは少し難しいなと思いながらもWAなしで突破。
- Bは完全に方針を見誤る。愚直 、累積和使って で回せそうな漸化式を見つけてしまい、そこに固執していました…。
- Cは大筋の方針は良かったが、 番目を選んでもNGとなるケースに気付かなくて詰められず。
という感じでした…。
最近2回ともAGCが解けなくて少しへこみますが、しっかり復習して、問題を解き続けるしかないですね。