bzoj2115 [Wc2011] Xor——高斯消元 & 异或线性基

题目:https://www.lydsy.com/JudgeOnline/problem.php?id=2115

异或两次同一段路径的权值,就相当于没有走这段路径;

由此可以得到启发,对于不同的走法,也许只需要找出一些东西,就可以把所有的走法用它们来异或表示出来;

再关注图上的环路,因为从 1 到 n 的不同路径也可以看作是经由 1 和 n 连接的环路,路径上也可能有环路;

发现对于环路的不同走法,就是把路与环的权值异或求最优值,重叠的部分异或了两次相当于不走;

于是问题转化为找出图上的所有环(可以用 dfs ),把它们的权值异或起来得到最优解;

这里又有高斯消元求解线性基的套路,总之上就是了。

代码如下:

#include<iostream>
#include<cstdio>
#include<cstring>
using namespace std;
typedef long long ll;
int const maxn=5e4+5,maxm=1e5+5;
int n,m,head[maxn],ct,cir;
ll ans,v[maxm<<1],dis[maxn];//maxm<<1
bool vis[maxn];
struct N{
    int to,next; ll w;
    N(int t=0,int n=0,ll w=0):to(t),next(n),w(w) {}
}edge[maxm<<1];
void add(int x,int y,ll z){edge[++ct]=N(y,head[x],z); head[x]=ct;}
void dfs(int x)
{
    vis[x]=1;
    for(int i=head[x],u;i;i=edge[i].next)
    {
        if(!vis[u=edge[i].to])
        {
            dis[u]=(dis[x]^edge[i].w);
            dfs(u);
        }
        else v[++cir]=(dis[u]^dis[x]^edge[i].w);
    }
}
void gauss()
{
    int nw=0;
    for(int i=60;i>=0;i--)
    {
//        int j=++nw;//这样写会造成 nw 空加!
        int j=nw+1;
        while(j<=cir&&(v[j]&(1ll<<i))==0)j++;
        if(j==cir+1)continue;
        nw++;
        swap(v[nw],v[j]);
        for(int j=1;j<=cir;j++)
            if(j!=nw&&(v[j]&(1ll<<i)))v[j]^=v[nw];
    }
}
int main()
{
    scanf("%d%d",&n,&m);
    int x,y; ll z;
    for(int i=1;i<=m;i++)
    {
        scanf("%d%d%lld",&x,&y,&z);
        add(x,y,z); add(y,x,z);
    }
    dfs(1); gauss();
    ans=dis[n];
    for(int i=1;i<=cir;i++)
        ans=max(ans,ans^v[i]);
    printf("%lld",ans);
    return 0;
}

原文地址:https://www.cnblogs.com/Zinn/p/9248551.html

时间: 2024-10-07 11:18:49

bzoj2115 [Wc2011] Xor——高斯消元 & 异或线性基的相关文章

【bzoj4184】shallot 线段树+高斯消元动态维护线性基

题目描述 小苗去市场上买了一捆小葱苗,她突然一时兴起,于是她在每颗小葱苗上写上一个数字,然后把小葱叫过来玩游戏. 每个时刻她会给小葱一颗小葱苗或者是从小葱手里拿走一颗小葱苗,并且 让小葱从自己手中的小葱苗里选出一些小葱苗使得选出的小葱苗上的数字的异或和最大. 这种小问题对于小葱来说当然不在话下,但是他的身边没有电脑,于是他打电话给同为Oi选手的你,你能帮帮他吗? 你只需要输出最大的异或和即可,若小葱手中没有小葱苗则输出0. 输入 第一行一个正整数n表示总时间:第二行n个整数a1,a2...an,

BZOJ 2115 [Wc2011] Xor 高斯消元

题意:链接 方法:高斯消元 解析:不怎么好想的一道题,不过如果想到的话那就是水题一个了. 首先明确一些概念 简单路径:顶点序列中顶点不重复出现的路径. 简单环:在一个回路中,若除第一个与最后一个顶点外,其余顶点不重复出现的回路称为简单回路(简单回路). 然后呢明确题里说的是什么? 找一条1到n的路径使得所有路径上的边权异或和最大. 那么我们可以拆分一下,这条1到n的路径我们看做两个部分组成:一条简单路径从1到n,以及任意简单环. 这样就比较明了了,然后我们发现,这个简单路径其实找一条就可以了,由

BZOJ 2115: [Wc2011] Xor [高斯消元XOR 线性基 图]

啦啦啦 题意: N 个点M条边的边带权的无向图,求1到n一条XOR和最大的路径 感觉把学的东西都用上了.... 1到n的所有路径可以由一条1到n的简单路径异或上任意个简单环得到 证明: 如果环与路径有交,异或后那块交就没了,相当于那块走了环上的路径: 如果环与路径没交,就是走到环上走一圈在回来,一去一回其他的地方又没了. 求一棵生成树,然后每一条非树边构成一个环,一共$m-n+1$个环 然后答案就是任取一些环的异或和与1到n路径异或和异或的最大值啦 实现上注意: 1.求生成树和简单环的异或和一遍

BZOJ 4004: [JLOI2015]装备购买 [高斯消元同余 线性基]

和前两(一)题一样,不过不是异或方程组了..... 然后bzoj的新数据是用来卡精度的吧..... 所有只好在模意义下做啦 只是巨慢无比 #include <iostream> #include <cstdio> #include <cstring> #include <algorithm> #include <cmath> #include <bitset> using namespace std; typedef long lon

HDU 3949 XOR 高斯消元

题目大意:给定一个数组,求这些数组通过异或能得到的数中的第k小是多少 首先高斯消元求出线性基,然后将k按照二进制拆分即可 注意当高斯消元结束后若末尾有0则第1小是0 特判一下然后k-- 然后HDU输出long long是用%I64d 无论C艹还是G艹都是 #include<cstdio> #include<cstring> #include<iostream> #include<algorithm> #define M 10100 using namespa

bzoj 2115: [Wc2011] Xor xor高斯消元

2115: [Wc2011] Xor Time Limit: 10 Sec  Memory Limit: 259 MBSubmit: 797  Solved: 375[Submit][Status] Description Input 第一行包含两个整数N和 M, 表示该无向图中点的数目与边的数目. 接下来M 行描述 M 条边,每行三个整数Si,Ti ,Di,表示 Si 与Ti之间存在 一条权值为 Di的无向边. 图中可能有重边或自环. Output 仅包含一个整数,表示最大的XOR和(十进制结

ACM学习历程—HDU 3915 Game(Nim博弈 &amp;&amp; xor高斯消元)

题目链接:http://acm.hdu.edu.cn/showproblem.php?pid=3915 题目大意是给了n个堆,然后去掉一些堆,使得先手变成必败局势. 首先这是个Nim博弈,必败局势是所有xor和为0. 那么自然变成了n个数里面取出一些数,使得xor和为0,求取法数. 首先由xor高斯消元得到一组向量基,但是这些向量基是无法表示0的. 所以要表示0,必须有若干0来表示,所以n-row就是消元结束后0的个数,那么2^(n-row)就是能组成0的种数. 对n==row特判一下. 代码:

ACM学习历程—HDU 3949 XOR(xor高斯消元)

题目链接:http://acm.hdu.edu.cn/showproblem.php?pid=3949 题目大意是给n个数,然后随便取几个数求xor和,求第k小的.(重复不计算) 首先想把所有xor的值都求出来,对于这个规模的n是不可行的. 然后之前有过类似的题,求最大的,有一种方法用到了线性基. 那么线性基能不能表示第k大的呢? 显然,因为线性基可以不重复的表示所有结果.它和原数组是等价的. 对于一个满秩矩阵 100000 010000 001000 000100 000010 000001

hdu3949 XOR xor高斯消元

XOR Time Limit: 2000/1000 MS (Java/Others)    Memory Limit: 32768/32768 K (Java/Others)Total Submission(s): 1364    Accepted Submission(s): 402 Problem Description XOR is a kind of bit operator, we define that as follow: for two binary base number A