ACM数论总结

原创 2011年05月16日 18:33:00

断断续续的学习数论已经有一段时间了,学得也很杂,现在进行一些简单的回顾和总结。

学过的东西不能忘啊。。。

 

1、本原勾股数:

概念:一个三元组(a,b,c),其中a,b,c没有公因数而且满足:a^2+b^2=c^2

首先,这种本原勾股数的个数是无限的,而且构造的条件满足:

a=s*t,b=(s^2-t^2)/2,c=(s^2+t^2)/2

其中s>t>=1是任意没有公因数的奇数!

由以上概念就可以导出任意一个本原勾股数组。

 

2、素数计数(素数定理)

令π(x)为1到x中素数的个数

19世纪最高的数论成就就是以下这个玩意儿:

lim(x->∞){π(x)/(x/ln(x))}=1

数论最高成就,最高成就!!!有木有!!!

 

3、哥德巴赫猜想(1+1)

一个大偶数(>=4)必然可以拆分为两个素数的和,虽然目前还没有人能够从理论上进行证明,不过我根据科学家们利用计算机运算的结果,如果有一个偶数不能进行拆分,那么这个偶数至少是一个上百位的数!!

所以在ACM的世界中(数据量往往只有2^63以下)哥德巴赫猜想是成立的!!所以拆分程序一定能够实现的

 

4、哥德巴赫猜想的推广

任意一个>=8的整数一定能够拆分为四个素数的和

证明:

先来说8=2+2+2+2,(四个最小素数的和)不能再找到比2小的素数了,所以当n小于8,就一定不可能拆分为四个素数的和!

那么当n大于等于8,可以分情况讨论:

(1)n&1==0(n为偶数),那么n就一定可以拆分为两个偶数的和

那么根据哥德巴赫猜想,偶数可以拆分为两个素数的和,于是,n一定可以拆分为四个素数的和

(2)n&1==1(n为奇数),n一定可以拆分为两个偶数+1

由于有一个素数又是偶数,2,那么奇数一定有如下拆分:2+3+素数+素数

得证。

 

5、欧拉函数(欧拉公式)

欧拉函数ph(n)的意思是所有小于n且与n互质的数的个数

比如说ph(12)=4,[1,5,7,11与12互质]

欧拉公式

a^ph(m)=1(mod m)

 

6、费马小定理

费马小定理是欧拉公式的一种特殊情况

由于当p为质数的时候ph(p)=p-1这是显然的

那么带入欧拉公式就得到了费马小定理

a^(p-1)=1(mod p)

p为质数(prime)

 

7、抽屉原理

抽屉原理其实是废话,关键在于运用

这句废话是说,如果现在有3个苹果,放进2个抽屉,那么至少有一个抽屉里面会有两个苹果,这个很废话。

 

8、抽屉原理的运用

抽屉原理本身只是一句废话,不过他的运用却非常强大

现在假设有一个正整数序列a1,a2,a3,a4.....an,试证明我们一定能够找到一段连续的序列和,让这个和是n的倍数,该命题的证明就用到了抽屉原理

我们可以先构造一个序列si=a1+a2+...ai

然后分别对于si取模,如果其中有一个sk%n==0,那么a1+a2+...+ak就一定是n的倍数(该种情况得证)

下面是上一种情况的反面,即任何一个sk对于n的余数都不为0

对于这种情况,我们可以如下考虑,因为si%n!=0

那么si%n的范围必然在1——(n-1),所以原序列si就产生了n个范围在1——(n-1)的余数,于是抽屉原理就来了,n个数放进n-1个盒子里面,必然至少有两个余数会重复,那么这两个sk1,sk2之差必然是n的倍数,

而sk1-sk2是一段连续的序列,那么原命题就得到了证明了

 

9、判断n!是否能够被m整除

计算方法是把m进行质因数分解,看下m的每一个质因数是否能够在n!中找到;

n!中间包含了多少个x(x是任意的一个数,不过一般情况下我们都只讨论x为质数),这种问题的答案是:
n/x+n/(x^2)+n/(x^3).....[一直加到x的乘方不超过n],这个定理的证明也非常的简单,这里就不再赘述了

根据以上观点,就可以分别计算m的每一个质因数是否被完全包含,如果有一个没有被包含,那么就不能被整除!

 

10、因子和的计算方法

神马叫因子和:一个数的所以因子的和就叫因子和。。。

好吧,举个例子:12的因子和为:1+2+3+4+6+12

计算方法是把12分解为质因数的表达形式2^2*3

那么他的因子和就是:(1+2+2^2)*(1+3)

证明写起来比较麻烦,大体上思路就是牛顿二项式。。。

 

11、判断组合数C(n,m)的奇偶性

有一个我也不知道证明的方法

当n&m==m为奇数,反之就是偶数

 

就总结到这儿了。

以前大一也总结过一片类似的,不过那时候之总结了一点关于欧几里得算法之类的。

 

                                                                                                                                             ——bingshen

 

相关文章推荐

ACM 数论知识 合集

关于欧几里得的那些事真是醉了啊,刚才写了两个小时的博文,想保存到草稿箱里,结果显示服务器异常,结果返回一看,卧槽,写的都没了,心中是万千草泥马呼啸而过呀。。。还得从新写呀。欧几里得算法最大公约数问题是...

ACM数论中的常见的模板和结论

1:最大公约数的求法 欧几里得算法实现。递归实现 1 #include 2 #includestring.h> 3 #include 4 #include 5 using n...
  • NaCl__
  • NaCl__
  • 2015年12月31日 08:41
  • 429

ACM:数论专题(1)——素数的判定

(P.S: God!!!!!! 当前人类对于数学的研究所达到的高度已经远远超出了一个外行人所理解的程度, 俺是这么想的。。。。。。 ) 题目要求:     题目要求给定一个数字n,判定其是否为素数...

Delphi7高级应用开发随书源码

  • 2003年04月30日 00:00
  • 676KB
  • 下载

ACM数论总结

原帖地址:ACM数论总结 - bingshen的专栏 - 博客频道 - CSDN.NET 断断续续的学习数论已经有一段时间了,学得也很杂,现在进行一些简单的回顾和总结。 学...

ACM题集以及各种总结大全!

各种专题大全,精心整理,发上来供大家专题训练使用!

数论中的各种定理(待更新)

数论中的各种定理(待更新)

C/C++文件重定向的几种方式

这篇文章也谈不上原创,只是总结了C/C++文件重定向的几种方式: 注意:转载说明出处 chinabinlang 的CSDN ;   方法一: #include #include FILE *s...

POJ 1001 解题报告 高精度大整数乘法模版

有用的c++函数总结 find()函数; string成员函数有这个,algorithm库中也有这个 ,可以在容器中查找元素 string的at函数,比如string str; str.at(po...

ACM数论一些简单结论和编程小技巧总结

前言 最近被数论的模运算卡了一发。。稍微总结一下最近用到的数论结论 另外,get了一些实现的技巧,也一起记一下~免得忘了~ 数论简单结论 n = p(1) ^ num(1) * p(2) ^ num(...
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:ACM数论总结
举报原因:
原因补充:

(最多只允许输入30个字)