AtCoder Beginner Contest 130 E - Common Subsequence
公式解説とほとんど同じだけど、二次元累積和が出てこないようなDPで解いたので記録しておきます。
解法
記法について
数列 を単に 、数列 を単に と書くことにします。
与えられた数列は1-indexedで扱い、「0要素目」として空の要素を考えることにします。空部分列" "は0要素目が入っているものとみなします。
基本の考え方
いくつか微妙に違う解き方を紹介しますが、基本の考え方は同じです。それは
- のほうは より前で終わっていて、 のほうも より前で終わっているような等しい部分列の組に対して、 である要素をそれぞれくっ付けることによって、等しい部分列の組が新しく出来る
ということです。図で表すとこんな感じです。
このような考え方を元にDPを組んでいく、という点ではどの解法も共通しています。
公式解説のDP
公式解説のDPは、もうすこし具体的に書くと以下のものを状態として定義しています。
数列 の 要素目までを使いちょうど で終わるような部分列と、数列 の 要素目までを使いちょうど で終わるような部分列の組で、列として等しいものの個数。
このように定義すると、もちろん のときは です。そして のときはそれより前で成立している部分列の組全てから遷移してくるため、公式解説のように二次元累積和を用いて遷移を計算できます。
この場合、答えは になります。
ちょっとちがうDP
これとは少し違うやり方として、以下のような状態を考えることもできます。
数列 の 要素目までを使った部分列と、数列 の 要素目までを使いちょうど で終わるような部分列の組で、列として等しいものの個数。
ここでは のほうだけに「ちょうど終わる」条件を付けています。ここで、空部分列同士のペアはそれぞれ0要素目で終わるものと見なします。
このDPテーブルを が小さいところから埋めていく遷移を考えましょう。
「貰うDP」で考えます。 に遷移してくる遷移元として2通り考えられます。まずは、
- のほうは より前で終わっていて、 のほうは でちょうど終わるような部分列の組
です。その個数はまさに で、これは にもそのまま含まれます。
それとは別に、 のときに限り次のようなものが考えられます。
- のほうは より前で終わっていて、 のほうも より前で終わっているような部分列の組に対して、それぞれ を付け足したもの
この場合の遷移元は、 になります。「 より前で終わっている」という条件に合致するように、 のほうの添字について までの和を取っている形です。
これは言うなれば「一次元累積和」ですね。この和は各 について遷移を計算する際に、 を0から まで順に動かしながら順番に足していくことで管理することができます。
このDPを最後まで計算して、 が答えです。
もうちょっとちがうDP
詳しくは説明しませんが、他にも次のような状態を定義しても解くことができます。
数列 の 要素目までを使った部分列と、数列 の 要素目までを使った部分列の組で、列として等しいものの個数。
どっちも「ちょうど終わる」という条件がなくなってますね。この場合の遷移はLCS(最長共通部分列)のDP遷移によく似たものになり、「LCSっぽく解く」と言っている人は多分これで解いていると思います。これでも解けます。
この場合は答えは になります。
このように、状態の定義がちょっとずつ違うので遷移と最終的な答えがちょっとずつ違ってきます。冒頭に書いたとおり、本質的にやっていることは同じです。
ACコード
Submission #5962772 - AtCoder Beginner Contest 130
私が本番書いた解法は2番目に紹介した「一次元累積和」のものなので、そのコードリンクです。
ちょっとずつ違う解き方が色々あるぶん、解法の情報を断片的に見るとかえって混乱するかもしれません。どのように状態を定義した場合の解法なのかを区別しながら理解し、どれでもいいので1つ決めてから解いてみることをオススメします。