数论(小部分前置芝士)

  • 数论的定义:
    数论是专门研究整数的性质的数学分支,其中大部分研究的是正整数。
    数论对信息学有很大作用也是考试恶心人的利器
  • 各类定义:
  • 定理:符合某些条件的语句。一般的定理需要证明。
  • 公理:公认正确的连续性定理,不需要证明。
  • 复数(Complex Number)可以表示的数,包含实数和虚数
  • 实数(Real Number) :可以用数轴表示的数,也可以写成数字(有些实数带符号,比如符号,分数线和根号)的形式
  • 实数包含有理数和无理数
  • 任意一个实数的偶数次幂都lua 大实数_类定义
  • 有理数(Rational Number) :可分类成整数和分数。
  • 整数(Integer) :类似lua 大实数_学习_02这样的数。
  • 整数是数学上的基本概念,所以没有定义。
  • 整数包含正整数(Positive Integer),负整数(Negative Integer)和 lua 大实数_学习_03
  • 分数(Fraction):即无限循环小数和有限小数的总称。分数是有理数中除了整数外的一切数
  • 分数也分为正分数(Positive Fraction)和负分数(Negative Fraction)。
  • 有理数的封闭性:任意有理数作运算都得到一个有理数
  • 无理数(Quational Number) :无限不循环小数。
  • 无理数也分正负,这里就不细说。
  • 无理数作加减乘除的运算,都可以得到一个多项式
  • 同类无理数之间可以加减任意无理数之间可以乘除
  • 任意实数之间可以作运算
  • 虚数(Imagine Number)不能用数轴表示的数,是不切实际的。
  • 任意一个虚数的平方lua 大实数_学习_04
  • 虚数可以用复平面表示。复平面就像一个平面直角坐标系。坐标系中的x轴成为实数轴,y轴成为虚数轴(虚数系数轴)
  • 虚数可以写成字母形式,例如lua 大实数_类定义_05
  • 任意一个虚数都可以表示成lua 大实数_连线_06的形式,其中lua 大实数_lua 大实数_07有理数
  • 在复平面中,lua 大实数_类定义_08的位置在lua 大实数_lua 大实数_09,原点和lua 大实数_类定义_08所在点的连线与x轴的夹角成为辐角
  • 如果两个虚数的积为实数则称这两个虚数共轭。其中任意一个虚数为另一个虚数的共轭复数
  • 集合:
  • 集合是数学上的基本概念,所以集合没有定义。
  • 集合的每一个单独的量成为该集合的元素。
  • 集合的一些量组成的集合成为该集合的子集。
  • 集合常用符号:lua 大实数_类定义_11lua 大实数_循环小数_12空集 没有元素的集合。lua 大实数_循环小数_13属于 表示一个数属于某个集合。lua 大实数_学习_14不属于 表示一个数不属于某个集合。例子:lua 大实数_循环小数_15,则lua 大实数_lua 大实数_16lua 大实数_连线_17包含于 表示一个集合是另一个集合的子集。lua 大实数_循环小数_18不包含于 表示一个集合不是另一个集合的子集。例子:lua 大实数_循环小数_19,则lua 大实数_连线_20lua 大实数_连线_21 表示两个集合的共同部分。lua 大实数_连线_22 表示两个集合的共同部分和两个集合的单独部分。例子:lua 大实数_连线_23,则有下列公式:

lua 大实数_连线_24

  • 集合的公理:
  • 集合的每个元素都具有互异性。
  • 通用集合:
    lua 大实数_连线_25
    lua 大实数_学习_26
    lua 大实数_类定义_27
    lua 大实数_连线_28
    lua 大实数_lua 大实数_29
    lua 大实数_学习_30
  • 整除
  • 前置芝士:lua 大实数_学习_31lua 大实数_学习_32,则lua 大实数_类定义_33lua 大实数_类定义_34 使得 lua 大实数_类定义_35
此处不予证明,因为这是句废话,而且需要很长的篇幅来证明。
  • 对于lua 大实数_连线_36lua 大实数_学习_37,若lua 大实数_学习_38,则称lua 大实数_学习_39整除lua 大实数_类定义_40。记作:lua 大实数_循环小数_41
  • 注意:lua 大实数_类定义_42指的是lua 大实数_连线_43为整数,即lua 大实数_类定义_44.
  • 一些引理:
  • lua 大实数_学习_45 则有 lua 大实数_lua 大实数_46
  • lua 大实数_学习_47lua 大实数_lua 大实数_48
  • lua 大实数_学习_49lua 大实数_学习_50
  • lua 大实数_连线_51lua 大实数_lua 大实数_52lua 大实数_lua 大实数_53
  • lua 大实数_学习_54lua 大实数_类定义_55
  • gcd(最大公因数):
  • 任意两个数只有唯一一个最大公因数。
  • 最大公因数定义:
  • lua 大实数_lua 大实数_56lua 大实数_lua 大实数_56不全为lua 大实数_循环小数_58
    lua 大实数_连线_59
    lua 大实数_类定义_60
    lua 大实数_学习_61lua 大实数_学习_62lua 大实数_学习_63

公因数:指两个数都有的因数

例如 8 的因数为 1,2,4,8,6 的因数为 1,2,3,6,则 8 和 6 的公因数为 1,2

最大公因数:指两个数的公因数中的最大数。

上面的例子中,6 和 8 的最大公因数为 2,记作gcd(6,8)=2


组合

Chapter I 卡特兰数

典型模型:

有一家电影院票价5美刀。
有2n个客人。
其中n个客人有5美刀。
另外n个客人有10美刀。
做生意需要找零钱,所以当客人付出10美刀时,你需要找零5美刀。
问题在于,你一开始没有钱。所以你需要在自己足够的有5美刀钱币时才能收10美刀钱币。
求你能成功找零的情况下,客人来的顺序的方案数。

答案:lua 大实数_类定义_64

解析:

创建一个n*n的矩阵。现在我们在矩阵的(1,1)处。
如图:

n=5
0 0 0 0 0
0 0 0 0 0
0 0 0 0 0
0 0 0 0 0
0 0 0 0 0

假设收一个5美刀钱的人等价于向下走一步。
收一个10美刀钱的人等价于向右走一步。
则问题转化为:保证当前位置不在主对角线(左上->右下)上方(可以在线上)。
如图,* 为可走区域:

n=5
* 0 0 0 0
* * 0 0 0
* * * 0 0
* * * * 0
* * * * *

公式:

  • lua 大实数_连线_65
  • lua 大实数_循环小数_66
  • lua 大实数_学习_67
  • lua 大实数_类定义_68

Chapter II 斯特林数

  • 第一类
  • lua 大实数_类定义_40个不同元素组成lua 大实数_学习_39个环排列
    递推公式:lua 大实数_lua 大实数_71
  • 第一类斯特林数很难想出来
  • 第二类
  • lua 大实数_类定义_40个不同的球放入lua 大实数_学习_39个相同的盒子,盒子不定
    递推公式:lua 大实数_连线_74

-第二类斯特林数相对第一类而言,较为简单,但是还是

斯特林数行列的模板都是黑题

数论没一个简单的东西,全寄吧是废人的题

Chapter III Lucas定理

前置芝士: lua 大实数_类定义_75可以表示为lua 大实数_类定义_76

然后你就可以这样祖安他人了。正确的

一个质数lua 大实数_学习_77,如果lua 大实数_循环小数_78lua 大实数_循环小数_79

lua 大实数_学习_80

引理:
  1. p为质数时,lua 大实数_lua 大实数_81
  2. 多项式lua 大实数_lua 大实数_82lua 大实数_循环小数_83
  3. lua 大实数_连线_84

Chapter IV 欧拉函数和素数函数

素数函数:lua 大实数_lua 大实数_85 表示lua 大实数_连线_86内质数的个数。

欧拉函数:lua 大实数_学习_87 表示lua 大实数_连线_86内和lua 大实数_连线_86互质的数的个数。

  • 欧拉函数计算公式lua 大实数_连线_90
  • 欧拉函数的性质:
  • lua 大实数_类定义_91是质数,则lua 大实数_学习_92
  • lua 大实数_循环小数_93,有lua 大实数_循环小数_94
  • 证明:
  • lua 大实数_连线_95lua 大实数_lua 大实数_96,设lua 大实数_连线_97,则lua 大实数_lua 大实数_98,则lua 大实数_连线_97lua 大实数_循环小数_100种取法。则lua 大实数_lua 大实数_101
  • lua 大实数_循环小数_102lua 大实数_循环小数_103时。

Chapter V 素数筛法

筛法

时间复杂度

原理

埃氏筛

lua 大实数_连线_104

筛选到一个质数,把这个质数的所有lua 大实数_lua 大实数_105的倍数全都筛掉

欧拉筛

较快,lua 大实数_循环小数_106

对于每一个数,被其最小质数因子筛去

不提供证明,因为作者不会微只因分


又是数论

Chapter I 一些函数

  • 质数函数 lua 大实数_学习_107 表示 lua 大实数_类定义_108
  • 欧拉函数 lua 大实数_循环小数_109 表示 lua 大实数_连线_110~lua 大实数_循环小数_111 中和 lua 大实数_循环小数_111
  • lua 大实数_学习_113lua 大实数_lua 大实数_114 表示 lua 大实数_连线_115 中和 lua 大实数_类定义_116
  • 莫比乌斯函数 lua 大实数_lua 大实数_117

PS: lua 大实数_连线_118表示m的因子中含有P的平方


Chapter II 简化剩余系

lua 大实数_连线_119

人话:lua 大实数_lua 大实数_120 个整数组成,且每个元素与m互质,且任意两个元素 lua 大实数_循环小数_121


Chapter III 拓展芝士:群的定义

本质是一个集合在该集合上定义运算lua 大实数_类定义_122(乘法)且该集合在这两种运算满足:

  1. lua 大实数_连线_123
  • lua 大实数_循环小数_124
  1. lua 大实数_学习_125
  2. lua 大实数_连线_126单位元 lua 大实数_lua 大实数_127,有lua 大实数_类定义_128 满足lua 大实数_lua 大实数_129
  3. lua 大实数_循环小数_130,有lua 大实数_类定义_128满足lua 大实数_学习_132
  • 如果满足上述条件,则称 lua 大实数_lua 大实数_133
举个栗子
  1. 非零实数集,关于普通乘法
  2. lua 大实数_循环小数_134,关于普通乘法。
  • 类似于lua 大实数_连线_135这样的一个元素的集合成为平凡群
    真 平 凡 啊
  1. 有理数集(去除0),关于普通乘法
  2. lua 大实数_学习_136,关于普通加法
  • lua 大实数_lua 大实数_137
  • lua 大实数_连线_138
  1. n阶可逆阵,对于矩阵乘法。
  2. lua 大实数_类定义_139
  • lua 大实数_类定义_140
  • lua 大实数_学习_141

Chapter IV 乘法函数

前置芝士:算术函数

  • 算术函数是指定义在所有正整数上的函数。

如果算术函数 lua 大实数_循环小数_142 满足 lua 大实数_lua 大实数_143

则称lua 大实数_循环小数_142为乘法函数。

注意:lua 大实数_学习_145=1

如果lua 大实数_循环小数_142任意lua 大实数_类定义_147,有lua 大实数_学习_148,则称lua 大实数_循环小数_142完全乘法函数

  • lua 大实数_学习_150
一些定理
  • lua 大实数_连线_151为乘法函数且lua 大实数_循环小数_152lua 大实数_学习_153素数分解,则lua 大实数_学习_154
  • lua 大实数_循环小数_155为素数,lua 大实数_类定义_156,则:lua 大实数_学习_157
  • 由于lua 大实数_学习_158 是乘法函数,则lua 大实数_类定义_159

证明:

lua 大实数_lua 大实数_160

看图心自知其实作者忘了怎么证明了

Chapter V 中国剩余定理

举个经典的例子:

lty2000 have a number but I don't know it.
Three three count it mod equal one.
Five five count it mod equal three.
Seven seven count it mod equal five.
Question:what's the number?

人话:求lua 大实数_连线_161的解

Chapter VI Pollard算法基本介绍(没码)

泼腊肉!恶臭恶俗的泼腊肉!

算法用于:对于lua 大实数_连线_86,找lua 大实数_连线_86的因数
适用数据范围:n很大,且素因数lua 大实数_学习_77很大。

引理:
lua 大实数_连线_165,则 lua 大实数_学习_166的最小正余数为lua 大实数_学习_167lua 大实数_类定义_168lua 大实数_lua 大实数_169的最小正余数

lua 大实数_循环小数_170阶梯形中主元的个数