BZOJ 1923 [Sdoi2010]外星千足虫

Description

Input

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

Output

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

Sample Input

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

Sample Output

4 
Earth 
?y7M# 
Earth 

HINT

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

Solution

高斯消元的模板题
一个简单易懂的板子

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

#define N 2050

bitset<N> a[N];
int n,m,ans=0;

bool gause()
{
    int now=0;
    for (int i=1;i<=n;i++)
    {
        int j=now+1;
        while (j<=m && !a[j][i]) j++;
        if (j>m) return false;
            else ans=max(ans,j);
        now++;
        swap(a[now],a[j]);
        for (int j=1;j<=m;j++)
          if (j!=now && a[j][i]==1)
            a[j]^=a[now];
    }
    return true;
}

int main()
{
    freopen("1923.in","r",stdin);
    freopen("1923.out","w",stdout);
    scanf("%d%d\n",&n,&m);
    char ch[N];
    for (int i=1;i<=m;i++)
    {
        gets(ch+1);
        for (int j=1;j<=n;j++)
          a[i][j]=int(ch[j]-'0');
        a[i][n+1]=int(ch[n+2]-'0');
    }
    if (!gause()) printf("Cannot Determine\n");
      else
      {
        printf("%d\n",ans);
        for (int i=1;i<=n;i++)
          if (a[i][n+1]==1) printf("?y7M#\n");
                       else printf("Earth\n");
      }
    return 0;
}