Codeforces Round #685 (Div. 2) E2 - Bitwise Queries (Hard Version)题解

最新推荐文章于 2023-02-21 18:33:22 发布

hzeroto

最新推荐文章于 2023-02-21 18:33:22 发布

阅读量288

点赞数 2

分类专栏： CodeForces

本文链接：https://blog.csdn.net/hzerotole/article/details/109923907

版权

CodeForces 专栏收录该内容

8 篇文章 0 订阅

订阅专栏

E Bitwise Queries

题意

交互题，有一个 $n$ 个数（ $n$ 为 $2$ 的幂次）的序列，每个数范围 $[0, n - 1]$ 。最多给出 $n + 1$ 次询问，能得到任意两个数的AND或OR或XOR。根据询问还原序列。

想法

easy version的比较简单，直接 $n - 1$ 次的XOR来链接这些数然后用3次的两两OR来确定前三个数（能根据XOR结果知道前三个数哪些位两两相同并且用OR来确定这些相同的位的值，XOR为 $0$ 的位OR为 $0$ 则全 $0$ ，OR为 $1$ 则全 $1$ ）。

hard version需要用到每个数的范围和power of two这个条件，同样不可缺少的是 $n - 1$ 次的XOR（都与第一个数XOR）链接每个数。然后可以发现最多 $n - 1$ 个数，分两种情况

有重复的数
- 和第一个数相同， $a_1 XOR a_j=0,2 \leq j\leq n$ 。直接用AND来给第一个数赋值， $a_1=a_1 AND a_j$ 。
- 除了第一个数的两个数相同 $a_i XOR a_j=0(a_i XOR a_1 = a_j XOR a_1),2 \leq i,j\leq n$ 。那么找到这些位置，用 $a_i AND a_j$ 来赋值。同样得到全部数。
没有重复的数，那么这n个数分布在 $[0, n - 1]$ 。根据异或的性质，第一个数与后面 $n - 1$ 个数的异或结果范围为 $[1, n - 1]$ 。那么找到异或结果为1和2的两个位置， $a_1 XOR a_i = 1,a_1 XOR a_j = 2$ 。分别来确定 $a_1$ 的除了 $2^0$ 和 $2^1$ 位的全部值，从而确定 $a_1$ 。

代码

#include <algorithm>
#include <cmath>
#include <cstdio>
#include <iostream>
#include <map>
#include <vector>
using namespace std;
const int maxn = 1e5 + 5;
typedef long long ll;
int a[1 << 17];
int q1(int i, int j) {
    printf("OR %d %d\n", i, j);
    fflush(stdout);
    int x;
    scanf("%d", &x);
    return x;
}
int q2(int i, int j) {
    printf("AND %d %d\n", i, j);
    fflush(stdout);
    int x;
    scanf("%d", &x);
    return x;
}
int q3(int i, int j) {
    printf("XOR %d %d\n", i, j);
    fflush(stdout);
    int x;
    scanf("%d", &x);
    return x;
}
int res[1 << 17];
int n;
inline void cal() {
    for (int i = 2; i <= n; ++i) {
        a[i] = a[1] ^ res[i];
    }
}
map<int, int> mp;
int main() {
    scanf("%d", &n);
    int flag1 = 0, flag2 = 0;
    int p1, p2;
    for (int i = 2; i <= n; ++i) {
        res[i] = q3(1, i);
    }
    for (int i = 2; i <= n; ++i) {
        if (res[i] == 0) {
            flag1 = i;
            break;
        }
        if (res[i] == 1) p1 = i;
        if (res[i] == 2) p2 = i;
        if (mp.find(res[i]) != mp.end()) {
            flag2 = 1;
            p1 = i, p2 = mp[res[i]];
            break;
        }
        mp[res[i]] = i;
    }
    if (flag1) {
        a[1] = q2(1, flag1);
    } else if (flag2) {
        a[p1] = q2(p1, p2);
        a[1] = a[p1] ^ res[p1];
    } else {
        a[1] = q2(1, p1);
        int tp = q2(1, p2);
        if (a[1] & 1) a[1] ^= 1;
        a[1] ^= (tp & 1);
    }
    cal();
    printf("!");
    for (int i = 1; i <= n; ++i) printf(" %d", a[i]);
    puts("");
    return 0;
}