003文学网

003文学网 > > 科技尽头 > 092 雷声滚滚,一扫浊世

092 雷声滚滚,一扫浊世(2)

NPC问题,也就是NP完全问题

其定义为“给出一个含有

个逻辑变量的逻辑表达式,判断这个表达式是否可能取值为真,也就是判断这个逻辑表达式是否是可被满足的”因为这个定义,所以该类问题又被称作为“可满足性问题”

这里不需要管斯蒂芬·库克开了多大的脑洞,反正他通过这种方式证明了他提出的问题属于NPC问题之后,数学界著名的库克定理就此诞生“可满足性问题是一个NPC”问题

当斯蒂芬·库克完成了这个开创性的工作之后,次年得到启发的数学家便一连找出了21个NPC类问题比如大名鼎鼎的“哈密顿循环”、“背包问题”、“三位匹配问题”等等

当然最重要的并不是这些问题被发现,而是根据学术界对NPC问题的定义二:任何其它NP类问题都可以归约到这个问题,那么只需要找到任意一个NPC问题中多项式时间复杂度的算法,也意味着能够证明NP=

然而几十年过去,没有一个NPC类问题得到证明,所以主流学术界大都是认为NP≠P的

但如果说到证明这个理论,其实偶尔也会有数学家跳出来声称完全解决了这个问题,但不管是关于NP=P又或者NP≠P的证明,从来没得到过数学界跟计算机理论学界的承认

当然以三月负责任的教导态度,自然不会将这个问题直接抛给宁为就不管了

即便是更高深的数学内容,依然是循循善诱的解决模式

这次三月给宁孑出的问题是一个许多玩家都耳熟能详的华容道游戏

当然,并不是让宁孑玩这个游戏,而是让宁孑通过之前所学习到知识体系,尝试证明或者设计一种算法,让华容道游戏能快速得到结果的最优解,又或者证明根本不存在有一种通用解或者算法能让这个游戏存在最优解决办法

这显然是个非常让人头疼的问题,涉及到群论等诸多数学领域

标准的综合性难题

也让宁孑几乎不需要任何酝酿便陷入深度思索之中

……

作为这次复现试验当之无愧的主角,当宁孑接受了费米实验室的远程连线出现了在镜头前,几乎全球所有直播的画面都给了宁孑一个固定的分镜头,即便正式的试验过程还没开始

这个做法起码在华夏是绝对正确的

互联网具备着天然的放大效应,尤其是当一个人被放大到镜头前,被众人检视的时候不管是优点还是缺点,都特别容易被瞬间放大其中最直观,最容易判别的便是,外在形象的美丑

这个时代的和平国度给与国民最大的馈赠大概便是可以在网络上自由的表达喜好

比如疯狂的颜值党们帅即正义这种明显不太科学的宣言,市场却是相当庞大的

毫无疑问,起码从颜值上来说,宁孑是没什么可挑剔的,

点击读下一页,继续阅读 一桶布丁 作品《科技尽头092 雷声滚滚,一扫浊世

其他人正在读: 青山 养父 庆余年 弟弟太会撩!电竞男神直播强吻! 天人图谱 我的天,他做菜会发光 在美漫当心灵导师的日子 元始法则 仙人消失之后 没钱修什么仙? 穿越星际妻荣夫贵 阵问长生 谍云重重 重建修仙家族 从水猴子开始成神 异度旅社 夜无疆 逐王 叩问仙道 穿越东京泡沫时代 白手起家,蝙蝠侠干碎我的致富梦 多我一个后富怎么了 柯南里的捡尸人 文明之万象王座 东宫媚 大理寺小饭堂 仙工开物 道主有点咸 插翅难飞 华娱之2000
本周热门小说

青山 养父 庆余年 弟弟太会撩!电竞男神直播强吻! 天人图谱 我的天,他做菜会发光 在美漫当心灵导师的日子 元始法则 仙人消失之后 没钱修什么仙? 穿越星际妻荣夫贵 阵问长生 谍云重重 重建修仙家族 从水猴子开始成神 异度旅社 夜无疆 逐王 叩问仙道 穿越东京泡沫时代 白手起家,蝙蝠侠干碎我的致富梦 多我一个后富怎么了 柯南里的捡尸人 文明之万象王座 东宫媚 大理寺小饭堂 仙工开物 道主有点咸 插翅难飞 华娱之2000

年度热门小说:

天人图谱 许盛邵湛 重回1982小渔村 招黑体质开局修行在废土 1979黄金时代 晋末长剑 谁让他玩游戏王的! 从水猴子开始成神 第五形态 限时占有 开局金风细雨楼主,一刀惊天下 我有一个修仙世界 谁让他修仙的! 深入浅出 宿命之环 天命之上 穿越星际妻荣夫贵 提灯看刺刀 失婚 仙人消失之后 在美漫当心灵导师的日子 夜无疆 普罗之主 大道之上 四合院里的读书人 山野小医神 整座大山都是我的猎场 天倾之后 高武纪元 宋檀记事

最新更新小说:

楚剑秋柳天瑶混沌天帝诀免费全文阅读 绝世无双萧天策高薇薇 奶爸至尊之君临天下 天降魔主,拳镇山河 刚成大隋人皇,你跟我说这是洪荒 我登录了僵尸先生 满级悟性,我把下界打造成仙界 非常规数码宝贝 军营:对不起,我是纠察! 重明仙宗 从读书开始肝成仙武圣人 渡劫丹神 华娱:从神棍到大娱乐家 从皇宫禁军开始,分身遍御天下 医武高手秦君 同时穿越:全是深渊难度 香江风云:扎职为王 晚明风华 西游妖帝:从小蛤蟆开始 倒反天罡,我家王后要造反! 狐嫁新娘 从上海滩的人力车夫开始崛起 无限:反派的洗白之路 直播鉴宝:你这精灵可不兴育啊! 重生开个网吧,成了IT界公敌? 别胡说,我这是人皇幡 大玄第一侯 三塔游戏 大佬甜妻宠上天顾九辞霍明澈 骂我朝廷鹰犬?我乃大秦武圣!