AtCoder Grand Contest 048 B - Bracket Score
解法
正しい括弧列の必要十分条件
いわゆる「正しい括弧列」の問題です。よく使われるアプローチとして累積和がありますが、今回は括弧が2種類あるので2つの累積和を管理する必要があり厳しそうです。
今回は別の性質を使うことにします。1種類の括弧 (
)
からなる括弧列が正しい括弧列であることの必要十分条件として、
- 文字列から連続する
()
を取り除く操作を繰り返すことで、空文字列にできるような操作列が存在する
ことが挙げられます。今回のように2種類の括弧列がある場合も、同様に
- 文字列から連続する
()
または[]
を取り除く操作を繰り返すことで、空文字列にできるような操作列が存在する
ことが「良い括弧列」であることの必要十分条件になります。
AB文字列に置き換える
括弧列をそのまま考えるのは面倒なので、文字を2種類だけにします。括弧列 に対して、(
と )
を A
に、[
と ]
を B
に置き換えた文字列 を考えます。括弧列のスコアはこの から計算することができます。
もし が良い括弧列であるならば、先ほど確認した事実から、 は「文字列から連続する AA
または BB
を取り除く操作を繰り返すことで、空文字列にできるような操作列が存在する」という条件を必ず満たすはずです。逆に A
または B
からなる文字列 がそのような条件を満たすならば、操作列において取り除かれる AA
を ()
に、BB
を []
に置き換えることで必ず良い括弧列 を作ることができます。
このことから、括弧列ではなく A
または B
からなる文字列を最初から考え、「文字列から連続する AA
または BB
を取り除く操作を繰り返すことで、空文字列にできるような操作列が存在する」という条件のもとでスコアを最大化すれば良いことが分かります。
偶奇いずれかのインデックスを反転
ここまでの考察でも解けますが、もう1ステップ進んでみます。「連続する2文字を取り除く」という操作において、残された各文字が位置するインデックスの偶奇は変わりません。このことを利用して、初期状態で奇数インデックスに位置する文字だけ A
と B
を反転してみます。「連続する AA
または BB
を取り除く」という操作は、この反転によって「連続する AB
または BA
を取り除く」という操作に変わります。
そして連続する AB
または BA
を取り除く操作によって空文字列にできる必要十分条件は、A
と B
がちょうど同数存在することです。必要性は明らかで、十分性は「初期状態でA
と B
がちょうど同数であれば、操作の過程で A
と B
は常に同数であり、空文字列になるまで A
と B
が隣り合う箇所が常に存在する」ことから言えます。
ここまで考察できれば解法は非常にシンプルです。以下の手順で答えを求めることができます。
- 与えられた入力に対して、奇数であるインデックス の と を入れ替える。
- 全てのインデックスを の値でソートし、小さい方から半分の と大きい方から半分の を採用し、合計値を求める。
ACコード
Submission #17509364 - AtCoder Grand Contest 048
最後の考察は少し前のAGCでも出題されていたため、コンテスト本番ではこれを思い出して解くことができました。
AtCoder Grand Contest 048 D - Pocky Game
解法
各山の石の個数について、その初期値を と表し、ゲームの途中経過における値を と表すことにします。
まずは全ての状態を網羅するDPを
もし石の総数が十分少なければ、以下のDPで全ての局面の勝敗状態を求めることができます。
- :「先手の手番で、1個以上の石が残っている山の番号が から までで、山 の石の個数が 、山 の石の個数が である」という状態が先手勝ちであればtrue、後手勝ちであればfalse。
- :「後手の手番で、1個以上の石が残っている山の番号が から までで、山 の石の個数が 、山 の石の個数が である」という状態が後手勝ちであればtrue、先手勝ちであればfalse。
当然ながらこれでは状態数が多すぎるので減らす方法を考えます。
単調性に気付く
1個以上の石が残っている山の番号が から までである状態をまとめて考えます。このとき、先手は自分が操作する山 に残っている石 が多いほど有利です(それ以外の状況が全く同じである場合)。同様に後手は山 に残っている石 が多いほど有利です。石が多い状態からは、余分に石を取ることで石が少ない状態と同じ遷移ができるからです。
この性質を利用すると、自分側の石の個数をキーではなく値の方に持つ、以下のようなDPの状態を考えることができます。
- :先手の手番で、1個以上の石が残っている山の番号が から までで、山 の石の個数が であるとき、山 の石の個数がこの値以上であれば先手勝ち、そうでなければ後手勝ちである。
- :後手の手番で、1個以上の石が残っている山の番号が から までで、山 の石の個数が であるとき、山 の石の個数がこの値以上であれば後手勝ち、そうでなければ先手勝ちである。
これは「bool値を持つDPで、あるキーについて単調性がある場合、そのキーを値にすることで状態数を減らせる」という汎用性の高いテクニックです。ですがこれでもまだ間に合わないのでさらに状態を削ります。
「山の石を取り切った瞬間」だけを考える
1ターンずつ全ての状態を考えていると間に合わないので、ゲームにおいて区切りとなるような状態だけ考えて、それらの勝敗判定ができないか考えます。
ゲームの流れを大雑把に区切ると、「いずれかのプレイヤーが自分側の山の石を全て取り切る」というイベントが合計 回起こります。このように相手が山の石を全て取り切って自分にターンが回ってきた瞬間には、相手側の次の山には石が全て残っています(石が残っている山が1個以下になる場合を除く)。このような状態だけをピックアップします。
- :先手の手番で、1個以上の石が残っている山の番号が から までで、山 の石の個数が初期値 のままであるとき、山 の石の個数がこの値以上であれば先手勝ち、そうでなければ後手勝ちである。
- :後手の手番で、1個以上の石が残っている山の番号が から までで、山 の石の個数が初期値 のままであるとき、山 の石の個数がこの値以上であれば後手勝ち、そうでなければ先手勝ちである。
ただし石が残っている山が1個である場合は個数に関わらず石を全部取り切って勝てるので、全ての について とします。これがDPの初期状態です。
これでようやく状態数が になります。ですが1手ずつの状態を考えていないので、遷移を求めるのに工夫が必要です。
遷移計算
の求め方を考えます。もう片方も同様です。
まず、それぞれのプレイヤーが取る行動としては「1個だけ取る」「山の石を全部取る」の2通りだけ考えれば十分であることが分かります。他の条件が同じであれば自分側の山の石が多いほうが有利なので、取り切らないのに2個以上取るという行動は自分を不利にするだけだからです。
もしいきなり先手が全取りして勝ち状態に持っていける場合は、 です。こうなる条件は、全取りすることで後手に渡す状態が後手にとって負け状態であること。つまり であることです。
そうでない場合、先手が1個取り、後手が1個取り…という行動を繰り返してそれぞれの石が減っていき、「ここで全取りすれば勝ち」という状態に先になったほうが勝ちます。先手側の山 にある石の個数を とすると、こうなるまでの行動回数は
- 先手が全取りで勝てるようになるまでに必要な後手の行動回数: から始まって を満たす状態まで減って欲しいので、 回必要。
- 後手が全取りで勝てるようになるまでに必要な先手の行動回数: から始まって を満たす状態まで減って欲しいので、 回必要。
と計算することができます。先手の手番であることを考慮すると、先手が勝てる条件は
なので、 が整数であることを考慮してこれを解くと
となります。
よって整理すると、 は以下のように求められます。
- である場合、
- そうでない場合、
これで遷移が計算できるので、区間が狭い方から順番に求めていきます。最終的に先手が勝つ条件は で判定することができます。
ACコード
個数制限付き部分和問題+条件を満たす選び方の数え上げ
先日のコンテストの問題における、最後の高速化について知りたいというリクエストがあったため、解説を書きます。より一般的な「個数制限付き部分和問題+条件を満たす選び方の数え上げ」という枠組みで説明します。
扱う問題
正整数 と、正整数からなる長さ の数列 が与えられる。
を 個以上 個以下、 を 個以上 個以下…と選ぶ方法のうち、その総和が であるような方法の個数を で割った余りを求めよ。
より形式的には、以下の条件を満たす非負整数列 の個数を で割った余りを求めよ。
- 全ての に対して
この問題を全体計算量 で解きます。
解法
普通の部分和問題と同様にDPをします。状態を以下のように定義します。
- : をそれぞれいくつ使うか決めて、それまでの総和が であるような場合の数
このDPテーブルのサイズは です。
をいくつ使うかを決める時の遷移を、貰うDPで考えます。 に遷移するのは、
- から、 を 個使うことにして遷移
- から、 を 個使うことにして遷移
- …
- から、 を 個使うことにして遷移
という 個の遷移元のうち、添字が非負であるものです。
これらを全て個別に遷移していては最悪ケースで 掛かってしまうので、以下のいずれかの手法で高速化します。
高速化手法1:累積和
先ほどの説明から、DPの遷移式は以下のようになります。
を が等しいグループに分けて、グループごとに の累積和を取っておきます。そうするとこの右辺は1つのグループ内での区間和になるので、累積和から で計算できます。これで全体計算量 を達成できます。
高速化手法2:差分更新
本質的には高速化手法1とほぼ同じですが、より実装が楽だと思います。
と の遷移元がほとんど同じで1つだけずれていることを利用すると、 を小さい方から求めていきながら以下の式で差分更新することができます。
添字が負である領域の値は全て とします。この計算は でできるので、同様に全体計算量 を達成できます。
実装例
高速化手法2を使っています。
#include <bits/stdc++.h> using namespace std; int64_t MOD = 1e9+7; void add(int64_t& a, int64_t b){ a = (a+b) % MOD; } void mul(int64_t& a, int64_t b){ a = a*b % MOD; } int main(){ int N, S; vector<int> A(N), B(N); vector<vector<int64_t>> dp(N+1, vector<int64_t>(S+1)); dp[0][0] = 1; for(int i=0; i<N; i++) for(int j=0; j<=S; j++) { dp[i+1][j] = dp[i][j]; if(j-A[i] >= 0) add(dp[i+1][j], dp[i+1][j-A[i]]); if(j-(B[i]+1)*A[i] >= 0) add(dp[i+1][j], MOD-dp[i][j-(B[i]+1)*A[i]]); } }
ACコード
冒頭にリンクを貼った問題のACコードリンクも貼っておきます。これが元のリクエストの回答になればと思います。
AtCoder Regular Contest 104 E - Random LIS
公式解説とは違う解法です(たぶん)。
解法
あり得る全ての場合に対するLISの長さを合計して、全事象数 で割ることにします。
取っ掛かりが非常に掴みにくい問題ですが、 という制約から何らかの全探索をやることを目指してみます。
座標圧縮とゾーン分け
座標圧縮をします。数列 に含まれる値の種類数を として、 に を加えてソート・重複排除した数列を ()と置きます。するといずれかの が取り得る正整数の範囲は、 , , という半開区間で表される 個のゾーンに分けることができます。それぞれの は最大値 の値に応じて、このゾーンのうち前からいくつかに属することになります。
まず、 がそれぞれどのゾーンに属するかを全探索します。これは 通りの全探索をすれば良いです。このとき がそのゾーンに属することができない( が区間の下端以下である)ような がある場合、そのパターンは無視します。
ゾーン内部の大小関係
その上で各ゾーンについて、その内部での大小関係を全探索します。このとき複数の要素が同じ値を取り得る場合があるので、それも含めて全探索する必要があります。
ゾーンに含まれる要素の数が であるとき、数列 の大小関係の列挙は、
長さ の非負数列で、その最大値が であるときに が全て含まれているもの
として列挙できます。この数列の個数が公式解説に書かれている Ordered Bell Numberです。例えば であって非負数列が であれば、大小関係は です。
この数列を予め要素数 のそれぞれについて列挙しておくと、ゾーン分けを固定した後にそれぞれのゾーン内の大小関係を全探索できます。
場合の数とLISの長さ計算
ゾーン分けとゾーン内部の大小関係を全探索したら、そのパターンに該当する場合の数とLISの長さを計算して合計します。
場合の数は、各ゾーンで使う整数の選び方を計算した積になります。 番目(0始まり)のゾーンに含まれる整数は 個であり、その中で 種類の整数を使う場合、その選び方は 通りです。
LISの長さは、ゾーン分けとゾーン内部の大小関係に応じて と大小関係が等しい数列を適当に作り、そのLISを求めれば良いです。例えば小さい方から 番目のゾーンで小さい方から 番目の値を とすれば と大小関係が等しくなります。
計算量の評価は難しいですが、 で が全て異なる入力ケースにおいてパターン数を実際に計算すると 通りでした。なのでこの中で毎回LISのアルゴリズムを回しても問題ないでしょう。
ACコード
Submission #17196593 - AtCoder Regular Contest 104
実装はなかなかの筋肉系です。
Codeforces Round #673 (Div. 1) D. Graph and Queries
コンテスト中に自分が通した解法を書きます。
問題概要
頂点 辺の無向グラフが与えられ、頂点 には相異なる整数 が書かれている。
以下のクエリを合計 個処理せよ。
1 v
:頂点 と連結な頂点の中で最も大きい整数が書かれている頂点 を探し、 を出力する。その後、 に書かれている整数を に書き換える。2 i
:辺 を削除する。
制約
解法
辺を削除するクエリなので、逆から見ていけばUnion-Findが使えます。一方クエリ1に答えるためには「それ以前のクエリでどの整数が既に取られているか」の情報が必要なので、前から処理していく必要があります。
よって、辺が削除される過程を逆からUnion-Findで処理し、そのロールバックを行うことで前からクエリを処理できるようにするという方法を取ることにします。
Union-Findのロールバックは、経路圧縮を捨てればシンプルです。findクエリでは内部の状態は変化せず、unionクエリで変化する状態は定数個(親情報と、rankまたはsizeの情報)なので、「値を変更した配列のインデックスと変更前の値を時刻(クエリ番号)ごとに覚えておく」ことでロールバックが実現できます。
今回の問題の場合は追加で、各連結成分に含まれる の値の集合も持っておきたいです。これは set
などで管理しておけば通称マージテクでマージすることができます。このとき「インデックス の set
に値 を追加した」という情報を記憶しておけば、それを逆に削除することでロールバックできます。
ではこれを利用して前からクエリを処理していきましょう。クエリ2に対しては先ほど解説したロールバックをします。
クエリ1に対しては、その時点での頂点 のUnion-Findにおける根を求め、その根が持っている set
を参照します。ただしこの set
には以前のクエリで既に使われている整数が入っている可能性があるため、まず set
の中の最大値が使用済みである限りその要素を取り除きます。その上で要素が残っていればその最大値がクエリの答えであり、要素が残っていなければ答えは です。
計算量としては、set
の全要素数の合計がマージテクにより になるので、その挿入および削除の操作 が一番重いです。経路圧縮を捨てるとUnion-Findの各クエリが になるので、全体計算量としては になります。
ACコード
set
の中で参照する値が最大値だけなので、削除処理を工夫すれば priority_queue
でもできます。範囲for文が使えないのが地味に面倒だったりしますが…
- (
priority_queue
使用)Submission #94117213 - Codeforces
第三回 アルゴリズム実技検定 C - 等比数列
お題箱より。
解法というよりは「こういう問題を解くための思考プロセスが知りたい」というリクエストだったので、その方向で書きます。
解法
この問題は結局、等比数列の性質を知識として知っている、または実験によって理解することが重要です。なので正直なところ、「知らない場合は色々な値で実験しよう(またはWeb検索しよう)」というのが解くための近道だと思います。
初項 が正の数であるとき、等比数列は公比 の値に応じて以下のような挙動になります。
の範囲 | 挙動 |
---|---|
項が進むにつれて値が急速に大きくなる。 | |
全ての項が である。 | |
項が進むにつれて値が急速に に近付く。 | |
を交互に繰り返す。 | |
正の数と負の数を交互に繰り返しながら、その絶対値が急速に大きくなる。 |
このように の値によって挙動が大きく変わるので、まずここで場合分けをする、という思考をします。今回の問題では が正の整数なので、最初の2項目だけを考えれば良いです。
次にそれぞれの場合について考えます。
のとき
このときは値が急速に大きくなるため、少ない項数で を超えてしまうことが予想されます。それ以降は値が大きくなり続けるので、一度 を超えてしまうと答えは large
で確定します。そのため「普通に等比数列の計算を順にしていって、 を超えたら large
を出力して途中終了し、途中終了せずに 第 項まで計算できたらそれを出力する」という解法が考えられます。
large
になるまで最大でいくつの項があるかを見積もります。 は正整数なのでできるだけ小さい方が値が小さくなりやすい(長引きやすい)です。今は の場合を考えているので、その中で最小ケースである に対して実際に計算をすると第 項で を超えることが分かります。
そのため 回以内の計算で「large
になって途中終了する」または「第 項が計算完了する」のどちらかによって答えが分かるので、実行制限時間に十分間に合います。
のとき
全ての項が であり、 は 以下なので、 を出力すれば良いです。
まとめ
等比数列の性質に関しては、知識として覚えてしまうのが良いと思います。
また等比数列に限らず、「挙動が大きく変わるところで場合分けする」という思考プロセスが重要です。これは今回のようにある値を境界とした大小だったり、正負、偶奇、素数か合成数か…などなど色々あり得ます。思いつかなければ実験して探してみましょう。
そしてこのくらいの難度の問題であれば、その場合分け基準は数学的な基本知識や他の問題でも使える典型テクニックであることが多いので、1度出てきたものを覚えて次回使えるようにしておくのが重要だと思います。
ACコード
ACL Beginner Contest F - Heights and Pairs
解法
まずは入力を各身長ごとの人数として集計します。 を身長が である人の人数とします。 であり、 人であるような身長を無視すれば身長の種類数は 以下です。
条件を満たす組み方をDPなどで直接数えようとすると、 から落ちず厳しいです。
包除原理を適用します。同じ身長で組んでいるペアを「違反ペア」と呼ぶことにして、違反ペアを 個以上集めた集合を とします。「 に含まれるペアは必ず組んであって、その他のペアは自由に組まれているような組み方の数」を とすると、答えは包除原理から
と計算できます。集合 の取り方は膨大にあるので のサイズごとに集計することにします。
まずはそれぞれの身長ごとに独立に、違反ペアをいくつか組む組み方を数えます。以下の値を計算します。
身長が の人の中で、違反ペアをちょうど 組だけ組むような組み方。(それ以外の人の組み方はまだ決めない)
これはまず、違反ペアに参加する人を選ぶのが 通り。その中で違反ペアを組む組み方は、
- まず 人適当に誰かを選び、その人の相方を残りの 人の中から選ぶ。
- また 人適当に誰かを選び、その人の相方を残りの 人の中から選ぶ。
- …
と考えると、二重階乗を用いて 通りと計算できます。この は から まで取り得ます。
各身長ごとに求めた数列 を全てマージします。身長 の人の違反ペアが 組、身長 の人の違反ペアが 組…という組み方を合わせると、合計違反ペアが 組であるような組み方が 通り得られます。これを全ての について計算するので、これは数列をFFT(NTT)でマージすることに相当します。
これを最後までマージすると、以下の値を示す数列が得られます。
全ての人の中で、違反ペアをちょうど 組だけ組むような組み方。(それ以外の人の組み方はまだ決めない)
これに残りのペアの組み方 を掛けると、「 であるような についての の和」が得られます。これを包除原理の式に従い合計すると答えになります。
あとはNTTのマージにかかる計算量を落とす必要があります。各身長に対する の長さは であり、なので、全ての数列の長さの和は 以下です。
何も考えずにマージすると、長い数列に短い数列を何回もマージするような場合に最悪で の計算量が掛かってしまいます。
マージの順番を工夫して、以下の二分木のようにマージをするとどうでしょうか。
二分木の1段分のマージでは、長さの和が 以下である数列たちが1度ずつNTTでマージされるので、合計で計算量 になります。そして二分木のようにマージすると 段で全てマージし終わるので、全体計算量 でマージできます。
数列の本数が2冪でないときはトーナメントのシードのような扱いをします。また二分木でのマージとは挙動が少し異なりますが、数列たちをキューに入れて「先頭から 本取り出してマージした結果を末尾に入れる」という処理を 本になるまで繰り返しても同様の計算量が達成できます。