• 牛客P19836 裴蜀定理+莫比乌斯反演+杜教筛


    题意:

    一开始一个人在原点,它拥有 n n n个整数 x i x_{i} xi,并且 x i ∈ [ 1 , m ] x_{i}\in[1,m] xi[1,m],他每次可以选择一个 x i x_{i} xi,来向左走 x i x_{i} xi或向右走 x i x_{i} xi步,问有多大概率能够走到点 1 1 1?设答案为 w w w,只需要输出 w ⋅ m n w\cdot m^n wmn取余 2 64 2^{64} 264的结果

    Solution:

    走到 1 1 1即等价于以下方程有解
    ∑ i = 1 n a i x i = 1 , a i ∈ Z \sum_{i=1}^{n}a_{i}x_{i}=1,a_{i}\in Z i=1naixi=1,aiZ
    又裴蜀定理,只需要满足下列等式就是一种可以走到的方案
    g c d ( ∣ a i ∣ , ∣ a 2 ∣ , ∣ a 3 ∣ , . . . , ∣ a n ∣ ) = 1 gcd(|a_{i}|,|a_{2}|,|a_{3}|,...,|a_{n}|)=1 gcd(ai,a2,a3,...,an)=1
    a i = ∣ a i ∣ a_{i}=|a_{i}| ai=ai,计算符合的方案总数
    ∑ a 1 = 1 n ∑ a 2 = 1 n . . . ∑ a n = 1 n [ g c d ( a 1 , a 2 , . . . , a n ) = 1 ] \sum_{a_{1}=1}^{n}\sum_{a_{2}=1}^{n}...\sum_{a_{n}=1}^{n}[gcd(a_{1},a_{2},...,a_{n})=1] a1=1na2=1n...an=1n[gcd(a1,a2,...,an)=1]
    莫比乌斯反演即计算
    ∑ a 1 = 1 n ∑ a 2 = 1 n . . . ∑ a n = 1 n ∑ d ∣ g c d ( a 1 , a 2 , . . . , a n ) = 1 μ ( d ) \sum_{a_{1}=1}^{n}\sum_{a_{2}=1}^{n}...\sum_{a_{n}=1}^{n}\sum_{d|gcd(a_{1},a_{2},...,a_{n})=1}\mu(d) a1=1na2=1n...an=1ndgcd(a1,a2,...,an)=1μ(d)
    优先枚举因子 d d d,就化为了
    ∑ d = 1 n μ ( d ) ⌊ m d ⌋ n \sum_{d=1}^{n}\mu(d)\lfloor \frac{m}{d} \rfloor^n d=1nμ(d)dmn
    右项可以数论分块,而左项在数论分块时需要区间求和,转化为前缀和相减,前缀和只需要用杜教筛即可

    最后概率应为
    ∑ d = 1 n μ ( d ) ⌊ m d ⌋ n m n \frac{\sum_{d=1}^{n}\mu(d)\lfloor \frac{m}{d} \rfloor^n}{m^n} mnd=1nμ(d)dmn
    需要输出的恰好把分母乘掉了,取余 2 64 2^{64} 264次方只需要在unsigned ll下计算就会自动取余了,ull可以直接赋值负数,也会有取余的效果

    时间复杂度:

    最坏情况下进行 n \sqrt{n} n 次杜教筛,即 O ( n 7 6 ) O(n^{\frac{7}{6}}) O(n67)

    // #include
    #include
    #include
    #include
    #include
    #include
    #include
    #include
    #include
    using namespace std;
    
    using ll=long long;
    using ull=unsigned long long;
    const int N=2e7+5,inf=0x3fffffff;
    const long long INF=0x3fffffffffffffff,mod=1e9+9;
    
    ull qpow(ull a,ull b)
    {
        ull ret=1,base=a;
        while(b)
        {
            if(b&1) ret=ret*base;
            base=base*base;
            b>>=1;
        }
        return ret;
    }
    
    ull n,m,prime[N],cnt,mu[N];
    bitset<N>nt;
    
    void make_prime()
    {
        mu[1]=1;
        for(ull i=2;i<N;i++)
        {
            if(!nt[i]) prime[++cnt]=i,mu[i]=-1;
            for(ull j=1;j<=cnt&&i*prime[j]<N;j++)
            {
                nt[i*prime[j]]=true;
                if(i%prime[j]==0) break;
                else mu[i*prime[j]]=mu[i]*mu[prime[j]];
            }
        }
        for(int i=1;i<N;i++) mu[i]+=mu[i-1];
    }
    
    map<ull,ull>map1;
    
    ull calcmu(ull x)
    {
        if(x<N) return mu[x];
        if(map1.count(x)) return map1[x];
        ull ret=1;
        for(ull l=2,r;l<=x;l=r+1)
        {
            r=x/(x/l);
            ret-=(r-l+1)*calcmu(x/l);
        }
        return map1[x]=ret;
    }
    
    int main()
    {
        #ifdef stdjudge
            freopen("in.txt","r",stdin);
        #endif
        cin>>n>>m;
        make_prime();
        ull ans=0;
        for(ull l=1,r;l<=m;l=r+1)
        {
            r=m/(m/l);
            ans+=(calcmu(r)-calcmu(l-1))*qpow(m/l,n);
        }
        cout<<ans;
        return 0;
    }
    
    • 1
    • 2
    • 3
    • 4
    • 5
    • 6
    • 7
    • 8
    • 9
    • 10
    • 11
    • 12
    • 13
    • 14
    • 15
    • 16
    • 17
    • 18
    • 19
    • 20
    • 21
    • 22
    • 23
    • 24
    • 25
    • 26
    • 27
    • 28
    • 29
    • 30
    • 31
    • 32
    • 33
    • 34
    • 35
    • 36
    • 37
    • 38
    • 39
    • 40
    • 41
    • 42
    • 43
    • 44
    • 45
    • 46
    • 47
    • 48
    • 49
    • 50
    • 51
    • 52
    • 53
    • 54
    • 55
    • 56
    • 57
    • 58
    • 59
    • 60
    • 61
    • 62
    • 63
    • 64
    • 65
    • 66
    • 67
    • 68
    • 69
    • 70
    • 71
    • 72
    • 73
    • 74
    • 75
    • 76
    • 77
    • 78
  • 相关阅读:
    session 反序列化
    堆以及堆的实现
    MyBatisPlus中使用Mybatis方式操作数据库。
    mysql数据的备份和恢复
    Python3
    深入探讨 Presto 中的缓存
    antd-table同一行内容不同列数据进行大小对比
    2022最新windows上传ipa文件到app store的方法
    深度学习框架【MxNet】的安装
    上班后很迷茫,到底该如何做一个合格的测试?
  • 原文地址:https://blog.csdn.net/stdforces/article/details/127827074