大家好,欢迎来到IT知识分享网。
一般我们都是使用第一数学归纳法,但是对于第二数学归纳法,在算法导论中也是经常使用,比如22.4-2中证明算法正确性时会用到。
第二数学归纳法原理是设有一个与自然数n有关的命题,如果:
(1)当n=1时,命题成立;
(2)假设当n≤k时命题成立,由此可推得当n=k+1时,命题也成立。
那么,命题对于一切自然数n来说都成立。
还有二元数学归纳法:
在Young表的算法正确性证明中会用到。
当m=1,对于任意的n,成立。
假设m=k,对于任意的n,成立。
当m=k+1时,
(1)n=1时,成立。
(2)假设n=j时,成立。
(3)当n=j+1时,成立。
免责声明:本站所有文章内容,图片,视频等均是来源于用户投稿和互联网及文摘转载整编而成,不代表本站观点,不承担相关法律责任。其著作权各归其原作者或其出版社所有。如发现本站有涉嫌抄袭侵权/违法违规的内容,侵犯到您的权益,请在线联系站长,一经查实,本站将立刻删除。 本文来自网络,若有侵权,请联系删除,如若转载,请注明出处:https://haidsoft.com/156938.html