第(3/3)页

    这个数表并不是爱多士猜想证明方法的复合数列表。

    而是陈舟在其基础上进行改变得到的。

    把数表列出来后，陈舟拿笔开始圈数。

    克拉梅尔修正猜想的表述是，(pn+1≤n)max(pn+1-pn)≈logn(logn-loglogn)+2。

    这里陈舟圈出来的便是分别符合，(pn+1≤n)max(pn+1-pn)和logn(logn-loglogn)+2的数。

    这种方法，其实和筛法有点类似。

    筛法，又称埃拉托斯特尼筛。

    具体做法是，先把n个自然数按次序排列起来。

    1不是质数，也不是合数，直接划去。

    2是质数，留下。

    而后把2后面能被2整除的数都划去。

    2后面第一个没划去的数是3，把3留下。

    再把3后面所有能被3整除的数全部划去。

    以此推类，就会把不超过n的全部合数都筛掉，留下的就是不超过n的全部质数。

    当然，这只是简单的表述。

    筛法的应用很广泛，从四色定理开始，到构造无穷多个两两相连的区域，到哥德巴赫猜想的研究，等等等等。

    而把筛法运用到极致的人，便是陈老先生了。

    这位把哥德巴赫猜想推进到“1+2”的老先生，便是在研究哥猜的过程中，把筛法理论带到了顶点。

    一直到现在，都无法再进一步。

    陈舟自然也知道筛法的运用基本上已经到了极致，很难再有突破。

    但不妨碍他从这方面去寻找思路。

    “如果用筛法的公式，去验证(pn+1≤n)max(pn+1-pn)≈logn(logn-loglogn)+2的话……”

    随着时间的推移，陈舟渐渐皱起了眉头。

    “克拉梅尔修正猜想本身就是以近似值去做出的改变，如果用公式的话，是不对等的……”

    “相反，这样绕下去，又会绕回克拉梅尔猜想本身……”

    陈舟放下笔，暂时脱离眼前的研究，转而打开电脑上的文献看了起来。

    看着看着，他忽然眼前一亮。


    第(3/3)页