手机浏览器扫描二维码访问
这位大牛研究的是理论计算机科学和离散数学,曾于2007年-2010年担任过国际数学联盟主xi一职。
虽然他没拿到过菲尔兹奖,但沃尔夫奖、高德纳奖、哥德尔奖、京都奖这些顶级的数学奖和计算机将他都拿了个遍。
可以说在计算机科学和数学交织的学科,是说一不二的真大佬。
这位大牛站起身后,看了一眼报告台上,又低眼看了下手中的笔记本,用平铺直叙的语气开口道:
“在报告论文的第二十三页,我有注意到报告者在对群c(K)的阶数h(K)=|c(K)|叫做数域K的理想类数进行描述时,完成了证明:h(K)=1当且仅当环oK中每个理想都是主理想,也当且仅当oK具有唯一因子分解性质。”
“关于这一部分,请问报告者是如何得出来的?”
听到这位大牛的提问,刘嘉欣快速的将平铺在报告台上的证明论文,找到了拉兹洛·洛瓦兹教授所说的问题。
看着上面的公式,她快速的开口回道:“对于许多种类型的数域,对于给定的有限交换群G,在判别式d(K)6x的所有这类数域中,类群为G的所占比例当x→+∞时存在极限a,并且它们给出非负实数a的计算值......”
“而在第二十三页证明公式中,我完成当d(K)通过所有的素数时,所有d(K)6x的实二次域当中类数为1的证明.....”
简洁而又清晰的话语从刘嘉欣口中快速道出,报告台下,拉兹洛·洛瓦兹目光中带着一丝若有所思的神色,随即转变成了赞许。
他笑着点了点头,道:“谢谢。”
拉兹洛·洛瓦兹的提问结束后,提问环节继续进行。
第二个站出来提问的同样是计算机数学领域的大牛,2006年奈望林纳奖得主。
《大正整数因子分解具备多项式算法》证明是p=Np?猜想的核心难题,对于数学界来说,它是千禧年难题的重要组成部分,是世界级的猜想,难度很大,但对于纯粹数学的发展而言,意义却算不上多大。
不过,对于计算机数学的发展来说,却可谓是巅峰级的存在。
犹如此前徐川完成的杨-米尔斯存在性问题一般,对于数学界而言,它只是一个极其难解的微分方程,抛开在这个过程中创造的工具和其他的收获来说,解开它能得到的是一个答案。
但对于物理学界来说,它却是支撑理论物理学再度往前走的重要基石,是完成大统一理论的必经之路。
因此,会场中,站起来提问的学者相当的多。
当然,并不是所有站起来提问的学者都是大牛,也都能提出精准而又有水平的问题。
比如某位来自爱丁堡大学的博士生,就提出了个丢脸丢到全世界的问题。
“请问在第四十七页中,近似算法的运行时间和近似保证之间的权衡,平方和层次结构可以适用于指数级时间的近似算法,n表示图的顶点数r可以是任何大于1的正实数(可能取决于n),这一问题报告者是如何得到这一证明的?”
这个问题一出,大礼堂内顿时就骚动了起来。
窸窸窣窣的交流声在宽敞无比的礼堂内交织着,不少人向这位站起来提问的博士生投去了诧异、惊讶、疑惑甚至是嘲笑的目光。
听到问题,报告台上,刘嘉欣都有些诧异的愣了一下,随即确认了一遍问题后,开口解释道:“顶点覆盖、均匀最稀疏割及相关问题的适度指数时间近似算法,这并非我的证明结果。”
“如果我没有记错的话,在后续的解释中,有引用卢卡·特雷维桑教授在2018年国际数学家大会上的报告论文。”
“你可以看看引用行中的第六个,特雷维桑教授已经做了相当完备的解释。”
听到自己提了一个早已经被人解决了的问题,这位来自爱丁堡大学的博士生顿时脸色一红,细若蚊声的道了一句‘谢谢’后一脸尴尬的坐了回去。
学艺不精是一回事,勇于在报告会现场提问也是一回事,哪怕提了个错误的问题也算不上什么。
但是很显然,这种心中有了疑问,连引用论文都不会去看,也不会去事先搜索寻找是否已经有解决答案的问题,提出只会被人耻笑。
.......
少帅霸妻,强扭的瓜不甜也得甜 人生重启二十年 倌爷+番外 娇妻虽渣但沙雕+番外 我与权相有个崽 我回来爱你了+番外 论女神的倒追/岁月里有最美的你+番外 王爷请自重 她说我入戏太深 倾国/艳杀天下+番外 他的掌心娇+番外 仙府:资质平平的我只好苟出长生 一人之下:带着十四亿人成仙 玉楼人醉杏花天 惹婵娟/我的蛇蝎娘子+番外 觊觎公主姐姐 美人多娇+番外 黑莲花重生,和病弱小公爷杀疯了+番外 快穿:病娇反派哥哥好危险 八零:踩渣夫虐恶妇!闪婚最猛硬汉
乔菁菁穿书了,穿成了书中权臣早年退婚的未婚妻。原主为了一个渣男,想与未婚夫退婚,为此还以死相逼,如愿嫁给渣男后,却落了一个凄惨的下场。乔菁菁不想步上原主的后尘,看着上门来解除婚约的优质男人,死活不肯退婚。如愿嫁给男人后,另一个烦恼,接踵而至。面对急于抱孙子的公婆,她有苦说不出。谁能想到看起来身体强壮健康的男人,竟有不为人知的隐疾?面对她的勾引,坐怀不乱不说,更是一点反应都没有。某日,她与男人商量不如我们去外面抱一个,谎称是我俩生的孩子?男人抬起眸,神色错愕地看着她,夫人为何有这样的想法?乔菁菁瞥了他一眼,隐晦提醒趁旁人还不知道夫君身体有恙,尽快抱养一个孩子,才是正途。男人良久没有说话,但俊脸却黑成了锅底,手指轻敲着桌面,让夫人误会,是为夫的不是。此后三年抱俩的乔菁菁大意了。...
唐恒穿越平行世界,成为一名短视频制作者,突然获得一个视频网站的邀请视频网站名为‘鸿蒙诸天’,竟然能够连通各个武侠世界,发布视频不仅能够让诸天万界的武者看到,还能获得奖励和打赏唐恒将信将疑的上传了一部诸天万界十大剑神盘点的视频陆小凤十大剑神盘点?必有西门兄一席之地!这独孤求败到底是谁啊?剑道境界竟然有五境?接下来,像什么诸天万界十大阴险人物盘点诸天万界十大绝色盘点在诸天万界引起了巨大轰动如果您喜欢视频通万界,开局盘点十大剑神,别忘记分享给朋友...
沈子曦(咬牙切齿)穿越之后才发现男神丈夫是女主的忠犬,为女主生,为女主死,为女主干掉炮灰原配,顺利爬墙尼玛,这个男人竟然敢给老娘戴绿帽,看咱不整死这对狗男狗女!谢逸棠(嘴角抽搐)小曦,别闹,咱们回家吃药野心勃勃的白秀丽重生了,上一世虽然享受众多优质男神给予...
离去十年蹉跎岁月,归来已是勇者无敌。如果您喜欢归来之前缘未了,别忘记分享给朋友...
家里的桂花树成精了!带着意外身亡的梅梦珍回到了2007年。看着父母留下的3200块钱,梅梦珍决定带着弟弟摆脱贫穷。人家都说大隐隐于市,那她就小隐隐于菜市场。本想利用空间赚点生活费,谁知这个生活费渐渐地有些不受她的控制啊!本文事业主线,cp副线已有完结文重生之年代纪事重生之倩女纪事更新有保障,欢迎入坑。如果您喜欢重生后我靠种田逆袭了,别忘记分享给朋友...
作为曾经的王者,夏天感到压力很大。因为他永远不知道那些纨绔恶少为什么总会有事没事挑衅,也不知道那些各色美女为什么哭着喊着喜欢自己。刚刚报得大仇,夏天低调归隐国内,一次莫名其妙的偶然,他成了俏总裁的同居男友。泡美女,斗阔少,打恶霸,踩纨绔,他披着人畜无害的外表,干着惊天动地的勾当。美女们很纠结,当她们决定深度揭开他的...