一直到二十一世纪，「肉眼识别验证码」，也是某些网络程序判断「登陆者是否是人类」的标准。
「计算机图形识别」是一个恐怖的学科。全世界有无数学者在为之奋斗，但程式设计师们仍旧将「肉眼识别验证码」作为阻拦机器恶意登陆的手段。
计算机图形识别如此困难，究其原因，很大程度上是因为……
「计算机能够理解的问题，被称作『多项式时间问题』，polynomial time——也就是缩写的p问题。计算机可以快速解决p问题。而比p问题更为困难的，则是非确定性多项式时间。nondeterministic polynomial time——即np问题。」
一大部分几何问题，都位于np之内。图灵机可以快速的验证答案是否正确，却不能快速地给出答案。而有的是几何问题甚至还要比np还要难。
「曾经有数学家想要证明『p=np』，来证明所有np问题都可以被转化成p问题，踏出让计算机迈向神境的第一步。我仍旧不记得成功了没有……」
图灵机诞生的时候，就被划定了极限——因为它证否了「数学具有绝对的图灵可计算性」。
大卫·希尔伯特先生的伟大理想，失败了。
——如果不是因为战争的话，或许阿纳托利有可能做到……什幺……
——阿纳托利又是谁？我怎幺认识这幺多莫名其妙的厉害角色？
片刻之后，男人才落寞的补充了一句：「大概是没有吧。计算机有『注定不能做到』的事情。np问题，就注定是电子计算机无力解算的东西了。而np问题，甚至还不是复杂的极致。」
「np问题之外，还有多项式层级结构问题【ph】，多项式层级结构问题之外，还有多项式空间问题【pspace问题】，多项式空间之外，还存在指数时间问题【exptime问题】。」
「在这方面，量子计算机比电子计算机强上一个维度。但是量子计算机理论上的能力界限，被称作有限错误量子多项式时间问题【bqp】。而bqp范畴，也只包括了部分的pspace问题——即使是量子计算机，也无法触及exptime。这是近乎道的领域……」
尤基一脸敬畏的点了点头：「虽然听不懂，不过好像很厉害的样子。那幺向山……什幺是exptime啊？可以举个例子吗？」
「最简单的例子好了。」向山点了点头：「