题解 外星千足虫(线性基+高斯消元)

题解 luogu外星千足虫(线性基+高斯消元)

题目

luogu题目传送门

题解想法

  1. 首先需要知道这是个异或方程对吧
    然后既然看到位运算,又有这么多,就可以考虑线性基(做题技巧),那我们就丢进去
    接下来看一看线性基,哇,性质美妙
    它不就是Gauss消元里面想要的上三角矩阵吗
  2. 所以说:
    • 如果能拼成线性基,那么枚举到哪里完成了,就输出位置(first_ans)
    • 如果拼不成,那就解不出(毋庸置疑)
  3. 那真是美妙啊。。。
  4. 所以怎么消元呢?这可是个异或方程,我们要解出来啊
    枚举整个线性基的g[i]
    如果g[i][j]这一位上为1,是不是就有一个未知数!
    (注意这是个异或方程)
    我们的线性基在g[j][j]上是一定会有数的对吧
    那我们直接给g[i]异或一下g[j]不就消掉了!!!
    直到枚举玩整个g[i],剩下的y(输入的那个"等号右边"的)如果为0就是地球了,为1就是外星了(单数只脚。。。)

code

#include<iostream>
#include<cstdlib>
#include<cstdio>
#include<cmath>
#include<cstring>
#include<iomanip>
#include<algorithm>
#include<ctime>
#include<queue>
#include<stack>
#include<vector>
#include<bitset>
#define lst long long
#define ldb long double
#define N 2050
using namespace std;
const int Inf=1e9;
int read()
{
    int s=0,m=0;char ch=getchar();
    while(ch<'0'||ch>'9'){if(ch=='-')m=1;ch=getchar();}
    while(ch>='0'&&ch<='9')s=(s<<3)+(s<<1)+(ch^48),ch=getchar();
    return m?-s:s;
}

int m,n,Done;
bitset<N>f[N],g[N];

void Insert(int now)//线性基插入
{
    for(int j=1;j<=n;++j)
    {
        if(f[now][j])
        {
            if(!g[j][j]){g[j]=f[now],Done++;break;}
            f[now]^=g[j];
        }
    }
}

void Gauss()//高斯消元
{
    for(int i=1;i<=n;++i)
    {
        for(int j=i+1;j<=n;++j)
            if(g[i][j])g[i]^=g[j];

        if(g[i][n+1])puts("?y7M#");
        else puts("Earth");
    }
}

int main()
{
    n=read(),m=read();
    char x;int y;
    for(int i=1;i<=m;++i)
    {
        for(int j=1;j<=n;++j)
            cin>>x,y=x-'0',f[i][j]=y;
        cin>>x,y=x-'0',f[i][n+1]=y;
    }
    for(int i=1;i<=m;++i)
    {
        Insert(i);
        if(Done==n){printf("%d\n",i);break;}
    }
    if(Done!=n){puts("Cannot Determine");return 0;}

    Gauss();

    return 0;
}

yeh!!!

原文地址:https://www.cnblogs.com/cjoierljl/p/9457136.html

时间: 2024-10-02 11:57:42

题解 外星千足虫(线性基+高斯消元)的相关文章

【题解】 bzoj1923: [Sdoi2010]外星千足虫 (线性基/高斯消元)

bzoj1923,戳我戳我 Solution: 这个高斯消元/线性基很好看出来,主要是判断在第K 次统计结束后就可以确定唯一解的地方和\(bitset\)的骚操作 (我用的线性基)判断位置,我们可以每次加入一个线性基时判断是不是全被异或掉了,如果没有,说明这个方程不是冗余的,那么我们可记录非冗余方程个数 如果非冗余方程个数小于\(n\),那就是个不定方程组,有无数种解,否则,在个数第一次达到\(n\)时,就可输出当时输入方程的号码 还有一个点就是压空间与时间,这题主要是时间,用到大杀器\(bit

【bzoj4004】【JLOI2015】装备购买 (线性基+高斯消元)

Description 脸哥最近在玩一款神奇的游戏,这个游戏里有 n 件装备,每件装备有 m 个属性,用向量zi(aj ,.....,am) 表示 (1 <= i <= n; 1 <= j <= m),每个装备需要花费 ci,现在脸哥想买一些装备,但是脸哥很穷,所以总是盘算着怎样才能花尽量少的钱买尽量多的装备.对于脸哥来说,如果一件装备的属性能用购买的其他装备组合出(也就是说脸哥可以利用手上的这些装备组合出这件装备的效果),那么这件装备就没有买的必要了.严格的定义是,如果脸哥买了

【BZOJ2844】albus就是要第一个出场 线性基 高斯消元

#include <stdio.h> int main() { puts("转载请注明出处[vmurder]谢谢"); puts("网址:blog.csdn.net/vmurder/article/details/43456773"); } 题意:需要注意的是空集(0)是天生被包括的,我为了这个WA了好久~拍了好久,醉了好久~ 题解: 首先有一个我并不知道是为什么(甚至不知道它对不对)的性质: 每一种权值会出现2的自由元(n-线性基个数)次方 次. 感性

【BZOJ-1923】外星千足虫 高斯消元 + xor方程组

1923: [Sdoi2010]外星千足虫 Time Limit: 10 Sec  Memory Limit: 64 MBSubmit: 766  Solved: 485[Submit][Status][Discuss] Description Input 第一行是两个正整数 N, M. 接下来 M行,按顺序给出 Charles 这M次使用“点足机”的统计结果.每行包含一个“01”串和一个数字,用一个空格隔开.“01”串按位依次表示每只虫子是否被放入机器:如果第 i 个字符是“0”则代表编号为

bzoj 1923 [Sdoi2010]外星千足虫(高斯消元+bitset)

1923: [Sdoi2010]外星千足虫 Time Limit: 10 Sec  Memory Limit: 64 MBSubmit: 634  Solved: 397[Submit][Status][Discuss] Description Input 第一行是两个正整数 N, M. 接下来 M行,按顺序给出 Charles 这M次使用“点足机”的统计结果.每行 包含一个“01”串和一个数字,用一个空格隔开.“01”串按位依次表示每只虫 子是否被放入机器:如果第 i 个字符是“0”则代表编号

BZOJ1923 [Sdoi2010]外星千足虫 【高斯消元】

题目 输入格式 第一行是两个正整数 N, M. 接下来 M行,按顺序给出 Charles 这M次使用"点足机"的统计结果.每行 包含一个"01"串和一个数字,用一个空格隔开."01"串按位依次表示每只虫 子是否被放入机器:如果第 i 个字符是"0"则代表编号为 i 的虫子未被放入,"1" 则代表已被放入.后面跟的数字是统计的昆虫足数 mod 2 的结果. 由于 NASA的实验机器精确无误,保证前后数据不会自

1923. [SDOI2010]外星千足虫【高斯消元】

Description Input 第一行是两个正整数 N, M. 接下来 M行,按顺序给出 Charles 这M次使用“点足机”的统计结果.每行 包含一个“01”串和一个数字,用一个空格隔开.“01”串按位依次表示每只虫 子是否被放入机器:如果第 i 个字符是“0”则代表编号为 i 的虫子未被放入,“1” 则代表已被放入.后面跟的数字是统计的昆虫足数 mod 2 的结果. 由于 NASA的实验机器精确无误,保证前后数据不会自相矛盾.即给定数据 一定有解. Output 在给定数据存在唯一解时有

bzoj1923[Sdoi2010]外星千足虫(高斯消元)

Description Input 第一行是两个正整数 N, M. 接下来 M行,按顺序给出 Charles 这M次使用"点足机"的统计结果.每行 包含一个"01"串和一个数字,用一个空格隔开."01"串按位依次表示每只虫 子是否被放入机器:如果第 i 个字符是"0"则代表编号为 i 的虫子未被放入,"1" 则代表已被放入.后面跟的数字是统计的昆虫足数 mod 2 的结果. 由于 NASA的实验机器精确无误

[bzoj1923]外星千足虫[高斯消元]

高斯消元解异或方程组 1 #include <iostream> 2 #include <algorithm> 3 #include <cstdio> 4 #include <cstdlib> 5 #include <cstring> 6 #include <cmath> 7 #include <ctime> 8 #include <bitset> 9 10 using namespace std; 11 12