题目链接
N个点,M条边的无向图,有的边已经被“0、1”染色了,有的边还没有被染色(“-1”),现在要使得每个环的所有的边的权值的异或和为0,问这样的方案数为多少?
对于一个环,一个n个点、n条边的环,我们可以去任意处理前n-1条边,可以唯一确定第n条边的权值,所以对于n个点、n条边的环的答案就是。这个是为什么呢?
我们考虑环上的点,假设一个环有n个点,假设点权为它的相邻边的异或和,那么,每条边就是把权值赋给了它的两个端点的点,所以每条边权出现了两次,意味着最后的异或和为0。那么,现在对于n各点,若是要让点权异或和为0,方案数为,但是点方案==边方案*2。所以,我们可以确定边的方案仍然是
,也就是和边的个数是无关的。
那么,对于一张n个点的连通图,如果没有边是被赋值的,那么答案就是。(这则信息,用到需要除去的部分也是可行的)
但是,现在题目中还有一些新的东西,有些边是被染色了的。
那么,考虑染色了的边所构成的连通图,是不是可以认为这个新的n个点的连通图是消去了个,所以要去除以
。
#include <iostream>
#include <cstdio>
#include <cmath>
#include <string>
#include <cstring>
#include <algorithm>
#include <limits>
#include <vector>
#include <stack>
#include <queue>
#include <set>
#include <map>
#include <bitset>
//#include <unordered_map>
//#include <unordered_set>
#define lowbit(x) ( x&(-x) )
#define pi 3.141592653589793
#define e 2.718281828459045
#define INF 0x3f3f3f3f
#define HalF (l + r)>>1
#define lsn rt<<1
#define rsn rt<<1|1
#define Lson lsn, l, mid
#define Rson rsn, mid+1, r
#define QL Lson, ql, qr
#define QR Rson, ql, qr
#define myself rt, l, r
using namespace std;
typedef unsigned long long ull;
typedef unsigned int uit;
typedef long long ll;
const int maxN = 1e5 + 7;
const ll mod = 998244353;
ll fast_mi(ll a, ll b = mod - 2LL)
{
ll ans = 1;
while(b)
{
if(b & 1) ans = ans * a % mod;
a = a * a % mod;
b >>= 1;
}
return ans;
}
int N, M, head[maxN], cnt;
struct Eddge
{
int nex, to, val;
Eddge(int a=-1, int b=0, int c=0):nex(a), to(b), val(c) {}
} edge[maxN << 1];
inline void addEddge(int u, int v, int w)
{
edge[cnt] = Eddge(head[u], v, w);
head[u] = cnt++;
}
inline void _add(int u, int v, int w) { addEddge(u, v, w); addEddge(v, u, w); }
int ans, num;
bool ok;
vector<int> vt;
bool vis[maxN] = {false};
void dfs_1(int u)
{
vt.push_back(u);
for(int i=head[u], v; ~i; i=edge[i].nex)
{
v = edge[i].to;
if(vis[v]) continue;
vis[v] = true;
dfs_1(v);
}
}
int a[maxN];
void dfs_2(int u)
{
num++;
for(int i=head[u], v; ~i; i=edge[i].nex)
{
v = edge[i].to;
if(!(~edge[i].val)) continue;
if(~a[v])
{
if(a[v] ^ (a[u] ^ edge[i].val)) ok = false;
}
else
{
a[v] = a[u] ^ edge[i].val;
dfs_2(v);
}
}
}
inline void init()
{
cnt = 0;
for(int i=1; i<=N; i++) { head[i] = -1; a[i] = -1; }
}
int main()
{
scanf("%d%d", &N, &M);
init();
for(int i=1, u, v, w; i<=M; i++)
{
scanf("%d%d%d", &u, &v, &w);
_add(u, v, w);
}
ans = 0; ok = true;
for(int i=1, len, u; i<=N; i++)
{
if(vis[i]) continue;
vis[i] = true;
vt.clear();
dfs_1(i);
len = (int)vt.size();
ans += len - 1;
for(int j=0; j<len; j++)
{
u = vt[j];
if(~a[u]) continue;
num = 0;
a[u] = 0;
dfs_2(u);
ans -= num - 1;
}
}
if(!M) ok = false;
if(ok) printf("%lld\n", fast_mi(2, ans));
else printf("0\n");
return 0;
}