問題概要
整数 が与えられる。以下の条件を満たす要素数
の数列
は何通りあるか、
で求めよ。
は相異なる
制約
- F1とF2で
の範囲が異なる。
- F1:
- F2:
- F1:
解法
何となく数列の頭から順に決めていくDPを考えたくなりますが、「相異なる」という条件が厄介です。これをまともに扱おうとそれまで使ったことのある整数を情報として持つことが必要になり、数列の長さがたった12しかないとはいえ値の種類数 がそこそこ大きいのでとても大変です。
見方を変えて、「値のほうを から
まで順に見ていって、使う整数を数列に挿入していく」というDPを考えてみましょう。以下のようなDPテーブルを考えます。
整数
から
までを使うかどうか決めて、長さが
で、問題の条件を満たしているような数列の個数
実はこれだけでは情報として不十分ですが、いったんこんな方針だと思ってみましょう。
からの遷移を考えます。
を挿入するとき、それを挿入できる場所は
- 先頭
- 既に数列にある整数のうち、
であるような
の後ろ
のいずれかです。
また、挿入する位置の後ろの整数との関係は常に条件を満たします。後ろの整数を とすると条件式は
ですが、今までの値より大きい値を常に挿入するのでこれは常に満たされます。
そして数列が具体的にどのような並びであろうと、挿入できる箇所の個数は変わりません。ここが挿入DPの大きな特徴です。
そのため を挿入できる場所の個数を知るためには、
から
までの
個の整数が数列に存在しているかという情報があれば十分です。これをDPテーブルの状態に加えましょう。
整数
から
までを使うかどうか決めて、長さが
で、
から
までの整数のうち数列に含まれているものの集合が
であって、問題の条件を満たしているような数列の個数
ここで は
個の整数のある/なしを表しているので
通りです。実装上はそれぞれをビットで管理した整数として扱いましょう。最下位ビットを整数
に、最上位ビットを整数
に対応させておくと、ビットシフトで見ている範囲をずらすことができます。
こう置くと、 からの遷移は
- 整数
を使う。
の立っているビットの個数を
として、
倍して
に遷移する。
- 整数
を使わない。
に遷移する。
と書くことができます。
※一般に挿入DPで考慮すべきこととして、「隣り合った要素がいったん条件に違反していても、後で他の値を間に入れることで違反が解消されるかもしれない」というものがあります。しかし今回は常に今までより大きな値を入れていくため、 に違反しているような
の間にこれらより大きな値を入れても依然違反状態であり、解消されることはないので考慮しなくて大丈夫です。
このDPを普通に計算すると計算量が になります。F1の制約においてはこれは十分間に合います。
F2においては が非常に大きく、
が掛かるような解法は厳しいです。これを解くためDPの遷移に注目すると、
は、いくつかの
に
に依存しない係数を掛けたものの和(線形結合)である。
の要素数を
と置くと、
であり最大でも200程度と非常に小さい
ということが分かります。このことから遷移は長さ のベクトルに
行列を掛けることとみなすことができて、行列累乗により
で解くことができます。