人问“程序有佛性么？”…………大师说“你没看到所有的NULL都是0么？”

程序员说“程序的改进什么时候是终点？”大师说“也许运行就是终点，也许死亡才是终点。就如现在是禅，千年之后也是禅……、”

大师说：“编译器是通人性的，你如果顺着他，他就顺着你，你如果逆着她胡来，他就给你造反。常常给他一些好的程序让他去编译，就如同经常给狗好的骨头。如果连好的骨头都吃不下，那你已经虐待他生病了，这就该让他休息，让他清心。”

佛说：“0个错不是全对，Compile Error 也不是失败”

佛说“你们不用讨论我存不存在，每当你编译运行时，那我就是存在的”

佛说“要平衡，如热二，如牛一…”

佛说“凝结，固化，升华…不变的是物质，损失的是负熵…”

人问佛当年的情事。佛说“我爱过，但没恋爱过”

佛说“我不需要别的祭祀，编译器是最好的祭坛…”

佛说“莫傲，一斑与全豹之间，有热二和混沌的巨壑”

佛说“莫去卧佛寺，卧佛即是我佛”

佛说“程序的美不在于执行，在于编写…因为执行，是禅的事情。”

人问“什么是云计算？”佛说“我的身形，云中最能显现。”

人问“什么是禅？”佛说“站在电容器的角度，一切都是电容。”

人问佛“你为什么能如此淡然？”佛说“咀嚼完了一生的数据，留给程序的便是寂静与寂寞”

佛说“我不求你们让我无处不在，只要让无线网络无处不在就可以了”

人问“天冷，您为何穿的还如此单薄？”佛说“维持一个危险的势，不如让其增加那么一点熵”

人问“C++和Python，哪个好用？”佛说“大地是一切的基础，然而一旦在云中，蟒就会化为龙”

人问佛“你哭过么？”佛说“当我看到我当年写的第一个程序时，我哭了。输出的不是HelloWorld，而是一个名字…”

人问“那有什么办法翻译婴儿的哭声？”佛说“HelloWorld？”

佛说

佛说“上一条是不小心按的…手指头太大，这键盘不行…做佛就是麻烦…”

人问“你是不是很喜欢吃啊？”佛说“能充满整个禅的输入数据…才是真正的饕餮…”

(未完待续~~)

Setup(quick).exe

Setup(slow).exe

（Update:经检测，在Windows 7\Windows vista\Windows XP SP1 SP2下均可顺利运行，但是Windows XP SP3下会产生诡异的我们暂时无法解决的错误…这是个悲剧…）

下面是readme文件：
/************************************************/
made by 刘冰雁 范翔 吴昊天 北京大学物理学院
/************************************************/
用我们的软件可以用来还原你手上的一个魔方。
双击shabby cube.exe，在空白处右击开始。
选择create a new cube，可以产生一个空白的魔方，用户可以通过右击选择颜色的办法把手头上的一个魔方输入到我们的程序中。
选择create randomly，可以让程序随机的产生一个魔方。
在输入了一个魔方之后，单击左键可以让他开始按照我们的算法旋转。之后的任何一个时刻，你都可以通过单击左键让过程暂停/继续。
在输入了魔方之后的任何一个时刻，都可以按住中键不放晃动鼠标来转动观看角度。
缩放窗口可以调节速度。（这个功能可能在某些系统上不行…）
如果您输入了一个魔方之后魔方爆炸了，那说明您的魔方是错误的不可解的，请您检查一下您是否输入时点错了，或者直接把魔方拆掉在重新装起来…

桌面上有三行硬币，每一行中分别有a1、a2、a3个硬币，其中a1、a2、a3是可以任意指定的正整数。两个人轮流拿走硬币，每一次只能从某一行中拿走任意多个硬币，谁拿走最后一枚硬币谁就赢了。

比如说a1=1,a2=2,a3=3的情况吧，这时如果轮到我拿了，我可以从第三行拿走2枚硬币，或者可以把第三行的三枚硬币全都拿走，等等；但是我不能同时从第一行和第三行里各拿走1枚硬币。这个简单的情况，可以枚举所有可能性得出结论：先拿的必输。

当a1、a2、a3是任意给定的，在什么情况下先拿的必输呢？必胜策略是怎样的呢？这是一个相当有意思的问题，答案可绝不是显而易见一目了然的。而当我当年看到这个策略长什么模样之后，完全的叹服了。今天我就先不写必胜策略了，大家可以先自己想想，如果下周或者什么时候有时间了再来写。前一阵子我为了熟悉C++自己写了一个拈游戏的人机对弈程序，大家可以点击下面的链接下载。其中包含了必胜策略，所以只要你一步走错就一定会输。

拈游戏.rar

其实拈游戏不仅仅局限于三行硬币，其实最初的问题是N行的，而且神奇的是其必胜策略对于任何N都是一样的。其实这个拈游戏是我上小学的时候奥数老师跟我玩的游戏，最近才发现这个经典的有意思的游戏还有好多人没有玩过，故写此文…

量子计算的概念，最早是由费恩曼提出的，从那以后计算机科学家们已经在这个领域里有了不小的进展。量子计算机是一类遵循量子力学规律进行高速数学和逻辑运算、存储及处理量子信息的物理装置。量子计算机的基本特征之一，就是它使用的信息单元不是比特，而是量子比特（qubit）。量子比特可以是电子那样的粒子。可以让自旋向上代表1，自旋向下代表0。与传统计算机不同的是，电子可以处于自旋向上和向下的叠加态，即1和0的叠加态。处于叠加态的少量粒子可以携带大量信息。假如我们可以控制仅仅1000个量子比特，那我们也可以用之表示出从1到2^1000的所有数字，并且可以同时对所有数字进行操作，也就是所谓的并行计算。虽然当我们最终读取量子状态时，只能从2^1000个状态中随机的读取其中的一个，而其他的状态都会消失，但是我们可以通过对粒子进行巧妙的处理，用量子计算机求解一些普通计算机没法有效求解的问题，例如对大数分解质因数。用现有的计算机需要花10亿年才能算出来的题，可能用量子计算机花不到一年的就能成功解决。

正是因为用量子计算机可以非常有效的解决对大数分解质因数的问题，现在的密码安全将在不久的将来量子计算机问世的时候轰然瓦解。现在最常用的加密方法当属RSA公钥算法，这个算法就是基于“把两个大质数相乘极为简单，但是要把这个乘积分解为这两个大质数则几乎无法做到”这一事实，具体的算法可以参见《算法导论》有关章节。有了量子计算机的话，我们就不得不重新设计一种量子计算机也无法完成的运算了。

很多人对量子计算机有所误解，认为它可以解决一切困难的数学问题。事实不是如此，量子计算机能解决的问题，也仅仅是一小部分特殊问题。计算机科学家已经证明了，传统计算机能够有效解决的所有问题，用量子计算机同样能够有效解决。但是，对于计算机科学领域里的一类非常重要的问题——NPC问题，量子计算机和普通计算机一样是无能为力的。生活和生产中有很多极为重要的问题不幸属于NPC类。虽然我们还没有真正证明量子计算机不能胜任，正如我们还无法证明P到底等不等于NP一样，但是无数失败的尝试表明，量子计算机在这类问题上比普通计算机好不到哪里去。（如果你第一次听说P、NP、NPC，那么我建议你看一看Matrix67的这篇文章，那里有比较详细系统的介绍。简单来说：P是多项式级时间复杂度能找到解的问题，即所说的普通计算机能够“有效解决”的问题；NP是多项式时间复杂度内可以验证解的正确性的问题，但不一定能在多项式级时间复杂度内找到解；所有的NP问题都可以归约到NPC问题，即一旦解决了一个NPC问题则所有NP问题随之解决）。我们称量子计算机能够有效解决的问题为BQP类问题，这几类问题之间的关系如下图：

量子计算机似乎代表着人类计算能力的极限，除非有全新的物理定律在将来被发现。有趣的是，通过量子计算机不能有效解决NPC问题，有人甚至类比于超光速通讯不可能实现和热力学第二定律，说NPC问题无法有效解决是一条基本的不可逾越的物理定律！

尽管量子计算机不像人们期盼的那样属于万能计算机，尽管他也有很多力不从心的时候，但量子计算机依然是一个很有前途的研究方向。用量子计算机，我们可以击毁敌国的安全系统，可以模拟量子物理系统，可以为芯片的研究提供重要价值，可以更深刻的理解量子理论，或许还有很多我们未曾期待的应用（正如当时建造第一个计算机时没人想得到现在繁荣的信息化社会）……

实际在建造量子计算机的过程中，遇到的困难是难以想象的。甚至曾经有很多人以为这是不可能完成的事情。但是，经过无数科学家、工程师的努力，目前的进展还是可喜的。虽然目前还没有一台计算机算是严格意义上的量子计算机，但是，IBM公司2001年构建了可以操作7个量子比特的“量子计算机”，2008年D-Wave公司的首席技术官Geordie Rose在他的blog上宣布他们将展示一个具有16个qubit的量子计算机。道路是曲折的，但前途是光明的！

真希望等我长大的时候，家家都有量子计算机，OIer们学的全都是量子算法。

主要参考资料：《Scientific American》March.2008：《The Limit Of Quantum Computer》

The Halting Problem是问，输入一段程序代码和一个针对此程序的输入，能否编程判断运行这个程序后程序是否会终止。

这个问题的答案是否定的。也就是说，不可能有一种算法可以正确判断一个指定的程序运行后，给予指定的输入，程序最后出不出得来。换句话说，The Halting Problem是一个不可解问题。

虽然这感觉似乎不可能，但在严格的证明下谁也无法发言反对。

证明过程非常简单，假设The Halting Problem是有解的，并且已经用程序实现了，那么我们只需要再编写一个程序Program Bug，就会发现存在矛盾。

反证：既然解决The Halting Problem的算法已经实现了，那么我们一定能定义一个函数
Function Halting(a,b:input_type):boolean;

其中，a是读入的程序源码，b是输入数据。这个函数的功能就是返回对于指定的程序源码和输入数据，程序是否能顺利退出。

下面编写一个程序：

Program Bug;
var code:input_type;
begin
get(code); //读入code
if halting(code,code) then repeat until false
else halt;
end.

好，现在运行Bug这个程序，并且输入Bug这个程序本身的代码。这样，halting(code,code)其实质就是在判断这个Bug程序本身了。如果The Halting Problem认为Bug程序会正常退出，那么就让程序进入一个死循环，否则立即退出程序。矛盾产生。