Xmas Contest 2020 H: Hierarchical Phylogeny 解説
https://atcoder.jp/contests/xmascon20/tasks/xmascon20_h
問題概要
頂点に の空でない部分集合のラベルがついた根付き木であって,各頂点が
- 子が 個で,ラベルが指定された部分集合 () のいずれか
- 子が 個で,ラベルが子のラベルの非交和
のいずれかであるようなもののうち,根のラベルが指定された部分集合 () のいずれかであるようなものの個数を で求めよ.
立式
の部分集合全体を とします.入力の を 上の関数として表しておきます ( が葉にふさわしいとき ,そうでないとき ).
入力の でいろいろ指定されていますが,結局,根のラベルを指定したときの木の個数を求められればよいです. に対し, を条件を満たす木であって根のラベルが であるものの個数とします ( です).根の子の個数が か かで場合分けして,漸化式 が従います ( で非交和を表すことにします).係数 は子の順番を区別しないためのものです.これをそのまま DP すると 時間になります.
subset convolution
に対して,それらの subset convolution は で定義されます.この解説では単に積のように と書いてしまうことにします.代数の言葉で書くと,和を各点での和,積を subset convolution とすることで から への関数全体が環となります.乗法の単位元は , () なる です.
subset convolution は 時間で計算できることが知られています [1].論文を読んでいただくのがいいと思うのですが,ここでもアルゴリズムを簡単に説明しておきます.メインアイデアは が「 かつ 」と同値ということの利用で,集合のサイズの情報を持たせておいてから についての畳み込み (累積和→積→差分) をします.すなわち に対し を で定め, も同様にし,これらの各点積 (多項式の積) を計算し ,Möbius 変換で戻し ,集合のサイズと次数が合っているところをとればよいです .多項式の積は で計算すれば十分です (さらに細かくいうと は で合っていればよいです ※追記 これ普通に嘘です 例を見てください).
一応例もやっておきます. として, 上の関数は (入力形式のように) の行き先の列で書くことにします.
- とする
- 集合のサイズの情報を持たせると
- 累積和をとって (いわゆるゼータ変換)
- 各点積をとって
- 差分をとって (Möbius 変換)
- サイズが合っているところをとる
さて,subset convolution は 個以外の積の場合も同様です (各点積をとるときに個数が変わるだけです).また をつけたりとったりする操作は線型性を持っています.つまり例えば を求めたければ を求めてから を計算して変換を戻せばよいです.このように,多項式 に対し, を計算するには各多項式 を求めればよいことになります.この多項式計算がそれぞれ 時間でできれば全体で 時間となります.
sqrt
元の問題に戻りましょう. は と書けます.これを のように解けたらよさそうなので,正当化します.
なので,subset convolution の定義を考えて です.冪級数展開 に倣って と定めると, を計算したとき高次の項が消えて, がわかります. なる がこれかこれの 倍しかないことは小さい部分集合から順番に値が決まっていくことから示せます.よって なる方を と書けて, と合わせて と求めたいものが書けました.
さて,あとは多項式 に対して を計算できればよくなりました.これは形式的冪級数としての を で計算できればよく,それは低次の項から順番に合わせれば 時間でできます.なお,説明の簡単のために値を で考えましたが,今回は でしか割っていません (sqrt の代わりに exp 等が登場すると の逆数が要ります).
実装
を落とさなければいけない都合上 でも定数倍が幾分厳しめな時間制限設定になってしまっています.準備陣想定解のうち速いものは 1.5 秒程度 (C++, D), のものは 12 秒程度 (C++) でした.想定解の場合は以下のような注意点が挙げられます:
- 高々 次の多項式を 個持つので 2 次元配列を使うことになりますが,sqrt の計算が支配的なので,C++ などでいう
[2^N][N+1]
の順番のほうが[N+1][2^N]
の順番より速くなるはずです. - 形式的冪級数の sqrt は 時間でできますが,今回は が小さいので定数倍が非常に痛く向いていません.
- sqrt をとるとき log をとって 倍して exp するのは定数倍が大きく間に合わないかもしれません.log を介さず累乗を で行う方法 (微分の利用) だとちょっとだけ遅いですが間に合います.
- sqrt を低次の項から合わせるとき対称性を使って掛け算の回数を約半分にできます.これは必須ではありませんが結構効いてきます.
- 配列を静的に確保すると速くなります.なお,Java の 2 次元配列で動的に確保して 6 秒にぎりぎり間に合うくらいでした.
別解
heno239 さんのアイデアが,subset convolution を中身をいじらずに用いる方法でした.
dp[i]:=根がiになる、条件を満たす木の個数(各iについて葉としてふさわしいならdp[i]=1,そうでないならdp[i]=0で初期化)
— heno (@heno_code) 2020年12月24日
dp2[i]:=Σ_{s in i}dp[s]*dp2[s^i](ただしdp2[0]=1で初期化)
として、各k(0<=k<N)について、
リンク先 Twitter を見ていただきたいのですが,dp2 として「条件を満たす木において葉の 個に印をつけたもの」を数えています.これを一緒に計算することで, の元を 個特別にとって再帰的に解くことができています.畳み込み方としてはいわゆる分割統治 FFT の気持ちにちょっと似ているかもしれません.
代数的には一体何が起こっているのかというのを補足しておきます. を , () で定めて と書けます ( のとき ). を展開して, に注意すると, および が得られます.前者は DP 配列の前半が再帰的に計算できることを言っています.後者は DP 配列の後半を求めるために もほしいということを言っています. とおいて (これが dp2 です) 同様に と書くと, から および が得られます.これで を から求めることができました.一般に を解くときは となり,これはつまり Newton 法の一種です.
subset convolution を中身をいじらず,とは言いましたが, 時間ではあるもののちょっと定数倍が重く残念ながら TLE になってしまったようです.いろいろ試してみたのですが,同じ列に対するゼータ変換・Möbius 変換を複数回行わないようにすることでなんとか通せるかもしれないというくらいでした.ちなみに,この解法には による割り算すら登場しません.
統計情報
正解者:チーム iwiwi (0:49:32) はじめ 4 チーム
コメント
高度典型です!
特に中国で元々有名だった手法です.あまりちゃんと調査を行っていないのですが,中国の IOI 選抜に使われる論文 [2] がこの手の応用のおそらくきっかけです.中国語で「子集卷积」 (subset convolution) やら「集合幂级数」 (set power series) やらを検索することで情報がわんさか出てきますね.日本で話題になったのは ARC 105 のときで,Elegia さんの書き込みのおかげで知れ渡る形となりました.
問題としては解法ドリブンみたいな作問ですが,そこそこ自然な設定で解けた・sqrt は例題が全然見当たらなかったので,日頃からアンテナを張ってる方々へのボーナスという気持ちも込めて出題しました.普段のコンテストだとそもそも計算量の区別でも不幸を呼びやすく出しにくいですし,クリスマスということで.
参考文献
[1] Björklund, Andreas, et al. "Fourier meets Möbius: fast subset convolution." Proceedings of the thirty-ninth annual ACM symposium on Theory of computing. 2007.
[2] 吕凯风. "集合幂级数的性质与应用及其快速算法." 2015年信息学奥林匹克中国国家队候选队员论文. 2015.