ZOJ Problem Set - 3656 bit magic

最新推荐文章于 2020-03-11 00:05:59 发布

ngncmh

最新推荐文章于 2020-03-11 00:05:59 发布

阅读量727

点赞数

分类专栏：位运算枚举文章标签： c

本文链接：https://blog.csdn.net/KQZXCMH/article/details/8072704

版权

枚举同时被 2 个专栏收录

11 篇文章 0 订阅

订阅专栏

位运算

3 篇文章 0 订阅

订阅专栏

The 2012 ACM-ICPC Asia Changchun Regional Contest-B

题目大意就是给出b数组和b数组的构造方法，问有没有存在这样的a能构造出b数组

题目涉及到了& | ^ 三个位运算，因此可以逐位来考虑。很容易从^运算想到如果a[i-1] 知道，则a[i]可以被推出，因为i-1和i肯定是一奇一偶，所以a[i]=c[i-1][i]^a[i-1]。

因此可以枚举a[0]是0 还是1，推出a后判断是否合法。

貌似也可以用2-sat判定。

#include <iostream>
#include <cstdio>
#include <cstdlib>
#include <cstring>

#define bit 32
#define N 505
using namespace std;
int a[N],c[N][N],b[N][N];
int n;
bool  Judge(int value){
      a[0]=value;
      for (int i=1;i<n;++i) {
          a[i]=c[i-1][i] ^ a[i-1];
      }
          
      for (int i=0;i<n;++i)
          for (int j=0;j<n;++j)
          {
              if (i == j) value = 0;
			  else if (i % 2 == 1 && j % 2 == 1) value = a[i] | a[j];
			  else if (i % 2 == 0 && j % 2 == 0) value = a[i] & a[j];
			  else value = a[i] ^ a[j];
			  if (value!=c[i][j]) return false;

          }
      return true;
}

int main()
{
    while (cin>>n){
          bool ok=true;
          for (int i=0;i<n;++i)
          for (int j=0;j<n;++j) scanf("%d",&b[i][j]);
          if (n==1) ok=(b[0][0]==0);
          else 
               for (int k=0;k<bit;++k){
                   if (ok==false) break;
                   for (int i=0;i<n;++i)
                   for (int j=0;j<n;++j)
                   c[i][j]=b[i][j]&1,b[i][j]>>=1;
                   
                   if (!Judge(0) && !Judge(1))ok=false;
               }
          cout<<(ok?"YES":"NO")<<endl;
          
    }
    return 0;
}