偶数Goldbach猜想计算机可解证明新模型刻画.pdfVIP

偶数Goldbach猜想计算机可解证明新模型刻画幸 林柏钢H 1(福州大学数学与计算机科学学院，福建福州，350108) 摘要： 在M独立封闭运算概念下，提出了隐含偶数和同余表达定理，构造了扩展的中国剩余定理模型， 借鉴密码学中“生日攻击”模式，证明：明了modM(M)中对应不同概率口下，只要随机计算√M个Q中元素 qj，结果就能选对一个素数，且满足偶数Goldbach数G(M)的要求，其最低下界计算量范围为： o．325,／N,≤r≤2．1464N,, 最后，基于新模型和可计算性理论，进一步给出了偶数Goldbaeh猜想存在判定模型的刻画，并证明了儡数 Goldbaeh猜想存在的判定问题是计算机递归可解的． 关键词：偶数Goldbach猜想；偶数和表达定理：扩展的中国剩余定理；配对概率下界估计：计算机递归可解 中图法分类号：TP301 文献标识码：A、 1 引言 关于偶数Goldbach猜想的探索，在传统的筛法研究中，已经取得了辉煌的成果11-21同时，人们利用计 算机也大量验证明：了可例举的偶数。其Goldbach猜想都是对的t3-51。但是，验证明：不等于证明：明．计算机 能否解决偶数Goldbach猜想存在问题?而且是在有穷步之内是可计算的，这些都是人们十分关注的可计算性 的判定问题。如果它可行，其模型该如何描述? 石：Q I 3 5 7 9 …2玎一72n一52n一32n—I q2n—I2n-32，l一5幼一72n-9…7 5 3 I 蔑 知 2，l 2，l 知 2，l …知 2，l 扫 2，l ¨ 疋 Pt p2 ¨ j，，P，一l G￡∥。∽ N|Nt 哆％以 9趾M 擘阼虬 _： ■以虬 誓以虬 ■儿以 所．见以 首先我们先看下面两个巧和E的例子，并约定，凡是可以表为两个素数之和的偶数称为Goldbaeh数， 记为G(M)· ·Partresearchwork theNationalNaturalScienceFoundationofChinaunder supportedby grantNo131家自然科学基金) andFoundation Items Science Provinceulldor No2007F507l(福建省科 grallt：Thea叫TechnologyDevelopmentProjcctofFujian grant 技发展计划基金)． 作者简介：林桕钢(1953．)，男，福建连江人，敦授，博士生导师，研究方向主要为编码与密码，网络与信息安全。可信计算等． 林柏钢：偶数GoIdbach猜想计算机可解证明新模型刻画 393 的反向奇数序列排列集合，疋为上下各组奇数埘应的偶数和集合：￡为任意给定偶数M=2n(刀I) 内的素数序列排列集合，只为任意给定偶数札=2n(刀1)内的反向准素数序列排列集合(其中 s_，≤，．，或为素数：或为奇数)，G’(札)为上下各组素数与准素数对应的偶数和集合，亦称准GoIdbach A，l 数，且有G(札)∈G’(札)． 分析上述两种偶数和组合形式l玎以发现，墨≠E，巧3E， M=2n．令缈(配)为互巾偶数和 如果 这是本文要讨论的问题。 2偶数GoIdbach猜想的新模型描述 为准确描述偶数Goldbach猜想计算机求解的存在模型，文献[10一12]弓l入一种互余理论概念，得到了一 种描述偶数Goldbach猜想存在配对等价关系的偶数和互余表达定理基本模型和一些重要概念。为便于比较说 明，这里简单重述几个主要结果： 定义l设Ⅳ为任一正整数，假定x,y∈N，且为N中两个正整数