洛谷 3907 圈的异或题解

最新推荐文章于 2024-09-26 19:24:27 发布

LightningUZ

最新推荐文章于 2024-09-26 19:24:27 发布

阅读量187

点赞数

分类专栏：洛谷

本文链接：https://blog.csdn.net/lightninguz/article/details/103327213

版权

洛谷专栏收录该内容

75 篇文章

订阅专栏

该博客详细介绍了如何解决洛谷3907题目的过程，主要涉及无向图的边权异或和判断。博主通过维护DFS序，利用前缀和来检测每个环的边权异或和是否为0，从而判断图中所有环的条件是否满足。给出的具体思路和代码实现展示了如何暴力搜索并检查环的属性，达到O(n+m)的时间复杂度。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

博客观赏效果更佳

题意简述

给定一个无向图，点数和边数 $< = 50$ （但你完全珂以当成 $2 e 5$ 来做），边有边权，判断这个图是否每个环的边权的异或和都是 $0$ 。

思路框架

暴力找每个环，根据 $D F S$ 序维护异或和，然后用前缀和维护这个环的异或和，判断是否为 $0$ 即珂。

具体思路

首先维护 $D F S$ 序是显然的。然后维护一下 $v i s$ ，表示有没有访问过。

如果点 $u$ 能到一个点 $v$ ，并且上一个点是 $f a$ ，满足： $v! = f a$ 且 $v$ 被访问过了，那么 $v$ 到 $u$ 这些点的 $D F S$ 序是连续的且组成一个环。

用 $s u m [i]$ 表示 $D F S$ 序从 $1$ 到 $i$ 这些点上面的边的异或和。那么， $s u m [u]$ 异或 $s u m [v]$ 就是 $u$ 到 $v$ 除了最后一条边的异或和了。然后我们再异或上最后一条边，就是 $u$ 到 $v$ 这条，就是这个环的异或和。如果不是 $0$ ，就不要继续搜了。

然后暴力跑一遍即珂。这样的话，时间复杂度就是 $O (n + m)$ 了，很强。（那为什么数据只有 $< = 50$ ?）

代码

#include <bits/stdc++.h>
using namespace std;
namespace Flandre_Scarlet
{
    #define N 1333
    #define int long long 
    #define MEM(x,a) memset(x,a,sizeof(x))
    #define FK(x) MEM(x,0)
    #define F(i,l,r) for(int i=l;i<=r;++i)
    #define D(i,r,l) for(int i=r;i>=l;--i)
    #define Tra(i,u) for(int i=G.Start(u),__v=G.To(i);~i;i=G.Next(i),__v=G.To(i))                      

    class Graph
    {
    public:
        int head[N];
        struct node
        {
            int To,Label,Next;
        }Ed[N<<3];
        int EdgeCount=0;
        void clear()
        {
            MEM(head,-1);MEM(Ed,-1);
            EdgeCount=-1;
        }
        void AddEdge(int u,int v,int w=1)
        {
            ++EdgeCount;
            Ed[EdgeCount]=(node){v,w,head[u]};
            head[u]=EdgeCount;
        }
        void Add2(int u,int v,int w=1){AddEdge(u,v,w),AddEdge(v,u,w);}

        int Start(int u){return head[u];}
        int To(int u){return Ed[u].To;}
        int Next(int u){return Ed[u].Next;}
        int Label(int u){return Ed[u].Label;}
    }G;

    int n,m;
    void R1(int &x)
    {
        x=0;char c=getchar();int f=1;
        while(c<'0' or c>'9') f=(c=='-')?-1:1,c=getchar();
        while(c>='0' and c<='9') x=(x<<1)+(x<<3)+(c^48),c=getchar();
        x=(f==1)?x:-x;
    }
    void Input()
    {
        R1(n),R1(m);
        G.clear();
        F(i,1,m) 
        {
            int u,v,w;
            R1(u),R1(v),R1(w);
            G.Add2(u,v,w);
        }
    }

    bool vis[N];
    int sum[N];
    bool End=0;
    void DFS(int u,int f,int s)
    {
        if (End) return;

        vis[u]=1;sum[u]=s;
        Tra(i,u)
        {int v=__v;
            if (!vis[v])
            {
                DFS(v,u,s^G.Label(i));
            }
            else if (v!=f and sum[u]^sum[v]^G.Label(i))
            {
                End=1;return;
            }
        }
    }
    void Soviet()
    {
        FK(vis);FK(sum);
        End=0;

        F(i,1,n)
        {
            if (!vis[i]) 
            {
                if (!End) DFS(i,0,0);
                else break;
            }
        }
        puts(End?"No":"Yes");
    }

    #define Flan void
    Flan IsMyWife()
    {
        int t;R1(t);
        while(t--)
        {
            Input();
            Soviet();
        }
    }
    #undef int //long long 
}
int main()
{
    Flandre_Scarlet::IsMyWife();
    getchar();getchar();
    return 0;
}