手机浏览器扫描二维码访问
虽然他没拿到过菲尔兹奖,但沃尔夫奖、高德纳奖、哥德尔奖、京都奖这些顶级的数学奖和计算机将他都拿了个遍。
可以说在计算机科学和数学交织的学科,是说一不二的真大佬。
这位大牛站起身后,看了一眼报告台上,又低眼看了下手中的笔记本,用平铺直叙的语气开口道:
“在报告论文的第二十三页,我有注意到报告者在对群C(K)的阶数h(K)=|C(K)|叫做数域K的理想类数进行描述时,完成了证明:h(K)=1当且仅当环OK中每个理想都是主理想,也当且仅当OK具有唯一因子分解性质。”
“关于这一部分,请问报告者是如何得出来的?”
听到这位大牛的提问,刘嘉欣快速的将平铺在报告台上的证明论文,找到了拉兹洛·洛瓦兹教授所说的问题。
看着上面的公式,她快速的开口回道:“对于许多种类型的数域,对于给定的有限交换群G,在判别式D(K)6x的所有这类数域中,类群为G的所占比例当x→+∞时存在极限α,并且它们给出非负实数α的计算值......”
“而在第二十三页证明公式中,我完成当D(K)通过所有的素数时,所有D(K)6x的实二次域当中类数为1的证明.....”
简洁而又清晰的话语从刘嘉欣口中快速道出,报告台下,拉兹洛·洛瓦兹目光中带着一丝若有所思的神色,随即转变成了赞许。
他笑着点了点头,道:“谢谢。”
拉兹洛·洛瓦兹的提问结束后,提问环节继续进行。
第二个站出来提问的同样是计算机数学领域的大牛,2006年奈望林纳奖得主。
《大正整数因子分解具备多项式算法》证明是P=NP?猜想的核心难题,对于数学界来说,它是千禧年难题的重要组成部分,是世界级的猜想,难度很大,但对于纯粹数学的发展而言,意义却算不上多大。
本小章还未完,请点击下一页继续阅读后面精彩内容!
不过,对于计算机数学的发展来说,却可谓是巅峰级的存在。
犹如此前徐川完成的杨-米尔斯存在性问题一般,对于数学界而言,它只是一个极其难解的微分方程,抛开在这个过程中创造的工具和其他的收获来说,解开它能得到的是一个答案。
但对于物理学界来说,它却是支撑理论物理学再度往前走的重要基石,是完成大统一理论的必经之路。
因此,会场中,站起来提问的学者相当的多。
当然,并不是所有站起来提问的学者都是大牛,也都能提出精准而又有水平的问题。
比如某位来自爱丁堡大学的博士生,就提出了个丢脸丢到全世界的问题。
“请问在第四十七页中,近似算法的运行时间和近似保证之间的权衡,平方和层次结构可以适用于指数级时间的近似算法,n表示图的顶点数r可以是任何大于1的正实数(可能取决于n),这一问题报告者是如何得到这一证明的?”
这个问题一出,大礼堂内顿时就骚动了起来。
窸窸窣窣的交流声在宽敞无比的礼堂内交织着,不少人向这位站起来提问的博士生投去了诧异、惊讶、疑惑甚至是嘲笑的目光。
听到问题,报告台上,刘嘉欣都有些诧异的愣了一下,随即确认了一遍问题后,开口解释道:“顶点覆盖、均匀最稀疏割及相关问题的适度指数时间近似算法,这并非我的证明结果。”
“如果我没有记错的话,在后续的解释中,有引用卢卡·特雷维桑教授在2018年国际数学家大会上的报告论文。”
“你可以看看引用行中的第六个,特雷维桑教授已经做了相当完备的解释。”
听到自己提了一个早已经被人解决了的问题,这位来自爱丁堡大学的博士生顿时脸色一红,细若蚊声的道了一句‘谢谢’后一脸尴尬的坐了回去。
学艺不精是一回事,勇于在报告会现场提问也是一回事,哪怕提了个错误的问题也算不上什么。
但是很显然,这种心中有了疑问,连引用论文都不会去看,也不会去事先搜索寻找是否已经有解决答案的问题,提出只会被人耻笑。
.......
喜欢大国院士请大家收藏:()大国院士
末世之:天下大乱 先解风情后解衣+番外 曙光(网络版) 一朝穿成萌宝妈,她被独宠成赢家 我的老师爱人 谈荤论嫁(豪门VS重生 掌上明珠+番外 瘾诱/破烂事儿+番外 这个游戏不一般 许我半世繁华+番外 八零后创业记 外骚里嫩+番外 嫣然巧盼落你怀+番外 最强雄狮 谈谈来日 圆满+番外 娱乐圈小人物史+番外 痴傻皇子暴躁妃:这个皇子只想苟 幸福在哪里 后悔晚了,校花小哑巴网管在家
馅饼,说好的豪门风云世家恩怨呢?有。自己看书!馅饼,说好的江湖快意儿女情仇呢?有。自己看书!馅饼,说好的纨绔嚣张衙内跋扈呢?有。自己看书!馅饼,说好的狗血装逼扮猪吃虎呢?有。自己看书!馅饼,说好的医卜星象天机莫测呢?嚓,你有完没完?有,都有!不会自己看书啊?好,我看书去了,看得不爽,削你!那看得爽了呢?要不要给票?...
老公小青梅养的狗害两岁女儿得了狂犬病送医。渣老公却为了救他的小青梅和三只狗,延误了救女儿的黄金时间最终惨死医院。同一时间,婆婆的不看管,致使家里的大宝小宝溺死游泳池中。安抒抒痛失三个孩子,一夜白了头。从此,她褪下过去无用的温婉懂事,将自己磨炼成锋利见血的利刃,一刀一刀将恶人凌迟。葬礼上,缺失父爱的孩子们,到死也没等...
...
这是一朵表面白莲内心食人花受与疯批切片老攻相爱相杀的故事。演员楚时意外进入了无限世界,与新人玩家不同就算了,居然让他玩起了角色扮演!副本一顺序已调整任劳任怨捞起自己的老本,尽职尽责扮演着娇柔做作的人设。BOSS想他想他想NPC好漂亮的小东西~玩家他好娇,我好喜欢。副本二已完工凝视着和上个副本毫无差...
一朝穿越七十年代,成为了一个将要遭受迫害,面临下乡窘境的物理教授的女儿林听绾,无奈之下被迫相亲!据说那人比她大八岁带三个娃,还不能生育!别人避之不及,林听绾见之却眼前一亮,宽肩窄腰大长腿,一身正气不说,还是个妥妥的纯情小狼狗!结婚后,众人八卦的DNA启动!听说了吗?陆云铮带回来一个漂亮媳妇,可这后妈不好当啊...
闻家真千金被找回来了,还是个从山里出来,满嘴胡言的小神棍,整个圈内都等着看她笑话。短短几日,宋家那小霸王追着要当她小弟萧氏一族奉她若上宾特管局一处求她加入,玄门世家想要拜她为师闻曦小手一挥,直播赚功德水友大师,最近我总觉得被鬼压床了,还梦见诡异的婚礼现场。闻曦出门在外不要乱捡东西,你那是被人配冥婚了。水...