[HNOI2011]XOR和路径

题意

给你一幅无向图$,$一条路径的权值为路径上边权的异或和

你在每个点可以等概率的走向相连的点

求$1\to n$路径权值的期望(有自环重边)

---

一开始想偏了$,$以为期望的异或就是异或的期望

后来发现可以按位处理

---

题解

整个处理显然是不行的

因为每一位都是独立的$,$所以考虑按位处理$,$求出每一位是$1$的概率

还是按照套路设$f[u]$表示$u\to n$的路径这一位为$1$的概率,$dg[u]$表示$u$的出度

那么$1-f[u]$就是$u\to n$的路径这一位为$0$的概率

$$\forall_{(u,v)\in E}\ f[u]=\frac1{dg[u]}(\sum_{w(u,v)=0}f[v]+\sum_{w(u,v)=1}1-f[v])$$

$$\Rightarrow\forall_{(u,v)\in E}\ dg[u]f[u]=\sum_{w(u,v)=0}f[v]+\sum_{w(u,v)=1}1-f[v]$$

也就是这条边这一位是$1$那么$v\to n$的权值就要是$0;$反之则为$1$

方程即为

$$dg[u]f[u]-\sum_{w(u,v)=0}f[v]+\sum_{w(u,v)=1}f[v]=\sum_{w(u,v)=1}1$$

高斯消元即可

最后$ans=\sum_i2^if_i[1]$

注意这题虽然是无向图$,$但是自环也不能加两次$,$需要特判

#include<bits/stdc++.h>
#define fp(i,a,b) for(register int i=a,I=b+1;i<I;++i)
#define fd(i,a,b) for(register int i=a,I=b-1;i>I;--i)
#define go(u) for(register int i=fi[u],v=e[i].to;i;v=e[i=e[i].nx].to)
#define file(s) freopen(s".in","r",stdin),freopen(s".out","w",stdout)
template<class T>inline bool cmax(T&a,const T&b){return a<b?a=b,1:0;}
template<class T>inline bool cmin(T&a,const T&b){return a>b?a=b,1:0;}
using namespace std;
char ss[1<<17],*A=ss,*B=ss;
inline char gc(){return A==B&&(B=(A=ss)+fread(ss,1,1<<17,stdin),A==B)?-1:*A++;}
template<class T>inline void sd(T&x){
    char c;T y=1;while(c=gc(),(c<48||57<c)&&c!=-1)if(c==45)y=-1;x=c-48;
    while(c=gc(),47<c&&c<58)x=x*10+c-48;x*=y;
}
char sr[1<<21],z[20];int C=-1,Z;
inline void Ot(){fwrite(sr,1,C+1,stdout),C=-1;}
template<class T>inline void we(T x){
    if(C>1<<20)Ot();if(x<0)sr[++C]=45,x=-x;
    while(z[++Z]=x%10+48,x/=10);
    while(sr[++C]=z[Z],--Z);sr[++C]='\n';
}
const int N=105,M=2e4+5;
const double eps=1e-9;
typedef int arr[N];
typedef double db;
struct eg{int nx,to,w;}e[M];
int n,m,Mx;arr dg,fi;db Ans,ans[N],G[N][N];
inline void build(int x){
    G[n][n]=1;
    fp(u,1,n-1){
        G[u][u]=dg[u];
        go(u)
            if(e[i].w&x)++G[u][v],++G[u][n+1];
            else --G[u][v];
    }
}
inline int cmp(db x){return fabs(x)<eps?0:x<0?-1:1;}
inline void Gauss(int n){
    db t;int mx;
    fp(i,1,n){mx=i;
        fp(j,i,n)if(cmp(G[mx][i]-G[j][i]))mx=j;
        fp(j,i+1,n)if(cmp(G[j][i])){
            t=G[j][i]/G[i][i];
            fp(k,i,n+1)G[j][k]-=G[i][k]*t;
        }
    }
    fd(i,n,1){
        fp(j,i+1,n)G[i][n+1]-=G[i][j]*ans[j];
        ans[i]=G[i][n+1]/G[i][i];
    }

    fp(i,1,n)fp(j,1,n+1)G[i][j]=0;
}
inline void add(int u,int v,int w){static int ce=0;e[++ce]={fi[u],v,w},fi[u]=ce;}
int main(){
    #ifndef ONLINE_JUDGE
        file("s");
    #endif
    sd(n),sd(m);int u,v,w;
    while(m--){
        sd(u),sd(v),sd(w),add(u,v,w),++dg[u];
        if(u^v)add(v,u,w),++dg[v];cmax(Mx,w);
    }
    for(int i=1;i<=Mx;i<<=1)
        build(i),Gauss(n),Ans+=ans[1]*i;
    printf("%.3lf\n",Ans);
return 0;
}