洛谷:圈的异或
虽然说 y总 说过,找最小环的问题通常用 Floyd 求解,但此题只要求找到的环上异或值相同,并不是求边权总和;
而 Tarjan 强连通缩点,又会丢失环上保留的信息;
因此,换一种更方便高效的方法找环:dfs
-
在有标记的状况下,dfs 的时间可以控制在 O ( n + m ) O(n+m) O(n+m),非常优越;
-
dfs的过程中,搜到了曾经标记过的点 == 找到了一个环
如何去记录环上边的异或信息?
- 维护一个异或前缀和,记录某点 自起点(开始搜索时进入的点) 到此位置 的路径上所有边的累计异或值;
- 当我们从 1点 进入时,假设在 3点 搜索到了标记过的 2点,显然根据异或的性质(信息记录性):
- 3 到 2 路径上的累计异或值 == d[2] ^ d[3] (2点的异或前缀和 b 异或 3点的异或前缀和 a)
- 那这个环的累计异或值就 == d[2] ^ d[3] ^ W 2 − > 3 W_{2->3} W2−>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
*/