手机浏览器扫描二维码访问
问题（第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） 糖炒栗子 侠客行（np） （人外）论活化石的新生活 我真没想过赚这么多钱 当年铁甲动帝王（重生） 养妖閣 快穿之大肚人生 我的生活有旁白 皇帝重生后只想当咸鱼 恶果 （年上 伪叔侄） 阶级跨越（NPH） 红碎因宵（伪骨科H） 归来[快穿] 完结+番外 对不起，我的爱人是祖国[快穿]
从斗破开始被女神云养
萧凡偶然穿越斗破苍穹世界，开启了属于自己的系统，从此过上了被云养的美妙生活。叮！妩媚妖娆的拍卖师赠送了您天阶功法！叮！风华绝代的女王赠送了您天阶斗技！叮！倾国倾城的宗主赠送了您九品丹药！叮！可御可萝的龙皇赠送了您斗圣级傀儡！叮！萧凡美美的躺在靠椅上，伸了个懒腰这世界上还有比被云养更美好的事情吗？本书又名我被斗破的女神云养了简介无力，请看正文！如果您喜欢从斗破开始被女神云养，别忘记分享给朋友...
重生之回到五岁
关于重生之回到五岁◆◆正剧版简介如果人生可以再来一次，你会怎么样？认真读书，努力赚钱，孝顺长辈，游戏人生。秦素素觉得自己是一枚废材的终极原因就是因为自己读书的时候没有认真的读书学到本事，所以长大了才会一事无成，许是她怨念过深，一次车祸，再睁眼，她带着记忆回到自己五岁的时候。人生再来一次，曾经逝去的亲人尚在，家境虽然贫寒，但父母感情和睦，素素决意利用多余的记忆改变自己和身边人的命运，决不叫此生再...
快穿我家大佬是病娇
团子几天前还为自己绑定了一个，善良温柔的小仙女宿主骄傲，尾巴都要翘上天了的和别的统子炫耀！现在却在冷风中被打脸！沐橙瑶，给人第一印象是，善良，温柔，阳光，平易近人。给人第二印象是，温柔的小仙女，但是有点小奇怪。给人第三印象是，这是个神经病。外表温柔的宿主，手撕厉鬼脚踩人渣，震惊所有人！被威胁的奶团子，总结了个经验！遇到这大佬，最好的办法是跑，赶紧跑，撒了腿的跑！不要向它一样，跑不了，只能咬着小手帕，在冷风中默默流泪！还要为自家病娇大佬操碎了心！不过当自家病娇大佬，遇到了冰山雪莲，虽然也是个黑心的，不过还挺甜的。改变不了现实的团子开始默默磕CP（有男主，女主病娇占有欲极强！双洁，男主不会喜欢别人）如果您喜欢快穿我家大佬是病娇，别忘记分享给朋友...
灌篮之核心球员
给自己的青春一个念想，想让遗憾没那么遗憾。如果您喜欢灌篮之核心球员，别忘记分享给朋友...
逆天强化
强化法宝强化灵根强化丹药！荒古圣兽可爱萌宠俏皮萝莉！路人甲法宝不够强力，愁呀！张天阳不怕，在下强化法宝是一绝！只要报酬高，连人都能强化！在这里你可能看到寒冰王座里面山丘之王风暴之锤的影子，还可能看到月之女祭司群星坠落的壮观！九天玉佩（极品道器）防御橙色等级（防御60）阵纹十级阵纹108技能一绝对防御（十级圆满，可控）技能二瞬移（十级圆满，可控）特性一神慧（悟性60）特性二法力回复100特性三神识回复100特性四施法速度100特性五灵气吸收速度100（欢迎加入书友交流群564426647）如果您喜欢逆天强化，别忘记分享给朋友...
全球灾变：我把世界制成了卡牌
丧尸异能卡牌宠物非战斗人员请撤离萧升刚成为一名制卡师不久，全球灾变。技能卡冰锥术，雷击万钧，死亡凝视道具卡钢刀，寒霜匕首，储物空间召唤卡封印万物为自己的属下，丧尸，变异动物，高冷美女别人还在为一口面包争抢的时候，萧升大口吃着炸鸡，甚至配了一杯冰啤。别人还在为一个安全的庇护所大打出手的时候，萧升奴役数万丧尸为自己巡逻。培养一个老婆当首领，自己只要掌管所有物资，当好后勤部长就好了。这个末世，他只想混一个好日子，顺便成为一名优秀的制卡师。定个小目标，把脚下这颗星球制成卡牌！如果您喜欢全球灾变我把世界制成了卡牌，别忘记分享给朋友...