第273章 行程确定（为土豆有病加更5）

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

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

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

克拉梅尔修正猜想的表述是，n1naxn1nognognogogn2。

这里陈舟圈出来的便是分别符合，n1naxn1n和ognognogogn2的数。

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

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

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

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

2是质数，留下。

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

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

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

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

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

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

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

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

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

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

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

“如果用筛法的公式，去验证n1naxn1nognognogogn2的话”

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

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

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

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

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