卷积与莫比乌斯反演

卷积与莫比乌斯反演

目录

卷积与莫比乌斯反演

0前言

        0.1前置技能

        0.2问题的引入

1.简单定义

        1.1数论函数的定义

        1.2卷积的定义

        1.3反演的基本形式

2.1莫比乌斯反演

3.1例题:【luogu-P2257 YY的GCD】

题目大意:

solution1

solution2


0.前言

莫比乌斯反演是数论数学中很重要的内容,可以用于解决很多组合数学的问题。

                                                                                                                                                                来源——百度百科

0.1前置技能

 

  • 初一数学水平。
  • 卷积、莫比乌斯函数有简单了解。

0.2问题的引入

OI竞赛中,经常遇到这样一类数学问题:

F(n)=\sum_{d|n}f(d)

显然,暴力的时间复杂度是O(n)的,显然这个复杂度是我们无法接受的。

然而,倘若我们使用莫比乌斯反演,就能够大大优化其时间复杂度。

 

1.简单定义

 

1.1数论函数的定义

若函数f是正整数域内的函数,则称f数论函数

对于一个数论函数,对于任意互质的正整数a,b,满足f(a)f(b)=f(ab),则称 f积性函数

对于一个数论函数,对于任意的正整数a,b,满足f(a)f(b)=f(ab),则称 f完全积性函数

1.2卷积的定义

有两个数论函数f(x),g(x),则他们的卷积:(f*g)(x)=\sum_{i|x}f(i)g(\frac{x}{i})

易得:若两个数论函数f,g是积性的,那么卷积f*g 也是积性的。

设     n=\sum_{i}p_i^{k_i}     

有以下一些常用的函数:

 

 

  • 元函数:\epsilon (n)=[n==1]
  • 恒等函数:I(n)=1
  • 单位函数:id(n)=n
  • 欧拉函数:\varphi (n)=\prod (p_{i}-1)p_i^{k_i-1}    表示  [1,n]  中与n互质的数的个数。
  • 莫比乌斯函数:\mu (n)=\begin{Bmatrix} 0 & (\exists k_i\geqslant 2)\\ (-1)^k & (\forall k_i<2) \end{Bmatrix}
  • 约数和函数:\sigma (n)=\prod (k_i+1)    表示n的正约数和。 
  • 约数个数函数:  d(n)=\sum_{d|n}1   表示n的正约数个数。 ‘

容易发现如下性质:

 

  • \mu *I=\epsilon
  • \varphi *I=id
  • id*\mu =\varphi
  • I*I=\sigma
  • \sigma *\mu =I
  • 对于任意数论函数f,g   f*I=g\Leftrightarrow g*\mu=f    这是莫比乌斯反演的核心公式。
  • 对于任意数论函数f,f*\epsilon =f

1.3容斥

我们定义一个函数f,再通过f定义函数g,使得:

g_i=\sum_{j\subseteq i}f_{j}

我们可以从 g函数的值 反推出f函数的值。

f_i=\sum_{j\subseteq i}g_{j}(-1)^{|j|-|i|}

倘若我们能快速计算个g函数的值,那么就可以求得f 。

事实上,这与反演的思想有异曲同工之妙。

 

 2.1莫比乌斯反演

在莫比乌斯反演中,我们需要快速求出:

F(n)=\sum_{d|n}f(d)

\RightarrowF=f*I

\RightarrowF*\mu=f*I*\mu

\RightarrowF*\mu=f*\epsilon

\RightarrowF*\mu =f

因此  f(n)=\sum_{d|n}\mu(d)F(\frac{n}{d})

除此之外,还有    \sum_{d|n}\mu(d)F(\frac{n}{d})\Leftrightarrow \sum_{n|d}\mu(\frac{d}{n})F(d)  

在能够快速求得F函数的情况下,我们就可以很容易地得出f函数的值。

这就是莫比乌斯反演了。

 

3.1例题:【luogu-P2257 YY的GCD】

 

题目大意:

给定N,M

1\leqslant x\leqslant n,1\leqslant y\leqslant m且 gcd(x,y) 为质数的 (x,y) 有多少对。

T=10000    N,M\leqslant 10^7

 

solution1

这一个简单的不使用反演的解法。(事实上就是写出了反演省略的步骤)

显然:

ANS=\sum_{i=1}^{n}\sum_{j=1}^{m}\sum_{k\in prime}[gcd(i,j)=k]

把K提出来:

ANS=\sum_{k\in prime} \sum_{i=1}^{n} \sum_{j=1}^{m}[gcd(i,j)=k]

ANS=\sum_{k\in prime} \sum_{i=1}^{\left \lfloor n/k \right \rfloor} \sum_{j=1}^{\left \lfloor m/k \right \rfloor }[gcd(i,j)=1]

ANS=\sum_{k\in prime} \sum_{i=1}^{\left \lfloor n/k \right \rfloor} \sum_{j=1}^{\left \lfloor m/k \right \rfloor }\epsilon (gcd(i,j))

ANS=\sum_{k\in prime} \sum_{i=1}^{\left \lfloor n/k \right \rfloor} \sum_{j=1}^{\left \lfloor m/k \right \rfloor } \(\mu *I)(gcd(i,j))

ANS=\sum_{k\in prime} \sum_{i=1}^{\left \lfloor n/k \right \rfloor} \sum_{j=1}^{\left \lfloor m/k \right \rfloor } \sum_{d|gcd(i,j)}\mu(d)

ANS=\sum_{k\in prime} \sum_{d=1}^{min(\left \lfloor n/k \right \rfloor,\left \lfloor m/k \right \rfloor)}\mu(d)*\left \lfloor n/kd \right \rfloor*\left \lfloor m/kd \right \rfloor

设   T=kd

ANS=\sum_{T=1}^{min(n,m)}\sum_{i|T}\mu(T/i)*\left \lfloor n/T \right \rfloor*\left \lfloor m/T \right \rfloor

ANS=\sum_{T=1}^{min(n,m)}(\sum_{i|T}\mu(T/i))*\left \lfloor n/T \right \rfloor*\left \lfloor m/T \right \rfloor

直接数论分块即可。

 

solution2

这是一个运用反演知识的解法。

设 f(d) 表示满足  gcd(x,y)=d 且 1\leqslant x\leqslant n,1\leqslant y\leqslant m  的 (x,y) 的对数。

设 F(d) 表示满足 d|gcd(x,y) 且 1\leqslant x\leqslant n,1\leqslant y\leqslant m 的 (x,y) 的对数。

那么:

g(x)=\left \lfloor n/x \right \rfloor\left \lfloor m/x \right \rfloor  且  F(x)=\sum_{d|x}^{min(n,m)}f(d)

使用莫比乌斯反演,即得:

f(x)=\sum_{x|d}^{min(n,m)}g(\frac{x}{d})\mu(d)

ANS=\sum_{x} f(x)

便可以得到solution1中的式子,直接数论分块做。

 

#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
const int MAXN=1e7+50;
int pnum=0;
bool vis[MAXN];
ll mu[MAXN],Prime[MAXN],sum[MAXN],g[MAXN];
inline int read()
{int f=1,x=0; char c=getchar();while (c<'0'||c>'9') { if (c=='-') f=-1; c=getchar(); }while (c>='0'&&c<='9') { x=(x<<3)+(x<<1)+c-'0'; c=getchar(); }return x*f;
}
void init(int n)
{vis[1]=mu[1]=1;for (int i=2;i<=n;i++){if (!vis[i]) { mu[i]=-1; Prime[++pnum]=i; }for (int j=1;j<=pnum&&Prime[j]*i<=n;j++){vis[Prime[j]*i]=1;if (!(i%Prime[j])) break;mu[Prime[j]*i]=-mu[i];}}for (int i=1;i<=n;i++)for (int j=1;j<=pnum&&Prime[j]*i<=n;j++) g[Prime[j]*i]+=mu[i]; for (int i=1;i<=n;i++) sum[i]=sum[i-1]+g[i];
}
int main()
{init(1e7);int Case=read();while (Case--){ll n=read(),m=read(),ans=0;if (n>m) swap(n,m);for (ll l=1,r;l<=n;l=r+1){r=min(n/(n/l),m/(m/l));ans+=1ll*(n/l)*(m/l)*(sum[r]-sum[l-1]);} printf("%lld\n",ans);}return 0;
}

时间复杂度大概是  O(n lg n+t\sqrt{n}) 。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/315906.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

ML.NET机器学习、API容器化与Azure DevOps实践(三):RESTful API

通过上文所述案例&#xff0c;我们已经选择了最优回归算法来预测学生的综合成绩&#xff0c;并且完成了基于训练数据集的预测模型训练。从实现上&#xff0c;训练好的模型被保存成一个ZIP文件&#xff0c;以便在其它项目中直接调用以完成机器学习的实践场景。在本文中&#xff…

杜教筛

杜教筛 1.概述 杜教筛是用以解决积性函数前缀和的算法。 在学习了莫比乌斯反演之后&#xff0c;杜教筛的过程就会显得简单而自然。 2.基本形式 对于积性函数&#xff0c;我们定义如下函数&#xff1a; 构造积性函数 &#xff0c;使得 显然 &#xff1a; 进一步转化&#xf…

ML.NET机器学习、API容器化与Azure DevOps实践(二):案例

在上文中&#xff0c;我简单地介绍了机器学习以及ML.NET的相关知识&#xff0c;从本讲开始&#xff0c;我会基于一个简单的案例&#xff1a;学生成绩预测&#xff0c;来介绍使用ML.NET进行机器学习以及API部署的基本过程。本案例的数据来源为加州大学尔湾分校的机器学习公开样本…

业界萌新对斯坦纳树的小结

业界萌新对斯坦纳树的小结 0.简介 斯坦纳树问题是组合优化问题&#xff0c;与最小生成树相似&#xff0c;是最短网络的一种。最小生成树是在给定的点集和边中寻求最短网络使所有点连通。而最小斯坦纳树允许在给定点外增加额外的点&#xff0c;使生成的最短网络开销最小。 ——…

cf1208E. Let Them Slide

cf1208E. Let Them Slide 题意&#xff1a; 都放在一个长度为W的框里面。有n个序到&#xff0c;第i个序列的长度是1。这些序到并排放在一起&#xff0c;每一个序列都放在一个长度为w的框里 这些序列可以在框里面滑动&#xff0c;但是不能划出框。 对于每一个位置&#xff0…

结合eShopOnWeb全面认识领域模型架构

一.项目分析在上篇中介绍了什么是"干净架构"&#xff0c;DDD符合了这种干净架构的特点&#xff0c;重点描述了DDD架构遵循的依赖倒置原则&#xff0c;使软件达到了低藕合。eShopOnWeb项目是学习DDD领域模型架构的一个很好案例&#xff0c;本篇继续分析该项目各层的职…

SOS_dp算法

Codeforces博客 简介&#xff1a; 前置知识&#xff1a;状压dp Sum over Subsets dynamic programming&#xff0c;简称Sos dp,状压dp的一种 用一个列题引出SOS dp&#xff1a; 给你一个由2N2^N2N个整数组成的确定数组A&#xff0c;我们需要计算对于任意的x&#xff0c;F(x)所…

微软开源Bing搜索背后的关键算法

微软今天宣布开源了一项 Bing 搜索背后的关键算法 —— SPTAG&#xff0c;它使 Bing 能够快速将搜索结果返回给用户。仅在几年前&#xff0c;网络搜索很简单&#xff0c;用户输入几个关键词然后浏览结果页面。现如今&#xff0c;这些用户可能会在手机上拍照并将其放入搜索框中&…

Stern-Brocot Tree

Stern-Brocot Tree 0.简介 Stern-Brocot Tree&#xff0c;俗称SB树&#xff08;滑稽&#xff09;。它能够表示出所有的最简分数&#xff0c;如下图。 1.一些规律 显然&#xff0c;对于两个相邻的最简分数 可以得到另一个最简分数 这样就可以在Stern-Brocot Tree上表示出所有…

FWT(快速沃尔什变换)

文章目录引入&#xff1a;or卷积and卷积xor卷积IFWT模板&#xff1a;例题&#xff1a;引入&#xff1a; FFT/NTT是用来解决∑ijkA[i]B[j]\sum_{ijk}A[i]B[j]∑ijk​A[i]B[j]的式子 而FWT是用来解决Ci∑j⊕kiAjBkC_i\sum_{j⊕ki}A_jB_kCi​∑j⊕ki​Aj​Bk​ ​ FWT是一种用于处…

教你自制.NET Core Global Tools

点击上方蓝字关注“汪宇杰博客”命令行是程序员装逼利器&#xff0c;.NET Core也可以写命令行程序&#xff0c;但是如何分发给其他程序员使用&#xff0c;一直是个问题。现在&#xff0c;有了.NET Core Global Tools&#xff0c;可以很方便的解决分发问题&#xff0c;我们来看看…

三点间LCA

三点间LCA 1.直接上题——jzoj5883. 【NOIP2018模拟A组9.25】到不了 Dscription wy 和 wjk 是好朋友。 今天他们在一起聊天&#xff0c;突然聊到了以前一起唱过的《到不了》。 “说到到不了&#xff0c;我给你讲一个故事吧。” “嗯&#xff1f;” “从前&#xff0c;神和凡人…

微软拥抱开源,Win10为啥要引入真Linux4.X内核?

来源 | 异步 | 文末赠书2019 年微软 Build 开发者大会在雷德蒙德召开。继将 Bash shell、原生 OpenSSH、WSL 引入 Windows&#xff0c;以及在微软商店提供 Ubuntu、SUSE Linux 和 Fedora 等发行版&#xff0c;微软又宣布了一个重大的决定 —— 将完整的 Linux 内核引入 Windows…

F.孤独(牛客小白月赛39)

F.孤独&#xff08;牛客小白月赛39&#xff09; 题意&#xff1a; 给定一棵树&#xff0c;寻找一个路径&#xff0c;将断掉所有与这个路径上的点相连的边&#xff0c;使得剩下的最大连通块的大小最小 题解&#xff1a; 这题有点印象&#xff0c;感觉做过&#xff0c;至少这…

分布式 - 分布式系统的特点

20世纪60年代&#xff0c;IBM研发了System 360架构大型机&#xff0c;与同时期的波音707、福特汽车誉为商业三大成就&#xff0c;凭借其卓越的性能和良好的稳定性&#xff0c;开启了大型机的时代&#xff0c;诞生了非常多的集中式系统&#xff0c;采用单机架构&#xff0c;有非…

[WC2011][BZOJ2115] Xor

BZOJ2115 Xor 题目描述&#xff1a; 题目大意&#xff1a; 给定一张 n 个点 m 条边的无向带权连通图&#xff0c;求一条从点 1 到点 n 的路径&#xff0c;使得经过的边权异或和最大。 路径可以经过重复点和重复边&#xff0c;当一条边被重复经过时也会相应地被 xor 多次。 s…

.NET Core 3.0 可回收程序集加载上下文

.NET诞生以来&#xff0c;程序集的动态加载和卸载都是一个Hack的技术&#xff0c;之前的NetFx都是使用AppDomain的方式去加载程序集&#xff0c;然而AppDomain并没有提供直接卸载一个程序集的API&#xff0c;而是要卸载整个AppDomain才能卸载包含在其中的所有程序集。然而卸载整…

ADPC2-G 希望

希望 题意&#xff1a; 有A&#xff0c;B两棵树&#xff0c;对于一个1到n的全排列a[i],让树A中的点i和树B的节点a[i]连一条边&#xff0c;希望指数&#xff1a;两棵树和新加入的边构成的图中&#xff0c;环长为m的环的个数。数组a[]可以任意交换位置&#xff0c;且任意&#…

.Net Core中依赖注入服务使用总结

一、依赖注入引入依赖注入的目的是为了解耦和。说白了就是面向接口编程&#xff0c;通过调用接口的方法&#xff0c;而不直接实例化对象去调用。这样做的好处就是如果添加了另一个种实现类&#xff0c;不需要修改之前代码&#xff0c;只需要修改注入的地方将实现类替换。上面的…

[BZOJ3944] Sum

[BZOJ3944] Sum 题目描述&#xff1a; solution 裸的杜教筛。 唯一的坑点在于卡常。 似乎ans1和ans2都杜教筛超时了。 然而用杜教筛求出ans2&#xff0c;并用求出ans1不超时&#xff1f;&#xff01;&#xff1f;。 ​ ​ ​ #include<bits/stdc.h> using namespac…