冰雹猜想是指:一个正整数x,如果是奇数就乘以3再加1,如果是偶数就析出偶数因数2ⁿ,这样经过若干个次数,最终回到1。

以N=9为例进行说明:

9×3+1=28,28÷2=14,14÷2=7,7×3+1=22,22÷2=11,11×3+1=34,34÷2=17,17×3+1=52,52÷2=26,26÷2=13,13×3+1=40,40÷2=20,20÷2=10,10÷2=5,5×3+1=16,16÷2=8,8÷2=4,4÷2=2,2÷2=1。

我对这个问题的证明如下:

对于任意的正整数有如下特征:

在二进制范畴内,正整数可表示为1、0构成的序列,该序列的特征为尾数是0或者1,首数是1,次首数(第二个数)为0或者1。

根据概率有尾数为0的概率为0.5(偶数),为1的概率为0.5(奇数)。

根据二进制乘法和除法的基本原理有:任意偶数除以2,表现为表示该数的二进制序列右移1位,

任意奇数乘以3,表现为表示该数的二进制序列和该序列左移一位相加

所以有:当该数为偶数,则该数对应的二进制序列长度n减少一位即长度为n-1,即在此种情况下该数对应的二进制序列长度减少的概率为100%

当该数为奇数:

次首数为0的概率是0.5,为1的概率是0.5。当次首数为0时,该数乘以3再加1,因为次首数和第三位数相加进位的概率为0.5(此时序列长度变为n+2),不进位的概率为0.5(此时序列长度为n+1),所以该数序列长度n变为n+2的概率为0.5 ,变为n+1的概率为0.5,又因为该数乘以3再加1,尾数必然为0,接下来必然发生右移。所以序列长度保持为n的概率为0.5,序列长度变为n+1的概率为0.5

所以有:对于任意正整数,进行冰雹运算。二进制序列长度变为n-1的概率为0.5*1=0.5,长度不变保持n的概率为0.5*0.5=0.25,长度增加为n+1的概率为0.5*0.5.=0.25.根据概率,长度必然不断减少。又因为结果不可能为负数,所以必然最小值为1.

当该数为1时,进入无限循环1-2-4.无法跳出

以上是我对该问题的证明。

python证明冰雹猜想_关于冰雹猜想的证明相关推荐

  1. python证明冰雹猜想_如果冰雹猜想被证明了。那数学会有很大突破吗?

    建议不要在社交软件评论区讨论数学[数学狂]最容易理解的数学未解之谜 -- 克拉茨猜想_哔哩哔哩 (゜-゜)つロ 干杯~-bilibili​www.bilibili.com 克拉茨猜想or冰雹猜想 结合 ...

  2. java证明角谷猜想_角谷猜想证明

    摘要: 本文应用反证法,通过黑洞数唯1,3x+1必唯1,证明3x+1猜想成立. 关键词: 角谷猜想 黑洞 一."角谷猜想"概念 "角谷猜想"又称"冰雹 ...

  3. python验证角谷_角谷猜想-随心随性无为而为-51CTO博客

    问题描述: 角谷猜想的内容为:任意给定一个自然数,若它为偶数则除以2,若它为奇术则乘3加1,得到一个新的自然数.按照这样的计算方法计算下去,若干次后得到的结果必然为1. 编写程序对角谷猜想的正确性加以 ...

  4. 如何证明函数有界_科技界正在抓住机会来证明不平等

    如何证明函数有界 重点 (Top highlight) About a year ago, I came up with an absolutely amazing idea for an app. ...

  5. Python验证和可视化冰雹猜想、角谷猜想、考拉兹猜想

    推荐教材:<中学生可以这样学Python(微课版)>,董付国.应根球,清华大学出版社,ISBN:9787302554639 京东购买链接: =================== 问题描述 ...

  6. Python验证和可视化之三大猜想 [ 冰雹猜想、角谷猜想、考拉兹猜想 ]

    本文的文字及图片来源于网络,仅供学习.交流使用,不具有任何商业用途,版权归原作者所有,如有问题请及时联系我们以作处理 本篇文章来自腾讯云 作者:Python小屋屋主 ( 想要学习Python?Pyth ...

  7. 用Python实现冰雹猜想(3n+1猜想,角谷猜想,叙古拉猜想)的黑洞演示

    目录 一.冰雹猜想的来由 二.实现方法 1.定义根据规则生成新数的函数 2.定义生成列表的函数 3.定义主函数 三.完整代码 四.部分代码分析 五.输出结果 1.输入4 2.强悍的27 总结: 前面完 ...

  8. 奇偶归一猜想(多组数据)——又称为3n+1猜想、冰雹猜想、角谷猜想

    输入两个正整数a和b(1<a<b<1000),输出二者之间所有数的奇偶归一猜想的验证过程. [科普] 奇偶归一猜想,又称为3n+1猜想.冰雹猜想.角谷猜想等.其内容为"对于 ...

  9. 中科大陈秀雄团队成功证明凯勒几何两大核心猜想,研究登上《美国数学会杂志》...

    审稿人评价称:「陈 - 程的突破性工作原创性极高.技术艰深,不仅解决了凯勒几何中重大难题,也为此类非线性方程提供了深刻的洞见.可以预见,这一系列论文必将成为几何与偏微分方程领域的经典之作.」 > ...

最新文章

  1. 【转】浅谈.net remoting 与webservice
  2. 支付接入开发的陷阱有多深?
  3. QTP的那些事--调用外部的文件的方法
  4. 与WebXR共同创建者Diego Marcos一起探讨沉浸式Web的未来(下)
  5. MAUI中Maui.Graphics.Controls绘制控件
  6. python中seaborn画swarm图_Python可视化 | Seaborn5分钟入门(四)——stripplot和swarmplot
  7. p2020开发_2020年最佳开发者社区
  8. java list 从0开始_Java从零开始学二十一(集合List接口)
  9. linux中按行读取文件,Linux按行读取文件内容
  10. 17 FI配置-财务会计-定义雇员的容差组
  11. as 从java_从Java调用AS400 RPG
  12. VirtuoZo数字摄影测量(一)——单模型的建立
  13. Ubuntu文件目录结构详解
  14. 计算机专业论文摘要,★计算机专业概论论文摘要范文计算机专业概论论文摘要写(8页)-原创力文档...
  15. Twaver-HTML5基础学习(13)连线(Link)连线的绑定与展开
  16. 基于微博热搜生成词云图
  17. vue处理PDF文档流数据并实现PDF的预览以及打印功能以及处理PDF打印乱码问题
  18. 计算机学院云毕业,“云端”相约,逐梦起航——计算机与设计学院举办2020届线上毕业典礼...
  19. eclipse项目类型的转换
  20. FileOperatorWSInstaller.zip——上海一网通登录社保下载提示,却无法下载

热门文章

  1. 基于注意力机制的机器翻译——经典论文解读与代码实现
  2. 安可目录入围产品名单(安可目录入围产品名单 服务器)
  3. 2018年10月1日起,养老建筑设计须依照此标准
  4. matlab电机外特性曲线,电机大作业(MATLAB仿真,电机特性曲线).doc
  5. mouseover和mouseout事件在鼠标经过子元素时也会触发
  6. 如何采集 APP 上的数据
  7. 记录 —— lammps
  8. 不懂语言代码,超级菜鸟的建站分享(一):建站流程
  9. matlab/simulink光伏储能并网交直流发电系统仿真模型
  10. 2023跨境出海指南:美国网红营销白皮书