{"trustable":true,"prependHtml":"\u003cscript\u003e window.katexOptions \u003d { disable: true }; \u003c/script\u003e\n\u003cscript type\u003d\"text/x-mathjax-config\"\u003e\n MathJax.Hub.Config({\n tex2jax: {\n inlineMath: [[\u0027$$$\u0027,\u0027$$$\u0027], [\u0027$\u0027,\u0027$\u0027]],\n displayMath: [[\u0027$$$$$$\u0027,\u0027$$$$$$\u0027], [\u0027$$\u0027,\u0027$$\u0027]]\n }\n });\n\u003c/script\u003e\n\u003cscript async src\u003d\"https://mathjax.codeforces.org/MathJax.js?config\u003dTeX-AMS-MML_HTMLorMML\" type\u003d\"text/javascript\"\u003e\u003c/script\u003e","sections":[{"title":"","value":{"format":"HTML","content":"\u003cdiv class\u003d\"panel_content\"\u003e众所周知,度度熊喜欢图,尤其是联通的图。\u003cbr\u003e\u003cbr\u003e今天,它在图上又玩出了新花样,新高度。有一张无重边的无向图, 求有多少个边集,使得删掉边集里的边后,图里恰好有$K$个连通块。 \u003cbr\u003e\u003c/div\u003e"}},{"title":"Input","value":{"format":"HTML","content":"第一行为$T$,表示输入数据组数。\u003cbr\u003e\u003cbr\u003e对于每组数据,第一行三个整数$N, M, K$,表示$N$个点$M$条边的图。\u003cbr\u003e接下来M行每行两个整数$a,b$,表示点$a$和点$b$之间有一条边。\u003cbr\u003e\u003cbr\u003e$1\\leq T\\leq 20$\u003cbr\u003e\u003cbr\u003e$1 \\leq K \\leq N \\leq 14$\u003cbr\u003e\u003cbr\u003e$0 \\leq M \\leq N * (N + 1) / 2$\u003cbr\u003e$1 \\leq a, b \\leq N$\u003cbr\u003e"}},{"title":"Output","value":{"format":"HTML","content":"对第$i$组数据,输出\u003cbr\u003e\u003cbr\u003eCase #i:\u003cbr\u003e\u003cbr\u003e然后输出一行,仅包含一个整数,表示方法种数(对 $1\\ 000\\ 000\\ 009$ 取模) 。\u003cbr\u003e"}},{"title":"Sample","value":{"format":"HTML","content":"\u003ctable class\u003d\u0027vjudge_sample\u0027\u003e\n\u003cthead\u003e\n \u003ctr\u003e\n \u003cth\u003eInput\u003c/th\u003e\n \u003cth\u003eOutput\u003c/th\u003e\n \u003c/tr\u003e\n\u003c/thead\u003e\n\u003ctbody\u003e\n \u003ctr\u003e\n \u003ctd\u003e\u003cpre\u003e3\r\n1 0 1\r\n1 1 1\r\n1 1\r\n3 3 2\r\n1 2\r\n2 3\r\n1 3\r\n\u003c/pre\u003e\u003c/td\u003e\n \u003ctd\u003e\u003cpre\u003eCase #1:\r\n1\r\nCase #2:\r\n2\r\nCase #3:\r\n3\r\n\u003c/pre\u003e\u003c/td\u003e\n \u003c/tr\u003e\n\u003c/tbody\u003e\n\u003c/table\u003e\n"}}]}