手机浏览器扫描二维码访问
这位大牛研究的是理论计算机科学和离散数学,曾于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年国际数学家大会上的报告论文。”
“你可以看看引用行中的第六个,特雷维桑教授已经做了相当完备的解释。”
听到自己提了一个早已经被人解决了的问题,这位来自爱丁堡大学的博士生顿时脸色一红,细若蚊声的道了一句‘谢谢’后一脸尴尬的坐了回去。
学艺不精是一回事,勇于在报告会现场提问也是一回事,哪怕提了个错误的问题也算不上什么。
但是很显然,这种心中有了疑问,连引用论文都不会去看,也不会去事先搜索寻找是否已经有解决答案的问题,提出只会被人耻笑。
.......
我与权相有个崽 觊觎公主姐姐 美人多娇+番外 八零:踩渣夫虐恶妇!闪婚最猛硬汉 论女神的倒追/岁月里有最美的你+番外 我回来爱你了+番外 娇妻虽渣但沙雕+番外 黑莲花重生,和病弱小公爷杀疯了+番外 他的掌心娇+番外 快穿:病娇反派哥哥好危险 惹婵娟/我的蛇蝎娘子+番外 她说我入戏太深 王爷请自重 倌爷+番外 人生重启二十年 玉楼人醉杏花天 少帅霸妻,强扭的瓜不甜也得甜 一人之下:带着十四亿人成仙 倾国/艳杀天下+番外 仙府:资质平平的我只好苟出长生
关于都市圣手神医林天本是公司里一个小员工,因陷害而被开除,就连老天都不给脸色,让他倒霉。但无意中,林天激活祖上留下的玉佩,拥有无上医术。能起死人肉白骨,更能杀人于无形。他可拳打黑暗王者脚踢系...
关于田园如画骄阳入我怀穿越种田甜文杨初夏,江湖人称杨怼怼,曾舌战清大无敌手,有天一觉醒来成了个古代小农女。气煞人也,我拿作乱的老天爷没办法,还怼不赢你这渣叔恶奶嘛,她的名号可不是吹出来...
穿越成为花木兰的未婚夫,赵俊生表示鸭梨很大!刚开始花木兰只是一个温柔贤淑的小女孩儿,可她却代父从军,在军中磨砺成了一个的杀伐果断战功赫赫的女将军,赵俊生有点儿担心婚后会不会遭到家暴。可是我怎么有点儿享受的样子,难道我有小受的潜质?赵俊生对自己内心的感受颇为吃惊。是选择做这个成功御姐背后的那个男人,还是选择振兴夫纲当家做主?如果您喜欢我老婆是花木兰,别忘记分享给朋友...
五洲史小扎记载乱世四百三十年,齐南战败西北,齐南王大怒,长孙祸起,全族被灭,血流千里,长孙小将军手持长剑只身挡千军万马,孤身不敌。被逼至家族祠堂前,呕血咒言天道不公,欺我族人,亡我将士,英魂厉鬼,必让尔等血债血偿。三月大雨,六月飞雪,天大冤情埋于黄土。跳鼎殉剑,一朝身死,经年后,她化身剑灵嗜血归来,长剑在手,十步一命,脚下白骨累累,却惹上了昔年被天下人嗤笑的小胆子侯爷,装弱不要脸的躲在她的身后求保护。玥玥,我今个儿上朝参了李文相一本,他肯定会暗下杀手,求保护。玥玥,王上要猎场围猎,我不会射箭,求带求保护。玥玥,他们送来的马儿太烈了,我不敢过去,求保护。玥玥,最近我屋子里老有咯吱咯吱的声响,我害怕,求保护。众人嗤笑这手握齐南所有兵权的将相侯爷不会武功?不会射箭?不敢训马?开玩笑吧,于是众人再叹,侯爷不要脸,五洲四国天下第一。乱世群雄辈出,往事尘封归来,她乱世而起,剑指昔日君王,他俯首送上五洲兵防,数十万大军撑她身后,与她并肩而立长孙玥,称帝吧五洲史,将出兵,文出将,忠诚无义可笑可笑。朝堂上,府邸里,阴谋论,情深及,叫声玥玥保护保护。如果您喜欢重生后夫人每天都想报仇,别忘记分享给朋友...
是男人都有需要,你们这些小妖精,不要成天在俺面前晃悠,小心俺忍不住把你们统统推倒!是男人都有脾气,不管你是什么长着翅膀的血族亲王,还是什么教皇陛下,请不要在小爷面前蹦跶,惹恼了小爷一样把你们全部干掉!我是菜鸟,也是极品美女的贴身保镖!...
我是你的,是你一个人的,不要推开我!一日为师,终身为夫。姐姐,占了我的便宜,还想跑?不曝光不给碰!女人,你敢不要我?雷霆雨露皆是君恩,朕的爱,你收好便是!懒腐宅丧的网文作者萧轻歌被系统套路,穿梭三千位面收集主角气运,她勤勤恳恳做任务,然而却总是桃运缠身,命中带煞,此乃桃花死劫也。不管她躲到何处,都能遇到一个姿容绝世,浪到没边的缠人小妖精。轻轻,人家已经把床暖好了!滚!无数年后,某女看着身旁惨遭摧残的某男,无奈叹息道总有小妖精勾引我堕落!女主渣女本渣,提上裤子不认人,男主骚浪贱,身娇体软易推倒勾人小妖精,本文1V1,女宠男,不喜勿入如果您喜欢快穿妖孽男神缠上身,别忘记分享给朋友...