设题目中序列 \(w_1,w_1 \& w_2,w_1 \& w_2 \& w_3,\dots,w_1 \& w_2 \& \dots \& w_n\) 为序列 \(A\)。

因为是数字一个一个 \(\&\) 到之前的结果上，所以可以知道 \(A\) 序列单调不增。

从给出的样例中发现，似乎没有答案超过 \(2\) 的情况

证明：

假设答案 \(>2\)，则说明 \(A\) 序列至少中出现过了 \(0,1,2\)，因为 \(A\) 序列单调不增，所以假设当前的 \(A_i\) 为 \(2\)，必须后面的数出现 \(1\) 和 \(0\) 才可以。但 \(2\) 的二进制末位为 \(0\)，无论怎么 \(\&\) ，后面的数也不可能出现 \(1\)，假设不成立，所以答案不可能 \(>2\)。

结论：

答案为 \(0\)，\(1\) 或 \(2\)。

• 首先考虑答案为 \(0\) 的情况，即 \(A\) 序列中没有出现过 \(0\)：

\(A\) 序列中没有出现过 \(0\)，即说明对于所有 \(w\)，在二进制下至少有一位都是 \(1\)，不然 \(\&\) 后就会变 \(0\)。

那么如何判断是否有一条路径上所有边权在二进制下至少有一位都是 \(1\)？

考虑用并查集维护。因为 \(w<=2^{30}\)，所以可以开 \(30\) 个并查集，分别维护每一位上是 \(1\) 的边权所连接的点的集合，然后要判断求的两点是否在其中一张图中连通即可。

• 再看答案为 \(1\) 的情况，即 \(A\) 序列中出现过 \(0\) 但没有出现过 \(1\)：

\(A\) 序列中没有出现过 \(1\)，即说明对于 \(A\) 序列前某一部分 \((i1\)，而 \(a_k\) 及之后都是 \(0\)。

先考虑如何保证 \(A\) 序列前某一部分 \((i1\)。这个和答案为 \(0\) 的情况很像，只要所有 \(w_i(i<k)\) 中至少有一位都是 \(1\) 即可。但特别地，这一位不能是末位，否则 \(a_{k-1}\) 就变 \(1\) 了。

然后就只要判断之后是否有一条边可以使 \(\&\) 之后结果为 \(0\) 即可。

如何维护？

先上结论：只要保证末位有一个 \(0\) 即可。先把之前判断答案是否为 \(0\) 的并查集借过来，然后事先找好哪些边权末位为 \(0\)，将与这些边相邻的点和一个虚点 \(0\) 连起来。如果后询问中出发点 \(u\) 可以和虚点 \(0\) 连通，那么答案就为 \(1\) 了。

证明：如果后询问中出发点 \(u\) 可以和虚点 \(0\) 连通，就意味着 \(u\) 在某一位上 （不为末位）可经过连续的几个 \(1\)，保证了 \(a_i>1\)。然后可以走到一位末位为 \(0\) 的，\(a_i\) 的末位就会变成 \(0\)。之后，因为不存在某一位全部为 \(1\) 的（已经被判掉了），所以可以保证 \(a_i\) 的其他位最终也会变成 \(0\)。

这一部分有点绕，建议花点时间自己举几个例子好好理解一下。

• 最后，都不是这两种情况的答案就为 \(2\)。

---

那么，如何方便地实现并查集？

可以写到一个结构体里。（涨芝士了

比如：

struct DSU{
    int fa[100005];
    DSU(){for(int i=0;i<=100000;i++)fa[i]=i;}  //初始化
    int find(int x){return x==fa[x]?x:fa[x]=find(fa[x]);}  //find
    void merge(int x,int y){fa[find(x)]=find(y);}  //合并
    bool query(int x,int y){return find(x)==find(y);}  //判断
}x[35];

合并：

x[i].merge(u,v);

判断联通：

if(x[i].query(u,v))

要开多个并查集时很方便，比写二维数组要清楚。

#include<bits/stdc++.h>
using namespace std;
int n,m,q,u,v,w;
bool mark[100005];
struct DSU{   //还是喜欢不压行
    int fa[100005];
    DSU(){
        for(int i=0;i<=100000;i++) fa[i]=i;
    }
    int find(int x){
        if(fa[x]==x) return x;
        return fa[x]=find(fa[x]);
    }
    void merge(int u,int v){
        fa[find(u)]=find(v);
        return ;
    }
    bool query(int u,int v){
        return find(u)==find(v);
    }
}x[35],y[35];
int main(){
    scanf("%d%d",&n,&m);
    for(int i=1;i<=m;i++){
        scanf("%d%d%d",&u,&v,&w);
        for(int j=0;j<30;j++){
            if((w>>j)&1) x[j].merge(u,v);  //j位是1的连起来
        }
        if(!(w&1)) mark[u]=mark[v]=1;  //末位不是1做标记
    }
    for(int i=1;i<=30;i++){   //从1开始
        y[i]=x[i];
        for(int j=1;j<=n;j++){
            if(mark[j]) y[i].merge(j,0);  //有标记和0连
        }
    }
    scanf("%d",&q);
    for(int i=1;i<=q;i++){
        scanf("%d%d",&u,&v);
        bool fl=0;
        for(int j=0;j<30;j++){   //从0开始
            if(x[j].query(u,v)){
                printf("0\n"),fl=1;
                break;
            }
        }
        if(fl) continue;
        for(int j=1;j<30;j++){    //从1开始
            if(y[j].query(u,0)){
                printf("1\n"),fl=1;
                break;
            }
        }
        if(fl) continue;
        printf("2\n");
    }
    return 0;
}