位运算 - 状态压缩 - Compatible Numbers - CodeForces - 165E

位运算 - 状态压缩 - Compatible Numbers - CodeForces - 165E

题意：

$$\begin{gathered} 给定一个长度为n的序列，对序列中的每一个数a_i，在序列中查询是否存在a_j使得a_i\&a_j=0， \\ 对每个a_i，输出一个对应a_j即可，若不存在，则输出-1。 \end{gathered}$$

Examples：

Input：
2
90 36

Output：
36 90


Input：
4
3 6 3 6

Output：
-1 -1 -1 -1


Input：
5
10 6 9 8 2

Output：
-1 8 2 2 8

数据范围：

$$\begin{gathered} 1<=n<-10^6，1<=a_i<=4\times 10^6. \\ Timelimit：4000ms，Memorylimit：262144kB \end{gathered}$$

---

分析：

$根据\&运算的性质，对于一个二进制数a，要使得a\&b=0，那么仅需将a的1都和0相与，a的0对应的位置可任意取。$

$比如a=10100，则b=0\times 0\times \times 。$

$用一个数组f，对输入的元素对应的元素做一个映射。$

$$\begin{gathered} 我们可以先做最极端的情况，把所有的1变成0，0变成1， \\ 又因为原本是0的位置可以取任意值，原本是1的位置必须变0， \\ 这样就会有部分合法状态被遗漏，是因为原本是0的位置可能仍然是0，但是我们都取1了， \\ 然后我们从大到小开始查找所有可能的状态，对每个状态，我们将其的某个零位置1， \\ 置1后若能得到之前已经被标记过的状态，说明该状态与之前的状态对应的是同一个元素，将该状态也映射到对应元素。 \end{gathered}$$

注意：$$\begin{gathered} 对于元素a_i，将a_i与(1<<23)-1异或，因为a_i<(1<<23)-1，故结果必然是大于a_i的。 \\ 因此，再枚举与a_i对应的其他状态时，需要从大到小枚举。 \end{gathered}$$

具体落实：

$①、用一个全1的二进制数与a_i异或，将a_i的所有位上的数取反。$

$②、从大到小枚举其他可能与a_i对应的状态，将其也映射到a_i。$

$③、对每个a_i，查询数组f，若f[a_i]存在，说明a_i对应的a_j存在在序列当中，输出即可。$

代码：

#include<cstdio>
#include<algorithm>
#include<cstring>
#include<iostream>
#include<vector>

using namespace std;

const int N=1e6+10;

int n,a[N],f[(1<<23)];

int main()
{
    cin>>n;
    for(int i=0;i<n;i++) 
    {
        scanf("%d",&a[i]);
        f[a[i]^(1<<23)-1]=a[i];
    }
    
    for(int i=(1<<23)-1;i;i--)
        if(!f[i])
            for(int j=0;j<23;j++)
                if(f[i|(1<<j)])
                    {f[i]=f[i|(1<<j)];break;}
                    
    for(int i=0;i<n;i++)
        if(f[a[i]])
            printf("%d ",f[a[i]]);
        else printf("-1 ");
        
    return 0;
}

---