2009年04月_matrix67

原创经典证明：列表染色与可选择数（上）

四色定理告诉我们，给地图上的每个区域涂一种颜色，为了使相邻的区域有不同的颜色，我们总共只需要4种颜色就够了。不过，万一有些省装怪，偏不喜欢分配给它的颜色该咋办？这下问题就变得有意思起来了。为了满足不同省市的要求，国家测绘局可以在为地图染色前先让每个省市列出自己能够接受的几种颜色，染色时就只从每个省市给出的候选颜色中取色。我们把每一个使得相邻区域的颜色互不相同的染色方案叫做一种

2009-04-27 19:28:00 1610

原创漫话科学哲学：什么是科学解释？

小时候我就很喜欢思考一些科学之外的东西。数学家发现新定理，物理学家提出新理论，发明家创造新事物，自以为无所不能的科学似乎已经统领了整个人类历史的发展。但是，谁又来思考科学本身呢？于是我常常幻想，如果当初科学没有战胜宗教，世界又将怎样？人类依旧停留在穷困的黑暗社会？还是与大自然和睦相处过着无忧无虑的幸福生活？甚至是凭借直觉和信仰建立了一套能够自圆其说的物理体系，虽然这套体系和我

2009-04-25 00:36:00 973

原创趣题：寻找策略使得总有一人猜出他背上的数

正在上虚词研究课，好友Chain发来短信说，北大BBS化学学院版上发了一道很有趣的谜题，已经上十大热门话题第三了。我也是第一次看到这个题目，和大家分享一下。话说周一某实验室有16名同学，有一天*老师把大家叫到一起说：下周来做实验的时候，我会给你们每个人背后贴一张纸，纸上的数字从1到16都有可能，不同同学背后的数字可以重复。你们每个人可以看到别人背上的数字，但不能看到自己的数字。贴纸

2009-04-21 17:15:00 543

原创漂亮的排序算法：7种排序算法的内存状态演示

昨天我突发奇想，写了几段Mathematica代码，生成了各种排序算法的内存变化图。图中每一个新的横行都表示数组的一次更新，数字大小用颜色来表示。你可以直观地看到这些算法是如何把乱序数组一点一点变为有序的。效果还是很令人满意的，不少算法的内存轨迹都相当美观，相当有艺术性。图很大，我就不在首页上显示了，大家点“查看更多”看图吧。

2009-04-20 16:27:00 643

原创（搞笑）邪恶的教具

来自friendlyatheist.com的一个邪恶的笑话，它告诉我们，在讲课之前先自己排演一遍有多么重要。老师：同学们，这是一个什么形状啊？学生：（齐声）四棱锥！老师：很好！那它的展开图是什么样子呢（同时展开教具）？学生：一个正方形和四个三角形！老师：很好！那这个又是什么形状呀？学生：（齐声）六棱柱！老师：很好！那它的展开图又是什么样子呢（同时展开教具）？

2009-04-19 17:52:00 598

原创我目前所见过的最难的IQ测试题

网友Qian Yongchao发来邮件说，他在阅读当前正大红大紫的一本书叫做Outliers。书中谈到IQ测试时，作者提到了Ravens Progressive Matrices测试法。这是一系列从易到难的题目，一般有48道题。为了说明这种测试可以有多难，作者给出了整个测试的最后一道题，这道题目即使作者自己也不知道该怎么做。我在网上搜索了一下，确信书上印的题目是错误的。其实

2009-04-18 01:50:00 3463 1

原创经典证明：任何正整数着色方案中都含任意长的单色等差数列

我们知道，存在这样一种全体正整数的红蓝二着色方案，其中没有任何无穷长的等差数列满足数列中的所有数颜色都一样。它的构造非常暴力。有趣的是，把上述命题中的“无穷长”换成“任意长”，命题就不见得仍然正确了。事实上，Van der Waerden定理告诉我们，对于任意大的k，总存在一个N，使得对从1到N的正整数进行红蓝二染色后，里面总存在一个单色的长为k的等差数列。当命题扩展到任意c

2009-04-17 16:31:00 1304

原创数学无处不在：语言、文字与数学

（拜托转载时请用红色加粗字体标明，这是我古今数学思想课的期中论文，免得老师以为我是反过来抄的网上的文章。这门通选课的期中论文要求写数学与自己所在专业之间的联系。）我们每天都在说话，每天都在用语言进行交流。语言文字对我们是如此的平常，以至于绝大多数人都不会注意到语言中一些非常难以解释的现象。昨天的汉语虚词研究课上，我们就谈到了这样一个有趣的问题：在表示“仅仅”的含义时，什么时

2009-04-16 15:59:00 662

原创今日霸王笔：分享一下Google笔试算法题

今天我又干牛B事情了……听说三教有Google的实习生招聘笔试，再想到传说中Google笔试里的牛题，我毫不犹豫地就杀去了。说实话，我倒真没想认真做题，只是过去看一看传说中的Google笔试题是什么样子的。由于我什么都没准备，连事前是否要报名都不知道，因此呢，与其说是“处女笔”，倒不如说是一次“霸王笔”。BBS上说要带简历和成绩单，于是打印了一份巨牛无比的“简历”和很不像话的

2009-04-14 01:11:00 789

原创（号外）两个期待已久的创意动作解密游戏已发布

Braid是一个时空解谜类游戏，画面和音乐都很赞，本Blog之前曾经特别介绍过。游戏的Xbox版本早已发布，最近发布了PC版。先给出两个下载地址，我正在下，测试完毕后再来更新。http://verycd.com/topics/2740778/http://www.mininova.org/tor/2474081Update: mininova的那个装不上，因为bat文件里面

2009-04-11 22:00:00 524

原创 IBM Ponder This史上最难谜题：给出谜底猜谜面

2009年2月份IBM Ponder This的谜题可能是从98年谜题月赛开办以来最难的谜题。谜题发布一个月之后仍然没有任何人答对，主办人不得不宣布延迟一个月，并再三增加提示。最终，答对此题的仍然只有7个人。很久没有看到如此精彩的谜题了，有兴趣的网友不妨试一试。题目非常有趣。传统的谜题是给出谜面求解谜底，但这个谜题则恰恰相反：下面这一串数字是某个问题的答案，你能猜出

2009-04-09 14:49:00 770

原创趣题：对全体正整数红蓝二着色使之不含单色无穷等差数列

你认为，是否有可能把全体正整数染成红蓝二色，使得不存在无穷等差数列，数列中的所有数都是一种颜色？如果你认为存在这样的染色方案，请给出一个构造方法；如果你认为不存在，证明之。在看下面的答案之前，不妨先仔细思考一下。事实上，满足题意的染色方案是存在的，构造方法非常简单，非常直接，非常暴力。显然，无穷等差数列只有可数个，不妨把它们分别叫做A_1, A_2, A_3, ..

2009-04-06 16:06:00 633

原创经典证明：素数无穷多的拓扑学证明

去年就看过Proofs from THE BOOK第一章中的素数无穷多的拓扑学证明，不过当时似乎并没有看懂。今天看到cut-the-knot的一篇新文章，又把Proofs from THE BOOK拿出来翻了一下，终于看明白了，果然是一个令人拍案叫绝的经典证明，可谓又一神来之笔。定义N(a,b) = {a + nb| n∈Z}，例如N(1,3)就等于{..., -5

2009-04-05 01:53:00 1637

原创一道智力题：世上最毒的毒药

故事发生在一个遥远的神秘世界。在那里，人们可以制造出不同等级的毒药。这种毒药是致命的，唯一的解药则是更强的毒药。若不幸中毒后，只要及时喝下更强的毒药就没事了，否则不管是谁都会在10分钟之内死亡。一天，恶魔向国王发起挑战，看谁拥有最毒的毒药。这是一场死亡竞赛，比赛规则很简单：双方各带一瓶毒药，先把对方瓶中的毒药喝掉一半，然后再把毒药换回来，把自己的毒药喝完。10分钟后

2009-04-02 22:47:00 1268

原创（愚人节玩笑）史上最牛充分条件分析器测试版发布

在数学研究中，我们经常需要寻找一个命题的充分条件。有时候，我们在解题过程中会不自觉地思考结论的充分条件。例如，等底等高便是两个三角形面积相等的充分条件，这就为我们证明三角形面积相等指明了一条道路，接下来我们只需要说明那两个三角形的确是等底等高的就行了。又如，“任意顶点的度数大于等于n/2”是“无向图存在Hamilton回路”的充分条件，它经常被用来说明一个图有Hamilto

2009-04-01 01:19:00 568

matrix67的专栏