atcoder#AGC044F. [AGC044F] Name-Preserving Clubs

[AGC044F] Name-Preserving Clubs

题目描述

N N 人の (名前の異なる) 人がおり、K K 個のクラブがあります。あなたは、各クラブの会員をすべて知っています (形式的に言えば、K K 個の無順序リストを持っています)。それぞれの人は複数のクラブの会員である可能性も、どのクラブの会員でもない可能性もあります。複数のクラブの会員の集合が全く同じである可能性もあります。 ここで、K K の値は、次の条件を満たす会員構成が少なくとも一通り存在するような最小の値となっています。

  • N N 人全員が (全員の名前が異なるという条件を守りながら) 改名して、K K 個のクラブの改名後の会員リストがあなたに与えられた (ただし、どの会員リストがどのクラブのものかは知らされない) とする。このとき、あなたは確実に、改名後の N N 個の名前すべてについてその名前の人の元の名前を当てることができる。

このような K K 個のクラブの会員構成が何種類存在するか求めてください。ただし、1000 1000 種類を超える場合はその旨を報告してください。 ここで、2 2 種類の会員構成は、一方において N N 人の人が適切に改名することでもう一方が得られるなら同一とみなします。

厳密な問題文: クラブとは、{1,, N} \{1,\dots,\ N\} の部分集合 (空である可能性もある) である。(N N 人の人に番号 1, 2, , N 1,\ 2,\ \ldots,\ N が付けられているとすると、この集合の要素がクラブの会員に対応する。) 会員構成とは、K K 個のクラブ (異なるとは限らない) からなる多重集合である。 {1,, N} \{1,\dots,\ N\} の順列 σ(1), , σ(N) \sigma(1),\ \dots,\ \sigma(N) と会員構成 L={C1, C2, , CK} L=\{C_1,\ C_2,\ \dots,\ C_K\} に対し、σ(L) \sigma(L) で会員構成 $ \{\sigma(C_1),\ \sigma(C_2),\ \dots,\ \sigma(C_K)\} $ を表す (C C がクラブであるとき、σ(C)={σ(x): x C} \sigma(C)=\{\sigma(x):\,\ x\in\ C\} である)。 会員構成 L L は、任意の異なる順列 στ \sigma\not=\tau に対して σ(L)τ(L) \sigma(L)\not=\tau(L) を満たすとき、name-preserving であるという。

name-preserving であってクラブ数 K K が最小であるような会員構成の個数を求めよ。ある順列 σ \sigma が存在して L2=σ(L1) L_2=\sigma(L_1) が成立するような 2 2 つの会員構成 L1, L2 L_1,\ L_2 は同一とみなす。このような会員構成の個数が 1000 1000 を超える場合は 1 -1 を出力せよ。

输入格式

入力は標準入力から以下の形式で与えられる。

N N

输出格式

問題文で述べたような会員構成が ans ans 種類存在するとして、以下の形式で標準出力に出力せよ。

ans ans

ただし、このような会員構成の数が 1000 1000 種類より多い場合は 1 -1 を出力せよ。

2
1
3
1
4
7
13
6
26
-1
123456789123456789
-1

提示

制約

  • 2  N  21018 2\ \le\ N\ \le\ 2\cdot10^{18}

Sample Explanation 1

K K の値は 1 1 で、name-preserving であるような唯一の会員構成は {{1}} \{\{1\}\} です ({{2}} \{\{2\}\} はこれと同一とみなされます)。

Sample Explanation 2

K K の値は 2 2 で、name-preserving であるような唯一の会員構成は {{1}, {1, 2}} \{\{1\},\ \{1,\ 2\}\} です (置換により一致する会員構成を同一視すると、これのみです)。

Sample Explanation 3

K K の値は 3 3 で、name-preserving であるような 3 3 クラブの会員構成は以下の通りです。 - {{1}, {2}, {1, 3}} \{\{1\},\ \{2\},\ \{1,\ 3\}\} - {{1}, {1, 2}, {2, 3}} \{\{1\},\ \{1,\ 2\},\ \{2,\ 3\}\} - {{1, 2}, {1, 2}, {1, 3}} \{\{1,\ 2\},\ \{1,\ 2\},\ \{1,\ 3\}\} - {{1}, {1, 2}, {1, 2, 3}} \{\{1\},\ \{1,\ 2\},\ \{1,\ 2,\ 3\}\} - {{1}, {2, 3}, {1, 2, 4}} \{\{1\},\ \{2,\ 3\},\ \{1,\ 2,\ 4\}\} - {{1, 2}, {1, 3}, {1, 2, 4} \{\{1,\ 2\},\ \{1,\ 3\},\ \{1,\ 2,\ 4\} - {{1, 2}, {1, 2, 3}, {2, 3, 4}} \{\{1,\ 2\},\ \{1,\ 2,\ 3\},\ \{2,\ 3,\ 4\}\}