[BZOJ1923][Sdoi2010]外星千足虫

Posted 2020-09-05 xjr_01

[BZOJ1923][Sdoi2010]外星千足虫

试题描述

输入

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

输出

在给定数据存在唯一解时有 N＋1行，第一行输出一个不 超过M的正整数K，表明在第K 次统计结束后就可以确定唯一解；接下来 N 行 依次回答每只千足虫的身份，若是奇数条足则输出“?y7M#”（火星文），偶数 条足输出“Earth”。如果输入数据存在多解，输出“Cannot Determine”。 所有输出均不含引号，输出时请注意大小写。

输入示例

3 5
011 1
110 1
101 0
111 1
010 1

输出示例

4
Even
Odd
Even

数据规模及约定

对于 20%的数据，满足 N＝M≤20； 
对于 40%的数据，满足 N＝M≤500； 
对于 70%的数据，满足 N≤500，M≤1,000； 
对于 100%的数据，满足 N≤1,000，M≤2,000。 

题解

暴力高斯消元，大力用 bitset。

#include <iostream>
#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <cctype>
#include <algorithm>
#include <bitset>
using namespace std;

int read() {
	int x = 0, f = 1; char c = getchar();
	while(!isdigit(c)){ if(c == ‘-‘) f = -1; c = getchar(); }
	while(isdigit(c)){ x = x * 10 + c - ‘0‘; c = getchar(); }
	return x * f;
}

#define maxn 1010
#define maxm 2010

bitset <maxn> A[maxm];
int n, m;
char S[maxn];

int solve() {
	int mx = 0;
	for(int i = 1, j; i <= n; i++) {
		for(j = i; j <= m && !A[j][i]; j++);
		if(j > m) return -1;
		mx = max(mx, j);
		swap(A[i], A[j]);
		for(j = 1; j <= m; j++) if(i != j && A[j][i]) A[j] ^= A[i];
	}
	return mx;
}

int main() {
	n = read(); m = read();
	for(int i = 1; i <= m; i++) {
		scanf("%s", S);
		for(int j = 0; j < n; j++) A[i][j+1] = S[j] - ‘0‘;
		A[i][n+1] = read();
	}
	
	int ans = solve();
	if(ans < 0) return puts("Cannot Determine"), 0;
	printf("%d\n", ans);
	for(int i = 1; i <= n; i++) puts(A[i][n+1] ? "?y7M#" : "Earth");
	
	return 0;
}