我看了这篇题解：https://www.luogu.com.cn/blog/541forever/abc301ex

这是题解代码

// LUOGU_RID: 111051599
#include<bits/stdc++.h>
using namespace std;
#define ll long long
const int MAXN=200005;
int n,m,Q,tot,ans[MAXN+1],vis[MAXN+1],dep[MAXN+1],fa[MAXN+1],p[MAXN+1],in[MAXN+1],out[MAXN+1];
struct Edge{
	int id,from,to,w;
}edge[MAXN+1];
struct Query{
	int id,s,t,num;
};
vector<int> ed[MAXN+1];
vector<Query> q[MAXN+1];
vector<Edge> e[MAXN+1];
void dfs(int x,int f){
	in[x]=++tot;
	for(auto &v:ed[x]){
		if(v==f){
			continue;
		}
		dep[v]=dep[x]+1,p[v]=x;
		dfs(v,x);
	}
	out[x]=tot;
}
int find(int x){
	if(x==fa[x]){
		return x;
	}
	return fa[x]=find(fa[x]);
}
void merge(int x,int y){
	x=find(x),y=find(y);
	fa[x]=y;
}
bool In(int x,int y){
	return (in[x]<=in[y]&&out[x]>=in[y]);
}
signed main(){
	ios::sync_with_stdio(false);
	cin>>n>>m;
	for(int i=1;i<=m;++i){
		cin>>edge[i].from>>edge[i].to>>edge[i].w;
		edge[i].id=i;
		e[edge[i].w].push_back(edge[i]);
	}
	cin>>Q;
	for(int i=1;i<=Q;++i){
		ans[i]=1;
		Query qu;
		qu.id=i;
		cin>>qu.num>>qu.s>>qu.t;
		int w=edge[qu.num].w;
		q[w].push_back(qu),q[w-1].push_back(qu);
	}
	for(int i=1;i<=n;++i){
		fa[i]=i;
	}
	for(int i=0;i<=m;++i){
		for(auto &d:e[i]){
			int x=d.from,y=d.to;
			if(find(x)==find(y)){
				vis[d.id]=1;
			}else{
				ed[y].push_back(x),ed[x].push_back(y),merge(x,y);
			}
		}
		for(auto &d:q[i]){
			int w=edge[d.num].w;
			if(w==i+1){
				if(find(d.s)==find(d.t)){
					ans[d.id]=0;
				}
			}else{
				assert(w==i);
				if(find(d.s)!=find(d.t)){
					ans[d.id]=0;
				}
			}
		}
	}
	dfs(1,1);
	for(int i=1;i<=n;++i){
		fa[i]=i;
	}
	for(int i=1;i<=m;++i){
		for(auto &d:e[i]){
			if(vis[d.id]){
				int u=find(d.from),v=find(d.to);
				while(u!=v){
					if(dep[u]<dep[v]){
						swap(u,v);
					}
					merge(u,p[u]);
					u=find(u);
				}
			}
		}
		for(auto &d:q[i]){
			int w=edge[d.num].w;
			if(w==i){
				if(vis[d.num]){
					ans[d.id]=0;
				}else{
					int u=edge[d.num].from,v=edge[d.num].to;
					if(dep[u]<dep[v]){
						swap(u,v);
					}
					if(In(u,d.s)==In(u,d.t)){
						ans[d.id]=0;
					}
					if(u!=find(u)){
						ans[d.id]=0;
					}
				}
			}
		}
	}
	for(int i=1;i<=Q;++i){
		cout<<ans[i]<<"\n";
	}
	return 0;
}

其中有两处判断：

else{
  assert(w==i)什么
  if(find(d.s)!=find(d.t)){
      ans[d.id]=0;
  }
}

if(In(u,d.s)==In(u,d.t)){
	ans[d.id]=0;
}

我认为这两处判断原理相似，或者说后者比前者更加严格。

但是我去掉其中一个并提交获得了WA的好成绩。

有没有大佬解释一下是为什么？