2010年05月_matrix67

原创 Manufactoria：非常好玩的自动机编程游戏

我把今天一下午加上一晚上的时间都花在了这个 Flash 小游戏上。这是我所见过的程序设计类 Puzzle 游戏中最好玩的一个。它是真正意义上的程序设计游戏，游戏不但提供了完备的读写和流程控制功能，甚至还引入了随机测试数据。游戏很快就会引入算法的思想，因为玩家渐渐会发现，这些谜题并不是单靠模拟就能解决的；后面的谜题则越发困难，需要相当有技巧性的算法设计，对脑力绝对是一个大挑战。如果

2010-05-24 23:13:00 2192

原创习一文一乐，便入安宁万世……

我曾经在这里介绍过一个叫做 mnemonic 的文字游戏：数学家 George Pólya 曾说过一句经典的话： How I need a drink, alcoholic of course, after the heavy chapters involving quantum mechanics! 依次数出每个单词的字母个数，你会惊讶的发现它正好是圆周率的前 15

2010-05-24 22:32:00 1470

原创史上最牛的Crossword

这是一个由 Lee Sallows 创造的谜题。下面这个 Crossword 中有 6 个横向短语和 6 个纵向短语。每个短语都是形如“多少多少个某某字母”的形式，比方说 “THIRTEEN NS” 、 “EIGHT ES” 等等，它表示整个 Crossword 中恰好就有 13 个字母 N ， 8 个字母 E 。由于整个 Crossword 中有 12 个短语，这就意味着

2010-05-21 00:43:00 1092

原创 Which Way Did the Bicycle Go 趣题选（下）

23. 一些硬币互不重叠地放在桌上。四色定理告诉我们，若要对硬币进行染色，使得挨在一起的硬币颜色不同的话，最多只需要四种颜色就可以了。存在至少需要四种颜色的构造吗？答案：存在。如图，若只允许三种颜色的话， A 的颜色必须与所有阴影硬币颜色相同， B 的颜色也必须与所有阴影硬币颜色相同， A 、 B 将会同色。 24. 用火柴棍拼一个所有顶点的度均为 3 的平

2010-05-19 22:31:00 2294 7

原创 e的近似表达：一个令人惊讶的数字游戏

刚才看到这个很漂亮的无理数 e 的近似表达，它恰好用到了 1 到 9 这 9 个数字。猜猜看它能精确到 e 的小数点后多少位？ 10 位？ 100 位？ 1000 位？ 10000 位？远比想象中的牛 B —— 它能精确到小数点后 18, 457, 734, 525, 360, 901, 453, 873, 570 位！显然，这

2010-05-19 22:29:00 1145

原创 Futurama 5x10 - The Farnsworth Parabox

视频链接：http://www.tudou.com/programs/view/YP7twFzOA3A/ （注：以下文字有剧透！）TBBT 并不是拍给 Geek 看的。 TBBT 里几乎没有什么只有 Geek 才能体会到的笑话，笑点都在 Geek 的言行上。因此，我一直不咋喜欢 TBBT 。像 Futurama 一类的科幻剧才能算作真正的 Geek 剧。不过，我看过的 Fu

2010-05-18 16:01:00 696

原创 “爱的方程式3D版”出Tee了！

三年前，我在 Blog 上发了一篇日志，给大家介绍了一个能绘出立体心形的方程，并用 Mathematica 把它画了出来。今年夏天将至， Geek Power 又推出了一系列有创意的衣服，那个著名的“心之函数”也终于走出了电子世界，来到大家的生活之中。在制作这款衣服的印花时，我也算是出了一点力吧，因此 Geek Power 的店主特地送了我一件，看上去效果很不错。

2010-05-14 16:17:00 1089 1

原创用选择公理来预测未来

承认选择公理可能给我们带来很多有悖于直觉的结论。最著名的例子可谓 Banach-Tarski 悖论了：你可以把一个三维的实心球分成有限多块，通过刚体移动把它变成两个和原来一模一样的球。本 Blog 还介绍过另外一个有趣的结论，它违背常理的程度也不亚于 Banach-Tarski 悖论。今天，我给大家看一个比这些悖论更加荒唐的结论：利用选择公理，我们可以实现预测未来！

2010-05-13 17:29:00 1098

原创 HATETRIS：故意跟你作对的俄罗斯方块游戏

大家也许想过，如果玩家足够牛 B 的话，俄罗斯方块游戏是不是永远也玩不死呢？不是的。我曾经在这里介绍过，理论上说，俄罗斯方块游戏是不能永无止境地玩下去的，总有一个时候你会死掉。事实上，如果允许电脑不随机出牌，可以有意为难你的话，电脑可以利用一个简单的算法迅速把你整死。倘若电脑真的能故意陷害你，玩俄罗斯方块会是什么样的呢？今天，我还真找到了这么一个在线俄罗斯方块游戏

2010-05-06 19:25:00 1682 1

原创 - 1 + 2^7 = 127 这样的算式有多少个？

或许有人会对算式 5^2 = 25 有一种特别的偏好——等式左右两边都用到了相同的数字，让人深感奇妙。类似的算式还有很多，例如 5^(6 - 2) = 625 (4 / 2)^10 = 1024 ((86 + 2 * 7)^5 - 91) / 3^4 = 123456789 我们自然而然地提出了这样一个问题：这样的算式究竟有多少呢？

2010-05-05 00:37:00 694

原创 Which Way Did the Bicycle Go 趣题选（中）

14. 有意思的是，在数学历史上，一些很简单的结论竟然几百年来都未曾发现。直到 1977 年， Paul Erdős 和 George Szekeres 才发现，除了两头的 1 以外，杨辉三角同一行内的任意两个数都有公因数。证明这个结论。答案：只需要注意到， a 乘以一个比 b 小的数之后还能成为 b 的倍数，这说明 a 和 b 一定有公因数。不妨设 0 C(n, j)

2010-05-04 12:53:00 698

matrix67的专栏