atcoder#ABC284H. [ABC284Ex] Count Unlabeled Graphs

[ABC284Ex] Count Unlabeled Graphs

题目描述

あなたは次の一連の操作によってグラフを生成します。

  • 頂点ラベルのない N N 頂点の単純無向グラフを 1 つ自由に選ぶ。
  • グラフの各頂点に K K 以下の正整数を 1 個ずつ書きこむ。ただし、K K 以下の正整数であってどの頂点にも書きこまれない数が存在してはならない。

操作によって得られるグラフとしてあり得るものの個数を mod P \text{mod\ }P で数え上げてください。(P P 素数)

ただし、2 つのグラフは、以下の条件を満たすようにそれぞれのグラフの頂点に頂点ラベル v1, v2, , vN v_1,\ v_2,\ \dots,\ v_N をつけられる場合に同じグラフであるとみなします。

  • 1  i  N 1\ \leq\ i\ \leq\ N であるすべての i i について、頂点 vi v_i に書きこまれた数が 2 つのグラフの間で一致している。
  • 1  i < j  N 1\ \leq\ i\ \lt\ j\ \leq\ N であるすべての (i, j) (i,\ j) について、vivj v_iv_j 間の辺の有無が 2 つのグラフの間で一致している。

输入格式

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

N N K K P P

输出格式

答えを出力せよ。

题目大意

给定整数 nnkk,和质数 PP

你需要在一个 nn 个节点的无标号无向图上给每一个节点标上一个 11kk 的数,且每一个数都要用到,求出标号后本质不同的图的数量对 PP 取模。

3 1 998244353
4
3 2 998244353
12
5 5 998244353
1024
30 15 202300013
62712469

提示

制約

  • 1  K  N  30 1\ \leq\ K\ \leq\ N\ \leq\ 30
  • 108  P  109 10^8\ \leq\ P\ \leq\ 10^9
  • P P は素数
  • 入力される値はすべて整数

Sample Explanation 1

条件を満たすグラフは次の 4 4 通りです。 ![image](https://img.atcoder.jp/ghi/abc283h\_43c4abe0e541b7ebeaa8db2854cece91caeca71f03f452ca13c11e82f85e3a56.png)

Sample Explanation 2

条件を満たすグラフは次の 12 12 通りです。 ![image2](https://img.atcoder.jp/ghi/abc284h2\_ca96b7cb451b0e495209e3e201576d278de3fb823e5d2404bbce5d9f704e3259.png)