Codeforces Round #516 参加記録&解説(A~C)
Dashboard - Codeforces Round #516 (Div. 1, by Moscow Team Olympiad) - Codeforces
結果は3完!とはいえ、3完速解き勢が多くてレート上昇はそこそこ。Div1は修羅の世界。
A~Cを振り返ります。Div2だとC~Eに相当します。
A. Oh Those Palindromes
問題概要
長さ の文字列 が与えられる。 の文字を並び替えたもののうち、回文になるような連続部分文字列が最も多くなるものを1つ出力せよ。
制約
- は英小文字からなる
解法
この問題にはとてもシンプルな答えがあります。ソートなどを使い、同じ文字を全て隣り合うようにまとめてしまえばそれが答えになります。例えば が abaacb
だった場合、 aaabbc
は答えです。
これを示すため、まずは回文になる連続部分文字列の数の上界を考えます。「並び替えをどんなに頑張っても絶対にこの値より大きくはならない」という値です。
文字列が回文になっているとき、その文字列の最初の文字と最後の文字は必ず等しいものである必要があります。そのため回文の数は、「文字列の中から、同じ位置または異なる位置にある同じ種類の文字を2つ選ぶ方法の総数」以下になります。これは具体的には、文字種それぞれについてその個数を として を計算し、全ての合計を取ったものです。
aaabbc
のように同じ文字をまとめた文字列から、同じ位置または異なる位置にある同じ文字を2つ選びその間にある連続部分文字列を考えます。その文字列は1種類の文字しか含んでいないため、必ず回文になります。そのためこのような並べ方は先ほどの上界を実現することが分かり、これが答えとなります。
閃けば一瞬。上位陣は爆速で通していますね…
ACコード
(C++)Submission #44295304 - Codeforces
B. Labyrinth
問題概要
行 列のマスで定義されるマップがあり、いくつかのマスには障害物があり進入できない。
マス からスタートし、マップ内を上下左右に0回以上好きな順番で移動してどこかのマスを訪れる。このとき上下には好きな回数移動可能だが、左には 回以下、右には 回以下しか移動できない。
障害物がないマスそれぞれについて、「上記の条件で から到達可能か?」を考えた時、到達可能なマスはいくつあるか答えよ。
制約
解法
制限が特殊ですが、「移動回数」をなるべく小さく保ったままマスを探索したい、ということでBFSをしたくなります。
左右の移動回数をなるべく少なくしたいというのは分かります。ただし、左右どちらを優先すべきか?というのは一概に決められません。このため、もしあるマスへの行き方の候補として「左移動は少ないけど右移動は多い」ルートと「右移動は少ないけど左移動が多い」ルートがある場合、どちらを採用すれば良いか決めかねてしまいます。
ただしこの問題の場合、「左右の合計移動回数」だけを管理し、それがなるべく少ないルートを採用すれば、それが各マスへの最適な移動経路となります。このことを確認します。
スタート地点の横軸座標は であり、そこから左右合わせて 回移動して に移動するとします。このとき左右それぞれの移動回数を とすると、
であり、この連立方程式によって の値が一意に定まります。具体的には
であり、合計移動回数 が小さいほど も も小さくなるため、 を小さくするルートが常に最適というわけです。
ということで、左右の合計移動回数 をなるべく小さくしつつ、 による制約の範囲内でマップを探索していきます。上下の移動はノーコストと考えることができるので、単純な「幅優先探索」ではなく、 が小さい順に近隣の探索を行っていく「最良優先探索」をやるとよいです。
最良優先探索の一般的な方法は、ダイクストラ法でお馴染みの優先度付きキューを用いるものです。ただこの問題の場合は、コストを0または1とみなせることから「0-1 BFS」で解くと速いです。0-1 BFSの解説としてはhosさんのスライドや、英語でよければ こちらの記事 などがあります。
ACコード
(C++)Submission #44303644 - Codeforces
C. Dwarves, Hats and Extrasensory Abilities
問題概要
(インタラクティブ問題)以下の処理を行い、最後に条件に合う値を出力せよ。
- システムから整数 が与えられる。
- 以下の処理を 回行う。
- 解答者のプログラムは2次元平面上の整数座標 を指定する。これは毎回異なる点である必要がある。
- システムはその点に対して、黒または白を回答する。
- 異なる整数座標を2つ指定する。この2点を通る直線が、以下の条件を満たす必要がある。
- 前項で指定した座標点のうち、黒い点と白い点がこの直線によって分離される。
- 前項で指定した座標点は、この直線上には存在しない。
制約
- システムから与えられる値は
- 解答者が出力する整数座標は、いずれも
解法
1つの点を指定して、その点が2つの分類のうちどちらに属するかを判定し、境界を探る。これはまさに二分探索と同じ処理であり、二分探索のように解くことができます。
使える範囲は と広いですが、ほとんど1直線上で十分です。ある直線、例えば を考えます。
- まず、 のクエリを発行し、色を指定してもらう。
- 直線 上で、 を二分探索するような要領で 回のクエリを発行する。すなわち初期値を として、 として のクエリを発行する。そこで指定された色が の色と同じかどうかによって、 または を に置き換える。
- クエリを必要回数発行し終わったら、これらの境界となる直線を引く。
のようにできそうです。ここで考えるのは「この方法で毎回異なる点を指定できて、かつ分離できるような直線が引けるのか?」です。
範囲が二分割される機会が最大29回であり、 であることから、クエリ発行完了後の は最も小さい値で1です。クエリが完了する前にこれが1になってしまうと異なる点を指定できなくなりますが、その心配はないです。
距離が1の場合、整数座標を2つ指定して分類直線を引くのが少しだけ難しそうに見えますが、以下のようにすればよいです。 上でやらなかったのは、ここで両側の点を使いたかったからです。
ACコード
(C++)Submission #44443898 - Codeforces
本番は少し違うコードで通しました。距離が1になる場合の対応方法は、いろいろやり方があると思います。
さいごに
確かにこの3問は解きやすく、速解きが求められるのも納得です。D問題以降、AC人数がガタ落ちする感じでした。