小说屋

手机浏览器扫描二维码访问

第七百一十四章 什么才叫真正的养成（第3页）

可以说在计算机科学和数学交织的学科，是说一不二的真大佬。

这位大牛站起身后，看了一眼报告台上，又低眼看了下手中的笔记本，用平铺直叙的语气开口道：

「在报告论文的第二十三页，我有注意到报告者在对群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年国际数学家大会上的报告论文。」

「你可以看看引用行中的第六个，特雷维桑教授已经做了相当完备的解释。」

听到自己提了一个早已经被人解决了的问题，这位来自爱丁堡大学的博士生顿时脸色一红，细若蚊声的道了一句‘谢谢"后一脸尴尬的坐了回去。

学艺不精是一回事，勇于在报告会现场提问也是一回事，哪怕提了个错误的问题也算不上什么。

但是很显然，这种心中有了疑问，连引用论文都不会去看，也不会去事先搜索寻找是否已经有解决答案的问题，提出只会被人耻笑。

.......

免费阅读.

和黄濑的假情侣倒计时  绝颠苍穹  名柯万人迷  媚眼如丝  最强反派系统  异能力是生活玩家  七零戏精娇娇女，被大佬赖上不离婚了怎么办  穿至兽世当兽医[种田]  捡到一头恶犬  合理论证森首领在哥谭建立三刻构想的可能性  铜雀台  柯学恋爱养成但互动测试  逢春  生子系统：惊呆子嗣凋零皇室！  星神脑电交流中心  重生后病弱摄政王只想追夫  绿茶女配能有什么坏心思呢  小说家多开几个马甲怎么了  人在秦时，浪到失联  港口Mafia的野玫瑰