手机浏览器扫描二维码访问
问题（第1页）
数学中有个规律，越简单的描述，意味着越艰难的证明。
pnp问题由stevena.cook于1971年首次提出年提出，2000年美国克雷研究所将之公布为千禧难题之一，至今仍悬而位居。
1971年、2000年、并至今，数不清的数学家前赴后继，试图对它发起挑战。
而林朝夕之前从没想过，这些数学家里，也包括她的爸爸。
甚至，直到她完全捋清时间线后才意识到，老林对pnp问题感兴趣的时间远在它成为千禧难题之前。
“老板，来一听可乐。”林朝夕很高兴，她红着眼眶，大声喊道。
服务员投来一瞥，嫌她太神经，不过还是拿来可乐和两个塑料杯。
“刺啦”一声，林朝夕打开易拉罐，把一听可乐倒两杯。
泡沫咕噜咕噜满溢至杯口，她和老林不约而同举杯轻碰。随后。他们一口气喝了大半杯，同放下杯子、抹抹嘴。
林朝夕：“所以冯教授发表的那篇论文，究竟有没有证明……？”
“不算正式发表，只是发个草稿，在走正式发表的审稿流程。”老林打了个可乐味的嗝。
“你果然一直有关注这件事！”
“咳”老林瞪大眼：“怎么还给爸爸下套呢？”
“因为我总觉得，爸爸瞒着我一些事情，故意不告诉我。”
“想象力过于丰富了啊。”
“那你为什么不告诉我，你和曾教授、裴之一样，都有研究pnp问题？”
“注意你的措辞，什么叫我和他们一样，明明是我先，而且……”老林顿了顿，竖起三根手指，“三个月前你知道什么是pnp，我和你一个哲学生聊什么？”
林朝夕瞪大眼，再次被噎住：“您这属于学科攻击了啊？”
老林“哼哼”两声，很骄傲地不说话了。
老林说得没错。
对她来说，这是横跨两个时空很长一段探索时间。而对老林来讲，三个月前，她还是个对数学兴趣全无的文科生。他和她在数学方面，很难再有过共同语言了。
不过幸好，他们现在可以聊一聊了。
关于pnp，在那次裴之主持并翻译的讲座后，老林其实已经给她讲过不少。
如果一个问题能在多项式时间内找到算法，那么它就是p问题。
而np问题，则是指那些我们无法用快速方法找到答案，但如果给出一个解、我们能在多项式时间内验证它的问题。
在np问题中，有一类特别难的问题，称之为npc问题。
npc问题有两个重要特性：1.它是一个np问题；2.所有np问题都可以归约到它。
stephena.cook于1971年发表了thecomplexityoftheorem-provingprocedures，提出np-complete问题这一概念。并通过非确定性图灵机，证明布尔逻辑的可满足性问题（sat问题）是一个npc问题。
而老林选择的切入点，是精确图同构问题。
面店里生意好到不行，差不多他们聊到一半的时候，红油面才上来。热辣的面汤，配上翠绿葱花，很让人有食欲。
老林挑起一缕面，展示给她看：“自从有了sat问题，一大堆npc问题就随之而来。要证明一个新的npc问题，只需要要把一个已知的npc问题归约到它，即可。”
“听上去好像有点简单。”林朝夕咬了咬筷子，“那为什么精确图同构至今没被证明是否属于npc问题？”
“有两种可能。”老林说，“第一，精确图同构本身不属于npc问题，所以无法被证明。”
“第二呢？”
“第二当然是数学家能力不够证不出来，还有什么原因？”
但求其爱（年下1V1） 糖炒栗子 他曾踏光而来 （人外）论活化石的新生活 用霸总光环拯救双性男主 皇帝重生后只想当咸鱼 重生之全职业巨星 渡我（1V1 双C） 养妖閣 我的生活有旁白 快穿之大肚人生 我真没想过赚这么多钱 对不起，我的爱人是祖国[快穿] 和得罪的霸总上恋综后 当年铁甲动帝王（重生） 归来[快穿] 完结+番外 阶级跨越（NPH） 侠客行（np） 红碎因宵（伪骨科H） 恶果 （年上 伪叔侄）
从僵尸开始的港综
穿越变成僵尸，就遇到了九叔。躲起来睡几十年时间升个级，九叔该没了吧？可在现代醒来之后却发现，有一个警察叫风叔。别骗我，这不就是九叔吗？等等，这个叫余铁雄的中二学生是怎么回事？这个叫左颂星的赌棍又是怎么回事？还有这个收破烂的阿星，为什么要唱少林功夫好？还说以前少林寺比罗刹门更厉害？港综世界，从变成僵尸开始。如果您喜欢从僵尸开始的港综，别忘记分享给朋友...
我被国服大佬团宠了
传言，陆男神只喜欢玩游戏，不喜欢女人。为了打破传言，安辰星发起进攻，游戏里，现实中，对男神展开猛烈追求！小哥哥，你缺女朋友吗？我玩游戏菜，但我骂人贼溜，还会喊666！不缺！任何人都逃不过的真香定律，迟早会出现！陆男神我还缺一个女朋友，你要不要来试试？安辰星我不要！陆男神那你缺男朋友吗？安辰星嗯，真香！PS前期女追男，后期男追女！如果您喜欢我被国服大佬团宠了，别忘记分享给朋友...
毒舌神探魏西里
血腥密室，内脏全无的尸体，疯狂的杀人游戏，神秘的死亡预言，可怕的食人魔。诡异的鲜血八卦，吓破胆的剧情，猜不到的凶手。尽在两个胖子历险的经历当中，警队之耻能否逆袭，身患绝症能撑多久？本文没有一个愚...
都市极品医圣
关于都市极品医圣我有一根银针，可除疾破邪驱魔定乾坤！且看江守道，如何一步步成为名满天下的一代医圣！...
五代枭雄
这是一个波澜壮阔的时代，也是一个黑暗的时代。这里有流芳千古的英杰，也有遗臭万年的汉奸。李煜说只爱美女，不爱江山。柴荣说这天下，本该是朕的。赵匡胤说朕来接手！赵光义呵呵一笑，说美女，江山，都是朕的！杨琏说滚犊子，都给老子跪下！灭南唐，复旧国伐后周，击契丹，一统天下。周娥皇说陛下诗词高绝，臣妾不如。符金盏...
顾医生的小霸王又飒又暖
1v1双洁女追男从校服到婚纱女老师×男医生暖甜小霸王×腹黑大冰山高中时，喻书眠的魂儿就被顾言之勾着到处跑。三年同桌，每天跟在顾言之屁股后面，无事就献殷勤。顾言之，你去哪儿我就追到哪儿！喻书眠发誓要翻身咸鱼变锦鲤！扬言要把这座大冰山拿下！迟早办了他！从南高追到了川大，从校服追到了婚纱，从学校追到了医院。那个夏天，顾言之拥她入怀，在她耳边低吟魅惑道是谁说要办了我？我说的，怎么了？！喻书眠开始怂了，看到男人微微勾起的嘴角，不好的预感袭上心头，撒腿就跑。现在想跑？已经晚了！顾言之将这只小绵羊一把拉了回来圈进自己怀里。将头埋进她的颈间，炙热魅惑的气息晕在喻书眠浅浅的梨涡上，惹得心中悸动。今天就遂了你的愿，任你处置。等等她怎么觉得好像中计了？顾言之这只老狐狸向她压来，不给她留喘息的余地，吃干抹净才罢休！PS甜中带小小小刀！男女主智商在线双学霸。书名又为与心上人势均力敌如果您喜欢顾医生的小霸王又飒又暖，别忘记分享给朋友...