Educational Codeforces Round 11 E. Different Subsets For All Tuples
お題箱より。
公式解説より楽な解法があるのでそっちを紹介します。記事最後に、リクエストにあった公式解説の補足についても説明します。
問題概要
整数列 に対して、 を「 の部分列(連続でなくても良い)として登場する長さ 以上の相異なる数列の個数」と定義する。
各要素が のいずれかであるような長さ の数列は 個ある。その全てについて の値を合計した値を で求めよ。
制約
解法
※解説中の「数列」という言葉は、特に断らない限り各要素が のいずれかであるようなものを指すことにします。
数え方についての考察
の計算ルールとして、相異なる部分列の個数を数えるので、例えば のように複数の取り出し方で同じ部分列ができる場合にも 通りとして数える必要があります。このときによく使うのが、「その部分列を取り出す位置の組み合わせのうち、最も左側から取り出すようなものだけを数える対象とする」、という考え方です。先ほどの例の場合は(先頭を 番目として) 番目が最も左側から取り出す位置になります。
これを踏まえて、ある長さ の数列 があった時に、それを部分列として含む長さ の数列 を数える方法を考えます。まず、先ほど考えた「最も左側から取り出す」取り出し方で の各要素に対応する の位置を決めたとします。そうすると の各要素の値の候補数は、
- の要素に対応している: 通り
- の要素に対応していない&それ以降に に対応する要素がまだ存在する: 通り
- の要素に対応している&それ以降に に対応する要素がもう存在しない: 通り
となります。 番目が 通りとなる理由は、もし における次の要素と同じ値を採用してしまった場合、そこから取り出したほうがより左側になってしまうので、「最初に決めた位置が最も左側から取り出す位置である」という決め事に反するからです。
この が何通りあるかは、 の要素に対応する最後の位置が何番目であるかによって変わってきます。公式解説ではこの「 の長さはいくつか」「 の要素に対応する最後の要素は の何番目か」を組み合わせた2重和を考えていますが、別の方法があります。DPをしましょう。
DPをする
取り出し元の数列 と部分列として取り出す数列 の組 をDPで数えます。 の要素数を つずつ増やしていきながら、 の要素数を増やすパターン、増やさないパターンのそれぞれの遷移をします。
先ほど見たように、 の要素に対応していない の要素の候補数は、まだ に対応する要素が残っているかどうかで変化します。なのでこれを考慮し、次のような状態定義をします。
- 長さ の数列 と、その部分列である長さ 以上の数列 の組であって、今後 の要素を増やす予定のもの
- 長さ の数列 と、その部分列である長さ 以上の数列 の組であって、もう の要素を増やさないもの
その時点での の長さは持たなくても良い、という点が1つの注目ポイントです。
からの遷移は以下のように列挙できます。
- から、 の要素を末尾に つ増やし、 の要素としては採用しない: を掛けて に遷移
- から、 の要素を末尾に つ増やし、それを の要素としても末尾に追加する: を掛けて、(まだ終わらない)と (これで終わり)の両方に遷移
- から、 の要素を末尾に つ増やし、 の要素としては採用しない: を掛けて に遷移
初期条件は とすれば良いです。後者は として何もない状態からもう要素を増やさない、つまり空数列に対応します。答えは になります。
これなら で解くことができます。
ACコード
Submission #93359107 - Codeforces
おまけ:公式解説の式変形について
元々のリクエスト内容である公式解説の式変形についても触れておきます。まず、最初に立式された
という2重和は、 を2軸とする2次元平面において以下のような三角形の領域について値を全て合計しています。
この領域を、 と置いた が一定の領域、つまり斜めに切って和を取るように変形しています。その上で元々の を ずらすと、次の式である
という形になります。式の中身も「 である」「 は元々の から ずれている」と思うと変形を追いやすくなると思います。
あとは最後の二項係数の計算
ですが、これはグリッド上の経路数の問題として理解することができます。 マスのグリッドで左下から右上に行く経路を直接計算したものが右辺、図のように分解して足し合わせたものが左辺です。