首页 > 其他分享 >【未整合】数学 day1.2

【未整合】数学 day1.2

时间:2024-05-02 15:55:06浏览次数:21  
标签:phi log sum 数学 整合 day1.2 equiv bmod gcd

!!!

数论

\(\sum_1^n [i\in prime]=O(\frac{n}{\log n})\)。

算数基本定理是常识。

经典问题:\(\gcd\times\operatorname{lcm}=a\times b\)。

埃氏筛

\(O(n\log\log n)\) 处理出 \(1\sim n\) 的所有质数。

对于所有质数扫描所有倍数。

质数的倒数和为 \(O(\log\log n)\)。

P7960

定义广义埃氏筛来筛出所有不合法的数。\(O(V\log V)\)。

P1835

区间筛,预处理 \(1\sim\sqrt{R}\) 之间的质数,然后直接做。

线性筛

令 \(low(i)\) 代表 \(i\) 的最小质因子,然后咕。

欧拉函数

\(\phi(n)=\sum_1^n [\gcd(i,n)=1]\)

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

咕。

是积性函数。

对于 \(0\le i<pq\),则 \(i\) 与 \((i\bmod p,i\bmod q)\) 构成双射。

不太会证。

可以用积性函数的性质求 \(\phi(1\sim n)\)。咕。

求 \(\oplus_1^n \gcd(i,n)\)。

\(\sum_1^n [\gcd(i,n)=d]=\phi(\frac{n}{d})\)

线性筛筛欧拉函数,不会。

光速乘

看上去很有意思。

逆元

注意到逆元是一种神奇的双射。

威尔逊定理

\((p-1)!\equiv -1(\bmod p)\)

费马小定理

\(a^{p-1}\equiv 1(\bmod p)\),when \(p\in prime\) 且 \(a\equiv 0(\bmod p)\) 不成立。

不会证。

\(a^{-1}\equiv a^{p-2}(\bmod p)\)

欧拉定理

对于 \(\gcd(a,p)=1\),存在 \(a^{\phi(p)}\equiv 1(\bmod p)\)

不会证。

线性求逆元

讲的太快了。

线性阶乘逆元

讲的太快了。

可以在 \(O(n+\log p)\) 的时间内求出 \(\{a_i\}\) 的逆元。

思想和上面很像,不会。

裴蜀定理

\(\gcd(a,b)\) 均可以表示为 \(ai+bj\),并且 \(ai+bj\) 所能表示出的最小正整数为 \(\gcd(a,b)\),其中 \(i,j>0\)。

exgcd

不如自学。

正确的。

正确的。

正确的。

不如看 B 站。

正确的。

正确的。

正确的。

都会,不用记。

CRT

不想听了。

对于 \(p\) 进制下的纯循环小数 \(0.a_0a_1\cdots a_{n-1}\),分数形式为 \(\frac{\sum\limits_{i=0}^{n-1}a_ip^{n-i-1}}{p^n-1}\)。

\(a+b=a\oplus b+2\times (a \& b)\)

标签:phi,log,sum,数学,整合,day1.2,equiv,bmod,gcd
From: https://www.cnblogs.com/BYR-KKK/p/18170270

相关文章

  • 网课-组合数学学习笔记
    排列\[A_n^m=\dfrac{n!}{(n-m)!}\]组合\[\dbinom{n}{m}=\dfrac{n!}{(n-m)!}\]下降幂&上升幂\[\]二项式定理隔板法如果隔板法的每个间隔有下界(下界可以不同),可以先把下界从整体减去。P5520[yLOI2019]青原樱:可将树看作隔板。环排列\(n\)的长度,\(m\)种颜色。可以......
  • 【未整合】数学 day1
    会把集训笔记抽时间整合到省选/NOI数学的文章上。讲师:施开成,CTSC第五名。组合数学\(C_n^m\)表示在\(m\)个数中选\(n\)个数的方案数,狭义的要求\(n\gem\ge0\),\(n,m\)均为正整数。也叫二项式系数。对于实数\(a\)和非负整数\(n\),定义下降幂\(a^{n_{_}}\),等于\(a(......
  • 读天才与算法:人脑与AI的数学思维笔记15_声响的数学之旅
    1. 音乐1.1. 巴赫的作品以严格的对位著称,他十分中意对称的结构1.2. 巴托克的作品很多都以黄金比例为结构基础,他非常喜欢并善于使用斐波纳契数列1.3. 有时,作曲家是本能地或者不自知地被数学的模式和结构所吸引,而他们并没有意识到这些数学模式的意义1.4. 有时,他们主动去寻......
  • ZORICH数学分析
    ZORICH数学分析CHAPTER1一些通用的数学概念与记号§1.逻辑符号1.关系与括号\[L\impliesP\\\text{表示L蕴含P}\]\[L\iffP\\\text{表示L与P等价}\]\[((L\impliesP)\land(\negP))\implies(\negL)\\\text{表示若P由L推出,而P不真,则L不真}\]\[\neg((L\iffG)\l......
  • 好题——数学与数据结构
    前言本文章将会持续更新,主要是一些个人觉得比较妙的题,主观性比较强(给自己记录用的),有讲错请补充。带!号的题是基础例题,带*号的是推荐首先完成的题(有一定启发性的)。组合数P6620[省选联考2020A卷]组合数问题运用斯特林数好的例题,普通幂转下降幂。用到第二类斯特林数。\[......
  • SpringBoot2.x整合Redis Sentinel
    redissentinel搭建之后,在spring-boot项目中集成。配置在pom.xml文件中添加如下依赖配置(这里spring-boot版本2.2.5),这个版本中,默认使用lettuce作为redis连接池。<dependency><groupId>org.springframework.boot</groupId><artifactId>spring-boot-starter-data-redis<......
  • 【排课小工具】项目需求的搜集与整合
    计划写一系列随笔,记录一个工具软件的开发过程,这是第一篇随笔,写本篇随笔的初衷是帮助我整理一下当前的需求详情,同时复习最近所需的软件工程相关知识,如果能对读者有所帮助,那算是这篇文章产生的额外价值了。需要注意的是,这不是一篇遵循标准规格的需求文档,因为其中可能夹杂着知识注解......
  • 数学知识(三)
    一、高斯消元高斯消元高斯消元是用来求解多元线性方程组的方法,时间复杂度为O(n3)。初等行列变换把某一行乘以一个非0的数交换某两行将某行的若干倍加到零一行【1】处理后形成阶梯型则有解【2】不是阶梯型左边均为0,右边非0,无解左右均为0,有解算法步骤枚举每一列寻找绝......
  • 【排课小工具】项目需求的搜集与整合
    计划写一系列随笔,记录一个工具软件的开发过程,这是第一篇随笔,写本篇随笔的初衷是帮助我整理一下当前的需求详情,同时复习最近所需的软件工程相关知识,如果能对读者有所帮助,那算是这篇文章产生的额外价值了。需要注意的是,这不是一篇遵循标准规格的需求文档,因为其中可能夹杂着知识注解......
  • 高等数学笔记
    高等数学概念、公式及常用结论高等数学基本公式、常用拓展公式、常用结论、常用解法目录第一章函数极限连续常用的基本极限1-无穷型极限常用结论常用的等价无穷小洛必达法则求极限什么时候可以用洛必达法则洛必达法则的适应类型泰勒公式求极限利用单调有界准则求极......