主题:
字号:
16
行距:
2.0

第四百二十二章:郝晓晞的震惊[3 / 3]

不少的数学家纷纷举手。

“杨先生,您在引理1.1中,构造了从任意EXP语言到Circuit-SAT的归约。您能更详细地说明,这个归约是如何在多项式时间内统一地为所有输入长度生成电路的吗?是否存在某种非构造性的选择公理使用?”

“杨博士,您的证明核心依赖于两个‘外部’引理:1)P=NP??EXP??P/poly,2)MAEXP??P/poly。如果这两个引理中任何一个在未来被发现存在瑕疵(即使原论文被广泛接受),您的整个证明就将崩塌。您有没有尝试寻找一条不依赖如此强外部引理的证明路径?”

“杨先生,您声称P=NP会导致PH完全坍缩至P,这是标准结果。但将MAEXP=EXP通过‘填充’技术提升时,输入长度的指数拉伸是否会引入新的复杂性?您是否隐含地假设了某种均匀性条件,而它与P/poly的非均匀性模型存在冲突?”

………

面对众人的询问,杨学斌沉着冷静地回答,也非常地详细。

如此又过了一个小时。

他再次喝了口水,问道:“大家还有没有问题?”

许久都没有人再举手。

刘建明见此,率先鼓起了掌!

啪啪!

随后,大家纷纷鼓掌。

就目前而言,大家都没有挑出杨学斌证明的破绽,其实并不代表这篇论文就完全正确了,接下来大家还会回去继续验证。

当有人完全弄懂的论文,才会宣布这篇论文的成功。

最后当有很多人都支持这篇论文,且没有人提出异议后,才算确定这篇论文是成功的,也就是得到全球数学界主流的认可。

杨学斌笑了笑。

他朝台下挥了挥手,便离开了报告厅。

刚走出报告厅,一个西装革履的中年华人便快步迎了上来:“杨博士您好,我是大使馆的工作人员徐翔,我们大使想见您,不知道您现在方不方便?”

我在永夜打造庇护所
中世纪的兔子
纯阳之体的我不想吃软饭
只身闯小说
修仙的我却来到了巫师世界
食草凯门鳄
家侄崇祯,打造大明日不落
薛定谔的虎
和禁欲医生闪婚后,渣男他慌了!
酷酷罗
逼我当神豪是吧
云里狂生
三国:刚穿越就被刘关张绑票
天怒人怨的孙佳豪
非正常女天师
吞鬼的女孩
萌妻软乎乎,腹黑老公宠上天
初雪暖心
渣男不配,他哥才是顶配
锦瑟澜
仙业
鹓扶君
网恋翻车后,我被阴湿病娇缠上了
鹿辞
四次入伍,我被军区拉进黑名单!
因果逆转
换嫁叛臣府
檀墨
都荒岛了,还要我惯着她们?
百祭
怪猎:我能听到怪物心声
桃花伴酒
玩家们的NPC大爹
玖武珥绮
得到空间的我在饥荒年代吃饱穿暖
风中折腰
一胎五宝,我成军属院顶流
喵晓柒
拒当通房丫鬟后
鎏澜
亡灵之息
羽民
我建立了收容组织
赤亦生
龙头至尊
简单的鱼
长生天阙
书寒
想吃绝户?没门,暴富养崽爽翻天
是小七丫
温顺小娇妻,离婚后一身反骨
一群秀秀
被迫进入了恋爱状态
旧日闲吟
塑料兄妹上啃老下啃小
塑料闺闺
高武:我成了主角要覆灭的小反派
蓝谙
弥月惊鹊
花惊鹊
全民游戏,我搬运小说开创功法
摆烂的游鱼
全民御灵,我的灵宠是女僵尸叶凌
七七椰奶
无限轮回:求生从石村号开始
要吃面包
八零:带着绝美老婆和崽,顿顿吃肉!
盛宴之后
公若不弃,愿拜为义父
辣酱热干面
重生不当接盘侠,开局转身赚百亿
凌烟阁主
没监控敢讹我?不知道我五行缺德
一粟之
茶茶圣女的千重套路
点涡
尊敬的扫帚骑士大人
纳西利亚
神雕:重生尹志平,不当龙骑士
泡泡追泡泡
财阀小甜妻:老公,乖乖宠我
花惊鹊
重回1982小渔村
米饭的米
第四天灾从不相信钢铁洪流!
喀秋莎第一可爱
修仙界只有妖女了是吗
月下千早
四合院之扮猪吃老虎
戈壁孤狼夜
青山
会说话的肘子
仙命在我
杜养吾
半岛头号玩咖!
HKDoll
被夺一切后我成了仙道魁首
盛唐无夜
重生鉴宝:我真没想当专家
眀智