AtCoder Regular Contest 061 E - すぬけ君の地下鉄旅行
お題箱より。
E - すぬけ君の地下鉄旅行 / Snuke's Subway Trip
解法
グラフの最短路問題として解けそうではありますが、異なる運営会社間での乗り換えを考慮する必要があります。つまり「どの駅にいるか」だけでなく、「その駅でどの会社の路線に乗っているか」という情報が必要になります。
このようなときに、「駅 にいて会社 の路線に乗っている」という状態をペア として、このペアそれぞれを1つの頂点としてグラフを作るテクニックがあります。こうすれば電車での駅間の移動や乗り換えのコストを正しく扱うことができます。同じ駅かつ違う会社の頂点に乗り換えるときにコスト1が掛かると思えばよいです。
このように状態を組み合わせるときは頂点の個数がものすごく大きな数にならないか気を付ける必要がありますが、今回は2駅間を繋ぐ路線が 個与えられることから、この頂点数は最大でも全部で 個です。
ただしこの方針で全ての乗り換えパターンに辺を張ってしまうと、大量の路線が乗り入れる駅があったときに辺数がものすごい数になってしまいます。
これは困るのでもう少し工夫しましょう。乗り換えを、「改札を出る」動きと「次の路線の改札に入る」動きに分類します。そして「改札の外」を表す頂点をさらに追加します。
このようにすると、辺数が頂点数の2倍で抑えられます。今までは無向グラフとして扱えていましたが、この時点でグラフが有向グラフになっていることに注意してください。
あとはこのグラフ上でダイクストラ法などを回せば答えを求めることができます。辺のコストが0または1なので01-BFSでも良いですね。
ACコード
Submission #5571322 - AtCoder Regular Contest 061
(リクエストくれた人の言語が分からなかったのでC++にしています…RubyかPythonなら書けるので必要なら言ってください)
実装に関してですが、駅番号と会社番号(「改札の外」の場合は-1としています)のペアを頂点として扱う必要があります。しかもこれらの頂点の距離などを2次元配列などで管理すると、スカスカでサイズの大きな配列が必要になってしまいます。
実装方針は色々あると思いますが、いったん使う頂点をペアとして列挙し、重複を排除した後に「座標圧縮」の要領でペアに番号を振ってしまうのが分かりやすいと思います。ここでペアから頂点番号を逆引きできるmapなども作っておくと楽です。
新しく振った番号で辺を全て張り直してしまえばあとはこっちのものです、普通にダイクストラ法や01-BFSをすればよいです。上記リンク先のコードでは01-BFSにしています。
いろはちゃんコンテスト Day2 H - 根室の巫女
お題箱より。
解法
Morris-Pratt法について
まず、公式解説(?)にも書いてあるMorris-Pratt法(MP)について触れておきます。私も実戦で使ったことはないのですが…ある長さ の文字列 があったときに、全ての に対して以下の値を求めた数列 を求めるアルゴリズムです。
- の先頭 文字だけからなる文字列を とする。 未満の整数 であって、「 の先頭 文字と末尾 文字が一致する。」という条件を満たす の最大値を とする。
としてしまうと先頭 文字と末尾 文字は当然一致してしまうので、それ以外で最大のものを求めることに注意してください。
この数列は文字列検索を高速に行う際などに使うようです。丁寧な解説と具体的な実装は以下のブログ記事が分かりやすいです。
※今回の「Morris-Pratt法とは何か」という説明は、上記記事に準じて書いています。Morris-Pratt法で調べると「上記の数列を活用して文字列検索を行うこと」をMorris-Pratt法と呼んでいたり、色々違ったことが書いていて私もよく分かりません…。
さて、上記の数列の定義はそのまま今回の問題で与えられる の定義になっています。文字列から数列を求めるMP法とは逆に、この問題ではこのような数列を満たす元の文字列(数列ですが)を構成することになります。
解き方について
さて解き方ですが…公式解説(?)はよく分からないので、私が解いた(コンテスト後にTwitterで見た)解法ベースで書きたいと思います。
以降、数列 を単に 、数列 を単に と表記します。
最初にこの解法の大まかな流れを書いておきます。
- として与えられた条件を満たすような解 が存在すると仮定し、その必要条件を用いて数列 を構成する。
- 構成した数列 に対してMorris-Pratt法を適用し、本当に条件を満たしているかを判定する。
必要条件を考える
まず条件を満たすような解 が存在すると仮定して、 が満たすべき必要条件を考えます。具体的には の「最大の」という条件を考えないことにすると、以下の必要条件が得られます。
- の先頭 要素だけからなる配列を とする。 の先頭 要素と末尾 要素は一致する。
これを元に、「同じ値である必要がある要素」をまとめていくことを考えましょう。例えば各インデックスを頂点とみなして、Union-Findを用いて以下のように辺を張れば、どの要素の値が同じ必要があるかを管理できます。
ただしこの辺は合計で 本あり、全て処理していると計算が間に合いません。
繋ぐべき辺を削減する
繋ぐ辺を削減しましょう。実は、「各 に対して、上記の両文字列の末尾だけを繋ぐ」という処理だけで、結果的にこれら全てのペアが同じ連結成分に属してくれることを示すことができます。その理由を説明します。
端的に言うと、「末尾以外のところは他のインデックスが繋いでくれる」というのが理由になっています。例えば1つ前のインデックス について考えると、これがちゃんとインデックス と連結になって欲しいです。
ここで少なくとも以下の図の赤いところについては値が一致していることから、必ず が成立します。
これがもし だった場合は簡単で、インデックス に対して「末尾同士を繋ぐ」という処理をしたときにインデックス と繋がれます。
もし だった場合、直接繋がれることはありません。ですがこの場合、以下の図のようになっているはずです。
図中の赤いところは全て一致しているので、そのインデックスを辿っていくことで必ず 文字目に辿り着きます。つまりこれらの辺を張っていくことで同じ連結成分に属するようにできます。
このように考えると、「各インデックスに対して一致してほしい部分数列の末尾同士を繋ぐ」という操作を全てのインデックスにすることで、末尾以外についても一致してほしいところは最終的に同じ連結成分に属してくれることが分かります。
数字を割り当てる
…というわけで、必要条件から「一致してほしいインデックス」が連結成分として求められました。これらに対して適当に数字を割り振っていきましょう。
このとき、違う連結成分なのに同じ数を割り当てることにメリットはありません。何故なら先ほどの必要条件は について「最大の」という条件を考えないようにしたものであり、より長い長さで の先頭と末尾が一致してしまうとアウトです。つまり「これ以上はなるべく一致してほしくない」わけです。それなら違う連結成分には違う数字を割り当てるほうが良いですね。
Moris-Pratt法で検証する
これで解の「候補」ができました。これまで見てきたように、作ってきた数列は必要条件を満たし、かつ十分性を最も満たしやすいように作ったものです。
これをMoris-Pratt法で検証し、得られた数列が と一致していればそれが答えです。一致しなかった場合は解がないと判定して良いです。
ACコード
AtCoder Beginner Contest 126 F - XOR Matching
解法
結論を書いてしまうと、以下のような数列がもし作れれば答えになります。
アイデアとしては、まず を挟んで 以外の数字を鏡写しに並べます。こうすることで 以外のどの数字を選んでも、2つの位置の間(両端を含む)にあるものは「 1個と、同じ数字の2個ペアたち」となり、同じ数字のペアはXORで打ち消し合うので必ずXORの値が になります。
あとは 同士のXORも にならないといけませんが… の場合は もう1つの を端に置くことで間にある値のXORが必ず になります。これは、
- を非負整数として、 のXORを取ると必ず0になる
という性質によるものです。この性質は以前のABCにも登場しましたね。
であれば は上記のような4つ組のグループに分けられるので、そのXORは0になります。今回 と の間(両端を含む)にある値はこれらの値1つずつと 1個だけが余っているので、そのXORは になります。
ということで、 かつ のときは答えを求めることができました。あとは残りのケースを考慮します。
もし である場合には、 の最上位ビットは の位以上になり、 の値をどうXORで組み合わせてもこのビットを作ることはできません。つまり、この場合は構成不可能です。
の場合は入出力例に示されている通りなので、これをそのまま埋め込んでしまえばよいです。 も実は制約に含まれていますが、この場合は 0 0
しか作れないので の場合だけ答えが存在します(考慮していなくても と同じ実装で正しく処理できることが多いでしょう)。
ACコード
Codeforces Round #561 D. Cute Sequences
問題概要
以下の問題を 個解け。
- 正整数 が与えられる。以下の条件を満たす整数列 を1つ構成するか、そのような数列が存在しないことを判定せよ。
- 初項が で末項が である。
- 項数を として、全ての について とすると が成立する。
制約
解法
数列の長さ を全探索することを考えましょう。 のときに条件を満たすのは の時だけなので、その場合は別扱いすることにして の場合を考えます。
長さ をある値に固定して、末項が最小でどのくらいの値になるか考えます。すなわち全て としたときの末項を計算してみます。
- ...
実際に計算してみるとこのような値になります。もしこの値が既に よりも大きい場合は、これ以上の長さでは絶対に答えを構成できないことが分かります。
のときは、ここから各 を増やすことで との差を埋めることを考えます。各 を1増やしたときに、末項の値はどれだけ増えるでしょうか。これも実際に手計算すると分かって、
- のとき、 が1増えると末項は だけ増える。
- が1増えると末項は1だけ増える。
というようになります。
最小値の時点で既に1持っているので、各 について増やせるのは までです。これらの値をうまく決めて、先ほどの係数を掛けた合計が増やすべき値 に一致するようにすればよいです。これは係数が大きい方から決めていって、足りない分を増やせるだけ増やすようにすることで求めることができます。
この方針で決めていっても合計が増やすべき値 に満たない場合は、その数列の長さで条件を満たすものは存在しないことになります。これを となるような 全てについて計算し、条件を満たすものが見つからなかったら答えは存在しないと判定することができます。
2以上の長さの候補はおよそ 個なので、クエリが最大 個あることを加味しても計算時間は問題ないです。
ACコード
Submission #54298174 - Codeforces
コード中で という変数でループを回していますが、 として扱っているので読む場合はご注意ください…
Educational Codeforces Round 65 E. Range Deleting
問題概要
長さ の数列 と整数 が与えられ、 である。
以下の条件を満たす整数の組 の個数を求めよ。
- である。
- 数列 から を満たす要素をすべて取り除くと、残った数列は広義単調増加になる。(空数列でも可)
制約
解説
削除する値の範囲 について、ある左端 を固定したとき、条件を満たす には単調性があります。これは区間を伸ばせば伸ばすほど多くの要素が消え、残った数列が単調増加になりやすいからです。
二分探索かしゃくとり法が使えないか考えてみましょう。二分探索ができれば楽ですが、 個の左端を全探索した上で判定問題を解くのに 要素の数列を走査しているようでは間に合いません。しゃくとり法を用いて、かつ区間に値を出し入れする処理を何らかの方法で差分更新できれば間に合いそうです。
この差分更新は様々な方法で実現している人がいました。この記事では私が本番中に実装したやり方をまとめておきます。
ある要素 に注目します。数列を左から右に並べたときに、もしこの要素より左にあって より大きい要素があると数列は単調増加になりません。そのため条件を満たすためには、インデックス に関して
- が削除される。
- より左にあって より大きい要素の最小値を 、最大値を として、範囲 が全て削除される。
の少なくとも一方が満たされる必要があります。ただし より左に より大きい要素が存在しないような については常に条件が満たされていると考えてよいです。
逆に全ての についてこれらの条件の少なくとも一方が満たされるとき、数列は単調増加になります。
そこでまず、それぞれの について を求めます。これは数列を左から見ていきながらsetやセグメント木に値を追加していくことで合計 で実現できます。
そしてしゃくとり法を以下のように処理していきます。
- 区間の右端に値 を加えるときには、
- である について、条件1を「満たす」に変更する。
- である について、もし ならば条件2を「満たす」に変更する。
- 区間の左端から値 を取り除くときには、
- である について、条件1を「満たさない」に変更する。
- である について、もし ならば条件2を「満たさない」に変更する。
- 上記の変更に伴って、「今、条件がどちらも満たされていないインデックス の個数」を差分更新する。
このようにすれば、区間に値を出し入れして差分更新する処理は合計で になります。合計で となり、制約が大きいのでギリギリですが一応間に合いました。
ACコード
Codeforces Round #560 F2. Microtransactions (hard version)
問題概要
※microtransactionは、オンラインゲームなどでのアイテム課金を指す言葉だそうです。文中では「アイテム」と訳します。
イヴァンはゲームのアイテムを買おうとしている。アイテムは 種類あり、種類 のアイテムは 個必要である。
イヴァンは毎日の朝に1円を稼ぎ、夜にアイテムを買う。アイテムは通常1個2円だが、「 日目には、種類 のアイテムを1円で買える」というセール情報が合計で 個与えられる。
イヴァンは所持金が足りる限り1日にアイテムを好きなだけ買うことができる。イヴァンが全てのアイテムを必要数買い終わるまでの最小日数を求めよ。
制約
解法
この問題は、アイテムを全て買い終わる日を決めてしまうととても考えやすくなります。「アイテムを 日までに買い終わることは可能か?」という判定問題を考えて二分探索します。
アイテムの値段は全て同じなので、セールで買うアイテムの合計個数を最大化することを目指せばよいです。そしてアイテムは各日に好きなだけ買うことが可能なので、セールでの買い物は出来るだけ先延ばししたほうが使えるお金が多いので有利です。
そのため最適な戦略は
- 各アイテム種類ごとに、 日までの間で一番最後のセール日しか買わないようにする。各アイテムごとに最後のセール日をリストアップしておく。
- 前からシミュレートする。基本はお金を貯めて、リストアップしたセール日が来たらそのアイテムを買えるだけ買う。
- 最終日に、セールで買えなかった不足分をまとめ買いする。
となります。買い終わる日を決めることで一番最後のセール日がいつなのかが分かり、最適な戦略が決まります。
二分探索の初期条件について考えましょう。 とします。アイテムの合計必要個数×2のお金があればセールなしで全部買えるので とできます。一方、全部セールで買ったとしても間に合わない条件を考えると とできます(適当に などでも問題ないです)。
二分探索のループが 回実行され、それぞれの判定問題は実装によりますが で可能なので、全体計算量は となり間に合います。判定問題は各アイテムごとの最後のセール日を調べた後にソート等をするともう1つ が付きますが、日数が少ないことを利用してバケットで管理すると線形時間になります。