首页 > 其他分享 >1.5闲话

1.5闲话

时间:2024-01-05 19:23:39浏览次数:38  
标签:lfloor 1.5 frac 闲话 sum rfloor mu cases

今天一共4张图图最多的一集

推歌:勾指起誓/洛天依 by ilem

突然发现自己的闲话风格受了别人很大影响,看了lxyt-415x和jijidawang导致开始写闲话,然后看了crimson和lxyt-415x的闲话导致开始放图,最开始推歌忘了和谁学的然后后来和HS_xh\jijidawang\crimson学的不放歌词了,唯一不变的就是只有我最菜

今天先不学平衡树,直接上莫比乌斯函数

但是很不好,OI-wiki说要先学数论分块和狄利克雷卷积,但是非常恼虽然数论分块有所了解但是狄利克雷卷积是个啥?而且看别人的博客好像也没提狄利克雷卷积那么因为OJ上面把这个放到了AC自动机之前所以肯定得学直接不管三七二十几直接上了

莫比乌斯函数

\(\mu\) 为莫比乌斯函数(\(\mathcal{Möbius}\))

  • 定义:

    \[\mu(n)= \begin{cases} 1 &n=1\\ 0 &n含有平方因子\\ (-1)^k &k为n的本质不同质因子个数\\ \end{cases} \]

    感觉定义上类似欧拉函数

    看起来这个式子很奇怪,所以用我浅薄的知识储备把它变成文字叙述如果错了请大佬指正

    首先当 \(n=1\) 时 \(\mu(n) = 1\)

    然后用唯一分解定理可以得到 \(n=\prod_{i=1}^{k}{p_i}^{c_i}\),如果 \(\exists\ c_i \ne 1(c_i \in \{c_1,c_2,\cdots,c_k \})\) 则\(\mu(n)=0\)

    否则 \(\mu(n)=(-1)^k\)

    看起来不是很难的样子

  • 性质:

    1. 对于任意正整数 \(n\) :

      \[\sum_{d\mid n}\mu(d)= \begin{cases} 1&n=1\\ 0&n\neq 1\\ \end{cases} \]

      • 证明(几乎照搬\(\text{OI-wiki}\))

        假设

        \[\ n=\prod_{i=1}^k{p_i}^{c_i} \]

        \[n'=\prod_{i=1}^k p_i \]

        那么

        \[\begin{cases} \sum_{d\mid n}\mu(d) =\sum_{i=0}^k \binom{k}{i}\times(-1)^i =(1+(-1))^k \\ \\ \sum_{d\mid n'}\mu(d) =\sum_{i=0}^k \binom{k}{i}\times(-1)^i =(1+(-1))^k \end{cases} \]

        我们发现其实

        \[\sum_{d\mid n}\mu(d)=\sum_{d\mid n'}\mu(d)=\sum_{i=0}^k \binom{k}{i}\times(-1)^i=(1+(-1))^k \]

        根据二项式定理,易知该式子的值在 \(k=0\) 即 \(n=1\) 时值为 \(1\) 否则为 \(0\) ,

    2. 对于任意正整数 \(n\)

      \[\sum_{d|n}\frac{\mu(d)}{d}=\frac{\phi(n)}{n} \]

  • 实现:

    众所周知,线性筛可以求好多积性函数

    那么求\(\mathcal{Möbius}\)函数的方法就很显然了( \(\mathcal{Möbius}\)函数是积性函数 )

    线性筛

    class MoBIUS{
    public:
        int mu[MAXM],p[MAXM],tot;
        bool f[MAXM];
        void Mobius(int n){
            mu[1]=1;
            for(int i=2;i<=n;++i){
                if(!f[i])
                    p[++tot]=i,
                    mu[i]=-1;
                for(int j=1;(j<=tot&&i*p[j]<=n);++j){
                    f[i*p[j]]=1;
                    if(i%p[j]==0){
                        mu[i*p[j]]=0;
                        break;
                    }
                    mu[i*p[j]]=-mu[i];
                }
            }
        }
    }Mu;
    

那么有了求\(\mathcal{Möbius}\)函数的方法了,但是还是做不出来题怎么办

image

所以选择学莫比乌斯反演

  • 莫比乌斯定理

    定义 \(g(n)\) 和 \(f(n)\) 是定义在非负整数集合上的两个函数,并且满足条件

    \[g(n)=\sum_{d|n}f(d) \]

    那么一定存在

    \[f(n)=\sum_{d|n}\mu(d)g(\lfloor\frac{n}{d}\rfloor) \]

  • 证明

    image

    所以直接抄别人的,有公式做题就是快

    标签:lfloor,1.5,frac,闲话,sum,rfloor,mu,cases
    From: https://www.cnblogs.com/LuoTianYi66ccff/p/17947596

相关文章

  • 南外集训 2024.1.5 T3
    非常简单的一道题。要好好反思为什么没有做出来。题意给定一棵点带权的树,强制在线询问一条链上取恰好\(m\)个数按位与的最大值。\(1\len\le10^6,1\leq\le10^5,1\lem\le10,0\leV<2^{62}\)。解法考虑一个暴力:取出树链上所有点权,二分答案\(x\),则需要检查是否存在至......
  • MobaXterm 21.5 (Windows) - X server and SSH client
    作者:gc,主页:www.sysin.org欢迎使用MobaXterm,适用于Windows系统的Xserver和SSH客户端MobaXterm:Xserver和SSH客户端MobaXterm是您“远程计算的旗舰工具箱”。在单个Windows应用程序中,它提供了许多功能,这些功能是为程序员,网站管理员,IT管理员以及几乎所有需要以更简......
  • 闲话12.31
    明天怎么就该回学校了......
  • 闲话12.30
    昨天闲话没更,就当12月没有29号就好了。12月倒数第二篇闲话?悲报:明天没法去邯郸玩了。放假了是真舒服啊,昨天坐大巴回来的,路上是真难受,人又多,我脚底下好像又有热风,还懒得脱外套,汗流浃背了属于是......
  • 今年第二篇 & 最后一篇闲话
    [只读]怎么说呢,整点抽象点的比喻。【】是代称。比如说,喜欢温迪和爱莉,是因为我WISH成为这样的人。是纯粹的神性,神性用于爱人。比如说,喜欢万叶,【路易可霸】和【yj】,是因为我BEWILLINGTO成为这样的人。忧郁但不忧伤,超凡又不脱俗。比如说,喜欢小鹿和林尼,那就再加个超级粉方......
  • 12.27~12.29闲话暨三调寄录
    打了场模拟赛,又垫底了12.27语文 94pts写的挺迷的,前面写的时候慢的要死,本来就没咋给作文留时间,但是一看45分钟其实还好然后首先就是用了5分钟构思+写题目再就是用20分钟写了前200个字,然后惊喜地发现剩下600字就剩20分钟了,然而我给手写炸了也只撰了500......
  • LLaVA-v1.5-7B:实现先进多模态学习的开源AI
    引言LLaVA-v1.5-7B是一个开源大型多模态模型(LMM),它通过结合视觉指令调整(VisualInstructionTuning)技术,展示了在多模态理解和生成任务上的卓越性能。该模型特别注重简洁性和数据效率,利用CLIP-ViT-L-336px与多层感知器(MLP)投影以及包含学术任务导向的视觉问答(VQA)数据,来建立更强的基准......
  • VMware NSX Advanced Load Balancer (NSX ALB) 22.1.5 - 多云负载均衡平台
    VMwareNSXAdvancedLoadBalancer(NSXALB)22.1.5-多云负载均衡平台应用交付:多云负载均衡、Web应用防火墙和容器Ingress服务作者主页:sysin.org负载均衡平台NSXAdvancedLoadBalancerNSXAdvancedLoadBalancer(Avi)可简化应用交付,并提供多云负载均衡、Web应用防火墙......
  • COP28首次提供“1.5℃菜单”,植物基食品带来了哪些可能性?
    COP28开幕当天,世界气象组织宣布2023年是有记录以来人类历史上最热的一年。为期两周的COP28气候变化大会已经落下帷幕,作为有史以来规模最大的一次气候大会,此次食物系统转型的相关内容比往年受到了更多重视。其中包括134个国家签署了《关于韧性粮食体系、可持续农业及气候行动的阿联......
  • 闲话12.27
    今天很颓废啊。上午劲爆写题啊,猜数游戏这题寒假的时候讲过......