AtCoder Grand Contest 046 D - Secret Passage
お題箱より。
解法
操作の特徴をつかむ
与えられる文字列 の長さを とします。また の 文字目を と表記します( 先頭は です)。
操作列によって文字列がどのようになるかを、まずは大雑把に理解しましょう。前から順に操作されるため、元の文字列 は操作された前側の領域と操作されなかった後ろ側の領域に分かれます。そして操作された文字のうちいくつかが後ろ側に挿入されることによって文字列が完成します。
削除されなかった文字がどこに挿入されるかは自由です。また、挿入された文字が再び操作の対象となる場合もあり得ます。
このように考えると、操作列の結果としてある状態が作れるかどうかは、その操作列において操作される領域の長さ、後ろに挿入する 0
の個数、後ろに挿入する 1
の個数という3パラメータから判断できることが分かります。例えば上の図の操作であれば です。
これを踏まえて、次のDPを考えましょう。
- 文字列 のうち先頭 文字を操作することで、
0
を 文字、1
を 文字後ろ側に挿入することはできるか?(true/false)
初期条件は がtrueであることです。遷移を考えましょう。 がtrueであるとき、その状態からの操作を考えることで次に列挙する遷移先をtrueにすることができます。
- 先頭2文字を操作し、後ろ側の文字をそのままの位置に戻す。実質的に先頭1文字を削った形になり、 がtrueである。
- 先頭2文字を操作し、そのうちの1文字を後ろに挿入する。 と のうちいずれかが
0
であれば がtrueであり、いずれかが1
であれば がtrueである。 - これまでの操作で「後ろに挿入する」ということにした文字のうち、 と異なる文字を1つ の直前に挿入してから、その文字と を操作し、 を後ろに挿入する。 が
0
であれば がtrueであり、1
であれば がtrueである。
※遷移1については、厳密には操作されているのは 文字目までではなく 文字目までなのですが…後の説明の都合上、「残っている文字が2文字以上のとき、先頭の文字を1つ削除する」という操作として扱ってしまうことにします。
後で使う性質として、このDPテーブルには単調性が成り立ちます。 がtrueならば、 かつ である に対して もtrueです。これは を実現する遷移列において、遷移2と遷移3を適切に遷移1に置き換えていくことで の値を自由に減らせることから示せます。
このDPテーブルにおいて値がtrueであるような の組全てについて、
- の後ろ側 文字に、
0
を 個、1
を 個挿入してできる文字列が何通りあるか?
を計算して合計すれば答えが求められそうな気がします。しかし、残念ながらこれでは正しい答えになりません。異なる の組から同じ文字列ができてしまう可能性があるからです。
重複を排除する
操作列によって作ることができる全ての文字列を、それぞれちょうど1回だけ答えに加算する方法を考えます。ある文字列 が作れるとして、 を作る時に操作する領域の長さ をちょうど1通りだけ考えることができれば、操作されない領域に不足している 0
と 1
の個数である は一意に定まります。
ここで、次の性質が成り立つことが証明できます。
- ある操作列によって文字列 を作ることが可能であるならば、「 の接尾辞であって、 の部分列として取れるもののうち最も長いものの長さ」を として、 の末尾 文字を操作することなく を作るような操作列が存在する。
この性質を利用して、 を作る時に操作する領域の長さを に限定することで、文字列 をちょうど1回だけ数えることができます。
この性質を証明します。以下の図のように、操作されない領域の長さが よりも短い操作列Aで が作れると仮定します。このとき、操作されない領域が1つ長くなるような操作列Bが存在して が作れることが証明できればよいです。
直感的には、操作する領域の文字のうち最大で半分しか後ろ側に挿入できないことを考えると、操作する領域の長さが1つ減る代わりに挿入すべき文字が1つ減るのは条件として易しくなってそうな気がします。ちゃんと証明するために冒頭のDPを用います。
操作列Aにおいて操作した領域の長さ、挿入した0の個数、挿入した1の個数を とします。図のように が 1
である場合を考えます( が 0
である場合も同様に考えられます)。すると操作列Bは で特徴づけられるため、「 がtrueであるならば、 もtrueである」ことが証明できれば良いです。
がtrueであるならば、その遷移元としてあり得る状態のうち少なくとも1つがtrueであるはずです。冒頭の遷移一覧に基づいてこの遷移元を列挙します。
- ( が
0
である場合)
第1添字が のものについては、そこから遷移可能な先に置き換えます。すると次のうち少なくとも1つがtrueであることが分かります。
これらは全て、第2添字、第3添字がともに示したい の添字以上になっています。よってDPテーブルの単調性から、これらのうちどれがtrueであっても がtrueであることが言えます。以上で証明が完了します。
答えを数える
ようやく答えを数えるパートです。これまでの考察から、 の組全てについて次の値を計算すれば良いです。
- : の後ろ側 文字に、
0
を 個、1
を 個挿入してできる文字列であって、「 の接尾辞であって、 の部分列として取れるもののうち最も長いものの長さ」が であるものが何通りあるか?
これは文字列 を後ろから作っていくDPで求めることができます。 からの遷移としては、もし が 0
であれば
- 文字列の先頭に
0
を付ける:部分列として取れる接尾辞の長さが増えるので、 に遷移 - 文字列の先頭に
1
を付ける:部分列として取れる接尾辞の長さが増えず、挿入した文字の扱いになるので、 に遷移
という2通りの遷移があり得ます。 が 1
であれば逆です。
がtrueである 全てについて を合計すれば答えになります。実装によっては空文字列を含んでしまう( を算入してしまう)ことがあるので、その場合は を引きましょう。