• 莫比乌斯反演


    莫比乌斯反演——神奇、玄学、哲学……

    DEEP ♂ DARK ♂ FANTASY

    回到正题,首先什么是反演??!!

    设 $ F(n) = sum^n_{x=1} f(x) $

    我们定义了一个关于 f(x) 的函数,很容易通过 f(x) 得到 F(x)。

    而通过 F(x) 求 f(x) 的过程就是反演。

    莫比乌斯反演公式

    F(n) 和 f(n) 满足条件$ F(n) = sumlimits_{dmid n}f(d) $,那么

    $$ f(n) = sumlimits_{dmid n}mu(d)F(frac{n}{d}) $$
    这条式子还有另一种描述

    F(n) 和 f(n) 满足条件$ F(n) = sumlimits_{nmid d}f(d) $,那么

    $$ f(n)=sumlimits_{nmid d}mu(frac{d}{n})F(d) $$

    莫比乌斯函数 $ mu(x) $

    1. 若$ d=1 $,那么$mu(d)=1$
    2. 若$ d=prodlimits_{i=1}^{k}p_i $,且$p_i$均为互异素数,那么$ mu(d) =(-1)^k $
    3. 其他情况($d$有平方因子)$ mu(d)=0 $

    $mu$的常见性质

    对于任意正整数n满足
    $$ sumlimits_{dmid n}mu(d) = [n=1] $$


    $$ sumlimits_{dmid n}frac{mu(d)}{d}=frac{phi(n)}{n} $$

    反演公式证明:

    有了上面两条我不会证的性质之后,我们就可以证一下莫比乌斯反演了。
    由F(x)函数的定义可以得到:
    $$ sumlimits_{dmid n}mu(d)F(frac{n}{d})=sumlimits_{dmid n}mu(d)sumlimits_{d'mid frac{n}{d}}f(d') $$

    接下来我们让$ frac{n}{d} $=$ kd' $,那么$ d=frac{n}{kd'} $,所以就有$ dmid frac{n}{d'} $,而每个$ f(d') $一定会和一个$ mu(d) $乘一次,所以:
    $$ sumlimits_{dmid n}mu(d)sumlimits_{d'mid frac{n}{d}}f(d')=sumlimits_{d'mid n}f(d')sumlimits_{dmid frac{n}{d'}}mu(d) $$

    再看上面的两条性质里的性质2,明白了吧OvO!
    $$ sumlimits_{d'mid n}f(d')sumlimits_{dmid frac{n}{d'}}mu(d)=f(n) $$

    得证!

    应用:

    各种换元然后优化式子

    大概就是上面四条式子(性质两条+反演两条)+各种玄学换来换去,最后好像化成了一个带有$ g(T) = sumlimits_{dmid T}f(d)mu(frac{T}{d}) $ 的式子,然后就想办法把$ g(x) $筛出来

    最后的求解基本上是要用到一个(类似)分块的方法用前缀和在根号的时间内把式子里面的其他一些奇奇怪怪的部分求出来

  • 相关阅读:
    CMake命令笔记
    在Win10上,Android Studio检测不到设备的解决方案
    在MFC中使用大漠插件
    Win10更新后,IE和Edge以外的浏览器打开网页速度慢的解决方案
    jsp的自定义标签
    js和JQuery区别
    POI (Apache POI)
    TCP程序设计基础
    传参在mybatis的sql映射文件中正确获取
    I/O(输入/输出)
  • 原文地址:https://www.cnblogs.com/ezoiLZH/p/9389719.html
Copyright © 2020-2023  润新知