3X+1问题(角谷猜想)程序测试数据

hmz20128

数海聚珠网【程序体验】中的26号程序是专门用来测试3X+1问题的，在没有测试之前，对于一些概念问题先做一个介绍，下文选自：《三思科学》电子杂志，创刊号，2001.07.01文章作者 异调 ！
! F. w" b6 C' j% I* f3x+1问题
一、一个简单的问题
当我们阅读数学史时，会有这样一种印象，数学家们首先研究简单的问题，然后研究越来越复杂的问题。经常性地，高深的数学问题是非常复杂的。只是为了理解问题，我们就得学习非常多的数学知识；而为了解决它，那就得用更复杂的数学知识了。就算我们在学校里的数学考试也是如此，最后一题经常被叫做“最后一大题”，“一大题”是说它表达复杂，里面还有一二三四的小题，要理解题意就得几分钟的时间。弄不好还理解错了，搞得整道题都白白做，被扣去许多分。

可是数学里不只有这些吓人的“大题”——我是说，数学里还有吓人的“小题”。这样的“小题”理解起来非常容易，却让无数数学家大跌眼镜，怎么冥思苦想也不得其解。3x+1问题大概就是其中最著名而又最简单的一个。它简单到大概任何一个会除2和会乘3的人（比如说，没文化但是经常买菜的老奶奶）都能理解它的意思，但是困难得让数学家至今也没有找到好好对付它的方法。

任取一个自然数，如果它是偶数，我们就把它除以2，如果它是奇数，我们就把它乘3再加上1。在这样一个变换下，我们就得到了一个新的自然数。如果反复使用这个变换，我们就会得到一串自然数。

* Q0 m( ^: g+ J9 j比如说我们先取5，首先我们得到3*5+1=16，然后是16/2=8，接下去是4，2和1，由1我们又得到4，于是我们就陷在4→2→1这个循环中了。

" |, p0 K& P: ^# J' w) j+ V再举个例子，最开始的数取7，我们得到下面的序列：7→22→11→34→17→52→26→13→40→20→10→5→16→8→4→2→1这次复杂了一点，但是我们最终还是陷在4→2→1这个循环中。
* b: S: L+ x+ s- ^1 n4 V& x/ _" ?
随便取一个其他的自然数，对它进行这一系列的变换，或迟或早，你总会掉到4→2→1这个循环中，或者说，你总会得到1。已经有人对所有小于100*2^50=112589990684262400的自然数进行验算，无一例外。

  s8 q, @0 e' c7 Y  v2 {那么，是否对于所有的自然数都是如此呢？

这看起来是个多么简单的问题啊！
4 Q( y5 h/ t; C4 @4 Z, p9 X  d二、克格勃的阴谋
这个问题大约是在二十世纪五十年代被提出来的。在西方它常被称为西拉古斯(Syracuse)猜想，因为据说这个问题首先是在美国的西拉古斯大学被研究的；而在东方，这个问题由将它带到日本的日本数学家角谷静夫的名字命名，被称作角谷猜想。除此之外它还有着一大堆其他各种各样的名字，大概都和研究和传播它的数学家或者地点有关的：克拉兹(Collatz)问题，哈斯(Hasse)算法问题，乌拉姆(Ulam)问题等等。今天在数学文献里，大家就简单地把它称作“3x+1问题”。
. [# U0 o  x, o4 X4 [  {
角谷静夫在谈到这个猜想的历史时讲：“一个月里，耶鲁大学的所有人都着力于解决这个问题，毫无结果。同样的事情好象也在芝加哥大学发生了。有人猜想，这个问题是苏联克格勃的阴谋，目的是要阻碍美国数学的发展。”不过我对克格勃有如此远大的数学眼光表示怀疑。这种形式如此简单，解决起来却又如此困难的问题，实在是可遇而不可求。
6 v- L$ Q+ a5 L
数学家们已经发表了不少篇严肃的关于3x+1问题的数论论文，对这个问题进行了各方面的探讨，在后面我会对这些进展作一些介绍。可是这个问题的本身始终没有被解决，我们还是不知道，“到底是不是总会得到1？”
. L" i7 l8 l+ c( O$ k
在1996年B. Thwaites悬赏1100英镑来解决这个问题。我写一下这个悬赏的文献：Thwaites, B. “Two Conjectures, or How to win ￡1100.”Math.Gaz. 80, 35-36, 1996，好在大家万一证出来时知道跑哪里去领奖。看在钱大爷的份上，3x+1问题于是又多了个名字，叫Thwaites猜想。
# j* @3 m! x0 E& D8 y1 `
要是真的有这么一个自然数，对它反复作上面所说的变换，而我们永远也得不到1，那只可能有两种情况。

) y; |) S0 M# @( ^6 ~  W6 z- n1)它掉到另一个有别于4→2→1的循环中去了。我们在后面可以看到，要是真存在这种情况，这样一个循环中的数字，和这个循环的长度，都会是非常巨大的；
7 [3 T/ _# u% S* F2)不存在循环。也就是说，每次变换的结果都和以前所得到的所有结果不同。这样我们得到的结果就会越来越大（当然其中也有可能有暂时减小的现象，但是总趋势是所得的结果趋向无穷大）。
. K* G$ v4 v( c1 c
% p9 h+ p  n9 X* f0 }3 n' l因为这是个形式上很简单的问题，要理解这个问题所需要的知识不超过小学三年级的水平，所以每一个数学爱好者都可以来碰碰运气，试试是不是能证明它。不过在这里我要提醒大家的是，已经有无数数学家和数学爱好者尝试过，其中不乏天才和世界上第一流的数学家，他们都没有成功。如果你在几小时内就找到了一个“证明”，那么把它一步一步地严格地写下来，看看是不是严密正确（我可以肯定它是错的，我这样的肯定要冒的危险绝不超过连续中十次彩票头奖的概率，既然我不买彩票，我就没道理不这么肯定:-)）。事实上，在互联网上已经有一些错误的“证明”。据说还有个数学爱好者跑到公证处去公证他的“证明”，生怕别人把他的好主意偷跑了。

二十多年前，有人向伟大的数论学家保尔·厄尔多斯(Paul Erdos)介绍了这个问题，并且问他怎么看待现代数学对这问题无能为力的现象，厄尔多斯回答说：“数学还没有准备好来回答这样的问题。”
三、一些概念，一些纪录
" m' e9 n* m! g. \9 J$ r$ c2 Y虽然证不出猜想，但是数学家们还是得到了许多很可能很有用的结论。让我们先来定义几个概念，然后再来介绍这些结论。
& ]  o) S8 Z% i
# g* u& L5 d( f: v从一个自然数开始，用上面这个变换，我们可以计算出一串自然数的序列。为了形象起见，我们把这串数列叫做以最初用来开始计算的那个自然数命名的“航班”。
比如说，第6次航班就是 6→3→10→5→16→8→4→2→1
我们把一个航班里的最大数字，叫做这个航班的“最大飞行高度”。比如说，第6次航班的最大飞行高度就是16。我们把航班在数字1“着陆”之前的数字个数（最初的数字包含在内，但1不包含在内），叫做这个航班的“航程”（特别定义第1次航班的航程为0）。第6次航班的航程就是8。如果真有自然数在此变换下永远达不到1，那么这个航班的航程就是无穷了。

接下去的概念稍微有点复杂。我们把从起点开始（但不包括起点）连续的不小于起点的数字的个数，叫作“保持高度航程”。举一个例子来说明这个概念比较方便：
% ], b- K9 _& g( U第11次航班是 11→34→17→52→26→13→40→20→10→5→16→8→4→2→1
我们看到从起点开始，34，17，52，26，13，40，20都不小于起点11，共有7个数字，所以第11次航班的保持高度航程为7。后面的航程中虽然还有数字16大于起始点11，但是它不被算在保持高度航程里了。一个最简单的推论就是，偶数次航班的保持高度航程总是0，因为开始就除以2，跌到较低的高度去了。
4 s; R! O1 X* g5 L# d
9 C+ N, D. r; p' p为什么我们对一个航班的保持高度航程感兴趣？因为如果所有航班的保持高度航程都是有限的话，3x+1问题就成立了。让我们假设已知所有航班的保持高度航程都是有限的，用数学归纳法来证明3x+1问题，也就是所有的航班都在1上“着陆”。我们已经知道第1到第5航班都是在1上着陆的，现在假设对于所有小于n的数字k，第k次航班都在1上着陆，我们来看看第n次航班的情况：由于按假设它的保持高度航程是有限的，所以它迟早会降落在一个比n小的数字上——于是按归纳假设它就会降落在1上！
! B* o% T- o. T7 \4 {( E5 b  U, L5 D
3 {0 _0 x6 w2 N" ~& @0 R$ z& s- z$ C# Y我们可以对开始的30班航班列出一个相关数据表来：
4 B5 }, r3 ^) R5 g9 G
航班  航程  保持高度航程  最大飞行高度
1       0           0               1
2       1           0               2
5 f/ Y( p; a( G9 |$ I8 r2 J3       7           5              16
4       2           0               4
5       5           2              16
6       8           0              16
7      16          10              52
8      3           0               8
4 {; K7 i% S4 J/ x7 `+ r0 l9      19           2              52
% |6 s: }; {, N2 n10      6           0              16
5 Z3 U% d1 R1 l: y6 a& N11     14           7              52
12      9           0              16
13      9           2              40
% K9 m5 |' K% J2 q# c. g0 Y! n14     17           0              52
7 c5 o3 t/ u7 L, Y! L: j15     17          10             160
16      4           0              16
- Z* d7 f+ [  d8 J+ K17     12           2              52
18     20           0              52
- G& p; {' \3 N% W! j* R+ f$ M19     20           5              88
20      7           0              20
21      7           2              64
22     15           0              52
& q% x) ?1 ~# G/ ^23     15           7             160
# W) ?. b; _& O: p# m7 I24     10           0              24
25     23           2              88
  l/ I6 R8 Y- W$ N6 ~26     10           0              40
27     111         95            9232
28     18           0              52
29     18           2              88
30     18           0             160
- E  h: e6 ?7 `* ~6 P
- i# @; j- m1 n6 E8 g7 q$ Y# o, s下面要说说几个记录。在上面我们已经说过，目前3x+1问题已经被检验到100*2^50=112589990684262400，都没有发现反例。这是葡萄牙阿弗罗(Aveiro)大学的Tomas Oliveira e Silva的工作，用了很巧妙的编程方法。他的主页在http://www.ieeta.pt/~tos/3x+1.html
* l7 D0 g9 V+ P2 v, m2 |
如果一个航班的航程大于所有它前面的航班的航程，我们就把它叫作“航程纪录航班”，比方说第7航班，它的航程是16，比第1到6次航班的航程都长，所以第7航班是个航程纪录航班。今天我们已经知道的航程纪录航班有118个，航程最长的是2234047405400065次航班，它的航程是1871，这是Eric Roosendaal发现的，他有个个人网站http://personal.computrain.nl/eric/wondrous/，里面有各种各样关于3x+1问题的信息，下面的记录也都来自这个网站。
8 A5 ~: {/ U( u( u& P* T1 a4 {
$ i4 \/ E0 ^) S5 _0 D4 z同样的，如果一个航班的保持高度航程大于所有它前面的航班的保持高度航程，我们就把它叫作“保持高度航程纪录航班”，比方说从上面的表中我们看到第7航班也是个保持高度航程纪录航班。今天已知的保持高度航程纪录航班有30个，航程最长是1008932249296231次航班，它的保持高度航程是1445（纠正一下：1445是滑翔步数，保持高度航程应是1444）。

最大飞行高度记录航班就是那些最大飞行高度记录大于所有它前面的航班的那些航班，现在已知的有76个，最大的是10709980568908647次航班，到达了350589187937078188831873920282244的高度。

+ b3 j. x) F" v3 i对于一个固定航班N，考虑它在1着陆之前所作的变换，如果把其中除以2的变换称为“偶变换”并记为E(N)，而把乘以3再加1的变换称为“奇变换”并记为O(N)。数学家已经证明，O(N)/E(N)<log2/log3。我们注意到，对有些航班来说，O(N)/E(N)非常接近于log2/log3≈0.63092975……。有猜想认为它会越来越接近这个数字（也有相反的猜想，认为不会无限接近），所以大家为此设立了另一个纪录，就是这个比值比所有以前的航班更接近log2/log3的航班。这样的纪录不多，
  D  l* v, Q$ T现在已知的有15个，其中最后一个是N=100759293214567，I(N)/P(N)≈0.604938。值得一提的是N=104899295810901231，它的这个比值还要更靠近，达到0.605413，但是我们不知道它是否是一个纪录，也就是说，我们不知道所有比它小的航班里，是否还有比这个比值更靠近log2/log3的。

我们知道，对于任何p，总有至少一个航班，它的航程是p：2p→2p-1→2p-2→……→4→2→1
但是一般并不需要这么大的航班，就可以达到航程p。在2000年有人提出要找到最小的航班号，使得它的航程恰好是2000。现在最好的纪录是第67457283406188652次航班，但谁都不知道这是不是最小的航程为2000的航班。

* v$ J, L. d: }" p. I计算一个航班的算法是非常简单的——只要除2或乘3加1。但是为了检验大量的和航次巨大的航班，巧妙的编程方法是非常重要的。上面的那些纪录都是由几台类似于我们平时使用的那样的计算机得到的结果。但是如果没有好好地思考和编程，光是硬算，那么使用最先进的计算机恐怕也得不到这样的结果。
, r( i6 L! d; A& s) l1 |2 v
* w1 d8 Z0 \. w8 \9 g( \0 m为了验证一个航班的确在1上着陆，并不一定需要把结果计算到1。如果你已经验证了所有航次小于n的航班都在1上着陆，那么对于第n次航班，你只要把结果计算到一个小于n的数m就可以了——我们已经验证过第m次航班在1上着陆。事实上，如果我们只要计算到一个以前的航班飞行时到达过的数值就可以了，当然这需要记住以前已经到达过的比较高的高度，这里也必须巧妙地编程使得这样的记忆所使用的内存比较少。
2 _3 z* X, J0 K8 o8 O
更重要的是使用数学方法去减少计算量。比如说，任何n=4k+1的航班最终都会飞到一个比n更小的高度。首先这是奇数，我们乘3加1得到12k+4，然后连除两次2，就有3k+1<n。所以我们没有必要费功夫去验证4k+1型的航班。另外偶数次航班第一次变换就被除以2，降低了高度，所以同样也不需专门验证。只用这样一个小技巧，我们就使计算量减少到原来的25%。
) H) ^' k- w2 O+ p
如果按照这样的思路下去，我们同样不需要考虑16k+3型的航班，只要考虑到前面的飞行记录：
16k+3→48k+10→24k+5→72k+16→36k+8→18k+4→9k+2→……
而9k+2<16k+3。

' m; z0 q0 \' C我们可以这样追踪下去，考虑256k+i型的航班，其中i取0到255，那么我们会发现我们需要考虑的类型只有i=27、31、47、63、71、91、103、111、127、155、159、167、191、207、223、231、239、251、255。这样我们要作的计算只有最初的8%不到。
) p8 X- T: @3 M& H8 u
而Eric Roosendaal得到上面那些纪录的程序，是建立在对65536k+i型航班分析的基础上的，其中只有1729种航班需要真正的检验（只有原来计算量的2.6%）。他的程序还使用了其它的算术技巧，以及可以同时计算好几个航班。Tomas Oliveira e Silva进一步改进了这些技巧，从而使得他成为现在3x+1问题验证的世界纪录保持者（他的计算从1996年8月开始，到2000年4月结束，其间使用了两台133MHz和两台266MHz的DEC Alpha计算机）。Eric Roosendaal还在和其他人一起合作进行计算（包括再次验证以前的结果），如果你愿意加入这个研究项目的话，可以去访问上面给出的他的主页。
四、理论结果
/ m9 L; x3 A& J. \只要稍微动一下脑筋，我们就知道3x+1问题和下面几个命题都是等价的：
* t: b! g& r% D* X0 _2 {) w8 @4 _1)所有的航班的航程都有限；
2)所有的航班的保持高度航程都有限；
3)所有的航班中的偶变换的次数都有限；
4)所有的航班中的奇变换的次数都有限；
5)所有的航班的保持高度航程中偶变换的次数都有限；
/ ~. W+ E8 {) `/ x# e& M; k5)所有的航班的保持高度航程中奇变换的次数都有限。

R. Terra和C. Everett证明了，“几乎所有的航班都会下降到它的起始点以下”，也就是说“几乎所有的航班的保持高度航程都有限”。
6 e* y8 W# O( E8 U, l0 m7 r这里的“几乎所有”是有确定的数学意义的，它是指：

——存在一个自然数n1，在所有小于n1的航班里，最多只可能有1/10的航班，它们的保持高度航程无限；
——存在一个自然数n2，它比上面的n1要大，在所有小于n2的航班里，最多只可能有1/100的航班，它们的保持高度航程无限；
——存在一个自然数n3，它比上面的n2要大，在所有小于n3的航班里，最多只可能有1/1000的航班，它们的保持高度航程无限；
——等等等等……

这好象很接近证明“所有的航班的保持高度航程都有限”了，于是很接近证明猜想本身了。但是好好想想，这个结论只不过是说明保持高度航程无限的航班会越来越稀少罢了，它们还是有可能存在的……更糟糕的是，这个结论一点也没有排除有其它循环存在的可能。

+ ]4 k; k- t& t对于在1上着陆的航班，数学家们也得到了一些结果。他们证明了，存在一个常数c，当n足够大的时候，在比n小的航班中，能够在1上着陆的航班的个数大于等于nc。在1978年R. Crandal首先给出c=0.05，虽然小了点，但毕竟是开头一步；然后J. Sander给出c=0.3；在1989年I. Krasikov得到c=0.43；1993年G. Wirsching得到c=0.48；最后在1995年D. Applegate和J. Lagarias得到c=0.81。看起来我们越来越接近c=1这个最终目标了。可是我们不知道现在用来得到c的方法是否还可以再用下去，就好象在试图征服哥德巴赫猜想的过程中，陈景润用来证明1+2的方法，似乎不能用来证明1+1了。

1995年的这个证明相当特殊。它使用了计算机程序来解一个十分巨大的方程组，所以这个证明不能用手工来验证。在论文中，我们看见的不是一个关于c=0.81的定理的证明，而是一个关于如何写出这个巨大方程组的说明，和由程序计算出来的结果，以及如何使用这些结果来解释c=0.81。其他的数学家如果想验证这个结果，必须首先看懂关于方程组的证明和那些解释，再按照里面的说明来写一个程序（很复杂的！），运行它，再看看结果是否和文章中的相同。目前四色定理的
! H& i% ^0 U8 G; ]% q证明也是如此，所以数学家对此很不满意。

还有一些结果是关于如果有其他不同于4→2→1的循环存在时，对这样的循环的性质的研究。R. Crandal和N. Yoneda在1978年证明，如果这样一个另外的循环存在的话，那么它的长度（就是在这个循环中数字的个数，比如说循环4→2→1的长度就是3）一定要大于275000。1993年这个体积增大到17087915，最近的结果是102225496。这些结果是通过分析包括我们前面提到的各种纪录得到的，所以这些结果我们还是不能完全通过手工来验证。我们看到，如果真有另外的循环存在的话，那一定是非常非常巨大的！
五、启发式论证
数学中有一种叫“启发式”的论证方法，建立在估计和概率的手段上。比如说底下的论证方法就是这个类型的：
( i0 ]) c4 ]* \" [. d1 v  |
% q% U- F, @! ]. z" C“每个数字要么是奇数要么是偶数，如果随便取一个自然数，碰到奇数和偶数的可能性是一样的。如果我们把一次航班中这一系列数值看作是随机的话，那么使用奇变换和偶变换的可能性也是一样的，所以平均在每两次变换中我们有一次是n→3n+1，有一次是n→n/2。所以平均起来，每次飞行高度的变化就是乘以3/2，于是……就会越飞越高。”
4 O3 u) W! ]% `- x% Y( V; H- H
这样的启发式论证就推翻了原来的猜想！但是这个论证显然比较幼稚，因为它没有考虑到，每一次奇变换后随即而来的一定是一次偶变换，因为如果n是奇数的话，3n+1一定是偶数；而每一次偶变换后随即而来的却不一定是一次奇变换。J. Lagarias改进了这个启发式论证。他指出，如果我们把奇变换后再作偶变换考虑在一起，那么这样得到的结果可以看作是真的“很随机”。于是有1/2的可能性它是奇数，有1/4的可能性是一个奇数的2倍，有1/8的可能性是一个奇数的4倍，等等。于是飞行高度的变化就是以下变换的“平均效应”；
2 x" h! W" t) Z  D/ Y
——n乘以3/2，这有1/2的可能（奇变换后再作偶变换的结果为奇数）；
$ f# K% k3 v, s. {( M" Y+ R——n乘以3/4，这有1/4的可能（奇变换后再作两次偶变换）；
——n乘以3/8，这有1/8的可能（奇变换后再作三次偶变换）；
, t* K% Z2 _/ B% w" ]4 k& H…………

于是平均来讲，每次变换后高度的变化就是
7 ^3 q  m$ C; Y; T# F; p0 Xc=(3/2)1/2(3/4)1/4(3/8)1/8(3/16)1/16……=3/4
所以高度在总体上来说应该是越来越低，每次大约低25%，最终降到一个循环上（不过这个论证没有排除有除了4→2→1以外的其他循环）。这个论证可以使我们使用论证中的模型来计算出，从一个自然数开始，平均要多少步的这样的飞行（就是保持高度航程中奇变换的次数），可以使飞行高度降到起始点以下。理论上的数值是3.49265……。如果我们对3到2000000000（二十亿）之间的航班的保持高度航程中奇变换的次数取平均值，我们得到3.4926……。这两个结果惊人的一致
' w& I' C. l0 j$ z2 {6 Q! y性使我们相信上面的启发性模型是正确的。如果它是正确的，那么就意味着没有保持高度航程无限的航班，于是3x+1猜想就是正确的，至少可以得出没有飞得越来越高的航班的结论。

# F3 a3 o! {) T0 L# j, e- R7 N( u可是一个启发性论证，就算再有实验证据来表明它是对的，也只不过是个论证，只能使我们对猜想的正确性更充满信心。它不能代替真正的数学证明。比如说，数学家猜想在π的十进位小数表示当中，出现0到9各个数字的可能性是一样的，对π的数值计算也强烈支持这个猜想，可是如果没有数学证明，它还是得被叫做一个猜想，而不是定理。

  U( W+ u1 ?' ]" z) s+ q用上面这个启发式的概率模型，我们还可以预言，对于第n次航班，它的最大飞行高度不会超过Kn2（对于某个常数K）。数值计算表明对于K=8，这个公式是正确的（同样地，这可以让我们提出猜想，而不是证
+ w6 H/ N3 ^/ ~明定理）。
六、会不会永远证不出来？
自从哥德尔发表了他的著名的不完备性定理以来，每次碰到一个十分困难的问题时，数学家们就免不了疑神疑鬼——这会不会证不出来？
+ c% q: c3 N7 {; M
哥德尔的不完备性定理说，在包含皮亚诺的自然数公理的数学公理系统中，总有不可证明的命题存在。公理系统的这种性质叫不完备性。比如说，如果我们只取欧氏几何的前四条公理，那么平行公理是不能用这前四条公理证明出来的，也就是说只有前四条公理的平面几何是不完备的（这个例子不是很严格，因为欧几里德的公理系统在现代观点下是不严密的，但是我举这个例子只是为了说明不完备性这个概念，所以关系不大）。

所以说，如果我们只用皮亚诺的自然数公理，甚至再加上现代的集合论公理系统，也有可能不能证明3x+1问题。甚至即使3x+1猜想其实是错误的，我们也有可能不能证明这一点。比如说，我们可能发现一个航班，我们对它进行计算，发现它飞得越来越高，但是无论如何不能证明它永远也不会回到1上来。

6 p! L% c- K% e9 H, P6 f& z当然无论什么数论问题都有可能搞得数学家们这样疑神疑鬼，虽然其实是他们还没有发现证明。不过有一些蛛丝马迹表明我们有必要稍微严肃点看待此问题，因为3x+1问题离不可证明的问题并不太远。
( h; h# d  ]* b5 i% C
" ]' ~7 P% s0 H  e; b+ O" rJ. Conway（喜欢数学游戏的朋友可能会记起这个名字来，著名的生命游戏就是他发明的）在1972年考虑了3x+1问题的推广形式。在3x+1问题里，我们把数字除以2，然后得到了2种可能的余数（0或者1），按照余数我们使用2个公式（除以2或者乘3加1）。Conway考虑了除以一个固定的p，按照余数的不同（这时就有p种不同的余数）分别使用p个公式的情况。然后他提出了一个类似“在1着陆”的猜想。他在论文中证明了，这个猜想在集合论公理系统中是不可证的。

! Y4 q4 \8 K- u事实上，在任何一个包含了皮亚诺的自然数公理的数学公理系统中，Conway的方法都可以定义一个类似于3x+1问题的不可证命题。当然这不是说有一个在所有公理系统中都不可证的命题。“不可证”总是相对于某公理系统而言的。当然，Conway的方法并没有说明3x+1问题本身是不可证的，也没有说它一定是很困难的（事实上有些3x+1问题的变种是很容易解决的），但是这毕竟说明，有些很象3x+1问题的命题是不可证的，这把事情搞得很可疑。

1993年，法国里尔(Lille)的基础信息实验室使用了Conway的方法来演示一套基于逻辑规则的编程形式的威力。同许多数学中的例子一样，先头看上去最没用的课题，会有很具体的用处。
七、各种变种
6 ^  `: z3 i7 J, \% J数学家总喜欢把问题推广，使它更抽象化和一般化，因为这样可以把一种在具体某个问题上使用的方法的威力应用到一般的情况上去，从而得到很有可能是出乎意料的结论。
4 A6 a. Q2 X. T
数学家们首先考虑，如果把3x+1问题的规则运用到负整数上去，会产生什么现象。他们发现了三个不同的循环：
1)-1→-2
2)-5→-14→-7→-20→-10
3)-17→-50→-25→-74→-37→-110→-55→-164→-82→-41→-122
$ s3 Z6 o7 v5 j& Y' R1 v/ M+ c5 X→-61→-182→-91→-272→-136→-68→-34
2 }; J( k. q% P: W  s他们猜想，这就是所有的循环，而所有的负整数都会掉进其中一个里。

他们还提出了5x+1问题，也就是在奇数的情况下用5x+1来取代3x+1。
3 [# Z2 Y; A; @# Y/ n$ ~, q8 ]% I4 W( I这下又有好几个循环：
3 t2 r; D$ x! {1)6→3→16→8→4→2→1
2)13→66→33→166→83→416→208→104→52→26
9 m0 b+ I* ~2 ]+ T; J0 n$ h+ |3)17→86→43→216→108→54→27→136→68→34
6 o  V4 ~# E; ~" D' ^5 Y但是5x+1问题中的第7次航班好象老在那里飞啊飞，怎么也跑不到一个循环里去，但是谁都不能证明的确如此。
# l# X9 o' m, P) g
9 _) S' k( n2 X; ~/ X* Q6 A3 x上面Lagarias的那个启发式论证使得数学家猜想，如果q是大于3的奇数的话，对于qx+1问题，总存在至少一个航程无穷的航班，这看起来很象是一个“反3x+1问题”。
8 Y- h, p2 H& S. q* e
还有许多其他的3x+1问题的推广，一些结果把它们和其它数学领域联系起来，比如说素数理论，某些丢番图方程（求解系数为整数的方程的整数根，比如著名的费尔马大定理就是一个丢番图问题），马尔可夫链（概率论中的递归理论），遍历理论（一种关于函数混合递归的理论）。

1 z" \2 _# T! k/ e就算3x+1问题终于被解决了，看看所有这些变种，也够数学家们自娱自乐上几百年的了。

hmz20128

+ j0 b9 M  F! J; [
数海聚珠网【程序体验】中的26号程序运行方式分两种类型：
, z, \' k' q5 Y9 E类型1，运行某一个数（某个航班）归一的过程及最后输出这个航班的航程（归一步数）i、保持高度航程b（滑翔步数=b+1）、最大飞行高度(最高点)z、奇变换j、偶变换u。
类型2，运行某一个数列（一列航班）的航程（归一步数）i、保持高度航程b（滑翔步数=b+1）、最大飞行高度(最高点)z、奇变换j、偶变换u。
: ]! `- H& L- W4 l4 t在类型2中还可以用i、b、z、j、u中的某一项排序输出。
例：选择类型1的选项，输入k=3，o=1，v=1（最后停止的数），C=2234047405400065，D=1，b=1，r=0（航班是自然数型，C输入航班，则D=1、b=1，r=0）
输出：
% G6 F4 d* w3 g7 w( s& k9 y; ^T=1017299500769
2 f6 M% J1 J: ~8 d4 Y5 fT=3051898502308
T=1525949251154
T=762974625577
& f: y9 q6 ~8 r7 QT=2288923876732
8 G2 ~) e$ S& b; ]; sT=1144461938366
T=572230969183
6 R* m( o4 m1 j# D& y" ]T=1716692907550
T=858346453775
2 M" Z/ D- B6 ~/ u* N- e' D+ W……
# u# a5 h! {- W2 d( @# I9 Q1 oT=155413970848165054
: N4 t$ X: Y3 D# q4 b* f! n7 sT=77706985424082527
: L; R, v. I9 O6 t. `% RT=233120956272247582
) V5 d  _2 U4 O0 F2 f& ZT=116560478136123791
T=349681434408371374
. w: C1 K6 ~1 G3 yT=174840717204185687
/ w4 k: `! I6 E% e1 qT=524522151612557062
T=262261075806278531
9 V( U% ~$ a; y' I  }# dT=786783227418835594
T=393391613709417797
# B3 p; V: J' F3 s9 TT=1180174841128253392
……
T=160
0 U  |/ D) b. L- S- {; u7 aT=80
# a9 ]( F; d5 [( k& {2 DT=40
/ g6 r* c5 `, h0 i! n4 C4 }  ^T=20
T=10
T=5
; E2 _8 P) y7 ]2 X$ H! vT=16
T=8
0 U; f, d4 p9 y- J' m7 M0 BT=4
! {8 d0 F* v6 B2 l  R. y* OT=2
T=1
  i=1871
2 T1 l  c" _4 H4 o  b=2
  z=1180174841128253392
  u=1167，j=704
输出的结果说明，加上省略的部分到T=1是航班2234047405400065的归一过程，下面的 i=1871表示航程，b=2表示保持高度航程，z=1180174841128253392表示的是最大飞行高度，u=1167表示偶变换次数，j=704表示奇变换次数。

hmz20128

一楼中的介绍：如果一个航班的保持高度航程大于所有它前面的航班的保持高度航程，我们就把它叫作“保持高度航程纪录航班”，比方说从上面的表中我们看到第7航班也是个保持高度航程纪录航班。今天已知的保持高度航程纪录航班有30个，航程最长是1008932249296231次航班，它的保持高度航程是1444（滑翔步数是1445）
用26号程序。输入：k=3，o=1，v=1（最后停止的数），C=1008932249296231，D=1，b=1，r=0（航班是自然数型，C输入航班，则D=1、b=1，r=0）
5 k( t4 s4 q$ r& j8 m% @. i+ L输出：
T=1008932249296231
4 t5 D: M, B9 w+ J+ W+ ]3 a6 eT=3026796747888694
T=1513398373944347
T=4540195121833042
T=2270097560916521
$ r, u  E5 U. |7 r% w( j: O2 VT=6810292682749564
) c* {1 p$ }. K; l9 r: ET=3405146341374782
. o* m6 o4 W( S8 S( ~T=1702573170687391
% d$ r4 R, t* x4 e4 f) bT=5107719512062174
, L( |# c/ N: k4 P/ rT=2553859756031087
# h. {, N7 k7 e. t  v, u$ S6 D3 vT=7661579268093262
6 N. r2 k- |$ M* o" R& @……
T=3630702040938956164751
6 w2 W5 w# J7 J: e  kT=10892106122816868494254
. [# K# t5 w; H" N) J6 W+ iT=5446053061408434247127
& b, N- B0 ]3 c% d. PT=16338159184225302741382
) {1 ?) q( H! \1 c2 N& M" r. w2 t6 tT=8169079592112651370691
T=24507238776337954112074
6 T0 c1 o: N0 ]6 z" g% Q. d6 B3 A: |/ KT=12253619388168977056037
+ ?/ m. c/ M5 z7 H) s$ VT=36760858164506931168112
2 d$ ^) P, }$ K6 s: C. p……
5 R: ?. a; Z9 r7 k2 B; Z: }/ NT=106
9 H# C  F1 i! n8 sT=53
T=160
7 L4 V3 R2 |9 v0 C' v% \; T" PT=80
" e2 I7 c3 T' bT=40
1 S8 T+ w/ Z8 [: ^/ BT=20
T=10
  c- \: M! X( U+ Z: x8 X# Q1 nT=5
T=16
T=8
T=4
5 b6 Y6 H# D' n5 gT=2
T=1
9 ]5 @+ O& L1 {: g: H" q6 ^( U  i=1831
/ j$ t( c& y8 n, }4 k% w  b=1444
  z=36760858164506931168112
  u=1142,j=689
& y/ F6 _* P. V/ O输出的结果说明，加上省略的部分到T=1是航班1008932249296231的归一过程，下面的 i=1831表示航程，b=1444表示保持高度航程，z=36760858164506931168112表示的是最大飞行高度，u=1142表示偶变换次数，j=689表示奇变换次数。

hmz20128

一楼中的介绍：最大飞行高度记录航班就是那些最大飞行高度记录大于所有它前面的航班的那些航班，现在已知的有76个，最大的是10709980568908647次航班，到达了350589187937078188831873920282244的高度。
( M4 ~+ f. D! L) z( e0 ~5 e7 h用26号程序。输入：k=3，o=1，v=1（最后停止的数），C=10709980568908647，D=1，b=1，r=0（航班是自然数型，C输入航班，则D=1、b=1，r=0）
. w4 H& U; I$ r. q) z1 e- J输出：
T=10709980568908647
. O! d: W' Q0 i" d8 I  cT=32129941706725942
T=16064970853362971
5 ]- j5 @0 M# J; _T=48194912560088914
T=24097456280044457
T=72292368840133372
T=36146184420066686
T=18073092210033343
……
7 S! ^. C% [0 E9 fT=69252185271521617547036823759454
T=34626092635760808773518411879727
6 T( T: Z5 R! S$ ?+ o& BT=103878277907282426320555235639182
4 [; u2 W( t- z& {- ]* ZT=51939138953641213160277617819591
% L& O: B& K- }: e( {T=155817416860923639480832853458774
T=77908708430461819740416426729387
+ o: b. `9 ^" w+ rT=233726125291385459221249280188162
T=116863062645692729610624640094081
T=350589187937078188831873920282244
……
& O" @+ S6 l" y7 p# YT=106
T=53
. A. x" J3 f; z3 T6 h' \T=160
T=80
1 e: D, t+ g& I! o. d1 MT=40
T=20
9 E$ l! L7 X& Q* Z  Q( H" ?8 KT=10
& e% q0 G, }7 y$ I& ?T=5
" \7 h, i4 A) b- \+ k* y$ OT=16
' |9 q+ E" z- A8 C, a' bT=8
T=4
: U( x  g4 A2 S; W: D( n. Y- ?T=2
T=1
  i=1165
  b=790
  z=350589187937078188831873920282244
8 u& y5 L3 [  W" o1 r" I& {  u=735,j=430
输出的结果说明，所有的T加上省略的部分到T=1是航班10709980568908647的归一过程，下面的 i=1165表示航程，b=790表示保持高度航程，z=350589187937078188831873920282244表示的是最大飞行高度，u=735表示偶变换次数，j=430表示奇变换次数。

hmz20128

关于3X+1问题的滑翔步数、归一步数、与奇变换和偶变换有关的剩余因子、完整度、最高点等数据记录，国外的一些爱好者都有深入的研究，目前介绍最详细并且被翻译成中文的网址是：http://www.equn.com/3x+1/;WkkY*，里面归纳的数据非常完整，介绍的非常详细，值得还在继续研究3X+1的爱好者一看。
8 B$ O0 g* h- Y- Z
! U4 M+ M3 }$ L' ?0 h数海聚珠网【程序体验】是专门为数论爱好者提供的免费测试工具，其中26程序是专门为3X+1爱好者提供的运行测试某一个航班的归一过程和一列航班的航程（归一步数）i、保持高度航程b（滑翔步数=b+1）、最大飞行高度(最高点)z、奇变换j、偶变换u的数据的，有兴趣的也可用26号程序寻找目前还没有填充的空白。

hmz20128

用26号程序运行某一范围等差级数110X+1航程（归一步数）i、保持高度航程b（滑翔步数=b+1）、最大飞行高度(最高点)z、奇变换j、偶变换u
输入：K=3，o=1，v=1，h=1，L=111（后面两空都填1），K1=110，r=1
选择第二选项T=K1*b+r
9 j0 @# T- p" j$ H输出：
T=111
  i=69
  b=49
8 ]0 B- I# e: K/ B4 q  z=9232
. \  B, a  k# b# r1 [  u=45,j=24
T=221
  i=114
  b=2
  z=9232
& J5 x/ i- y% v' r( i9 l  u=73,j=41
4 G- ]2 g, U0 A$ |+ x7 mT=331
, A1 s& Q# Y/ c3 K3 F; |  i=24
, J2 f9 n2 X/ ~; z  b=7
+ C0 }+ H% m- w0 |; N8 b8 ]  z=1492
  u=18,j=6
- V; {# H. G# M- X/ e3 GT=441
8 X6 P/ h* ]1 A" A% l4 f: {5 C  i=27
  b=2
  z=1492
/ Z9 }: ~0 i3 U, G  u=20,j=7
9 n5 f4 p4 ^$ s6 v( UT=551
) d* h4 l  F- Z9 e  i=43
' U- o, d  H0 `  b=12
  z=4192
2 W+ R$ q$ A+ B: f: V( f' ^4 L9 w  u=30,j=13
! h" e$ i- t! \% m' @% s9 p) A' hT=661
* K) b" y; V4 B! Y* G4 M  i=113
  b=2
) {3 ^+ s. `4 ]$ p, i, f" D  z=9232
  u=73,j=40
; V- d$ _' @+ r9 E0 Y5 ]: @T=771
  i=33
  b=5
  z=3472
  u=24,j=9
# E; N* C; R# B, O$ KT=881
: Z  \& A( p3 d4 L% j  i=116
  b=2
7 ?5 l0 e" i% |% a  z=9232
  u=75,j=41
+ j# i0 o6 u' r! O  k! S; sT=991
$ U0 ]* a( h- H  i=98
; g% J' r2 w4 o1 N9 ?" j  b=41
  z=15064
) n* p. ]0 a' t) k+ w  b* p  u=64,j=34
! N" ?& {+ m  zT=1101
! u5 j0 F3 U- \# W( X$ K  i=93
  b=2
  z=9232
6 s" u$ ?6 R. m  u=61,j=32
6 g. C8 t1 D; G# [9 [……
# P4 S- ?: ~  u0 ?# GT=11881
6 D1 P+ t1 ?$ }6 I5 u% }# Y+ K  i=99
  b=2
  z=114208
  u=66,j=33
+ i- V0 l+ n2 h/ ]. G5 xT=11991
  i=81
  b=7
2 l: M" a5 j/ {1 j: C& ^$ L  z=80944
  u=55,j=26
* B* F1 C& h6 M$ r8 }9 w5 }T=12101
7 N7 a) \5 X: y  h6 S( e  i=68
  b=2
  z=36304
  u=47,j=21
T=12211
  i=112
  b=5
  z=54952
+ w& V$ Z; [4 y) S5 I  u=74,j=38
T=12321
; G4 L$ T( T/ ~! k$ p  i=156
  b=2
  z=36964
5 [1 T) G5 _& T8 r% T2 D9 E. k  u=101,j=55
5 [  k$ J  f6 j  t" ~) X从保持高度航程的b来看，有一半数据都是b=2，若去掉这一半的数据，可输入K1=220，r=111
输出：
T=331
  i=24
  b=7
  z=1492
* i6 z- ?  Q. E2 G6 q3 q8 R# c  u=18,j=6
T=551
& h' w+ _; U2 N* _5 k  i=43
8 m: G' g9 Y  ]6 P2 X; F: ^  b=12
8 p+ @- \# D4 p# j, X  N  z=4192
" o: c$ l6 l9 p2 e+ N1 N4 M0 B  u=30,j=13
) p5 Q4 x9 x& ^& i& ~T=771
: B% Q% W% C' z, ~  `  i=33
  b=5
  z=3472
3 V9 p4 f: Y5 A/ C5 H2 q; y% m# a  u=24,j=9
T=991
  i=98
  b=41
$ D+ b% Z" h; x+ u  z=15064
4 N' [% f( b; X. D* E  u=64,j=34
, [( w( R* u& e. L  P" dT=1211
, P, t$ H/ O  v/ r  i=70
# _' S, m9 w6 H7 Z0 y5 Q; r  b=10
+ w$ k/ G/ y5 n, X0 R( R  z=39364
  u=47,j=23
T=1431
3 I2 Z" d- r  L4 j) ~) v3 V  i=26
  b=7
  z=9664
  u=20,j=6
) H6 X7 @& I9 J6 m3 ET=1651
8 v+ N$ P. }6 c. L  i=135
  b=5
  z=9232
$ n6 c+ V) P. f; L' d$ r2 N  u=87,j=48
/ k6 T) {: S& v  uT=1871
1 N0 b7 _' ^/ ]6 T0 d: {1 |  i=130
5 y- Q+ y+ @0 O: }  b=12
  z=18952
4 ^  i4 J9 X3 b  u=84,j=46
T=2091
: U% C% s" f" o% `  w  i=37
  b=7
; X1 W. Y' Y+ F3 a2 d/ R  z=9412
5 Q. O8 }6 v: J# r. O" p$ F  u=27,j=10
/ e' w) F& s+ @- U" F. P3 X. W- A……
+ J* }0 ~! V$ o& @T=24091
  i=250
' a7 V+ i! P- \3 S: u4 p# ^0 E  b=113
  z=9635920
# }! L# E) x/ s1 r* ~- ^( v  u=159,j=91
T=24311
  i=188
  b=7
6 q, I/ ~7 e$ @/ _0 j  z=164104
  u=121,j=67
, Y6 Q( J% ^7 l9 v/ qT=24531
. M0 S& p; ?( C! \/ j0 V  i=69
7 d  B# p+ U5 Z: V4 x7 f  b=5
  z=157192
  u=48,j=21
T=24751
  {( f% Y2 C. U+ X4 s  i=188
1 D# {9 b8 A& n/ R& Y  b=12
  z=338740
  u=121,j=67
若要找b在220X+111中X在1-111的范围内保持最高纪录(后面的b大于前面的b)
在前面输入的基础上再选择附选框,并选择下拉选项b>G=7(7是第一个b值)
) C. s- ]: v! w7 j/ ?输出：
) y) p! Q  f' \- t* LT=551
! b; g* ?6 P+ S5 }0 W! S3 O% t  i=43
  b=12
6 l( x9 g: d: I" ~  z=4192
  u=30,j=13
# b# w7 ]+ D% e) m( jT=991
6 `9 `0 s& w( z  i=98
' q4 u! c# ~( J. k  b=41
  z=15064
  u=64,j=34
T=2751
  i=172
  b=69
  z=225988
+ M& u4 O& C" [7 C  u=110,j=62
/ z& S: j( I4 l' X# ^8 q$ y# gT=10011
# a/ A9 n5 W6 b9 t  i=210
  b=82
% V8 d. X% \" t3 v  z=2633632
  u=134,j=76
T=18591
# j' S. k6 }- ^- l/ H  i=154
  b=100
  z=2035348
  u=100,j=54
T=21231
! G3 H4 ~2 e$ }2 I* r9 u2 n- O! O  i=193
  b=113
7 |4 F9 ^9 o: U; P  z=11927896
  u=124,j=69
* W) K! O, o' A" g还要可以选择其他内容做为排序对象。
例：以航程（归一步数）i为标准排序，在上面的基础上，选择下拉选项i>G=69(69是第一个i值)
% e: D9 v* [9 X9 @2 G2 c5 j4 X4 w输出：
T=991
2 J" b6 l) d7 H$ Y5 s& f7 {% y  i=98
, y, T9 o  X1 ^1 Z: P  b=41
% G! d$ O6 B3 e) u5 L5 a0 W  N  z=15064
  u=64,j=34
T=1651
  i=135
  b=5
  z=9232
" O: t" p, u# z$ c% x/ J  u=87,j=48
" @( r& J9 f; Q' d7 c' OT=2311
  i=151
  b=10
2 q2 J9 V0 m" M# f  z=15604
  u=97,j=54
T=2751
( t$ U) w* s5 e- ~7 }& _- I) Z" \  i=172
  b=69
  z=225988
1 V+ w3 d& T/ U7 b! `  u=110,j=62
+ ^" N+ \- [% J2 S3 oT=7591
9 e& h& p$ N  P' v- X3 R  i=176
  b=15
  z=57652
1 l0 ^0 {. [# j% `/ s  u=113,j=63
$ X8 m. l1 W- l& Z7 sT=10011
: {2 ?6 u4 _% ]4 J, T' |# ]& g  i=210
1 C& s/ t7 u" i; o$ ^& l  b=82
  z=2633632
( D; F( x) g4 \; F6 h- z  u=134,j=76
' A, {. `" a7 i: x; CT=24091
. B" ]6 Q  Q- }  c, w  i=250
/ }7 Z& V- Y( v& f1 L/ @6 A# @  b=113
" C3 H- V0 v2 U8 r0 O) a  z=9635920
; }7 ~# T5 r& U* N  u=159,j=91
7 \) [+ C8 V0 ?

1097908652

东西太多了，感到飘过。还不如给个附件哟

1097908652

发完之后意识到原来我抢到了一个沙发呀。。。纪念一下咯