边的染色【思维+dfs】

题目链接

---

  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;
}