读完题我们就可以发现，所谓只能在不同颜色的点之间连边权为 \(1\) 的边。所以若 \(c_i\) 是偶数，则 \(a_i\) 一定和 \(b_i\) 同色。若 \(c_i\) 是奇数，则 \(a_i\) 一定和 \(b_i\) 异色。
所以，我们会发现，这似乎可以直接用扩展域并查集，也就是种类并查集来维护。
然后，不知为什么，光荣 MLE。
所以，我们考虑先把异色关系的边记录下来，同色关系就直接合并为一个连通块。
然后判定应为异色的 \(a_i\) 和 \(b_i\) 是否在同一个连通块，若在同一个连通块，则不合法。
注意，若只有一个连通块，则所有 \(c_i\) 必须为 \(0\)，否则不合法。而且，若 \(c_i\) 为 \(0\)，则 \(a_i\) 一定等于 \(b_i\)，否则也不合法。
下面是代码环节：
#include<bits/stdc++.h>
using namespace std;
struct Node {int u, v;
} edge[1000005];
int t, n, m, f[1000005], cnt, num, num1;
bool flag;
int get_father(int x) {return f[x] == x ? x : f[x] = get_father(f[x]);
}
signed main() {ios_base::sync_with_stdio(false);cin.tie(0);cout.tie(0);cin >> t;while (t --) {cin >> n >> m;for (int i = 1; i <= n; i ++) {f[i] = i;}flag = true;for (int i = 1; i <= m; i ++) {int x, y, z;cin >> x >> y >> z;if (z & 1) {edge[++cnt].u = x;edge[cnt].v = y;} else {int fx = get_father(x), fy = get_father(y);f[fx] = fy;}if (z == 0) {if (x != y) {flag = false;}num ++;}}for (int i = 1; i <= cnt; i ++) {int fx = get_father(edge[i].u), fy = get_father(edge[i].v);if (fx == fy) {flag = false;}}for (int i = 1; i <= n; i ++) {if (f[i] == i) {num1 ++;}}if (num1 == 1 && num != m) {flag = false;}num1 = 0;cnt = 0;num = 0;if (flag) {cout << "Yes\n";} else {cout << "No\n";}}return 0;
}