数学杂类记录
文章平均质量分 94
Zetaa
Email: [email protected]
展开
-
简述 index calculus 算法
前言:仅个人小记。index calculus 本质上还是蛮力计算,不过这个蛮力相对于普通的蛮力更加优雅有效,但仍然是指数级别,可以称之为亚指数时间复杂。前提交代域FpF_pFp,生成元为 b。b为底数,ind(a)ind(a)ind(a)表示以 b 为的 a 的离散对数。挑一个值S,找出小于S的所有素数,构成一个基组AA={p1,p2,...,pk}A=\{p_1,p_2,...,p...原创 2020-01-09 16:08:44 · 1554 阅读 · 1 评论 -
度为n的不可约多项式和Fp^n 这个域的关系
前言:仅个人小记。域FpF_pFp,p是素数。域FpnF_{p^n}Fpn是域FpF_pFp的扩域,即Fp<FpnF_p<F_{p^n}Fp<Fpn。f(x)∈Fp[x]={Σi=0naixi,ai∈Fp},其中n不受限制f(x)\in F_p[x]=\{\Sigma_{i=0}^na_ix^i,a_i\in F_p\},其中n不受限制f(x)∈Fp[x]={Σ...原创 2020-01-09 13:10:16 · 810 阅读 · 0 评论 -
计算不可约多项式的阶
前言:仅个人小记。这里直接讨论不可约多项式,仅简要交代计算不可约多项式的阶基本方法。具体还是要枚举。以例子作为说明计算p(x)=x4+x+1p(x)=x^4+x+1p(x)=x4+x+1在域F2F_2F2上的阶。记p(x)p(x)p(x)的阶为 v。事实一:p(x)∣xv−1p(x)|x^v-1p(x)∣xv−1。事实二:v∣qd−1v|q^d-1v∣qd−1。其中,q是域的特征,d是...原创 2020-01-09 11:12:15 · 2196 阅读 · 2 评论 -
Frobenius自同构
前言:仅个人小记。前要知识:aj≡i mod naj\equiv i\ mod\ naj≡i mod n,当a⊥na\perp na⊥n时,j 有唯一解。域F,域F的特征为char(F)=pchar(F)=pchar(F)=p,p为素数。域的元素个数必然为p的幂次方,记为 pnp^npn。相应的域中乘法群的阶为pn−1p^n-1pn−1。Frob...原创 2020-01-07 19:42:29 · 4010 阅读 · 0 评论 -
牛顿恒等式 牛顿和
前言:仅个人小记。该恒等式推导逻辑非常简洁。目标,求一个多项式的所有根的次幂和。比如多项式P(x)=Σi=0naixiP(x)=\Sigma_{i=0}^{n}a_i x^iP(x)=Σi=0naixi的根为 α,β,...,ω\alpha,\beta,...,\omegaα,β,...,ω,现在希望求得Pk=αk+βk+...+ωkP_k=\alpha^k+\beta^k+...+\omeg...原创 2020-01-05 00:30:38 · 4516 阅读 · 1 评论 -
有限域的乘法群一定是循环群
前言:仅个人小记暂先交代证明的基本思路:因为是有限域,所以必然是整环,所以必然无零因子,进而度公式必然满足,即 deg(fg)=deg(f)+deg(g)deg(fg)=deg(f)+deg(g)deg(fg)=deg(f)+deg(g),xn=1x^n=1xn=1的不同根最多有 n 个(可以结合度公式采用反证法进行说明),同时xn−1=1x^{n-1}=1xn−1=1的不同根最多只有 n-1...原创 2019-12-15 10:30:51 · 9381 阅读 · 1 评论 -
循环群的阶每一个因子都对应唯一的一个子群
前言:仅个人小记。这个性质是循环群的独有的。证明内容循环群G的阶为 n, 对任意 n 的因子 d ,即 d|n,都存在一个 唯一的d 阶子群 H。证明循环群 G 的生成元记为 g, 群阶记为 n。引入集合 Zn=0,1,...,n−1Z_n={0,1,...,n-1}Zn=0,1,...,n−1第一部分引入G的一个子集H, H={x∣xd=1,x∈G}H=\{x|x^d=1,x\i...原创 2019-12-15 10:15:03 · 4853 阅读 · 1 评论 -
中国剩余定理逻辑简述
前言:仅个人小记。中国剩余定理CRT和拉格朗日插值如出一辙。问题n≡r1(mod m1)n≡r1(mod m2)...n≡r1(mod mk)n\equiv r_1(mod \ m_1)\\ n\equiv r_1(mod \ m_2)\\.\\.\\.\\n\equiv r_1(mod \ m_k)n≡r1(mod m1)n≡r1(mo...原创 2019-11-05 10:18:58 · 371 阅读 · 0 评论 -
拉格朗日插值
前言:仅个人小记。纯粹讨论拉格朗日插值内容,其思想其实简洁。本意是从一个 n 次一元多项式上任取 n+1 个不同的点,如果能拿到这 n+1 个点,则根据这 n+1 个点反推出原始的 n 次一元多项式。n 次一元多项式如下:f(x)=a0+a1x+a2x2+...+anxn=∑i=0naixif(x)=a_0+a_1x+a_2x^2+...+a_nx^n=\sum_{i=0}^{n}a_ix^if...原创 2019-11-04 22:33:43 · 684 阅读 · 0 评论 -
拓展欧几里得算法
前言:仅个人小记。欧几里得算法只是给出了求解 a, b 最大公约数的方法。而拓展欧几里得算法中,在完全利用欧几里得算法的过程中,求解出 a, b 的最大公约数,同时还得到一组 (x,y) 使得 ax+by=gcd(a,b)ax+by=gcd(a,b)ax+by=gcd(a,b) 成立。这个式子在求解“乘模逆元”中可以用作提速,具有十分重要的意义。拓展欧几里得算法内容我们希望求解 (x,y) a...原创 2019-09-09 20:06:17 · 421 阅读 · 0 评论 -
拓展欧几里得算法求乘模逆元
前言:仅个人小记。之前已经证明了 “若正整数a,b互素,则必然存在b以内的正整数k,使得ak%b=1” 成立。本文进一步借助 拓展欧几里得算法,给出快速求解 k 值的方法,即求解乘法逆元的方法,具体多快?时间复杂度为O(log(b))....原创 2019-09-09 20:10:07 · 1495 阅读 · 0 评论 -
拓展欧几里德进一步求一次同余式
前言:仅个人小记。之前就介绍了拓展欧几里德算法并给出用拓展欧几里得算法求解乘法逆元的方法,这里,将求解的问题更加一般化,即求解一次同余式。前要知识a, b 的最大公约数记 gcd(a,b) 记为 (a,b)。给定整数 a, b, 必有 a(a,b)⊥b(a,b)\frac{a}{(a,b)} \perp \frac{b}{(a,b)}(a,b)a⊥(a,b)b。问题描述给定一次同...原创 2019-09-15 13:52:57 · 394 阅读 · 0 评论 -
n 以内与 n 互素的元素集合必然形成一个循环群
前言:仅个人小记。一直知道 ,对于素数 p,Zp∗={1,2,...,p−1}Z_p^*=\{1,2,...,p-1\}Zp∗={1,2,...,p−1}是一个循环群,并且一直在使用这个性质(比如欧拉定理,费马定理,生成元的使用),但却不知道 Zp∗Z_p^*Zp∗为什么是一个循环群。Zp∗Z_p^*Zp∗ 是由素数 p 形成的特例,而本文的证明是直接针对具有普遍性质的数字 n 来实施证明的...原创 2019-09-18 12:02:46 · 1154 阅读 · 1 评论 -
最小公倍数与质因标准分解理论
前言:仅个人小记。在证明 Zp∗Z_p*Zp∗是一个循环群的过程中,用到了这条性质,故而在此记录该小证明。简言之就是,显然素因子不可能是来自多个元素组合而形成的,因为素因子根本就不可组合,而素因子的幂也是不可能是来自多个元素组合而形成的,即必有元素包含该素因子的幂。证明内容D为 d1,d2,...,dmd_1,d_2,...,d_md1,d2,...,dm 的最小公倍数,记为如下D=...原创 2019-09-20 08:46:01 · 296 阅读 · 0 评论 -
若a,b互素,则a必然存在模b的逆元;若a,b不互素,则a必然不存在模b的逆元
前言:仅个人小记。在证明,模 m 乘法群形式是唯一的 这个过程中需要用到这两条性质,故而记录之。证明内容若a,b互素,则a必然存在模b的逆元。证明过程直接参看,若正整数a,b互素,则必然存在b以内的正整数k,使得ak%b=1若a,b不互素,则a必然不存在模b的逆元。证明第2条若a,b不互素,则a必然不存在模b的逆元反证法:假设 (a,b)>1,存在整数k,使得ak=1(mo...原创 2019-09-20 09:06:01 · 2554 阅读 · 0 评论 -
循环群阶的关系 ord(a^k)=ord(a)/(ord(a),k)
前言:仅个人小记。元素 a 的阶,即元素 a 形成的循环群的阶,即 ord(a)=||。求 ord(ak)ord(a^k)ord(ak)。非严格证明(从最小公倍数入手)ord(ak)=[ord(a),k]k=ord(a)∗k(ord(a),k)k=ord(a)ord(a,k)ord(a^k)=\frac{[ord(a),k]}{k}=\frac{\frac{ord(a)*k}{(ord...原创 2019-09-20 09:53:52 · 4773 阅读 · 0 评论 -
循环群的子群必然还是循环群
前言:仅个人小记。我们知道群中任意一个元素都可以通过自乘形成循环群,但是循环群的子群难道也必然是循环群吗?也就是说循环群的子群也必然是由某个元素生成的循环群?也就是说,循环群的子群只可能是那些由元素自乘生成的循环群!借助拓展欧几里得算法来实施证明。前要知识拓展欧几里得算法,交代必然存在整数 m,n 使得证明内容循环群的子群必然还是循环群。证明设循环群 G , 生成元为 g,群阶 ...原创 2019-09-29 09:28:09 · 23114 阅读 · 7 评论 -
循环群的子群、群阶因子、元素阶
前言:仅个人小记。讨论内容子群的阶必然为群阶的因子,这一点由群论中的拉格朗日定理已经知道,不必再详细讨论。循环群 G 的群阶 n 的因子 d 必然相应一个子群,该子群的阶就等于 d,即群论中拉格朗日定理的逆在循环群中成立。循环群 G 中, 阶为 d 的元素必然共有 φ(d)\varphi(d)φ(d) 个,d 是群阶 n 的因子。循环群 G 中,根据阶不同,对所有元素进行划分,引出定...原创 2019-09-29 11:09:52 · 19215 阅读 · 1 评论 -
有限群元素的阶必然存在
前言:仅个人小记。即证明有限群中的元素必然可以通过自乘达到幺元。证明对于有限群 G, ∀a∈G\forall a\in G∀a∈G,元素 a 的阶都存在。元素自乘序列如下;a,a2,a3,...a,a^2,a^3,...a,a2,a3,...因为 G 是一个群,所以根据封闭性必然有 ai∈Ga^i \in Gai∈G又因为群 G 是有限的,所以必然有ai=aj,i<ja^i=a^j,i...原创 2019-09-29 11:22:47 · 6756 阅读 · 1 评论 -
素数阶群必为循环群
前言:仅个人小记。素数阶群必为循环群,这个性质很重要,尤其是在密码学中,我们总是引入素数阶的群,这个性质保证了我们引入的群具有循环群的一切特征,包括交换性、具有生成元。前要知识群论中的拉格朗日定理(子群的阶必然能整除群阶) 。参看 https://blog.csdn.net/qq_25847123/article/details/100318620素数 p 以内的正整数都与 p 互质。素...原创 2019-09-06 09:16:39 · 34533 阅读 · 3 评论 -
群论中的拉格朗日定理(子群的阶必然能整除群阶)
前言:仅个人小记。本文记录的证明逻辑上不具有流畅性,主要是在一开始不流畅,拉格朗日神乎其技地引入了一个等价关系,进而实现了整个定理的证明,目前我没能给出拉格朗日是如何想到引入该等价关系。前要知识等价关系 R 中,元素 a 的等价类,即该等价关系中所有第一个元素是 a 的序偶相应的第二个元素 b 形成的集合。定理内容设 <H,∗><H,*&...原创 2019-09-02 18:13:10 · 22427 阅读 · 4 评论 -
列向量和行向量看待矩阵乘法
声明: 仅个人小记 前言: 主要是引入一个新的看待矩阵乘法的角度觉得这个挺重要的,故做记录列向量角度,矩阵左乘AB = C 结合上图,我们可以知道,结果矩阵C中的第 j 列完全可以表示为矩阵A中列向量的线性组合,具体怎样的线性组合完全是参看矩阵B中相应的第 j 列,与矩阵B中的其他列无关。换言之,左侧矩阵提供基本的列向量,右侧的矩阵交代怎样的线性组合。行向量角度,矩阵右乘 AB = C 结合原创 2017-07-24 19:19:14 · 26845 阅读 · 4 评论 -
数学概念实际意义探究小记
声明:仅个人小记。前言:本文是对一些数学概念的物理或者其他实际意义的延伸,简要记录一些本人遇到的数学概念的实际意义,并不一定是,提供的解析值得思考或者便于理解,或者具有更好的实用价值。1. 行列式行列式的规格是N*N,一定是正方形(我容易忘了) 。规格是正体,这一规则也是行列式中行和列地位等价的一个基础。 行列式的意义:行列式的绝对值是平行体的体积(在二维中是,平行四边形的面积)。行原创 2017-06-18 17:29:53 · 1927 阅读 · 1 评论 -
KKT最优条件
申明:仅个人小记。前言:文中默认函数都是可导的。已知最优点必然取自来自边界点和极值点,本文只讨论极值点部分。理清逻辑:(1)“条件” 指的是,只有满足了 “条件” 才有可能是极值点,但满足这个 “条件” 的点则不一定是极值点,但是借助这个 “条件” 则大大缩小了我们寻找极值点的范围。(2) 拉格朗日乘数法将等式约束条件求极值转化为无条件约束求极值(3) KKT条件分别将不等式约束求...原创 2019-01-03 18:23:33 · 2445 阅读 · 0 评论 -
矩阵变换和n个线性无关特征向量
申明: 仅个人小记看待矩阵有很多种不同的角度,当我们把矩阵看作是一种变换的时候,我认为矩阵对应的变换只有:拉伸和旋转。Ax⃗&amp;nbsp;=y⃗&amp;nbsp;Ax→=y→A\vec{x}=\vec{y}(可以用相关性来辅助我想表达的意思,拉伸和旋转是互相独立的,即拉伸能做的旋转不一定能做到,而旋转能做的拉伸不一定能做到。补充:投影则只是当拉伸比例为0时的一个特例。我的意思就是矩阵的所能产生的所有变...原创 2018-08-15 17:14:24 · 10258 阅读 · 0 评论 -
秩一矩阵的优良性质
前言:仅个人小记很好的从另一个角度诠释了矩阵乘法。还是很不错的。 ui→,vi→ui→,vi→\vec{u_i},\vec{v_i}都是列向量。 UVT=([u1→,u2→,...,un→])([v1→,v2→,...,vn→]T)=u1→v1→T+u2→v2→T+...,un→vn→TUVT=([u1→,u2→,...,un→])([v1→,v2→,...,vn→]T)=u1→v1→T+...原创 2018-02-24 10:40:10 · 17216 阅读 · 1 评论 -
矩阵的迹trace相关问题的证明
申明: 仅个人小记要证明的内容具体为: (1) 方阵A的主对角线之和等于所有特征值之和,主对角线之和称之为矩阵的迹(trace)。 (2) 方阵A对应的行列式值等于所有特征值之积。一、求特征值的方法能够使得方阵A满足Ax⃗&nbsp;=λx⃗&nbsp;Ax→=λx→A\vec{x}=\lambda\vec{x}的λλ\lambda称之为特征值,x⃗&nbsp;x→\vec{x}...原创 2018-08-07 20:52:19 · 5475 阅读 · 2 评论 -
梯度-lagrange乘子法-偏导数连续必然可微分
前言: 仅个人小记前提某点的梯度是一个向量,比如对于z=f(x,y)的点(x0,y0,z0)(x0,y0,z0)(x_0,y_0,z_0)处的梯度为二维向量∇f(x0,y0)=(fx(x0,y0),fy(x0,y0))=fx(x0,y0)i⃗ +fy(x0,y0)j⃗ ∇f(x0,y0)=(fx(x0,y0),fy(x0,y0))=fx(x0,y0)i→+fy(x0...原创 2018-04-05 18:13:42 · 1490 阅读 · 0 评论 -
旋转体表面积公式推导及证明错误
申明: 仅仅个人小记举例探讨: y=f(x)连续,绕x轴旋转,求旋转体的表面积 用微元法求解旋转体表面积, 微元法的使用前提条件:实际量和近似量之间误差必须为高阶无穷小显然,实际量是不好直接描述的(不然也就不会来采用定积分的方法了),但是我们能够表述出实际量的估计范围。正确的方案实际量ΔSr∈[2πfminΔs,2πfmaxΔs]ΔSr∈[2πfminΔs,2πfmaxΔs...原创 2018-04-08 13:13:43 · 24684 阅读 · 9 评论 -
SVD推导
申明: 仅个人小记一、从上至下,逻辑推导SVD。既定事实,对于任意规格(m*n)矩阵AAA,ATAATA{A}^{T}A为n*n规格的实对称矩阵。实对称矩阵必然存在n个线性无关的相互正交的单位特征向量正交矩阵的逆矩阵等于正交矩阵的转置推导开始ATAATA{A}^{T}A的n个线性无关的相互正交的单位特征向量,记为v1→,v2→,...,vn→v1→,v2→,...原创 2018-02-24 10:16:36 · 819 阅读 · 1 评论 -
向量范数
声明: 仅个人小记效果展示绘制∥v⃗∥p=1\left \| \vec{v}\right \|_p = 1∥v∥p=1的图像如下当 p = 0 当 p = 1 当 p = 2 当 p = +∞\infty∞ 随着p的大小的演变过程,如下 向量范数定义总体定义∥v⃗∥p=(∣v1∣p+∣v2∣p+...+∣vn∣p)1p\left \| \vec{v}\righ...原创 2019-06-04 11:03:05 · 18995 阅读 · 1 评论 -
伯恩赛德定理(集合S的 置换群 诱导出来的等价关系 对集合S 划分 得到的 等价类个数)
前言:仅个人小记。定理内容由 S 的置换群 <G, >原创 2019-09-02 16:51:19 · 2988 阅读 · 0 评论 -
置换群诱导出的二元关系必然是一个等价关系
前言:仅个人小记。辅助于伯恩赛德定理的证明。证明内容由集合 S 上的一个置换群 <G,∗><G,*><G,∗>诱导的二元关系 R是一个等价关系 ,诱导二元关系 R 定义如下R={<a,b>∣π(a)=b,π∈G}R=\{<a,b>|\pi(a)=b,\pi\in G\}R...原创 2019-09-02 13:38:48 · 1248 阅读 · 0 评论 -
随机性简要讨论
前言:仅个人小记。个人对随机的理解以及划分:不可知论随机,绝对随机。不知道目前来看,量子里面的随机性支撑着这个概念的存在。是否真的存在一种随机,这种随机完全是本体的属性。可知论随机,只是人没有能力获得相应的信息以消除不确定性,进而把这种不确定性称之为随机。随着时间往后,我们越来越有能力消除不确定性,这很有力的支撑了可知论随机这一概念。伪随机:3.1 强制整体严格满足指定分布,只有第一次...原创 2019-08-24 17:33:47 · 508 阅读 · 0 评论 -
质数手镯只有同色时才有旋转不变性
前言:仅个人小记。手镯问题中,当手镯是由质数个珠粒构成,则必然不可能保持旋转不变性,除非颜色完全相同。为什么珠粒的个数是质数的时候,就必然不可能保持不同颜色的旋转不变性?这个问题涉及到质数的一个优良性质 “给定任意固定步长,任意起点,基于模运算,必能走遍整个集合”,下面引出该性质。给出命题取任意质数 p ,引入集合 A={0,1,...,p−1}A = \{ 0, 1, ... , p-1 \...原创 2019-08-07 11:41:39 · 236 阅读 · 0 评论 -
欧拉定理推导
前言:仅个人小记。欧拉公式将会应用在RSA公钥密钥中,这里只给出关于欧拉定理的推导。欧拉公式核心公式:aφ(m)%m≡1,其中a⊥m,φ(⋅)是欧拉函数{a}^{\varphi(m)} \%m\equiv1,其中a\perp m, \varphi(\cdot)是欧拉函数aφ(m)%m≡1,其中a⊥m,φ(⋅)是欧拉函数公式图片展示如下, 前提知识(1) 欧拉函数 φ(m)\varphi...原创 2019-07-14 08:51:34 · 1682 阅读 · 4 评论 -
质数是数的钥匙
前言:仅个人小记。基于“质数是数的钥匙”这个概念来辅助理解一些数论中的定理。概念描述质数是数的钥匙:任何一个质数看做一把独立的钥匙(质数是数字世界的基,可类比为线性代数中的基向量这个概念)。任何一个数都可以进行质因式分解,进而得到该数字的钥匙组合。(比如 15 = 3 * 5,即15这个数是根植于一把质数3钥匙和一把质数5钥匙;168 = 2 * 2 * 2 * 3 * 7,即168这个...原创 2019-07-13 21:17:32 · 181 阅读 · 0 评论 -
a与c互质且b与c互质,则必然ab与c互质
前言:仅个人小记。质数是数的指纹,对一个数质因数分解就是在探求这个数的指纹。a与c互质记为a⊥ca\perp ca⊥c。证明: 若a⊥ca\perp ca⊥c,b⊥cb\perp cb⊥c,则必有ab⊥cab\perp cab⊥c因为a⊥ca\perp ca⊥c,b⊥cb \perp cb⊥c,所以gcd(a,c)=1,gcd(b,c)=1,此时证明ab⊥cab\perp cab⊥c,即要证...原创 2019-07-13 17:09:48 · 2980 阅读 · 6 评论 -
欧几里得算法(求解最大公约数的优质方法)以及原理拓展
前言:仅个人小记。结论交代欧几里得算法(Eculidean Algorithm)指明:a,b最大公约数(Greatest Common Divisor),就等于b,a%b的最大公约数,公式如下gcd(a,b)=gcd(b,a%b)gcd(a,b) = gcd(b,a \% b)gcd(a,b)=gcd(b,a%b)但实际上,不仅仅是最大公约数,普通的公约数(Common Divisor)也...原创 2019-07-13 16:17:12 · 15907 阅读 · 1 评论 -
相似矩阵、过渡矩阵
申明: 仅个人小记一、相似矩阵P−1AP=BP−1AP=B{P}^{-1}AP=BP−1APx⃗ =Bx⃗ P−1APx→=Bx→{P}^{-1}AP\vec{x}=B\vec{x}x⃗ x→\vec{x}是新空间的一个向量,Px⃗ Px→P\vec{x}表示将新空间向量x⃗ x→\vec{x}变换为原空间向量,APx⃗ ...原创 2018-02-26 11:21:42 · 16546 阅读 · 3 评论