他轻松解决过程,他在台上侃侃而谈,越说就越有自信,让李益来看的更窝火。
李益来挑毛病也是有原因的。
他的研究项目是和‘数据挖掘’有关的算法,但两、三年时间都没什么进展,好不容易有了一些进展,正打算发表一篇和优化算法有关论文,打算以此申请一些科研经费。
论文写完了。
他的优化算法论文中,举的例子就和魔方计算有关,里面还表示说,使用他的算法可以大大简化计算量,只要继续深入的研究下去,就能找到破解魔方最简洁的算法。
这时候魔方计算器出现了。
李益来感觉脸被打的啪啪响,他生气的差点砸掉了电脑,想想经费申请不下来,一台电脑也是价值不菲,最后还是没舍得砸下去。
当然。
最重要的是努力成了无用功。
科研领域最怕的就是研究方向相同,方向相同就会导致,有一方的研究会成为无用功。
李益来败在一个高中生手里,心里的憋屈可想而知,他还没办法说出来,还要庆幸论文没有投稿、发表,否则真就成了笑话。
现在看到台上的年轻高中生,其他人都是一脸的‘后生可畏’,李益来只感觉郁闷的吐血。
‘有效与无关进位筛选’,可不是简单就能证明出来的,中途需要给人消化理解的时间,也会给出提问的机会。
李益来就不断的提问。
李益来专业做算法研究,能力还是相当不错的,他提问了几次以后,忽然皱住了眉头,随后再次举手提问。
其他人都有些看不过去了--
“这个李益来要脸不要!”
“为难一个学生干什么,他问的东西都很明显的,根本不应该问。”
“老不要脸!”
贺明成教授坐在第一排中间,他不但听得很认真,还低着头做笔记,发现李益来总是打断,提的问题还有些可笑,也不由得皱住眉头。
李益来还是说了出来,他指出了一个真正的问题,“赵奕同学,我注意到你刚才的证明过程,说所有的可能的情况,被分析判定后,都会归为数字一,也就是只剩下一种可能。”
“这个过程并不严谨,你用到了几个代数的定理,但最后的总结,却直接得到了结果。”
“如果你的证明过程是对的,不就等于证明了角谷猜想?”
李益来说完有些得意的坐了下来。
会场顿时安静了。
每个人都在讨论刚才的过程,因为过程有些复杂且绕脑,赵奕有一部分是用计算机的方法演示、说明的,其他人并没有注意到。
李益来提醒了一下,大家马上都注意到了。
角谷猜想,也叫作冰雹猜想,是一种数学猜想,说一个正整数x,如果是奇数就乘以3再加1,如果是偶数就析出偶数因数2?,这样经过若干个次数,最终都会回到1。
许多人都声称证明了角谷猜想,还发表了一系列的论文,实际上,至今还没有‘被公认严谨’的证明过程。
所以猜想依旧只是猜想,而不是能直接运用的定理。
赵奕的证明过程中,用计算机演示、说明,看似过程十分的严谨,却用到了‘角谷猜想’的内容。
这并不算错。
李益来说的证明步骤,是数字无限大的情况下,对每一种可能进行分析判定,运用在魔方上,最多就只有27种扭动情况。
根据日本和美国的数学家攻关研究,小于71011的所有的正整数,都符合角谷猜想的规律,若是再大于71011的数字,差不多只是理论上的数字,计算机想一一判定分析就非常困难了。
另外,计算机和
『加入书签,方便阅读』