P3211 [HNOI2011] XOR和路径

题意

一张 nnn 个点,mmm 条边的无向图,边有边权,从 111 开始随机游走,走到 nnn 停止,问经过的边权异或和期望是多少。

n≤100,m≤10000n\le100,m\le10000n≤100,m≤10000。

思路

按位把边权拆开,对于每一位,设 fi,0/1f_{i,0/1}fi,0/1 表示经过 iii,异或和为 0/10/10/1 的期望次数,令当前枚举到二进制第 ccc 位,转移:

  1. 边 u,vu,vu,v 的权值第 ccc 位是 000
    fu,0←1deg⁡(v)fv,0f_{u,0}\leftarrow\frac1{\deg(v)}f_{v,0}fu,0←deg(v)1fv,0,fu,1←1deg⁡(v)v,1f_{u,1}\leftarrow\frac1{\deg(v)}{v,1}fu,1←deg(v)1v,1
  2. 边 u,vu,vu,v 的边权第 ccc 位是 111
    fu,0←1deg⁡(v)fv,1f_{u,0}\leftarrow\frac1{\deg(v)}f_{v,1}fu,0←deg(v)1fv,1,fu,1←1deg⁡(v)fv,0f_{u,1}\leftarrow\frac1{\deg(v)}f_{v,0}fu,1←deg(v)1fv,0

因为初始在 111,异或和为 000,所以 f1,0f_{1,0}f1,0 的值还要加一。

显然,这个转移时有后效性的,所以要高斯消元。

走到 nnn 后就再也出不来了,所以不能把 fn,0/1f_{n,0/1}fn,0/1 放进来一起消,需要先把其祂的 fff 值算出来,再计算 fn,0/1f_{n,0/1}fn,0/1。

考虑计算答案。由于走到 nnn 后就再也出不来了,所以 fn,1=0×pn,0+1×pn,1f_{n,1}=0\times p_{n,0}+1\times p_{n,1}fn,1=0×pn,0+1×pn,1,即 fn,1=pn,1f_{n,1}=p_{n,1}fn,1=pn,1(其中 pi,0/1p_{i,0/1}pi,0/1 表示走到 iii 异或和胃 0/10/10/1 的概率)。求出了概率,就可以求期望了。

时间复杂度 O(n3log⁡w)\mathcal O(n^3\log w)O(n3logw)。

代码

cpp 复制代码
// Problem: P3211 [HNOI2011] XOR和路径
// Contest: Luogu
// URL: https://www.luogu.com.cn/problem/P3211
// Memory Limit: 125 MB
// Time Limit: 1000 ms
// 
// Powered by CP Editor (https://cpeditor.org)

#include<bits/stdc++.h>
using namespace std;
namespace IO{
    template<typename T>
    inline void read(T&x){
        x=0;char c=getchar();bool f=0;
        while(!isdigit(c)) c=='-'?f=1:0,c=getchar();
        while(isdigit(c)) x=x*10+c-'0',c=getchar();
        f?x=-x:0;
    }
    template<typename T>
    inline void write(T x){
        if(x==0){putchar('0');return ;}
        x<0?x=-x,putchar('-'):0;short st[50],top=0;
        while(x) st[++top]=x%10,x/=10;
        while(top) putchar(st[top--]+'0');
    }
    inline void read(char&c){c=getchar();while(isspace(c)) c=getchar();}
    inline void write(char c){putchar(c);}
    inline void read(string&s){s.clear();char c;read(c);while(!isspace(c)&&~c) s+=c,c=getchar();}
    inline void write(string s){for(int i=0,len=s.size();i<len;i++) putchar(s[i]);}
    template<typename T>inline void write(T*x){while(*x) putchar(*(x++));}
    template<typename T,typename...T2> inline void read(T&x,T2&...y){read(x),read(y...);}
    template<typename T,typename...T2> inline void write(const T x,const T2...y){write(x),putchar(' '),write(y...),sizeof...(y)==1?putchar('\n'):0;}
}using namespace IO;
const int maxn=110,maxm=10010;
const double eps=1e-8;
double a[maxn*2][maxn*2],p[maxn],ans[maxn*2];
int n,m,d[maxn];
struct EDGE{int u,v,w;}b[maxm];
int id0(int u){return u;}
int id1(int u){return u+n-1;}
void work(int n){
    int p=1;
    for(int i=1;i<=n;i++) ans[i]=0;
    for(int i=1;i<=n;i++){
        for(int j=p;j<=n;j++) if(abs(a[j][i])>=eps){swap(a[j],a[p]);break;}
        if(abs(a[p][i])<eps) continue;
        for(int j=p+1;j<=n;j++){
            double bs=a[j][i]/a[p][i];
            for(int k=1;k<=n+1;k++) a[j][k]-=a[p][k]*bs;
        }
        p++;
    }
    for(int i=n;i>=1;i--){
        if(abs(a[i][i])<eps) continue;
        double val=a[i][n+1];
        for(int j=1;j<=n;j++) val-=a[i][j]*ans[j];
        ans[i]=val/a[i][i];
    }
}
signed main(){
    read(n,m);
    for(int i=1;i<=m;i++){
        read(b[i].u,b[i].v,b[i].w);
        d[b[i].u]++;
        if(b[i].u!=b[i].v) d[b[i].v]++;
    }
    for(int i=1;i<=n;i++) p[i]=1.0/d[i];
    double out=0;
    for(int c=0;c<=30;c++){
        int z=(1<<c);
        for(int i=1;i<=id1(n-1);i++) for(int j=1;j<=id1(n-1)+1;j++) a[i][j]=0;
        for(int i=1;i<=m;i++){
            auto[u,v,w]=b[i];
            if(u==n||v==n) continue;
            if(u==v){
                if(w&z){
                    a[id1(u)][id0(u)]-=p[u];
                    a[id0(u)][id1(u)]-=p[u];
                }
                else{
                    a[id1(u)][id1(u)]-=p[u];
                    a[id0(u)][id0(u)]-=p[u];
                }
                continue;
            }
            if(w&z){
                a[id1(u)][id0(v)]-=p[v];
                a[id0(u)][id1(v)]-=p[v];
                a[id1(v)][id0(u)]-=p[u];
                a[id0(v)][id1(u)]-=p[u];
            }
            else{
                a[id1(u)][id1(v)]-=p[v];
                a[id0(u)][id0(v)]-=p[v];
                a[id1(v)][id1(u)]-=p[u];
                a[id0(v)][id0(u)]-=p[u];
            }
        }
        a[id0(1)][id1(n-1)+1]=1;
        for(int i=1;i<=id1(n-1);i++) a[i][i]++;
        work(id1(n-1));
        for(int i=1;i<=m;i++){
            auto[u,v,w]=b[i];
            if(u>v) swap(u,v);
            if(u==v) continue;
            if(v!=n) continue;
            if(w&z) out+=p[u]*ans[id0(u)]*z;
            else out+=p[u]*ans[id1(u)]*z;
        }
    }
    printf("%.3lf",out);
    return 0;
}
相关推荐
AI科技星1 小时前
基于全域数学公理体系求解三元约束极值题【乖乖数学】
人工智能·算法·机器学习·密码学·拓扑学·乖乖数学·全域数学
伊玛目的门徒8 小时前
试用leetcode之典中典 二数之和问题
java·算法·leetcode
Jerry9 小时前
LeetCode 226. 翻转二叉树
算法
想做小南娘,发现自己是女生喵10 小时前
【无标题】
数据结构·算法
Kx_Triumphs12 小时前
HDU4348 To the moon(主席树区间修改模板)
算法·题解
旖-旎12 小时前
《LeetCode647 回文子串 || LeetCode 5 最长回文子串》
c++·算法·leetcode·动态规划·哈希算法
轻颂呀13 小时前
约瑟夫环问题
算法
科技大视界15 小时前
投资AI项目,传统尽调不够用了——李章虎律师拆解算法、数据、算力三大雷区
人工智能·算法·数据挖掘
郝学胜-神的一滴15 小时前
算法实战:最小k个数——大顶堆的优雅解法
开发语言·数据结构·c++·python·程序人生·算法·排序算法