具体数学-第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的时候这部分都是看着他的学的。

相关文章
|
Java
liteflow规则引擎 执行Groovy脚本
liteflow规则引擎 执行Groovy脚本
391 0
|
存储 Java 关系型数据库
家政服务管理平台
家政服务管理平台
通义灵码,idea无法登录问题,解决方案
通义灵码插件,在idea无法登录,一直提示启动本地服务。
交换机中创建MAC地址表
【10月更文挑战第1天】
490 2
|
机器学习/深度学习 人工智能 数据可视化
深度学习之可解释人工智能(Explainable AI,XAI)
可解释人工智能(XAI)是一个旨在使AI决策过程透明和可理解的研究领域。随着AI和机器学习技术在多个行业中的应用变得越来越广泛,其决策过程的透明度和可解释性变得极其重要。
586 0
|
网络协议 Java 物联网
Netty是什么?深入理解高性能网络框架
Netty是什么?深入理解高性能网络框架
733 1
|
消息中间件 监控 测试技术
惊呆了!Python性能测试高手都用这些神器:JMeter+Locust,效率翻倍📈
【9月更文挑战第8天】在软件开发中,性能测试对确保应用稳定性和高效运行至关重要。对于Python开发者而言,选择合适的性能测试工具能显著提升测试效率并精准定位性能瓶颈。本文深入探讨了JMeter和Locust这两款工具的独特优势。JMeter作为跨平台的性能测试工具,支持多种协议,具备高度可定制性和扩展性;而Locust则专为Python应用设计,利用协程实现高并发,提供实时监控和分布式测试功能。两者结合使用,可在实际项目中实现1+1>2的效果,帮助开发者构建全面高效的测试方案,保障应用稳定运行。
733 1
|
缓存 Linux API
如何使用Matplotlib绘制出美观实用的图形?
如何使用Matplotlib绘制出美观实用的图形?
213 2
|
Linux 编译器 开发者
Linux嵌入式系统之交叉编译
Linux嵌入式系统之交叉编译
365 0
|
网络协议 网络虚拟化
MPLS VPN 跨域OptionC2
MPLS VPN 跨域OptionC2