需要两个月,他手下的研究生就能彻底攻克这个问题。
但事实是,这是不可能的。
一直到二十一世纪,“肉眼识别验证码”,也是某些网络程序判断“登陆者是否是人类”的标准。
“计算机图形识别”是一个恐怖的学科。全世界有无数学者在为之奋斗,但程序员们仍旧将“肉眼识别验证码”作为阻拦机器恶意登陆的手段。
计算机图形识别如此困难,究其原因,很大程度上是因为……
“计算机能够理解的问题,被称作‘多项式时间问题’,Polynomialtime——也就是缩写的P问题。计算机可以快速解决P问题。而比P问题更为困难的,则是非确定性多项式时间。NondeterministicPolynomialtime——即NP问题。”
一大部分几何问题,都位于NP之内。图灵机可以快速的验证答案是否正确,却不能快速地给出答案。而有的是几何问题甚至还要比NP还要难。
“曾经有数学家想要证明‘P=NP’,来证明所有NP问题都可以被转化成P问题,踏出让计算机迈向神境的第一步。我仍旧不记得成功了没有……”
图灵机诞生的时候,就被划定了极限——因为它证否了“数学具有绝对的图灵可计算性”。
大卫·希尔伯特先生的伟大理想,失败了。
——如果不是因为战争的话,或许阿纳托利有可能做到……什么……
——阿纳托利又是谁?我怎么认识这么多莫名其妙的厉害角色?
片刻之后,男人才落寞的补充了一句:“大概是没有吧。计算机有‘注定不能做到’的事情。NP问题,就注定是电子计算机无力解算的东西了。而NP问题,甚至还不是复杂的极致。”
“NP问题之外,还有多项式层级结构问题【PH】,多项式层级结构问题之外,还有多项式空间问题【PSPACE问题】,多项式空间之外,还存在指数时间问题【EXPTIME问题】。”
“在这方面,量子计算机比电子计算机强上一个维度。但是量子计算机理论上的能力界限,被称作有限错误量子多项式时间问题【BQP】。而BQP范畴,也只包括了部分的PSPACE问题——即使是量子计算机,也无法触及EXPTIME。这是近乎道的领域……”<