具体数学-第12课(数论进阶与组合数入门一)

简介: 数论进阶与组合数入门

例题1


首先接着上节课同余继续讲,在第三章例题2中,我们遗留了一个问题:对于如下序列

image.png

它的值就是

image.png

的某个排列,并且重复了 d 次。其中 image.png

首先我们有如下同余式:

image.png

这就可以看出该序列的确是重复出现了 d 次,那么剩下的问题就是证明这 image.png 个数恰好就是

image.png

的某个排列。

image.png ,所以有

image.png

所以我们只考虑 image.png 的情形,在此情形下,我们可以得到

image.png

由此可以看出,这 image.png 个数一定就是

image.png

至此得证。

下面介绍几个著名的数论定理。

费马最后定理


对于所有的正整数 image.png ,有

image.png

费马小定理


如果 image.png ,那么有

image.png

证明也很好证。

之前证过了,序列

image.png

结果就是

image.png

的某个排列,所以有

image.png

所以

image.png

所以

image.png

欧拉函数


定义 image.png 为小于 m 且与其互素的正整数个数。

所以我们有欧拉定理

image.png

其中 image.png ,可以发现,当 m 是素数时,欧拉定理就是费马小定理,所以欧拉定理是费马小定理的推广形式。

欧拉定理有很多有趣的性质,这里就不一一介绍了,详情见博客地址。

莫比乌斯函数


定义莫比乌斯函数 image.png

image.png

这个定义看起来很奇怪是不是?其实这是一个递归定义,可以递归地计算得到所有的值。

这个函数有什么用呢?主要用来进行莫比乌斯反演:

image.png

详细的性质及应用也不介绍了,给大家推荐一个牛逼的博客博客地址,我当时学ACM的时候这部分都是看着他的学的。

相关文章
牛客刷题之数学基础-快速幂
牛客刷题之数学基础-快速幂
62 0
|
算法 Android开发 Python
LeetCode 周赛上分之旅 #43 计算机科学本质上是数学吗?
学习数据结构与算法的关键在于掌握问题背后的算法思维框架,你的思考越抽象,它能覆盖的问题域就越广,理解难度也更复杂。在这个专栏里,小彭与你分享每场 LeetCode 周赛的解题报告,一起体会上分之旅。
64 0
LeetCode 周赛上分之旅 #43 计算机科学本质上是数学吗?
|
5月前
24考研|高等数学的基础概念定理(三)——第三章|不定积分
24考研|高等数学的基础概念定理(三)——第三章|不定积分
|
Python
牛客刷题之数学基础-约数
牛客刷题之数学基础-约数
60 0
|
机器学习/深度学习 程序员
程序员的数学【微积分基础】(一)
本文其实值属于:程序员的数学【AIoT阶段二】 的一部分内容,本篇把这部分内容单独截取出来,方便大家的观看,本文介绍 微积分基础,微积分是公式推导的基础,如果你也关注我的专栏:西瓜书读书笔记,里面对公式进行详细推导的过程中,运用到了大量的 导数,积分,身为一名程序员,我们务必掌握一些必备的数学知识。
320 0
程序员的数学【微积分基础】(一)
|
机器学习/深度学习 程序员
程序员的数学【微积分基础】(二)
本文其实值属于:程序员的数学【AIoT阶段二】 的一部分内容,本篇把这部分内容单独截取出来,方便大家的观看,本文介绍 微积分基础,微积分是公式推导的基础,如果你也关注我的专栏:西瓜书读书笔记,里面对公式进行详细推导的过程中,运用到了大量的 导数,积分,身为一名程序员,我们务必掌握一些必备的数学知识。
252 0
程序员的数学【微积分基础】(二)
具体数学-第9课(取整进阶与数论入门二)
今天讲完了取整的最后一部分知识,并给第四章数论开了个头。 首先还是以一道例题开始我们今天的课程。
144 0
具体数学-第9课(取整进阶与数论入门二)
具体数学-第9课(取整进阶与数论入门一)
今天讲完了取整的最后一部分知识,并给第四章数论开了个头。 首先还是以一道例题开始我们今天的课程。
130 0
具体数学-第9课(取整进阶与数论入门一)
具体数学-第2课 (二)
今天主要讲了关于递推式和求和的一些方法,主要是成套方法。
118 0
具体数学-第2课 (二)