2008年05月_matrix67

原创排序算法、时间复杂度与信息熵

在这篇文章里，我们从信息论的角度证明了，基于比较的排序算法需要的比较次数（在最坏情况下）至少为log2(n!)，而log(n!)=Θ(nlogn)，这给出了比较排序的一个下界。但那里我们讨论的只是最理想的情况。一个事件本身所含的信息量是有大小之分的。看到这篇文章之后，我的思路突然开阔了不少：信息论是非常强大的，它并不只是一个用来分析理论最优决策的工具。从信息论的角度来分析算法

2008-05-30 13:23:00 781 1

原创趣题：直尺不够长时如何作出连接两点的直线？

射影几何太科学了！太科学了！以后我要慢慢写进Blog里。这里说一个《什么是数学》中射影几何章节中的一个小插曲，和射影几何本身没太大关系：纸上两点A和B，它们之间的距离大于直尺的长度。你如何只用直尺作出过这两点的连线？注意，你只能使用笔和直尺，不能借助圆规等其它工具。首先让我们回顾一下射影几何中的Desargues定理。Desargues定理描述了一个由

2008-05-27 15:32:00 1025

原创 Curta：神奇的纯机械计算器

老古董了，现在找都找不到。真想要一个。不知道有没有人见到过。来源：http://jandan.net/2008/05/24/curta-calculator.html

2008-05-27 15:00:00 1622

原创 Ubigraph：强大而易用的图论动画生成软件

Ubigraph是一个全新的图论动画生成软件，利用它你可以快速生成图论模型的图形和动画，直观地展示出各种图论模型的三维结构，演示各种图论算法的过程，非常适合用于研究和教学。之前本Blog曾经介绍过一个类似的软件graphviz，但这里提到的Ubigraph显然更强大一些。上面的动画就是由Ubigraph生成的二叉查找树演示动画（高清版here），看上去相当的酷。值得一提的是

2008-05-25 00:47:00 2033

原创 Google Treasure Hunt 2008开始啦！

一个迟到的消息：Google Treasure Hunt 2008已经开始了，这是Google Sydney为了挖掘出新的工程师而精心设置的一个活动。现在已经有两道题目了，在以后几周的时间里Google将陆陆续续地发布更多的题目。第一个答对所有问题的人将成为这次Treasure Hunt的获胜者。有兴趣的朋友赶快去试一试。

2008-05-24 02:06:00 465

原创《什么是数学》读书笔记（二·上）：从自然数到实数

今天，我们将从一系列公理开始，从自然数的产生一直说到实数理论的完善。你或许会对数学的“科学性”有一个新的认识。注意，本文的很大一部分内容并非直接来源《什么是数学》，这篇文章可以看作是《什么是数学》中有关章节的一个扩展。自然数是数学界中最自然的数，它用来描述物体的个数，再抽象一些就是集合的元素个数。在人类文明的最早期，人们就已经很自然地用到了自然数。可以说，自然数是天

2008-05-22 23:14:00 1303

原创 8's Imaginary Friend

来源：http://digg.com/general_sciences/Imaginary_Numbers

2008-05-22 19:48:00 575

原创推荐视频：10 Optical Illusions in 2 Minutes

来自Samsung的一段精彩的视频，你可以在短短两分钟的时间内看到10个经典的错觉演示。

2008-05-21 03:37:00 432

原创 Follow the Whitespaces 一个诡异的解谜网站

最近网上出现了一系列非常诡异的解谜网站。最早出现的是一个叫做aladygma的网站，看上去相当诡异。屏幕中间几个大字“00|11|22|88”，右下角写有“follow the whitespaces”。按一下Ctrl+A后，你会发现满屏幕到处是由一个空格所构成的链接，有不少的链接地址本身也全是空格。一些链接所指向的页面仅仅是把屏幕中间的数字调了个个儿，另一些链接指向一些非常

2008-05-20 23:40:00 858

原创牛！Mathematica还能这样用！自己制作马赛克拼图

Wolfram的Blog上更新了一段非常牛的Mathematica代码，真的让我大开眼界。只需要三行代码，你就可以自己做一个马赛克拼图。imagePool = Map[With[{i = Import[#]}, {i, Mean[Flatten[N[i[[1, 1]]], 1]]}] &, FileNames["Pool/*.jpg"]];closeMatch[c_] :

2008-05-19 01:04:00 2062

原创 We can all make a difference!

图片来源：http://brownsharpie.courtneygibbons.org/?p=580

2008-05-18 02:23:00 735

原创水一个：生日过得好开心

傻B聪送了我一个Mr.P出品的猥琐便笺纸。纸上整整齐齐地打了一个洞，可以插一支铅笔。古汉MM送了我一个鼠标垫。N多天没理我的Stetson MM今天在校内上给我发了个消息。小猫告诉我说她又要恢复单身了。手机、校内和Blog上收到无数多的生日祝福。FOX给我带来了House有史以来第二精彩的episode。（第一精彩的？here）昨天晚上（严格的来说是前天晚上）六个人去

2008-05-18 01:27:00 609

原创 20年的时间里你可以做些什么？

第一次呼吸这个世界的空气。体验一次溺水濒死的感觉。目睹一次大自然未解之谜。第一次看到雪景。第一次与父亲争辩并取胜。参加一次集体舞比赛。用两位数的加法鄙视一个同班的孩子。用三位数的乘法鄙视一个同班的孩子。用速算诀窍鄙视一个老师。赢得一个实习老师的喜爱（她送了我一个纸折的鸽子）。在语文考试中获得唯一一个满分。第一次发现软盘的写保护位置。学习使用一个操作系统。学习

2008-05-16 00:55:00 1065

原创分形生活之三：分形抽屉

这是Takeshi Miyakawa工作室设计的一款抽屉式储物柜，有一种分形的感觉，颇具Geek的味道。图片来源：http://ffffound.com/image/36beab19234c8db955a7843f2712e8e2b3996f40只要有足够的想象力，你也能亲手制作一个生活中的分形小玩意儿。之前本Blog曾经介绍过分形小饰物和分形饼干。

2008-05-15 15:11:00 556

原创趣题：在指定形状的棋盘内放置n个相同的图形

上个月Erich Friedman的Math Magic提出了这样的问题：给定一个指定形状的棋盘，给定一个大于2的整数n，找出一个面积最大的图形S使得n个S能够不重叠地装进这个棋盘里。问题提出之后得到了不少有趣的构造，这些构造是否为最优解还有待进一步证明。由三个格子组成的棋盘共有两种本质不同的形状。“长条形”已经不用多考虑，“拐角形”中n=2, 3, 6时的最优解也是非常显

2008-05-15 14:49:00 549

原创 Foldit：全球玩家都来为生物科学做贡献！

蛋白质结构一直是透析人体、了解病毒、制造药物的关键。然而，从无数多种可能的蛋白质结构中寻找最佳结构是一个相当困难的问题，即使利用高性能的计算机也需要耗费大量的时间和资金。受到SETI@home计划的启发，一些科学小组建立了Rosetta@home计划，让分布在世界各地的个人计算机一起来参与蛋白质三维形状的计算。对于千变万化的蛋白质形状来说，这仍然是一个相当庞大的工程。一些科

2008-05-13 23:15:00 818

原创幽灵、吸血鬼与僵尸：有创意的推理解谜游戏

游戏的规则很简单。一个谜题由一个方阵和周围给出的数字组成。方阵中有的地方放有镜子，有的地方是空地。方阵外的数字表示站在这个地方的人可以看到多少个鬼怪。你需要把指定数量的幽灵、吸血鬼和僵尸放到空格中，每个空地必须且只能放一个鬼怪，并且要求最终的布局与方阵外的数字相符。这个游戏真正好玩的地方在于它的一个机智而有趣的设定：吸血鬼在镜子里看不到，幽灵只能从镜子里才能看到；而无

2008-05-13 17:37:00 1114 2

原创趣题：寻找出现了奇数次的数

1. 给你n个数，其中有且仅有一个数出现了奇数次，其余的数都出现了偶数次。用线性时间常数空间找出出现了奇数次的那一个数。2. 给你n个数，其中有且仅有两个数出现了奇数次，其余的数都出现了偶数次。用线性时间常数空间找出出现了奇数次的那两个数。 1. 从头到尾异或一遍，最后得到的那个数就是出现了奇数次的数。这是因为异或有一个神奇的性质：两次异或同一个数，结果不变。再考虑到异或运

2008-05-12 12:32:00 729

原创记08年北大ACM选拔赛

早晨7:40的闹铃。到36楼下面见到了我的两个队友后，随便吃了点东西就出发了。计算中心门前特别热闹，N多人围在一张大桌子前，好像是在签到。我挤进去找了半天发现没我的名字，名单上全是信科的人。我抬头问，中文的在哪儿呢。一个美女姐姐用手指了远处的一个几乎没人的地方说“中文的在那边”，并说了一句“哇，中文的呀，太牛B了”。我顺着她手指的方向望过去，另一张小桌子前面贴了“中

2008-05-11 18:13:00 613

原创两个与无穷级数有关的悖论

我们想要计算无穷级数Σ(1/n)*(-1)^(n+1) = 1 - 1/2 + 1/3 - 1/4 + 1/5 - 1/6 ...。首先我们需要说明，这个无穷级数是收敛的。注意到，从1的后面开始，每减去一个数后紧接着都会加上一个比它小的数，因此不管你加到哪儿，它的和始终不会超过1；另外，从1-1/2之后开始，每加一个数紧接着都会减去一个比它小的数，因此无论加到什么位置，整个和

2008-05-08 23:20:00 1011

原创关于北大中文系应用语言学（上）：更多有趣的汉语语法现象

今年年初就有写这篇文章的打算，但迟迟未动键盘。我一直想给大家介绍一下北大中文系的应用语言学专业，与大家分享一下自己的亲身经历和切身体会，让更多理科生关注这个新兴专业，顺便也骗一些理科小loli到我们专业来（我喜欢的类型）。现在离高考越来越近了，再不写就不行了。其它一些废话我就不多说了，关于北大中文系应用语言学专业到底是咋回事，包括它的定位和出路，网上到处都有介绍。你可以在这里

2008-05-07 21:42:00 4048

原创趣题：空间四边形外切于给定球，求证四切点共面

多年以前，要想进入莫斯科国立大学的数学系，你必须通过四项入学考试；头两个都是数学考试，一个笔试，一个面试。在面试中，学生和考官都是一对一的，考官可以自由向学生提出任何他喜欢的问题。那时，为了筛选出他们不想要的应试者（主要是犹太人），很多考官都会出一些题目描述简单有趣、解答过程极其巧妙而又出人意料的问题。这些问题极具杀伤力，民间戏称其为“棺材问题”(coffin problem

2008-05-06 14:37:00 829

原创代数曲面画廊

查看更多：http://www1-c703.uibk.ac.at/mathematik/project/bildergalerie/gallery.html（德语，Stetson MM快来翻译）

2008-05-04 20:36:00 484

原创趣题：用正三角形和正四边形构成凸多边形

上个月IBM Ponder This的题目：给出足够多的正三角形和正四边形（均为单位边长），你需要用它们拼接出凸多边形。注意，你所拼出来的多边形的每条边也必须都是单位长度（因此，把两个正方形拼在一起形成的1*2长方形就不算）。你能拼出多少种不同的凸多边形？在看答案之前，大家先自己想一想，比比看谁考虑得最全面。这对思维的全面性是一个不小的挑战。首先，注意到符合条件的方

2008-05-02 19:13:00 1004

原创趣题：选取最少的质数集合构成发散的部分调和级数

调和级数是指无穷级数1 + 1/2 + 1/3 + 1/4 + ...，即取遍所有正整数n所得到的Σ1/n。虽然n趋于无穷时1/n趋于0，但这个无穷级数却是发散的。一个经典的证明是，把1/3和1/4都缩小到1/4，把1/5、1/6、1/7和1/8都缩小成1/8，把1/9到1/16这8个数全部缩小为1/16，以此类推，这样就可以得到无穷多个1/2，它们的和显然是无穷大的。

2008-05-01 00:33:00 741

matrix67的专栏