【做题记录】CF1451E2 Bitwise Queries (Hard Version)

CF1451E2 Bitwise Queries (Hard Version)

题意：

有 \(n\) 个数（ \(n\le 2^{16}\) ，且为 \(2\) 的整数次幂，且每一个数都属于区间 \([0,n-1]\) ） 可以通过询问交互库不超过 \(n+1\) 次询问，每次询问编号为 \(i,j\) （ \(1\le i,j \le n\) ，\(i\ne j\) ） 的 XOR 、OR 或 AND ，求出这 \(n\) 个数 。

题解：

分类讨论，先对 \(2-n\) 这 \(n-1\) 个数每个数都与 \(1\) 询问一次 XOR ，之后考虑 \(2\) 次求出 \(a_1\) 。

• 所有数都互不相同

  此时所有 \(xor\) 值都不相同且都不等于 \(0\) ，可以分别找出 \(xor_i=1\) 与 \(xor_j=n-2\) 的数，用 \(1\) 一次 \(and\) 询问求出 \(a_1\) 的前 \(m\) 位与最后一位 。

• 有些数相同

  那些数的 \(xor\) 值相同 。

  • 有些数与 \(a_1\) 相同

    找出 \(xor_i=0\) 的数，与 \(1\) 询问 AND ，直接求出 \(a_1\) 。

  • 有些数相同，但不等于 \(a_1\)

    找出两个 \(xor\) 相同的数，用 \(1\) 次询问求出 \(a_i\) ，进而用之前询问求得的 \(xor_i\) 求出 \(a_1\) 。

代码：

#include<bits/stdc++.h>
using namespace std;
#define Maxn 65540
inline int rd()
{
	 int x=0;
     char ch,t=0;
     while(!isdigit(ch = getchar())) t|=ch=='-';
     while(isdigit(ch)) x=x*10+(ch^48),ch=getchar();
     return x=t?-x:x;
}
int n,Xor[Maxn],ans[Maxn],vis[Maxn];
bool All=true;
inline int XOR(int x,int y)
{
	 printf("XOR %d %d\n",x,y),fflush(stdout);
	 return rd();
}
inline int AND(int x,int y)
{
	 printf("AND %d %d\n",x,y),fflush(stdout);
	 return rd();
}
int main()
{
     //freopen(".in","r",stdin);
     //freopen(".out","w",stdout);
	 n=rd();
	 for(int i=2;i<=n;i++)
	 {
	 	 Xor[i]=XOR(1,i);
	 	 if(vis[Xor[i]] || Xor[i]==0) All=0;
	 	 vis[Xor[i]]=1;
	 }
	 if(All)
	 {
	 	 for(int i=2;i<=n;i++)
	 	 {
	 	 	 if(Xor[i]==1) ans[1]|=AND(1,i);
	 	 	 if(Xor[i]==n-2) ans[1]|=AND(1,i);
		 }
	 }
	 else
	 {
	 	 if(vis[0])
	 	 {
	 	 	 for(int i=2;i<=n;i++) if(!Xor[i]) { ans[1]=AND(1,i); break; }
		 }
		 else
		 {
		 	 for(int i=0;i<=n-1;i++) vis[i]=0;
		 	 for(int i=2;i<=n;i++)
		 	 {
		 	 	 if(vis[Xor[i]]) { ans[1]=Xor[i]^AND(vis[Xor[i]],i); break; }
				 vis[Xor[i]]=i;
			 }
		 }
	 }
	 for(int i=2;i<=n;i++) ans[i]=ans[1]^Xor[i];
	 printf("! ");
	 for(int i=1;i<=n;i++) printf("%d%c",ans[i],(i==n)?'\n':' ');
	 fflush(stdout);
     //fclose(stdin);
     //fclose(stdout);
     return 0;
}