atcoder#AGC046F. [AGC046F] Forbidden Tournament

[AGC046F] Forbidden Tournament

题目描述

整数 N,K N,K と素数 P P が与えられます。N N 頂点の有向グラフ G G であって、以下を全て満たすものの個数を P P で割った余りを求めてください。ただし、頂点どうしは互いに区別します。

  • G G はトーナメントである。すなわち、G G に多重辺や自己ループはなく、G G のどの 2 2 u,v u,v に対しても、u v u\to\ v 辺または v u v\to\ u 辺のうちちょうど片方が存在する。
  • G G のどの頂点の入次数も K K 以下である。
  • G G のどの相異なる 4 4 頂点 a,b,c,d a,b,c,d に対しても、$ a\to\ b,\ b\to\ c,\ c\to\ a,\ a\to\ d,\ b\to\ d,\ c\to\ d $ の 6 6 辺がすべて同時に存在することはない。

输入格式

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

N N K K P P

输出格式

条件を満たす有向グラフの個数を P P で割った余りを出力せよ。

题目大意

你需要计数满足如下条件的 NN 个点的竞赛图个数:

  • 每个点的入度不超过 KK

  • 不存在这样一个生成子图:ab,bc,ca,ad,bd,cda\to b,b\to c,c\to a,a\to d,b\to d,c\to d

答案对 PP 取模。

4 3 998244353
56
7 3 998244353
720
50 37 998244353
495799508

提示

制約

  • 4  N  200 4\ \leq\ N\ \leq\ 200
  • N12  K  N1 \frac{N-1}{2}\ \leq\ K\ \leq\ N-1
  • 108 < P < 109 10^8\ <\ P\ <\ 10^9
  • N,K N,K は整数である
  • P P は素数である

Sample Explanation 1

4 4 頂点のグラフ 64 64 個のうち、禁止された誘導部分グラフと同型である 8 8 個を除いた 56 56 個が条件を満たします。