信息学竞赛中的数学知识小结(共7页).docx
《信息学竞赛中的数学知识小结(共7页).docx》由会员分享,可在线阅读,更多相关《信息学竞赛中的数学知识小结(共7页).docx(7页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、精选优质文档-倾情为你奉上信息学竞赛中的数学知识简要梳理信息学竞赛经常涉及一些数学知识。现在梳理一下。目录1 组合数学:1.1 排列与组合1.2 母函数1.3 二项式定理1.4 容斥原理1.5 鸽巢原理1.6 群论(特别是置换群)1.7 Burnside引理与Polya定理2 线性代数:2.1 矩阵定义及运算2.2 高斯消元解线性方程组2.3 Matrix-Tree定理3 数论:3.1 扩展欧几里得3.2 逆元3.3 解模意义下方程3.4 莫比乌斯反演3.5 Miller-Rabin素数测试3.6 Pollard-Rho 因子分解3.7 BSGS 离散对数4 博弈论:4.1 组合游戏4.2 G
2、S函数和GS定理5 数值运算:5.1 Simpson 启发式积分1 组合数学:1.1 排列与组合n个不同元素,其所有排列个个数:全排列Pn=n!n个不同元素,选出m个来做全排列,排列数:P nm=nn-1n-2(n-m+1)n个不同元素,选出m个的组合数:Cnm=n!m!n-m!n个元素,有m种,第i种有ni个,每种则所有元素的排列数:P=Cnn1Cn-n1n1Cn-n1-n2n1Cnmnm=n!n1!n2!n3!n4!nm!n种元素,每种有无限多个,选出r个(可重复)的方案数(用夹棍法理解):N=Cn+r-1n-1n个不同元素,选出m个,且每个都不相邻:N=Cn-m+1m1.2 母函数母函数
3、是一个函数,该函数有无限多项,且具有下面的形式:Gx=a0+a1x+a2x2+aixi+=i=0aixi这样,一个母函数的的各项的系数就可以组成一个数列,并且任意一个数列都和母函数一一对应,对数列的研究就可以用母函数来帮忙了(还需要牛顿二项式定理来推导某些特殊级数的有限多项式表示)。1.3 二项式定理1.4 容斥原理:Ai=Ai-AiAj+AiAjAk思想是:“统计所有的,减去多统计的,加上多减的,再减去多加的”。由德摩根定理:Ai=Ai所以:N=Ai+Ai=Ai+AiAi=N-Ai这样,我们不光可以用容斥定理来统计“满足a,或满足b,或满足c”的元素的个数,也可以用来统计“不满足a并且不满足
4、b并且不满足c”的元素的个数。1.5 鸽巢原理:将n只鸽子放到n-1个巢中,至少有一个巢有大于一只鸽子。很显然的事情,但是用它的题目却不是那么显然,需要我们不断的强化问题(加更多自己的限制)。我见过的用处是:给出n个自然数,找出其中一堆,使得他们的和为n的倍数。1.6 群论(特别是置换群)给定一个集合A和定义在上面的一种二元运算“*”,并满足:1、封闭性2、结合律3、存在单位元4、存在逆元那么称A在运算“*”下成群。置换群是一个群,它的集合A是由置换组成,运算“*”是置换的叠加。1.7 Burnside引理与Polya定理设存在一个集合S,并且集合中的元素s能被一个置换作用变成sS,并且该置换
5、的逆置换能把s变成s。由置换群可以定义一个在S上的等价关系:如果aS能通过置换群中的置换变成bS,那么a和b等价。可以证明这种关系满足:自反、对称、传递。然后置换群G就可以将S划分出很多等价类,上面两个定理就是用来统计有多少个等价类的。Burnside引理的内容是:设置换群为G,等价类的个数是N,置换a将s变成a(s)GN=aAsS s=as(方括号表示如果条件成立,就是1,不成立为0.)我们将这样一组满足a(s)=s的a和s成为一个不动点,即s在a的作用下不变动。将其表示成文字语言就是:“G将S划分出的等价类个数是G作用在S上的不动点个数除以置换数”。Polya定理实际上就是告诉了我们一种求
6、不动点个数的方法。具体见组合数学。2 线性代数:2.1 矩阵定义及运算:(矩阵除了乘法还有加法,略)2.2 高斯消元解线性方程组思想:先将系数矩阵变成一个上三角矩阵,然后从最后一行开始计算,开始回代。2.3 Matrix-Tree定理这个定理是用来算连通无向图的生成树个数的。算法的主要过程是先求出这个图的基尔霍夫矩阵(度数矩阵减去关联矩阵)。然后答案就是基尔霍夫矩阵的n-1阶余子式的行列式。一个方阵的行列式的值是:算出n个元素,要求每行每列都只有一个,然后将算出来的元素乘起来,将选出来的元素的位置表示成n个二元组:(i,j),这n个二元组组成一个置换,如果它是一个奇置换,将算出来的值乘以-1,
7、否则不变。所有这样选法算出来的值的和就是行列式的值。对矩阵做一些简单的变换,行列式的值的变化也有一些规律,略。行列式的求法是将矩阵变成一个上三角矩阵(行列式和原来一样),然后对角线的乘积就是答案。3 数论:3.1 扩展欧几里得求出ax+by=gcd(a,b)中的x,y和gcd(a,b)。3.2 逆元求a在模m下的逆元。如果gcd(a,m)=1,则存在逆元,解方程:ax+my=gcd(a,m)得到的x就是a在模m下的逆元。3.3 解模意义下方程形式一:axb ( mod m )对于形式一,将方程化简成:ax-my=b设d=gcda,m,如果d|b,则方程有解,否则无解。如果有解,即d|b,可以证
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 信息学 竞赛 中的 数学知识 小结
限制150内