Codeforces Round #654 (Div. 2) E2. Asterism (Hard Version)
問題概要
長さ の数列 と素数 が与えられる。まず、以下の問題を考える。
- 整数 が与えられる。 を並び替えた順列 であって、全ての について が成り立つようなものは何通りか?
この問題の答えが の倍数とならないような を全て列挙せよ。
制約
解法
説明と実装を合わせるために0-indexedで表記します。また、与えられた数列 をソートしておきます。
まず数え上げ問題の答えがどうなるかを考えます。 番目(最初を 番目とします)の選択において として選べるインデックス の候補は、 が成立するものから、 までで既に使っている 個を除外したものです。この選択肢の数は が増えるほど増えていき、それ以前の選択で何を選んだかに依存しません。 個全てにおける選択肢の個数の積が数え上げ問題の答えになります。
が素数であることから、NGになるのはこの選択肢の個数に の倍数が含まれているときだけです。このNGになる条件を、選択肢が 個になる場合と 個になる場合でそれぞれ考えます。
選択肢が 個になる場合
番目の選択において選択肢が 個になる条件は、 が成立する が 個以下であること、つまり が成立することです。どれか1つ以上の選択において選択肢が 通りとなる条件は、これら全ての和集合を取って
が成立することです。
選択肢が 個になる場合
まずは選択肢がちょうど 個になる場合だけ考えましょう。
番目の選択において選択肢が 個になる条件は、 が成立する がちょうど 個であること、つまり
が成立することです。これらのNG条件を順番に書き下して、 が単独になるように移項すると
- ...
となります。これらの式の並びを見ると、前の区間の終点より小さいところから次の区間が始まり、それを繰り返して最後は終点なく までNG区間が続いています。このことからこれら全ての和集合は、全区間の始点のうち最も小さいものだけを用いて
と1つにまとめることができます。
選択肢の個数が 個になるNG条件がまだ残っていますが、これらは選択肢が 個になるような より大きいので、これらも全て上記の条件に含まれます。
まとめ
以上でNG条件が全て考慮できて、これらは非常に扱いやすい形をしています。これらの2つの条件に当てはまらない の範囲は
と1つの区間(あるいは空集合)として表現できるので、両端の値を求めることで答えを列挙することができます。