码迷,mamicode.com
首页 > 其他好文 > 详细

数学归纳法

时间:2014-11-26 22:09:41      阅读:229      评论:0      收藏:0      [点我收藏+]

标签:style   sp   on   问题   bs   as   line   size   算法   

  今天看算法设计看到的<<计算机算法设计、分析与实现(王晓云 陈业刚著)>>,想起组合数学老师经常用第二类,也没说为什么,这就记录下来了。
  第一类:k=1时成立;假设k=n时成立,k=n+1时也成立.从而命题对任意n>1成立。

  第二类:k=1时成立;假设k<n时成立,k=n时也成立.从而命题对任意n>1成立。

  第一类是高中学的,第二类在证明大学高等代数和初等数论问题用过。

  数学归纳法只能证明与自然数有关的数学命题,且该数学命题中所讨论的对象必须属于Cantor集,而Cantor集具备三条基本的特征——确定性、互异性和无序性。

  仅仅n=k时候不够,还需要n<k的各步成立,这就需要第二类。

  逆向数学归纳法:对无数个自然数成立,由k+1成立退出k成立。

  跳跃数学归纳法:其实就是集合的划分,然后对每个集合分别证明。

  二重数学归纳法:命题与两个独立的自然数相关。

  对于相互独立的两变量 m, n, 可用下列命题来证明 .

  (1) 验证命题 P(1 , n) 对于任意自然数 n 及命题 P( m,1 ) 对于任意自然数 m 都成立;   

  (2) 假设命题 P( n + 1 , m) 与 P( n, m + 1 ) 成立, 证明P( n + 1 , m + 1 ) 成立.

  那么 , 对于任意的自然数 m, n, 命题 P( n, m) 成立.

 

数学归纳法

标签:style   sp   on   问题   bs   as   line   size   算法   

原文地址:http://www.cnblogs.com/hxsyl/p/4122091.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!