【洛谷P2447】[SDOI2010]外星千足虫
外星千足虫
首先,它一看题解就是个高斯消元
只是改成了奇偶性的判断
性质:
奇数+奇数=偶数
奇数+偶数=奇数
偶数+奇数=奇数
偶数+偶数=偶数
于是我们用1表示奇数,0表示偶数
1+1=0
1+0=1
0+1=1
0+0=0
这个"+"好像可以换成"^" 。。。
于是开始搞死高斯消元
// luogu-judger-enable-o2
#pragma GCC optimize ("O3")
#include<iostream>
#include<cstdio>
#include<bitset>
using namespace std;
int n,m,R;
bitset<> a[],ans;
char s[];
inline void read(int line)
{
scanf("%s",s);
for(int i=;i<=n;i++)
a[line][i]=s[i-]-'';
getchar();
char c=getchar();
a[line][n+]=c-'';
}
inline bool Gauss() //高斯消元模板
{
for(register int i=;i<=n;i++)
{
int j=i;
while(!a[j][i]&&j<=m) j++; //向下找到为1的一行
if(j==m+) return ;
R=max(j,R); //需要用到的行的最大行号
if(i!=j) swap(a[i],a[j]);
for(register int j=i+;j<=m;j++) //消元,将矩阵变换为上三角矩阵
if(a[j][i]&&i!=j) a[j]^=a[i];
// for(int k=1;k<=m;k++,puts(""))
// for(int l=1;l<=n+1;l++)
// cout<<a[k][l]<<' ';
// puts("");
}
return ;
}
int main()
{
scanf("%d%d",&n,&m);
for(int i=;i<=m;i++) read(i);
if(Gauss())
{
printf("%d\n",R);
for(register int i=n;i>=;i--) //回代
{
ans[i]=a[i][n+];
for(register int j=i+;j<=n;j++)
if(a[i][j]&&ans[j]) ans[i]=!ans[i]; //只有奇数对当前答案产生影响
}
for(register int i=;i<=n;i++)
if(ans[i]) puts("?y7M#");
else puts("Earth");
}
else puts("Cannot Determine");
return ;
}
【洛谷P2447】[SDOI2010]外星千足虫的更多相关文章
- 洛谷 P2447 [SDOI2010]外星千足虫
P2447 [SDOI2010]外星千足虫 题目描述 公元2089年6月4日,在经历了17年零3个月的漫长旅行后,“格纳格鲁一号”载人火箭返回舱终于安全着陆.此枚火箭由美国国家航空航天局(NASA)研 ...
- 洛谷P2447 [SDOI2010]外星千足虫(异或方程组)
题意 题目链接 Sol 异或高斯消元的板子题. bitset优化一下,复杂度\(O(\frac{nm}{32})\) 找最优解可以考虑高斯消元的过程,因为异或的特殊性质,每次向下找的时候找到第一个1然 ...
- [洛谷P2447][SDOI2010]外星千足虫
题目大意:有$n$个数,每个数为$0$或$1$,给你其中一些关系,一个关系形如其中几个数的异或和是多少,问最少知道前几个关系就可以得出每个数是什么,并输出每个数 题解:异或方程组,和高斯消元差不多,就 ...
- 洛咕 P2447 [SDOI2010]外星千足虫
一开始以为是异或高斯消元,实际上是简单线性基. 直接往线性基里插入,直到线性基满了就解出来了. // luogu-judger-enable-o2 #include<bits/stdc++.h& ...
- 【洛谷P2447】外星千足虫
题目大意:给定一个 M 个含 N 个未知数的异或方程组,保证有解,若存在唯一解,给出至少需要几个方程才能得出唯一解,若不存在,直接输出不存在. 题解:异或方程组也满足类似初等行变换的操作,只不过所有的 ...
- P2447 [SDOI2010]外星千足虫 (高斯消元)
题目 P2447 [SDOI2010]外星千足虫 解析 sol写到自闭,用文字描述描述了半个小时没描述出来,果然还是要好好学语文 用高斯消元求解异或方程组. 因为 \(奇数\bigoplus奇数=偶数 ...
- 【P2447 [SDOI2010]外星千足虫】 题解
题目链接:https://www.luogu.org/problemnew/show/P2447 dalao们都说简单...解异或方程组 可我不是dalao qwq #include <algo ...
- P2447 [SDOI2010]外星千足虫
怎么说呢? 因为是在mod 2 意义下的吗(一般是遇到二就可能是位运行算或二分图) 就可以利用异或计算. 因为奇数和偶数在二进制上就用判断最后一位就可以了 然后因为异或符合交换律和结合律 直接消元就可 ...
- 【题解】Luogu P2447 [SDOI2010]外星千足虫
原题传送门 根据题意,题目给的每个操作就相当于异或上选中的那几只虫子的足数(mod 2)等于0/1 这是一个异或方程组,珂以用高斯消元解出每个虫子的足数(mod 2).所需最小次数或判断有多解 但是看 ...
- Luogu P2447 [SDOI2010]外星千足虫 高斯消元
链接 给出的条件是异或类型的方程,可以直接用bitset优化高斯消元. 至于求K,在高斯消元时记录用到的最大的方程的编号即可. 代码: // luogu-judger-enable-o2 #inclu ...
随机推荐
- TOJ 2815 Connect them (kruskal+并查集)
描述 You have n computers numbered from 1 to n and you want to connect them to make a small local area ...
- 【算法】K-Means聚类算法(k-平均或k-均值)
1.聚类算法和分类算法的区别 a)分类 分类(Categorization or Classification)就是按照某种标准给对象贴标签(label),再根据标签来区分归类. 举例: 假如你有一堆 ...
- multiprocessing 模块
multiprocessing模块 进程对象 创建 p = Process(target=foo, args=(param,)) 属性 p.daemon: True为守护进程, 守护进程内无法再开启子 ...
- FZU 2122 ——又见LKity——————【KMP字符串匹配】
Problem 2122 又见LKity Accept: 413 Submit: 1425Time Limit: 1000 mSec Memory Limit : 32768 KB Pr ...
- [转]Asp.net MVC中的ViewData与ViewBag
本文转自:http://www.cnblogs.com/wintersun/archive/2012/01/21/2328563.html 在Asp.net MVC 3 web应用程序中,我们会用到V ...
- 弱类型dynamic与var
dynamic与var都可代替任何类型 var关键字是C# 3.0开始新增的特性,称为推断类型. 1.必须在定义时初始化 2.一但初始化完成就不能再给变量赋与初始化值类型不同的值 3.var要求是局部 ...
- 05.while循环的练习
练习1: namespace _05.while循环练习01 { class Program { static void Main(string[] args) { //打印100次"努力学 ...
- python的元组及其书写规矩
1.元组 (1)元组看起来犹如列表,但使用圆括号而不是方括号来标识.定义元组后,就可以使用索引来访问其元素,就像访问列表元素一样. (2)元组的元素不可修改,但是可以赋值. 2.规矩 (1)缩进:建议 ...
- hibernate open session in view 抛出异常解决方法
在使用open-session-in-view的时候,如果使用不当,有可能抛出两种异常1,NonUniqueObjectException2,在配合spring使用的时候会可能会抛出org.sprin ...
- ACM-线段树扫描线总结
扫描线的基础概念可以看这几篇文章 http://blog.csdn.net/xingyeyongheng/article/details/8927732 http://www.cnblogs.com/ ...