1. 程式人生 > >P5169 xtq的異或和(FWT+線性基)

P5169 xtq的異或和(FWT+線性基)

傳送門

我咋感覺我學啥都是白學……

首先可以參考一下這一題,從中我們可以知道只要知道兩點間任意一條路徑以及整個圖裡所有環的線性基,就可以得知這兩個點之間的所有路徑的異或和

然而我好像並不會求線性基能張成的元素……話說原來這個線上性基裡爆搜就可以了麼……

於是我們可以隨便選一個點為根,\(dfs\)一遍跑出個生成樹,\(dis[u]\)表示點\(u\)到根節點的路徑上的異或和,那麼\(dis[u]\bigoplus dis[v]\)就是\(u,v\)之間的一條路徑的權值,設\(x\)為一個線性基能張成的元素,那麼\(dis[u]\bigoplus dis[v]\bigoplus x\)的答案就要加一

\(q\)為線性基大小,這樣的話複雜度就是\(O(n^2q)\),即列舉點對再列舉線性基能張成的元素

設陣列\(A,B\)\(A[i]=1\)當且僅當\(i\)能被線性基裡的元素張成否則\(A[i]=0\)\(B[i]\)為到根節點的路徑的異或和為\(i\)的點的個數,於是發現答案就是\(A\times B\times B\),其中乘法表示異或卷積,用\(FWT\)優化即可

//minamoto
#include<bits/stdc++.h>
#define R register
#define fp(i,a,b) for(R int i=a,I=b+1;i<I;++i)
#define fd(i,a,b) for(R int i=a,I=b-1;i>I;--i)
#define go(u) for(int i=head[u],v=e[i].v;i;i=e[i].nx,v=e[i].v)
template<class T>inline bool cmax(T&a,const T&b){return a<b?a=b,1:0;}
using namespace std;
char buf[1<<21],*p1=buf,*p2=buf;
inline char getc(){return p1==p2&&(p2=(p1=buf)+fread(buf,1,1<<21,stdin),p1==p2)?EOF:*p1++;}
int read(){
    R int res,f=1;R char ch;
    while((ch=getc())>'9'||ch<'0')(ch=='-')&&(f=-1);
    for(res=ch-'0';(ch=getc())>='0'&&ch<='9';res=res*10+ch-'0');
    return res*f;
}
char sr[1<<21],z[20];int C=-1,Z=0;
inline void Ot(){fwrite(sr,1,C+1,stdout),C=-1;}
void print(R int x){
    if(C>1<<20)Ot();if(x<0)sr[++C]='-',x=-x;
    while(z[++Z]=x%10+48,x/=10);
    while(sr[++C]=z[Z],--Z);sr[++C]='\n';
}
const int N=3e5+5,P=998244353,inv=499122177;
inline int add(R int x,R int y){return x+y>=P?x+y-P:x+y;}
inline int dec(R int x,R int y){return x-y<0?x-y+P:x-y;}
inline int mul(R int x,R int y){return 1ll*x*y-1ll*x*y/P*P;}
int ksm(R int x,R int y){
    R int res=1;
    for(;y;y>>=1,x=mul(x,x))if(y&1)res=mul(res,x);
    return res;
}
struct eg{int v,nx,w;}e[N<<1];int head[N],tot;
inline void add_edge(R int u,R int v,R int w){e[++tot]={v,head[u],w},head[u]=tot;}
int p[105],dis[N],vis[N],is[N],a[N];
int mx,lim,n,m,q,u,v,w,c;
void dfs(int u){
    vis[u]=1;
    go(u)if(!vis[v])dis[v]=dis[u]^e[i].w,dfs(v);
    else is[dis[v]^dis[u]^e[i].w]=1;
}
void ins(R int x){
    fd(i,mx-1,0)if(x&(1<<i)){
        if(p[i])x^=p[i];
        else return (void)(p[i]=x);
    }
}
void find(int i,int x){
    if(i<0)return (void)(is[x]=1);
    find(i-1,x);if(p[i])find(i-1,x^p[i]);
}
void FWT(int *A,int ty){
    for(R int mid=1;mid<lim;mid<<=1)
        for(R int j=0;j<lim;j+=(mid<<1))
            for(R int k=0;k<mid;++k){
                int x=A[j+k],y=A[j+k+mid];
                A[j+k]=add(x,y),A[j+k+mid]=dec(x,y);
                if(ty==-1)A[j+k]=mul(A[j+k],inv),A[j+k+mid]=mul(A[j+k+mid],inv);
            }
}
int main(){
//  freopen("testdata.in","r",stdin);
    n=read(),m=read(),q=read();
    while(m--)u=read(),v=read(),w=read(),add_edge(u,v,w),add_edge(v,u,w),cmax(lim,w);
    while(lim)++mx,lim>>=1;
    lim=(1<<mx);dfs(1);
    fp(i,0,lim-1)if(is[i])ins(i);
    find(mx-1,0);
    fp(i,1,n)++a[dis[i]];
    FWT(is,1),FWT(a,1);fp(i,0,lim-1)a[i]=mul(mul(a[i],a[i]),is[i]);
    FWT(a,-1);
    while(q--)c=read(),print(a[c]);
    return Ot(),0;
}