作者：一白化贝
杨依依反手握紧陈舟的手，柔声说道：“这样犹豫，就不像你了哦。那个敢和全校师生做出725的约定，敢在大一就计划着完成数学系和物理系双毕业的人，应该是一个遇到任何事，都不会犹豫的人。”
“我们都不知道未来是怎样的，但我们可以为了未来去走好今天的每一步。而这个课题的结果如何，也应该是做了之后，才会知道的。”
“最重要的是，我相信你的决定。”
这还是陈舟第一次听杨依依说这么多，他从杨依依的眼神中，看到的是完全的相信。
陈舟轻轻一笑，用另一只手揉了揉杨依依的脑袋：“你说得对，应该是做了才知道。而不是在已经决定了之后，还犹犹豫豫。”
“对呀。”杨依依笑着说道，“不就像你刚才说的，雅博塔前求博雅，无名湖畔誓闻名嘛，我们不就……”
杨依依话未说完，陈舟手上突然用力，一把将她拉入了怀里。
他抱的很紧。
她的双手也从一开始的惊慌失措，转而缓缓搭在他的身上。
陈舟在杨依依耳边柔声说道：“谢谢你，依依，有你真好。”
杨依依虽然并未说话，但她的嘴角不自觉的露出了微笑。
良久，两人才分开。
陈舟看着杨依依通红的小脸，忍不住打趣道：“你是红苹果变的吗？”
“哼。”杨依依娇哼一声，“你才是红苹果呢。”
陈舟回到宿舍时，已经快11点了，比平常从图书馆回来，要晚上不少。
一进宿舍，赵琦琦三人就齐齐看向陈舟。
陈舟疑惑的问道：“你们这么看着我干嘛？”
三人齐声说道：“没什么，还以为你今晚不回来了呢。”
陈舟微微有些尴尬：“我不回来，我睡哪？”
赵琦琦说道：“那就不知道了。”
顿了顿，赵琦琦敏锐的发现一物，随即轻声说道：“你身上有她的香水味，是我鼻子犯了罪……”
陈舟：“……”
朱明理和李礼则在一旁偷笑。
不再理会这三人，陈舟拿起脸盆，去洗漱了。
“卧槽……”
洗漱时，陈舟才发现，这三人为啥这么看着自己。
他抱杨依依时，杨依依的头发落了一根在他衣服上。
还是很显眼的位置……
晚上，躺在床上的陈舟，想起杨依依的话，嘴角不自觉的带着一丝笑意。
陈舟的内心，也变得更加渴望解决冰雹猜想这个课题了。
给杨依依发了个【晚安】，陈舟便睡着了。
之后的几天，陈舟一方面按照计划，学习着物理系的教材。
一方面，把大把的时间用在查阅冰雹猜想的相关课题上。
倒是有一个令他意外的发现，那就是关于张中原的那节代数讨论课。
课上所讨论的内容，有一些被记在了错题集上。
这也从侧面验证了那节课，所讨论的内容是存在缺陷的。
而那些没记录的，也给陈舟提供了一些课题参考。
“将问题公式化，是解决猜想必须要做的。关于冰雹猜想，或者说3X＋1猜想，他的公式是一个迭代公式，有输入，有输出，有反馈……”
陈舟先把冰雹猜想进行公式化，再对其进行研究。
【Xn＋1=（3Xn＋1）/2^m，式中每一个X都是奇数，m=1，2，3……】
【直到把3X＋1中的偶数2^m析出抵消，使得等式右边是奇数为止。如果这个奇数不是1，而是其它奇数，就继续迭代，一直到1为止。】
【也就是说，需要证明的是（3Xn＋1）/2^m=1】
第一百七十八章 入围
图书馆。
杨依依依旧在查阅着力学课题的相关文献资料。
据杨依依自己说，她们的这个课题正在加快进度，准备在这个月内结题。
杨依依身旁的陈舟，正埋着头，研究着冰雹猜想的问题。
在将冰雹猜想问题进行公式化后，陈舟正在进行相关的范例研究。
【X1=1，代入公式：X2=（3×1＋1）/2^2=1，结束。】
【X1=3，代入公式：X2=（3×3＋1）/2=5；X3=（3×5＋1）/2^4=1，结束。】
【……】
陈舟希望通过代入的实例找到一些规律。
但这显然比他想象的要难得多。
陈舟看着自己写下的内容，眉头微微皱起，心中想着：“经过Xn＋1=（3Xn＋1）/2^m的迭代，直到（3Xn＋1）/2^m=1公式的成立，这其中必有两个结论……”
陈舟边思考，边在草稿纸上写下：
【1、任何一个Xi进入迭代以后，都不会回到Xi，也就是不会发生数字循环。如果发生循环，这就是反例，也就说明冰雹猜想被证伪。】
【2、Xi进入迭代以后，数值不会发散，即是数值不会越来越大，直至无穷，而是在一个有限的范围内更替。】
陈舟看着自己写下的两条结论，并没有多少欣喜的感觉，反而为如何证明它们犯了愁。
不得不说，通过这几天的研究，他发现了一个事实。
那就是这玩意，真特么的难，比让他解一千道吴西平出的超纲题都难……
当然，这也只是陈舟在心里的吐槽。
相比于解一千道吴西平出的超纲题，他还是更愿意把时间花费在冰雹猜想的研究上。
陈舟记得冰雹猜想在2009时，已经被验证到5×2^60的自然数，没有一例反例。
这种情况下，冰雹猜想大概率是正确的。
想到这，陈舟翻开错题集，认真的看了起来。
错题上是这几天积累的错误方向。
有时候，错误就是指路明灯。
关键就在于你能不能从错误中反省自己，从而找到正确的路。
陈舟认认真真的看完了后，他又开始了另外一种方法的尝试。
虽然这种方法，从一开始就被他认为是不大可能行得通的。
但多尝试，总归是没错的。
停滞不前，才更可怕。
重新拿出一张草稿纸，陈舟在换了根新笔芯后，开始写到：
【从n=1开始，代入Xn＋1=（3Xn＋1）/2^m，可以得到X2=（3X1＋1）/2^m。】
【如果令X2=1，那X1=5，21，85，341，1365，5461，21845，……】
【同理，n=2的时候，可以得到X3=（3X2＋1）/2^m2，再把X2=（3X1＋1）/2^m1代入的话，也就是X3=[3×（3X1＋1）/2^m1＋1]/2^m2=（9X1＋3＋2^m1）/2^（m1＋m2）。】
【再同样令X3=1，那X1=3，13，53，113，227，909，……】
【上述值，是将X3的等式反推，利用X1=[（（2^（m2－1））/3×2^m1）－1]/3得到的结果。】
【同理，利用X4、X5等等不断代入的等式，进行反推……】
陈舟就这样从X2开始，手中的笔不断的书写下去，直到把Xn的等式写出来，再进行反推。
没急着把X1的反推式写出来，陈舟就微微摇了摇头。
前面的X2、X3、X4这些，都很容易证明。
但是顺着这个方向，把n扩展到任意数的时候。
反而会发生一个倒错问题。
因为利用Xn的公式，将X1倒推出来后，X1会出问题。
是个很大的问题。
作为初始值的X1，它内部的2^（m1－1）是包含了未来值部分2^（m（n－1）－1）的。
属于无法证明的问题。
陈舟也就停下了笔，习惯性的拿着笔在草稿纸上点着，不再继续写下去。
这些算式的最终结果，告诉陈舟，他又回到了问题的原点。
随手翻了翻错题集，刚才的所有算式，果然又出现在了错题集上面。
得，这条不大可能行得通的路，果然又被堵死了。
放下笔，陈舟下意识的就想挠挠头，但立刻终止了这个动作。
相比于拿着笔，不断的点着草稿纸，遇到问题就挠头，可并不是一个好习惯。
万一，变得和张中原一样了，那可就真应了他那句，和他年轻时很像了……
身旁，杨依依注意到了陈舟的动作，瞥了一眼草稿纸之上密密麻麻的算式。
她低声问道：“要不要出去透透气？”
陈舟转头看着杨依依，微微一笑：“暂时不用。”
说完，陈舟再次拿起笔，继续展开对冰雹猜想的攻击。
时间，也就这样在笔尖悄然流逝。
在距离丘赛过去了两周时间时。
4月5日。
清明节。
似乎是为了应景，这天从早晨开始，就一直下着淅淅沥沥的小雨。
陈舟和杨依依不得已，只能取消了晨跑的计划。
不过，两人倒也没有贪睡，而是直接起床去吃早餐了。
在食堂吃早餐时，陈舟接到了一个电话。
是丘赛的领队老师打来的。
他首先恭喜了陈舟成功入围五个科目的决赛，然后又交代了一些决赛的注意事项。
挂断电话，陈舟才意识到半个月的时间，就这么过去了。
而那个在1972年，被普林斯顿大学高等研究院康威教授证明问题的自然概括是算法不可判定的冰雹猜想。
在1990年，被哈佛大学数学研究所和斯坦福大学高级研究中心的两位教授证明的事实上在算术等级中是不可判定的冰雹猜想。
在2011年，被陶哲轩称为不太可能被当前技术所证明的冰雹猜想。
陈舟也一样，几乎可以说，毫无进展。
但是收获还是有的。
在研究的过程中，陈舟至少摸清了这个问题究竟有多难。
也难怪大数学家厄特希都说，数学还没有成熟到足以解决这样的问题。
除此之外，陈舟还得到了一些额外的收获。
对数学工具的使用，他更加熟练了。