有朋友问什么是图灵机以及NP。理论界的老大们都喜欢云山雾罩公式套公式,圆环套圆环,不diao骂人不吐脏字、讲题不带公式的娱乐界原则。搞得很多人提到图灵机和NP时表情就跟广西来宾市的老大们一样诡异。
其实呢,图灵机的来历忒单纯。以前一个叫图灵的闲人养了只无所事事的小母鸡。图灵成天忙着
跑马拉松,懒得照顾它,就装了条在鸡看来无限长分格的传送带,定时传送食物和水。而鸡闲来无聊,便走来走去,在带子上摆放物事,权作耍子。郁闷时在格子里放根树枝。兴奋了在某个格子里下个蛋。想起了还可以把蛋换成树枝,或者把树枝换成蛋。不高兴了在传送带上扔颗石头,于是传送带就卡住了。某天小母鸡不小心把一株野生大麻当鸡骨草吞了,high得不行,绕着传送带发疯:
- 在传送带靠左的地方放下一根树枝一个蛋:10
- 在传送带靠右的地方放下两根树枝:11
- 回到左边,把树枝拣起来,再把蛋换成树枝:1
- 回到右边,把两根树枝换成一根树枝两个蛋:100
- 回到左边,把树枝拣起来
- 回到右边,把最右边的蛋换成树枝:101
这下左边的树枝和蛋都没了。小母鸡意兴索然,一怒之下扔颗石头卡死机器。
刚从杂货店提了袋苹果的图灵路过,目睹这一切。不由灵光一现:这不2+3=5么?原来加法还可以这么玩儿啊!以后不用为算帐发愁了。不过图灵的兴趣不在算帐,而在玩儿tic-tac-toe。问题是小母鸡智力有限。要她理解tic-tac-toe这样的东东还不如让公牛上树兔子下蛋。幸好图灵是个好琢磨的勤快人,没事喜欢读一个叫
Kurt Godel的德国人的文章。而Godel崇拜一个叫
David Hilbert的老乡。Hilbert在德国哥廷根讨生活时没事喜欢玄想,一不小心在世纪之交提出