python证明冰雹猜想_关于冰雹猜想的证明
冰雹猜想是指:一个正整数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证明冰雹猜想_关于冰雹猜想的证明相关推荐
- python证明冰雹猜想_如果冰雹猜想被证明了。那数学会有很大突破吗?
建议不要在社交软件评论区讨论数学[数学狂]最容易理解的数学未解之谜 -- 克拉茨猜想_哔哩哔哩 (゜-゜)つロ 干杯~-bilibiliwww.bilibili.com 克拉茨猜想or冰雹猜想 结合 ...
- java证明角谷猜想_角谷猜想证明
摘要: 本文应用反证法,通过黑洞数唯1,3x+1必唯1,证明3x+1猜想成立. 关键词: 角谷猜想 黑洞 一."角谷猜想"概念 "角谷猜想"又称"冰雹 ...
- python验证角谷_角谷猜想-随心随性无为而为-51CTO博客
问题描述: 角谷猜想的内容为:任意给定一个自然数,若它为偶数则除以2,若它为奇术则乘3加1,得到一个新的自然数.按照这样的计算方法计算下去,若干次后得到的结果必然为1. 编写程序对角谷猜想的正确性加以 ...
- 如何证明函数有界_科技界正在抓住机会来证明不平等
如何证明函数有界 重点 (Top highlight) About a year ago, I came up with an absolutely amazing idea for an app. ...
- Python验证和可视化冰雹猜想、角谷猜想、考拉兹猜想
推荐教材:<中学生可以这样学Python(微课版)>,董付国.应根球,清华大学出版社,ISBN:9787302554639 京东购买链接: =================== 问题描述 ...
- Python验证和可视化之三大猜想 [ 冰雹猜想、角谷猜想、考拉兹猜想 ]
本文的文字及图片来源于网络,仅供学习.交流使用,不具有任何商业用途,版权归原作者所有,如有问题请及时联系我们以作处理 本篇文章来自腾讯云 作者:Python小屋屋主 ( 想要学习Python?Pyth ...
- 用Python实现冰雹猜想(3n+1猜想,角谷猜想,叙古拉猜想)的黑洞演示
目录 一.冰雹猜想的来由 二.实现方法 1.定义根据规则生成新数的函数 2.定义生成列表的函数 3.定义主函数 三.完整代码 四.部分代码分析 五.输出结果 1.输入4 2.强悍的27 总结: 前面完 ...
- 奇偶归一猜想(多组数据)——又称为3n+1猜想、冰雹猜想、角谷猜想
输入两个正整数a和b(1<a<b<1000),输出二者之间所有数的奇偶归一猜想的验证过程. [科普] 奇偶归一猜想,又称为3n+1猜想.冰雹猜想.角谷猜想等.其内容为"对于 ...
- 中科大陈秀雄团队成功证明凯勒几何两大核心猜想,研究登上《美国数学会杂志》...
审稿人评价称:「陈 - 程的突破性工作原创性极高.技术艰深,不仅解决了凯勒几何中重大难题,也为此类非线性方程提供了深刻的洞见.可以预见,这一系列论文必将成为几何与偏微分方程领域的经典之作.」 > ...
最新文章
- 【转】浅谈.net remoting 与webservice
- 支付接入开发的陷阱有多深?
- QTP的那些事--调用外部的文件的方法
- 与WebXR共同创建者Diego Marcos一起探讨沉浸式Web的未来(下)
- MAUI中Maui.Graphics.Controls绘制控件
- python中seaborn画swarm图_Python可视化 | Seaborn5分钟入门(四)——stripplot和swarmplot
- p2020开发_2020年最佳开发者社区
- java list 从0开始_Java从零开始学二十一(集合List接口)
- linux中按行读取文件,Linux按行读取文件内容
- 17 FI配置-财务会计-定义雇员的容差组
- as 从java_从Java调用AS400 RPG
- VirtuoZo数字摄影测量(一)——单模型的建立
- Ubuntu文件目录结构详解
- 计算机专业论文摘要,★计算机专业概论论文摘要范文计算机专业概论论文摘要写(8页)-原创力文档...
- Twaver-HTML5基础学习(13)连线(Link)连线的绑定与展开
- 基于微博热搜生成词云图
- vue处理PDF文档流数据并实现PDF的预览以及打印功能以及处理PDF打印乱码问题
- 计算机学院云毕业,“云端”相约,逐梦起航——计算机与设计学院举办2020届线上毕业典礼...
- eclipse项目类型的转换
- FileOperatorWSInstaller.zip——上海一网通登录社保下载提示,却无法下载
热门文章
- 基于注意力机制的机器翻译——经典论文解读与代码实现
- 安可目录入围产品名单(安可目录入围产品名单 服务器)
- 2018年10月1日起,养老建筑设计须依照此标准
- matlab电机外特性曲线,电机大作业(MATLAB仿真,电机特性曲线).doc
- mouseover和mouseout事件在鼠标经过子元素时也会触发
- 如何采集 APP 上的数据
- 记录 —— lammps
- 不懂语言代码,超级菜鸟的建站分享(一):建站流程
- matlab/simulink光伏储能并网交直流发电系统仿真模型
- 2023跨境出海指南:美国网红营销白皮书