首页 > 其他分享 >数论

数论

时间:2024-01-18 22:57:18浏览次数:31  
标签:mathbb 函数 数论 mu 后缀 枚举 式子

狄利克雷卷积

一种函数间的运算。假设有函数 \(f\) 和 \(g\),\(f*g=h,h(n)=\sum\limits_{d|n}f(d)\times g(\frac{n}{d})\)。

如果其中一个是常函数 \(1\),则称其为狄利克雷前缀和(后缀和就是枚举倍数)。可以用高维前/后缀和 \(O(n\log\log n)\) 处理。

板子(前、后缀):

for(int i=1;i<=p[0]&&p[i]<=m;++i){
		for(int j=1;j*p[i]<=m;++j){
			s[j*p[i]]+=s[j];
		}
	}
for(int i=1;i<=p[0]&&p[i]<=m;++i){
		for(int j=m/p[i];j;--j){
			s[j]+=s[j*p[i]];
		}
	}

类似乘法的逆。有单位元函数 \(\mathbb\varepsilon(n)=[n=1]\) ,则两个卷起来为 \(f*g=\mathbb\varepsilon\) 的函数互逆。

求法

根据定义从小到大递推即可,注意第一项不能为 \(0\)。

反演

  • \(F=f*1\),已知 \(F\),求 \(f\)。卷 \(1\) 的逆 \(\mu\) 即可。

作用

\(f\) 难求(如限制 \(\gcd=k\)),而 \(F\) 好求(前或后缀和),可以考虑反演。

推式子

  • 改变枚举的东西,如枚举约数改为倍数。

  • 多次重复出现的式子设辅助元代替(为了套整除分块)。

  • 无关项提到可能的最外面,也可以设法构造无关项。

  • 改变求和顺序。

  • 对于奇怪的东西,不妨打表找一下规律。(\(\sum\limits_{d|n}\mu(d)\times\mu(\frac n d)^2=\mu(\sqrt n)\))。

  • 有一些式子可以不急着提公因数,后面也许有用。

标签:mathbb,函数,数论,mu,后缀,枚举,式子
From: https://www.cnblogs.com/mRXxy0o0/p/17973599

相关文章

  • 【学习笔记】数论杂谈
    一.素数相关0.约定若无特殊说明,本部分做以下记号规定。\(p\in\mathbb{P}\),\(\mathbbP\)为质数集。\(\pi(n)\)表示\(1\)至\(n\)内的素数个数。\(P^{+}(n),P^-(n)\)分别表示\(n\)的最大/最小质因子。\(\nu_i\)表示\(i\)的可重质因子个数。1.素数定理\[\pi(......
  • 【学习笔记】数论函数与莫比乌斯反演
    一.数论函数基础数论函数:满足值域为整数的函数。本文下述的数若无特殊说明均为整数。若无特殊说明则钦定\(\displaystylen=\prod_{i=1}^kp_i^{e_i},p_i\in\mathbb{P}\)。\(\mathbb{P}\)表示质数集合,\(p_i\)互不相同。介绍几个常见的数论函数:\(I(n)\):恒等函数,无论\(n\)......
  • 【数学/数论】欧拉函数 - Phi
    引言自Mr.果讲了CF1900D之后,决定复习n月之前学习的知识:欧拉函数。\[\Large{{一、\underline{定义}}}\]\[\scriptsize\mathsf{一切的开始}\]欧拉函数,即\(\varphi(x)\)。\[\varphi(x)=\sum_{i=1}^{x}[\gcd(x,i)=1]\]它表示小于等于\(x\)的数中,与\(x\)......
  • 数论好题 CF900D
    前置推导令\(b_1=\frac{a_1}{x},b_2=\frac{a_2}{x},\dots,b_n=\frac{a_n}{x}\)。很显然\(b_i\)为整数,且\(b\)数组的全部元素互质,即\(gcd(b_1,b_2,b_3,\dots,b_n)=1\)。因为\[\sum_{i=1}^{n}a_i=y\]所以\[x\times\sum_{i=1}^{n}b_i=y\]\[\sum_{i=......
  • 数论好题 CF900D
    前置推导令\(b_1=\frac{a_1}{x},b_2=\frac{a_2}{x},\dots,b_n=\frac{a_n}{x}\)。很显然\(b_i\)为整数,且\(b\)数组的全部元素互质,即\(gcd(b_1,b_2,b_3,\dots,b_n)=1\)。因为\[\sum_{i=1}^{n}a_i=y\]所以\[x\times\sum_{i=1}^{n}b_i=y\]\[\sum_{i=......
  • 【做题笔记】数论做题笔记
    前言题目来源初等数论学习IEuclidProblem:板题,用\(exgcd\)求出的两个解就是\(|x|+|y|\)最小的整数解【模板】二元一次不定方程(exgcd):板题GiftDilemma:将方程变为\(ax+by\equivp-cz\),枚举\(c\)前的系数,若\(n=\frac{p}{c}\),那么时间复杂度为\(O(Tn\logn)\)[POI20......
  • 数论结论 总结
    数论结论总结小结论\(1\simn\)的因数总共有\(O(n\logn)\)个,调和级数证明。\[\varphi(ij)\varphi(\gcd(i,j))=\varphi(i)\varphi(j)\gcd(i,j)\]\[d(ij)=\sum_{x|i}\sum_{y|j}[\gcd(x,y)=1]\\d(ijk)=\sum_{x|i}\sum_{y|j}\sum_{z|k}[\gcd(x......
  • 快速数论变换 | NTT 初学
    快速数论变换|NTT初学前置FFT原根阶:称满足同余方程\(a^x\equiv1\modm\)的最小正整数解\(x\)为\(a\)的模\(m\)的阶,记为\(Ord_ma\)。观察到本质就是最短循环节,同时该同余方程类似于欧拉定理:\[a^{\varphi(m)}\equiv1\modm,a\botm\]那么显然两者的关系是......
  • Codeforces Round 651 (Div. 2)C. Number Game(数学思维数论)
    C.NumberGame我们考虑那些状态是必胜态我的回合时n为奇数(除1外),直接除以n则必胜下面偶数的情况稍复杂偶数我们能进行的操作只有除以一个奇数,需要考虑怎么把当前状态变为对手的必败态偶数一定含2的因子,\(n=2^k*q,q为奇数\)当\(k=1时如果q\)是一个质数那么只能除一次q这样......
  • 基础数论
    目录质数质因数分解约数\(gcd\)求最大公约数质数质因数分解算术基本定理:\(任何一个大于1的正整数都能唯一分解为有限个质数的乘积,可以写作:\)\[N=p_1^{c_1}p_2^{c_2}...p_m^{c_m}\]\(其中c_i都是正整数,p_i都是质数,且满足p_1<p_2<...<p_m\)intprimes[N],cnt[N],m;voiddi......