冰雹猜想的计算机编程证明

来源 :现代计算机(专业版) | 被引量 : 0次 | 上传用户:euufhuhfu
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
冰雹猜想是一个风靡全球的趣味数学游戏。迄今为止,人们还未能得到这个猜想在数学上的严格证明。可以利用计算机强大的计算能力,根据冰雹猜想的计算规律,编写程序让计算机来证明冰雹猜想的正确性。程序的设计思想是先证明任意一个数的正确性,再证明某个数据区间内所有数据的正确性,通过程序的运行,对一定范围内的所有自然数进行验证,从而证明了冰雹猜想。
其他文献
讨论了数学元认知结构的组成和各要素间的相互关系,分析了数学认知结构的特点。
分析了循环流化床锅炉几种空气预热器进风加热系统的优缺点,指出适合循环流化床锅炉的空气预热器进风加热系统。
DCMT的主测微器采用一种活动V形光栅扫描模式.根据对人造准直光源像的测量分析,研究了主测微器扫描测量的系统精度.研究结果表明.主测微器系统精度优于0".009,为天体位置的高精度测量提供了良
吴梅戏曲美学中最基本、最重要的当数对戏曲'真'的考察.吴梅论戏曲真实,不仅针对'真',还包括对'趣'、'天然'、'审虚实'、'本色
电解水制氢是实现可持续氢经济的一项重要能源技术。它能够由多种可再生能源转变的电能驱动实现清洁、快速、集中地生产高纯度的氢气,从而实现将时间、空间分布不均匀的可再
大学校园文化是高等学校在办学过程中形成的,并为师生员工所认同的理想、信念、价值观和行为准则,是高校办学特色的灵魂。大学生的社会性发展是高等教育的首要目标和公民及社会
<正>人的心理怎样才算健康,以什么作为健康的标志,这是一个非常复杂的问题。人格即人的整体精神面貌,人格完整是指人格构成要素的气质,能力,性格和理想。很简单的一句来说就
会议
最近,中央决定在党的基层组织和党员中深入开展创建先进基层党组织、争当优秀共产党员活动。4月5日,中央办公厅转发了《中央组织部、中央宣传部关于在党的基层组织和党员中深入
数值线性代数是一门介绍科学计算核心理论和基本方法的数学课程。根据数值线性代数课程和当前学生的特点,从教学内容、教学方法、考核形式三方面对该课程的教学改革进行了初步
首先对景观园林的应用材料进行分类,对一些主要的应用材料进行了说明,提出选择景观园林材料的基本原则和优化因素,最后得出了景观园林材料选择的方法和公式。