本站最新域名 m.boshishuwu.com

p;   半个小时过去了，报告会逐渐进入尾声，然而台上的刘嘉欣却是不敢有丝毫的松懈。
    
    因为接下来的提问环节，才是整场报告会的核心部分。
    
    首先站起来进行提问的，是来自匈牙利着名的数学大牛，拉兹洛·洛瓦兹。
    
    这位大牛研究的是理论计算机科学和离散数学，曾于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年国际数学家大会上的报告论文。」
    
&n阅读模式加载的章节内容不完整只有一半的内容，请退出阅读模式阅读

阅读模式无法加载图片章节，请推出阅读模式阅读完整内容

『加入书签，方便阅读』