第十五章 寻找证据（1 / 1）

扪心自问，像上官凛这样美丽耀眼的女子，在这世上真的存在吗？

也许没有，也许有，但，凛现在的样子可是素颜！

而那些所谓美女，即便再怎样沉鱼落雁、倾国倾城，可一旦卸了妆、卸了PS之后又会如何……

回想从小到大，二十几年的人生经历，自认并非一个不食人间烟火的人，不论亲眼所见、还是在媒体上目睹，拜信息技术之发达，多少年来见过的美貌女子恐怕数也数不清，然而，现在认真思考一番，方然却发现，没有哪个记忆中的女性比眼前的上官凛更美，更富于魅力，甚至，更能激发男性最原始的欲*望。

这不正常，一点都不正常，内心深处的某种声音在提醒他，让他不得不正视凛提出的一种可能。

但是，要证明“凛是外星人”——真是挺老套的说法，又需要怎样的证据？

思前想后，有那么一两秒钟，从来对弱智科幻影视嗤之以鼻的方然也不禁心头一寒，他不由得想起，那些粗制滥造、或者不那么粗制滥造的好莱坞作品，里面的邪恶外星人，要么披上人皮、要么直接变形，总之，都是外表像人、内里恐怖无比的怪物。

那么眼前的上官凛，会不会也……？

这种念头，一旦出现就没法轻松掐灭，但不管怎样，若有所思的仔细打量一番，方然很快承认，他没有能力从外观上辨别凛是不是人。

或者，是不是恐怖的怪物？

他完全看不出来。

既然如此……

这时，方然倒有了一点计较，不管怎样，倘若面前的少女并无恶意，他怎么问都无不可。

反过来，倘若沙发上的并非人类、而是怪物？

那么，既然已经落入魔爪，那他怎么问也一样无所谓了。

“好吧。看来你是认真的——”

“——当然。”

“那我也就开诚布公的问了，凛，你既然自称为‘外星人’，那么可不可以首先回答我一个问题：你的本来面目是什么？

是怪物，是机械，还是力场、精神之类的存在？”

“什、什么啊，你看我像么？

恕我直言，方然，你好像并没理解我刚才的话，至少也没有认真听，”怎么说也还是一个小姑娘，现在呢，居然被对面的男人怀疑是怪物，上官凛少有的眉头一皱、怒气稍显，但，现在可不是和这思维独特的家伙争论的时候，

“我是说，‘我们不是一个世界的人’，听清楚了么？

‘人’、而不是怪物！

虽然从生物学的角度，差异多少总有的，但——绝不是怪物，而是表里如一的，睁大你的眼睛好好看清楚，可以么。”

“啊、别动气么，我只是问一问而已……”

表里如一吗，方然有点冷汗涔涔。

说真的，和上官凛相处了这几天，他还是头一次见她冲自己发火；眼前的姑娘不知是何方神圣，但爱美的心态倒是和一般人别无二致，于是他摆摆手，算是向凛道歉，然后集中精神思考今天的核心问题，寻找一个切实可行的辨别方法。

假如，仅仅是假如，面前真的坐着一个外星来客，要怎么验证？

尤其是这“外星人”，看上去和地球人还很像，肉眼根本无从分辨的时候……

想到这儿，方然倒有了一个初步的概念。

外星人，既然能来到地球，那怎么说他们的科技水平也会比地球发达得多，那么，只要从他熟悉的领域里找一些技术上的难题，看上官凛她能不能答得上来，问题就解决了、不是吗？

“凛，我有一个想法。

既然，你声称自己是‘来自另一个世界的人’，”这说法有点灵异啊，方然讪讪的想，另一个世界该不会是天堂或者地狱吧，“既然能来到地球，那么，可以认为你们的世界，科技水平要比地球的现有水平高很多，是吗？”

“恩，的确如此，——是的、我也想到了呢，你不妨问一下科学技术方面的问题。”

“真的啊，让我想想……”

一时间，方然产生了一点错觉，他觉得自己俨然在面对上帝、像个懵懂的五岁孩童那样发问，但要说问题，那简直信手拈来，于是想也不想就问到：

“凛，那你说说，P/NP问题究竟可不可以判定，或者说，P=NP是否成立？”

P/NP问题，数学领域的一个未解之谜，方然的了解不多。

大概说来，这个命题的意思是“存在解决算法、且时间复杂度为‘多项式’的问题，称为问题P，而只存在验证算法、时间复杂度为‘多项式’的问题，称为问题NP；那么，NP问题能否被转化为P问题？或者说，如果一个问题，能在多项式时间内验证特解是否正确，是否就能在多项式时间内得到所有的解？”

这个问题，看起来有点晦涩，却是动用数学工具分析、解决问题的原则性依据。

举例说明的话，对一个NP问题，如果能确定其“有多项式级别的算法”，那么设计这样的算法、并动用计算机加以解决，从工程角度讲就是可行的；反之，如果不存在这样的算法——说白了就是这一问题的解法计算量都很恐怖，那么原则上讲，即便有再快的计算机，要解决这类问题也是希望渺茫。

自从归纳出P/NP问题以来，人类一直在尝试解决，但，至少就方然所知，直到目前都没有答案。

随口问一下P/NP，话说出口，方然忽然有点莫名的兴奋。

这种兴奋，大概是来自于一种臆想，倘若上官凛真是“外星人”、而不是一时兴起恶作剧，那么，如果她给出答案，对人类世界的算法研究、问题解决，该会有多么划时代般的推动！

不过，这种兴奋，持续了没几秒，就被凛的回答冲的一干二净：

“P/NP……是‘算法判定问题’么？

很遗憾，这一问题，我、和我的文明无法回答，因为我们也不知道答案；虽然，从实证主义的角度，我们倾向于认为‘没有这样的判定算法’。”

“哦……是吗。”

这小姑娘，她真的知道P/NP问题呢！

这是方然的第一个念头，然后，就是淡淡的失望，虽然他明知希望十分渺茫。