|
|
#include <bits/stdc++.h>
|
|
|
|
|
|
using namespace std;
|
|
|
#define int long long
|
|
|
#define endl "\n"
|
|
|
|
|
|
const int M = 1e2 + 7;
|
|
|
const int P = 1e9 + 7;
|
|
|
|
|
|
int T, n, m, cas = 1;
|
|
|
int g[M][M];
|
|
|
int fac[M];
|
|
|
|
|
|
// 快速幂
|
|
|
int qmi(int a, int b) {
|
|
|
int res = 1;
|
|
|
a %= P;
|
|
|
while (b) {
|
|
|
if (b & 1) res = res * a % P;
|
|
|
b >>= 1;
|
|
|
a = a * a % P;
|
|
|
}
|
|
|
return res;
|
|
|
}
|
|
|
|
|
|
/*
|
|
|
Q:什么是费马小定理?
|
|
|
答：费马小定理是一个关于模运算的定理，它陈述了如果p是一个质数，而a是任意整数且不是p的倍数，
|
|
|
那么a^(p-1) 与 1 (mod p) 同余。
|
|
|
|
|
|
Q:费马小定理是怎么求逆元的？
|
|
|
答：当p是质数时，我们分离一项出来
|
|
|
a * a^(p−2) ≡ 1 (mod p)
|
|
|
对比逆元的方程式，可以很容易得到，a关于p的逆元就是 a^(p −2),而a^(p-2)可以用快速幂求得
|
|
|
|
|
|
Q:组合数公式C(n,m)=n!/(m!*(n-m)!) ，由于需要取模，同时存在除法，所以可以考虑是否可以用费马小定理求除法逆元？
|
|
|
答：是可以的，原因：因为模mod=1e9+7是质数，并且，题目中的数据范围n<=50,是不可能是mod的倍数的，所以符合费马小定理
|
|
|
的要求，可以用费马小定理来求除法逆元。
|
|
|
*/
|
|
|
int C(int n, int m) {
|
|
|
/*
|
|
|
fac[n]: n!
|
|
|
qmi(fac[m], P - 2) : 费马小定理的结果 (m!)^(p-2),这样，把除m!取模 转化为乘 (m!)^(p-2)后取模
|
|
|
qmi(fac[n - m], P - 2) :同上
|
|
|
*/
|
|
|
return fac[n] * qmi(fac[m], P - 2) % P * qmi(fac[n - m], P - 2) % P;
|
|
|
}
|
|
|
|
|
|
int judge3(int i, int j, int k) { // 判断三点之间满不满足不稳定点集
|
|
|
if (g[i][j] && g[i][k] && g[j][k]) return 1; // 三点之间相连
|
|
|
if (!g[i][j] && !g[i][k] && !g[j][k]) return 1; // 三点之间不互连
|
|
|
return 0;
|
|
|
}
|
|
|
|
|
|
int judge4(int i, int j, int k, int l) {
|
|
|
if (judge3(i, j, k) || judge3(i, j, l) || judge3(j, k, l) || judge3(i, k, l)) return 1;
|
|
|
// 表示4个点中有三个点为不稳定点集就行,为什么呢？
|
|
|
// 因为时题目要求的，不稳定点集为3个点。
|
|
|
return 0;
|
|
|
}
|
|
|
|
|
|
int judge5(int i, int j, int k, int l, int o) {
|
|
|
// 表示5个点中有4个点满足就行
|
|
|
if (judge4(i, j, k, l) || judge4(i, j, k, o) || judge4(i, j, l, o) || judge4(j, k, l, o)
|
|
|
|| judge4(i, k, l, o)) return 1;
|
|
|
return 0;
|
|
|
}
|
|
|
|
|
|
void solve() {
|
|
|
cin >> n >> m; // n个顶点,m条边
|
|
|
memset(g, 0, sizeof g); // 初始化地图
|
|
|
|
|
|
while (m--) {
|
|
|
int a, b;
|
|
|
cin >> a >> b;
|
|
|
g[a][b] = g[b][a] = 1; // 无向图
|
|
|
}
|
|
|
int ans = 0;
|
|
|
|
|
|
if (n >= 6) {
|
|
|
ans = qmi(2, n);
|
|
|
// ① 多项式定理C(n,0)+C(n,1)+...+C(n,n)=2^n
|
|
|
// ② 也可以这样来思考，一个也不要，要1个，要2个，要3个，...,要n个
|
|
|
|
|
|
// C(n,k)(k>=6)表示，从n个中取k个出来，总存在一个不稳定点集的个数（三点之间互联或三点之间不连）
|
|
|
for (int i = 0; i < 6; i++) /// 减去前5个
|
|
|
ans = (ans - C(n, i) + P) % P;
|
|
|
}
|
|
|
|
|
|
if (n >= 3) { // 枚举任意3个
|
|
|
for (int i = 1; i <= n; i++)
|
|
|
for (int j = i + 1; j <= n; j++)
|
|
|
for (int k = j + 1; k <= n; k++)
|
|
|
if (judge3(i, j, k)) ans = (ans + 1) % P;
|
|
|
}
|
|
|
|
|
|
if (n >= 4) { // 暴力取4个
|
|
|
for (int i = 1; i <= n; i++)
|
|
|
for (int j = i + 1; j <= n; j++)
|
|
|
for (int k = j + 1; k <= n; k++)
|
|
|
for (int l = k + 1; l <= n; l++)
|
|
|
if (judge4(i, j, k, l)) ans = (ans + 1) % P;
|
|
|
}
|
|
|
|
|
|
if (n >= 5) { // 暴力取5个
|
|
|
for (int i = 1; i <= n; i++)
|
|
|
for (int j = i + 1; j <= n; j++)
|
|
|
for (int k = j + 1; k <= n; k++)
|
|
|
for (int l = k + 1; l <= n; l++)
|
|
|
for (int o = l + 1; o <= n; o++)
|
|
|
if (judge5(i, j, k, l, o)) ans = (ans + 1) % P;
|
|
|
}
|
|
|
printf("Case #%lld: %lld\n", cas++, ans);
|
|
|
}
|
|
|
|
|
|
signed main() {
|
|
|
// 加快读入
|
|
|
ios::sync_with_stdio(false), cin.tie(0);
|
|
|
|
|
|
// 预处理阶乘数组（同步取模）
|
|
|
fac[0] = 1, fac[1] = 1;
|
|
|
for (int i = 2; i < M; i++) fac[i] = fac[i - 1] * i % P;
|
|
|
|
|
|
cin >> T;
|
|
|
while (T--) solve();
|
|
|
}
|
