首先我们发现删掉一个两个端点中不包含关键点的边肯定不会比删一个包含关键点的边要优,因为包含关键点的边所在的包含关键点的简单环的数量肯定不比不包含关键点的边要少,进一步我们就可以发现我们一定可以构造出一种最优方案使得删掉的每一条边都包含关键点,因为任何时候删掉包含关键点的边不会更劣,而删掉所有包含关键点的边之后一定满足题意
我们对所有不包含关键点的边做一个生成树,然后尝试把所有包含关键点的边加进来,如果加进来之后还是一棵树就加进来,否则就不加进来,答案+1
因为没有被包含在初始生成树里的不包含关键点的边一定不会对答案产生影响
#include<iostream>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<ctime>
#include<cmath>
#include<algorithm>
#include<iomanip>
#include<vector>
#include<map>
#include<set>
#include<bitset>
#include<queue>
#include<stack>
using namespace std;
#define MAXN 1000010
#define MAXM 2000010
#define INF 1000000000
#define MOD 1000000007
#define eps 1e-8
#define ll long long
int n,m,k;
int f[MAXN];
int v1[MAXM],v2[MAXM];
int ans;
int fa(int x){
return f[x]==x?x:f[x]=fa(f[x]);
}
int main(){
int i;
scanf("%d%d%d",&n,&m,&k);
for(i=1;i<=n;i++){
f[i]=i;
}
for(i=1;i<=m;i++){
scanf("%d%d",&v1[i],&v2[i]);
if(v1[i]>k&&v2[i]>k){
f[fa(v1[i])]=fa(v2[i]);
}
}
for(i=1;i<=m;i++){
if(v1[i]<=k||v2[i]<=k){
if(fa(v1[i])==fa(v2[i])){
ans++;
}else{
f[fa(v1[i])]=fa(v2[i]);
}
}
}
printf("%d\n",ans);
return 0;
}
/*
*/