【高斯消元】[SGU275]To xor or not to xor-程序员宅基地

技术标签: sgu  c++  高斯消元  方程  异或  

题目大意

从N个数中选出任意个数,使XOR和最大

分析

我们贪心地思考这道题,每次,我们从最高位开始枚举答案的每一位,并且总是尝试使这一位为1,并和前面所有的方程联立求解,由于数据最大为 1018 , 1018<260 ,所以最多枚举60位,每次用高斯消元的复杂度为为 O(n602) ,然后枚举60位,复杂度为 O(n603)

解法

算法1:在线高斯消元法

当然,有一种求异或方程的在线算法,新增加的方程,和前面的方程联立求解的时候只需要 O(n60) 的时间复杂度,,然后枚举60位,复杂度为 O(n602)
如果再加上压位优化,复杂度为 O(n60232)

#include<cstdio>
#include<algorithm>
using namespace std;
typedef long long LL;
typedef unsigned int uint;
#define MAXN 100
#define D 32
const int equ=63;
int n,var,row;
LL b[MAXN+10],ans,c[MAXN+10];
unsigned int a[equ+10][4];
template<class T>
void Read(T &x){
    char c;
    while(c=getchar(),c!=EOF)
        if(c>='0'&&c<='9'){
            x=c-'0';
            while(c=getchar(),c>='0'&&c<='9')
                x=x*10+c-'0';
            ungetc(c,stdin);
            return;
        }
}
void read(){
    Read(n);
    int i,j;
    for(i=0;i<n;i++)
        Read(b[i]);
    var=n;
    for(i=1;i<=equ;i++)
        for(j=0;j<var;j++)
            a[i][j/D]|=((b[j]>>(equ-i))&1)<<(j%D);
}
void gaussian_elimination(){
    int i,j,qv1=var/D,qv2=var%D;
    for(row=1;row<=equ;row++){
        a[row][qv1]|=1<<qv2;
        for(i=0;i<var;i++)
            if(a[row][i/D]&(1<<(i%D))){
                if(!c[i]){
                    c[i]=row;
                    break;
                }
                else if(c[i])
                    for(j=0;j<4;j++)
                        a[row][j]^=a[c[i]][j];
            }
        ans<<=1;
        if(i==var&&(a[row][qv1]&(1<<qv2)))
            a[row][qv1]=0;
        else
            ans|=1;
    }
}
int main()
{
    read();
    gaussian_elimination();
    printf("%I64d",ans);
}

算法2:利用高斯约当消元法的性质

我们把刚刚的算法一的矩阵(不包括常数项)逆时针旋转90°,即每一行为一个数字,每一列为每一位。
我们发现,只要我们做高斯约当消元,就可以很容易的保证当前列的异或和为一。所以,我们做完高斯消元后,将得到的矩阵一行一行的异或起来,就能得到答案。

#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
#define MAXN 100
typedef long long LL;
int n,equ,var=64,row;
LL a[MAXN+10],ans;
template<class T>
void Read(T &x){
    char c;
    while(c=getchar(),c!=EOF)
        if(c>='0'&&c<='9'){
            x=c-'0';
            while(c=getchar(),c>='0'&&c<='9')
                x=x*10+c-'0';
            ungetc(c,stdin);
            return;
        }
}
void read(){
    Read(n);
    equ=n;
    for(int i=1;i<=n;i++)
        Read(a[i]);
}
void gauss_jordan(){
    int i,col;
    for(row=col=1;row<=equ&&col<=var;row++,col++){
        if(!(a[row]>>(var-col))&1)
            for(i=row;i<=n;i++)
                if(a[i]>>(var-col)&1){
                    swap(a[i],a[row]);
                    break;
                }
        if(!(a[row]>>(var-col))&1){
            row--;
            continue;
        }
        for(i=1;i<=equ;i++)
            if(i!=row&&(a[i]>>(var-col))&1)
                a[i]^=a[row];
    }
    row--;
}
void print(){
    for(int i=1;i<=row;i++)
        ans^=a[i];
    printf("%I64d",ans);
}
int main()
{
    read();
    gauss_jordan();
    print();
}
版权声明:本文为博主原创文章,遵循 CC 4.0 BY-SA 版权协议,转载请附上原文出处链接和本声明。
本文链接:https://blog.csdn.net/outer_form/article/details/50613928

智能推荐

Docker 快速上手学习入门教程_docker菜鸟教程-程序员宅基地

文章浏览阅读2.5w次,点赞6次,收藏50次。官方解释是,docker 容器是机器上的沙盒进程,它与主机上的所有其他进程隔离。所以容器只是操作系统中被隔离开来的一个进程,所谓的容器化,其实也只是对操作系统进行欺骗的一种语法糖。_docker菜鸟教程

电脑技巧:Windows系统原版纯净软件必备的两个网站_msdn我告诉你-程序员宅基地

文章浏览阅读5.7k次,点赞3次,收藏14次。该如何避免的,今天小编给大家推荐两个下载Windows系统官方软件的资源网站,可以杜绝软件捆绑等行为。该站提供了丰富的Windows官方技术资源,比较重要的有MSDN技术资源文档库、官方工具和资源、应用程序、开发人员工具(Visual Studio 、SQLServer等等)、系统镜像、设计人员工具等。总的来说,这两个都是非常优秀的Windows系统镜像资源站,提供了丰富的Windows系统镜像资源,并且保证了资源的纯净和安全性,有需要的朋友可以去了解一下。这个非常实用的资源网站的创建者是国内的一个网友。_msdn我告诉你

vue2封装对话框el-dialog组件_<el-dialog 封装成组件 vue2-程序员宅基地

文章浏览阅读1.2k次。vue2封装对话框el-dialog组件_

MFC 文本框换行_c++ mfc同一框内输入二行怎么换行-程序员宅基地

文章浏览阅读4.7k次,点赞5次,收藏6次。MFC 文本框换行 标签: it mfc 文本框1.将Multiline属性设置为True2.换行是使用"\r\n" (宽字符串为L"\r\n")3.如果需要编辑并且按Enter键换行,还要将 Want Return 设置为 True4.如果需要垂直滚动条的话将Vertical Scroll属性设置为True,需要水平滚动条的话将Horizontal Scroll属性设_c++ mfc同一框内输入二行怎么换行

redis-desktop-manager无法连接redis-server的解决方法_redis-server doesn't support auth command or ismis-程序员宅基地

文章浏览阅读832次。检查Linux是否是否开启所需端口,默认为6379,若未打开,将其开启:以root用户执行iptables -I INPUT -p tcp --dport 6379 -j ACCEPT如果还是未能解决,修改redis.conf,修改主机地址:bind 192.168.85.**;然后使用该配置文件,重新启动Redis服务./redis-server redis.conf..._redis-server doesn't support auth command or ismisconfigured. try

实验四 数据选择器及其应用-程序员宅基地

文章浏览阅读4.9k次。济大数电实验报告_数据选择器及其应用

随便推点

灰色预测模型matlab_MATLAB实战|基于灰色预测河南省社会消费品零售总额预测-程序员宅基地

文章浏览阅读236次。1研究内容消费在生产中占据十分重要的地位,是生产的最终目的和动力,是保持省内经济稳定快速发展的核心要素。预测河南省社会消费品零售总额,是进行宏观经济调控和消费体制改变创新的基础,是河南省内人民对美好的全面和谐社会的追求的要求,保持河南省经济稳定和可持续发展具有重要意义。本文建立灰色预测模型,利用MATLAB软件,预测出2019年~2023年河南省社会消费品零售总额预测值分别为21881...._灰色预测模型用什么软件

log4qt-程序员宅基地

文章浏览阅读1.2k次。12.4-在Qt中使用Log4Qt输出Log文件,看这一篇就足够了一、为啥要使用第三方Log库,而不用平台自带的Log库二、Log4j系列库的功能介绍与基本概念三、Log4Qt库的基本介绍四、将Log4qt组装成为一个单独模块五、使用配置文件的方式配置Log4Qt六、使用代码的方式配置Log4Qt七、在Qt工程中引入Log4Qt库模块的方法八、获取示例中的源代码一、为啥要使用第三方Log库,而不用平台自带的Log库首先要说明的是,在平时开发和调试中开发平台自带的“打印输出”已经足够了。但_log4qt

100种思维模型之全局观思维模型-67_计算机中对于全局观的-程序员宅基地

文章浏览阅读786次。全局观思维模型,一个教我们由点到线,由线到面,再由面到体,不断的放大格局去思考问题的思维模型。_计算机中对于全局观的

线程间控制之CountDownLatch和CyclicBarrier使用介绍_countdownluach于cyclicbarrier的用法-程序员宅基地

文章浏览阅读330次。一、CountDownLatch介绍CountDownLatch采用减法计算;是一个同步辅助工具类和CyclicBarrier类功能类似,允许一个或多个线程等待,直到在其他线程中执行的一组操作完成。二、CountDownLatch俩种应用场景: 场景一:所有线程在等待开始信号(startSignal.await()),主流程发出开始信号通知,既执行startSignal.countDown()方法后;所有线程才开始执行;每个线程执行完发出做完信号,既执行do..._countdownluach于cyclicbarrier的用法

自动化监控系统Prometheus&Grafana_-自动化监控系统prometheus&grafana实战-程序员宅基地

文章浏览阅读508次。Prometheus 算是一个全能型选手,原生支持容器监控,当然监控传统应用也不是吃干饭的,所以就是容器和非容器他都支持,所有的监控系统都具备这个流程,_-自动化监控系统prometheus&grafana实战

React 组件封装之 Search 搜索_react search-程序员宅基地

文章浏览阅读4.7k次。输入关键字,可以通过键盘的搜索按钮完成搜索功能。_react search