#P9036. 「KDOI-04」挑战 NPC Ⅲ

    ID: 8103 Type: RemoteJudge 2500ms 512MiB Tried: 0 Accepted: 0 Difficulty: 6 Uploaded By: Tags>搜索图论贪心洛谷原创O2优化枚举深度优先搜索,DFS剪枝状态压缩组合数学洛谷月赛

「KDOI-04」挑战 NPC Ⅲ

题目背景

题目描述

小 S 有一个伟大的梦想:证明 P=NP\text{P}=\text{NP}

有一天,他得知一般图最大独立集是 NPC 问题后,决定解决他。

当然小 S 太菜了,解决不了,于是求助于你:

给出一个含有 nn 个顶点,mm 条边的无向图 GG,求 GG 中大小恰好为 nkn-k 的独立集的数量。由于答案可能很大,请将其对 998 244 353998~244~353 取模。

小 S 不喜欢多测,因为他在 NOIp 中因为多测挂分,所以本题包含多组测试数据。

输入格式

本题包含多组测试数据。

第一行一个正整数 TT,表示测试数据组数。

对于每组测试数据,第一行三个正整数 n,m,kn,m,k

接下来 mm 行,每行两个正整数 u,vu,v 表示一条边。

保证图中不存在自环,但可能存在重边

输出格式

对于每组测试数据,输出一行一个正整数,表示符合要求的独立集数量。答案对 998 244 353998~244~353 取模。

3
4 6 1
1 2
1 3
1 4
2 3
2 4
3 4
4 6 3
1 2
1 3
1 4
2 3
2 4
3 4
8 13 5
1 2
7 8
1 3 
2 5
3 8
6 8
4 7
5 6
5 7
5 8
6 7
1 8
3 5
0
4
8

提示

【样例解释】

对于第 1,21,2 组测试数据,图是完全图,容易发现,完全图的最大独立集为 11,并且每一个顶点都单独构成一个独立集。因此第 11 组测试数据的答案为 00,第 22 组测试数据的答案为 44

对于第 33 组测试数据,该组数据中给出的无向图如下:

其中,所有大小为 33 的独立集为:

  • {2,4,8}\{2,4,8\}
  • {2,3,7}\{2,3,7\}
  • {3,4,6}\{3,4,6\}
  • {2,4,6}\{2,4,6\}
  • {1,4,6}\{1,4,6\}
  • {2,3,6}\{2,3,6\}
  • {1,4,5}\{1,4,5\}
  • {2,3,4}\{2,3,4\}

【数据范围】

本题采用捆绑测试。

数据范围

对于 100%100\% 的数据,保证 1n1051\leq n\leq10^50m1050\le m\le 10^50kmin(n1,18)0\leq k\leq \min(n-1,18)1T1041\leq T\leq 10^{4}n,m106\sum n,\sum m\leq10^6

并且对于每个测试点保证:

K=maxkK=\max k,即该测试点中所有 kk 的最大值,

  • K17K\ge 17,则 T=1T=1
  • K15K\ge 15,则 T3T\le 3
  • K10K\ge 10,则 T5T\le 5
  • K5K\ge 5,则 T300T\le 300