奇妙的尺子研究.doc

奇妙的尺子 Joseph Malkevitch 关键词：? HYPERLINK /index.php?action=class=wenkuk=%E5%93%A5%E9%9A%86%E5%B0%BA 哥隆尺,? HYPERLINK /index.php?action=class=wenkuk=%E4%BC%98%E7%BE%8E%E5%9B%BE 优美图 假设你要测量一些物体的大小，你只要拿起一把直尺或卷尺就可以进行了。现在许多尺子是矩形的，两边均带刻度，一边是英寸，一边是厘米。在美国，英寸仍然是标准度量，虽然世界上几乎所有其他国家（除了黎巴嫩和缅甸）都用米制。但一定意义上，尺子的设计方式不够简洁，比方说典型的一英尺长尺子上，0, 1, 2, 3,....，12处都标有刻度，然而实际上我们并不需要所有这些刻度。下面我会更加具体一点地说明这个论点。 下图为一把常规尺子的一部分，其上以0到7这些数字标记了等间距区间。若要量取4英寸的长度，可以用0到4，1到5，2到6或3到7来完成。 下图则展示了一把没有从0到6逐个整数处刻标记的尺子。我们只在0, 1, 4,与6处写出了标号，但其实这些标号也可以忽略。事实上，人们使用数字作为尺子刻度的标记也是标准尺子的“污点”。 假设我们要测量从1到k每一个正整数大小的长度，希望沿着一条直边标记刻度，使得从1到k的每一个正整数长度都可以通过尺上某两个刻度一次性量好。我们想找到少于k个刻度点使得其刻度间的差能够度量从1到k的所有数。这种能做到吗？ 上面的第2张图表明，这把只有4个刻度的尺子仅一次就能够度量1, 2, 3, 4, 5和6中的任何一个长度。另一方面，这一结论并不能推广到上一段提出的任意k的情形。可以验证只有当k为1, 3, 6时，满足条件的尺子才存在，其上刻度分别位于： 0,或1 0,1,和3 0,1,4,和6 稍后再详细讨论这一点。既然要度量从1到k的所有距离这一条件太严格，或许更合理的要求是：一把n刻度的尺子，第一个刻度按习惯对应于0，若尺上每一对刻度可度量出不同的长度，则称之为哥隆尺（Golomb Ruler）。虽然第一个、最后一个刻度分别在0和m处的哥隆尺不能度量1, 2, ....,m间所有的长度，但它能够度量的长度均不重复。哥隆尺上刻度的个数常称为尺的阶（order），而最大的刻度称为尺的长度（length）。 下图是一把有5个刻度的哥隆尺，我们称之为长度为11的5阶尺。它能度量的长度有1,2,3,4,5,7,8,9,10和11，只是长度6不能测量。你能找到另一把不能测量长度10的同样长度为11的5阶哥隆尺吗？ 确实存在另外的有5个刻度的哥隆尺。它在0, 2, 7, 8以及11处有刻度。这把尺可以度量除了10之外从1到11的所有长度。因此，我们看到这两把尺子不可能“同构”（最后这个词指它们是本质上相同的尺子），因为它们各自所有能测量的距离集合中都只缺少一个不同的数。（第二把尺子有另外的版本：在0, 3, 4, 9以及11处有刻度。这把尺子与第一把等价。）不能测量同样的n个长度但又不等价的尺子存在吗？注意到若要度量长度为1, 2,...,6这些长度，我们可取一把有4个刻度的尺子。然而，为度量从1到10的全部长度，我们不能取只有5个刻度的尺子，因为只有5个刻度的尺子不能度量6或10。下面是有6个刻度互不等价的尺子： 0 1 4 10 12 17 0 1 4 10 15 17 0 1 8 11 13 17 0 1 8 12 14 17 注意到这些尺子都可以度量从1到7的长度。任意一把这样的6阶尺即（带6个刻度）可以度量从1到7的所有整数，但不是所有的尺子都能度量从1到8的所有整数。同时，第一、第三把尺子能测量从1到17的所有整数，只是都不能度量14和15，这说明不等价的尺子也可以不能测量同样的距离。 哥隆尺是以 HYPERLINK /wiki/Solomon_W._Golomb \t /_blank 所罗门?哥隆（Solomon Golomb）的名字来命名的。 HYPERLINK /faculty/golomb.html \t /_blank 哥隆曾在约翰·霍普金斯大学与哈佛大学学习数学；他的哈佛博士论文研究素数。他在编码理论与数论方面做出过重要贡献。因其在这些领域的重要工作，他获得过IEEE汉明奖(Hamming Medal)。他的研究集中于与通信理论相关的问题上，并表现出非常广泛的应用数学与纯粹数学兴趣。 Solomon Golomb 哥隆也以发明 HYPERLINK /wiki/Polyomino \t /_blank 多联骨牌（polyomino）而闻名，这是源自1x1的正方形边对边粘连的几何图形。下图是12种可能的五联骨牌之一： 本文不仅