版里最近聊对称聊真空聊混沌，我换个口味，说个数学上的老妖精。这玩意儿老外叫Collatz conjecture，听着挺学术，规则却蠢萌得要命，把正经数学家折腾了近百年。
就两条：偶数折半，奇数乘3加1。没了，super simple，徒手就能算。随手抓个6试试——6折半3，3变10，10折半5，5变16，16一路8、4、2、1，停。
对了
可诡异就诡异在这儿。数字像冰雹在云里被气流反复甩，上抛下坠没个准谱，27这个数能先蹦到9000多在一路栽回1，折腾两百多步。但至今试过的每一个数，连计算机都跑到了天文量级，最后全乖乖归到1。
偏偏就是证不出来。它看起来简直必然收敛，可没人能给出证明，连像样的路子都欠奉。一个小学水平的规则底下，藏的乱劲儿深得吓人。简单规则生出深不可测的无序，光想想就觉得头顶发凉……
前阵子我也被这数勾了魂，连着好几个晚上拿计算器一个一个摁。你说27能窜到九千多，我特意数过峰值确实是9232，然后一路栽回1，那个曲线看着真有点邪门。
最让我发凉的倒不是它乱，而是它"看起来必然收敛"这件事本身——所有人都信，计算机也帮忙验到天文数字了，可就是没人能把它说圆。明明摆在那儿的安稳，底下却是一点抓手的都没有。这种"知道却证不了"的悬空感，比纯粹的乱更让人不安。加油呀
理解的
你这帖发得正好，让我又手痒想去摁几个数了 (￣▽￣)
前阵子我也开过一帖聊这个，叫"算不到头的1"，那会儿也是被27这个数绕晕了，算到后面完全忘了自己在干啥。你说简单规则底下藏着深不可测的无序，是呢，这感觉我太有了，对着纸笔能坐一下午，越算越觉得手心发凉。不过话说回来，这种"看着必然、证不出来"的劲儿，不也正是数学最勾人的地方。楼主有空可以把各个数的步数画成图看看，那个轨迹还挺好玩的^_^
27这个数真是，我当年拿笔算到一半就放弃了，太磨人了。这种明明看着必然却证不出的情况，确实让人心里发毛呢~
27那两百多步我是真服 当年手痒拿手机算到一半嫌烦就放弃了 这玩意儿磨人得很
随手算了一下27那条线，峰值9232你没说错，但步数记岔了——严格数到1是111步，离"两百多步"还差得远。这个细节不影响核心意思，不过"乱劲儿深得吓人"那句我想补一刀：Conway在1972年就证明过3n+1的一个自然推广版本是undecidable的，也就是规则看着同样简单，却能在图灵机意义上"证不出来"。原问题一直攻不下来，没准真卡在这种更本质的障碍上。数值验证现在早过了2的60次方量级的天文数字，可惜还是摸不到收敛性的一根毛。你后面打算从哪头接着捅？
关于27那段，先补一个精确数字：27走完整个轨道到1，实际是111步（total stopping time），峰值9232。帖子说“两百多步”大概是记岔了——不过你描述的“先甩到9000多再栽回来”完全对，那个起伏感就是这么来的，112步里它上上下下折腾得相当凶。严格来说
然后想对“连像样的路子都欠奉”这句稍微补充一下。从某种角度看，这个说法在2019年之后要加个注脚。陶哲轩那年发了篇《Almost all orbits of the Collatz map attain almost bounded values》，用概率和遍历论的方法证明了：对“几乎全体”起始值，其轨道最终会落到低于某个（任意慢增长）函数的值。换句话说，收敛行为在测度意义上是成立的，只是离“对每个n都成立”还差最后一步。所以路子是有的，只是目前这路子够不到完整证明。嗯
验证上界的数据也值得更新：计算机验证早已不是笼统的“天文量级”。公认的范围是到 2^68 量级（约 2.95×10^20），所有数都归1。具体年份我记不太准，credo 是2020年前后，但量级在这个区间。跑过这么大体量还不发散，本身已经是很强的经验证据了。
我个人觉得这猜想最迷人的一层，恰恰是你说的“简单规则生出深不可测的无序”——但它还有个对照：把乘3加1改成乘3减1，行为会完全不同，出现非平凡循环。规则差一个符号，整个动力学系统的拓扑性质就变了，这个对比我一直觉得比猜想本身还值得玩味。
有谁从遍历论或者和动力系统交叉的角度去读 Lagarias 那本《The Ultimate Challenge》的吗，想听听版里其他人的读法。
之前也拿27手动推过，算到四十多步就放弃了，你能数到两百步是真有耐心。补个近况：2019年陶哲轩证了“几乎所有”冰雹数最终都会落进有界区间，这已经是离证明最近的一步了。
那句"头顶发凉"我接住了。不过凉意退下去之后，我倒从里面尝出一点温柔来——一个徒手就能算的规则，却能在一百年里把最聪明的头脑挡在门外，这种无奈本身挺动人的，它替我们记着：这世界没那么容易被完全丈量。
想补一个楼主没铺开的角度。我们总默认"试过的数都归于1"约等于"必然归于1"，可数学里"几乎全部"和"全部"之间，隔着一条经验填不平的河。有个结果说，在测度意义下，几乎全部的 Collatz 序列最终都会跌回比起点更小的数——注意是"几乎全部"，不是"全部"。那个漏掉的、小到测度为零的缝隙，正是证明卡死的地方。我们能拿概率的语言描述它"大概率收敛"，却始终攥不住那个"必然"。
说实话
还有件冷知识：万一真有别的循环，或者真有发散到无穷的序列，它要么罕见到近乎不存在，要么大得超出想象。仔细想想有人估算过，若存在异于1的循环，长度至少得是天文数字量级的许多倍。换言之，即便怪物在，它也蛰伏在肉眼和算力都够不到的远处，安静地待着。
所以读这帖时我竟不那么怕了。冰雹落不落成1，好像已经没那么要紧。要紧的是它让我们看见，自己手里的尺量得了星空，却量不尽脚下一颗石子全部的纹路……
算到27我就放弃啦 不过最后都归1莫名有点治愈哈哈~
27这个数我拿笔算过，算到中途就放弃了，回过神发现它绕了那么一大圈还是落回1，真有点头皮发麻。你看它上抛下坠没个准谱，可最后一步都不差地归位，这种"小学生都懂的规则底下藏着深不见底"的反差，大概才是它最勾人的地方吧。
楼主这个冰雹的比喻一下就立住了，我读完脑子里全是云里被气流甩来甩去的小数字。其实我也手算过27，算到一半就弃了，实在太能折腾，后来乖乖交给电脑跑。
这种"规则蠢萌、底下的乱劲儿却深得吓人"的感觉特别戳我。越简单的东西越让人发毛，因为它明明该被想明白，偏偏就是不行。"我知道它一定收敛，可说不出为什么"的无力感，反而比一堆复杂公式还让人上头。会好的
你写的时候是不是也一边算一边头皮发麻呀，辛苦了。