洛谷：P3907 圈的异或（无向图找环 + 异或前缀和）

洛谷：圈的异或

虽然说 y总 说过，找最小环的问题通常用 Floyd 求解，但此题只要求找到的环上异或值相同，并不是求边权总和；

而 Tarjan 强连通缩点，又会丢失环上保留的信息；

因此，换一种更方便高效的方法找环：dfs

• 在有标记的状况下，dfs 的时间可以控制在 $O(n+m)$，非常优越；

• dfs的过程中，搜到了曾经标记过的点 == 找到了一个环

如何去记录环上边的异或信息？

• 维护一个异或前缀和，记录某点 自起点（开始搜索时进入的点） 到此位置 的路径上所有边的累计异或值；
  
• 当我们从 1点 进入时，假设在 3点 搜索到了标记过的 2点，显然根据异或的性质（信息记录性）：
• 3 到 2 路径上的累计异或值 == d[2] ^ d[3] （2点的异或前缀和 b 异或 3点的异或前缀和 a）
• 那这个环的累计异或值就 == d[2] ^ d[3] ^ $W_{2->3}$ 边权

代码：

#include<bits/stdc++.h>
#include<unordered_set>
#include<unordered_map>
#define mem(a,b) memset(a,b,sizeof a)
#define cinios (ios::sync_with_stdio(false),cin.tie(0),cout.tie(0))
#define sca scanf
#define pri printf
#define ul (u << 1)
#define ur (u << 1 | 1)
#define fx first
#define fy second
//#pragma GCC optimize(2)
//[博客地址](https://blog.csdn.net/weixin_51797626?t=1) 
using namespace std;

typedef long long ll;
typedef pair<int, int> PII;
typedef pair <ll, PII> PI;

const int N = 510, M = 100010, MM = N;
int INF = 0x3f3f3f3f, mod = 100003;
ll LNF = 0x3f3f3f3f3f3f3f3f;
int n, m, k, T, S, D;
int h[N], e[M], ne[M], w[M], idx;
int ox[N];
bool st[N];

void add(int a, int b, int x) {
	e[idx] = b, ne[idx] = h[a], w[idx] = x, h[a] = idx++;
}

bool dfs(int x, int from) {
	st[x] = true;
	for (int i = h[x]; ~i; i = ne[i]) {
		int j = e[i];
		if (i == (from ^ 1))continue;//无向图应该防止遍历回边

		if (!st[j]) { //没标记过的点维护前缀和
			ox[j] = ox[x] ^ w[i];
			if (!dfs(j, i))return false;
		}
		else if (ox[j] ^ ox[x] ^ w[i])return false;//搜索到标记过的点
		//异或值不为零false
	}
	return true;
}

int main() {
	cinios;

	cin >> T;
	while (T--)
	{
		cin >> n >> m;
		mem(h, -1);
		mem(st, 0);
		mem(ox, 0);
		idx = 0;

		for (int i = 0; i < m; i++) {
			int a, b, x;
			cin >> a >> b >> x;
			add(a, b, x), add(b, a, x);
		}

		bool f = true;
		for (int i = 1; i <= n; i++)//图没有说是连通的
			if (!st[i]) { //每一个子图都搜索
				f = dfs(i, -1);
				if (!f)break;
			}

		if (f)cout << "Yes";
		else cout << "No";
		cout << '\n';
	}

	return 0;
}
/*
10
4 4
1 4 1
1 2 2
2 3 1
3 4 1
*/