#include #include #include using namespace std; const int maxn=510; const int inf=0x3f3f3f3f; int n,m,s,k,v[maxn],mat[maxn][maxn],dis[maxn]; bool vis[maxn]; int Stoer_Wagner(int n){ int i, j; int res = inf; for (i = 0; i < n; i++) v[i] = i+1;//初始化第i个结点就是i while (n > 1) { int maxp = 1,prev = 0; for (i = 1; i < n; i++) //初始化到已圈集合的割大小,并找出最大距离的顶点 { dis[v[i]] = mat[v[0]][v[i]]; if (dis[v[i]] > dis[v[maxp]]) maxp = i; } memset(vis, 0, sizeof(vis)); vis[v[0]] = true; for (i = 1; i < n; i++) { if (i == n - 1) //只剩最后一个没加入集合的点,更新最小割 { res = min(res,dis[v[maxp]]); for (j = 0; j < n; j++) //合并最后一个点以及推出它的集合中的点 { mat[v[prev]][v[j]] += mat[v[j]][v[maxp]]; mat[v[j]][v[prev]] = mat[v[prev]][v[j]]; } v[maxp] = v[--n];//第maxp个节点去掉,第n个节点变成第maxp个 } vis[v[maxp]] = true; prev = maxp; maxp = -1; for (j = 1; j < n; j++) if (!vis[v[j]]) //将上次求的maxp加入集合,合并与它相邻的边到割集 { dis[v[j]] += mat[v[prev]][v[j]]; if (maxp == -1 || dis[v[maxp]] < dis[v[j]]) maxp = j; } } } return res; } int main(){ int _; cin >> _; while (_--){ cin >> n >> m >> k; memset(mat,0,sizeof (mat)); int x,y,z; while (m--){ scanf("%d%d",&x,&y); mat[x][y] += 1; mat[y][x] += 1; } if (Stoer_Wagner(n)>=k) puts("Yes"); else puts("No"); } return 0; }