完美和最佳的规则
引言。

尺子,我们可以在文具店买到,边缘有一系列规则的标记,看起来有点像这样

'-'-'-'-'-'-'

相当枯燥。然而,最近统治者的制造商发现,他们可以通过删除一些标尺上的标记不会降低其功能。比如用尺子

'-'---'--'

您还可以使用标准等长的尺子。

如果我们想测量某个长度以内的所有距离,可以删除多少个标记?本质上是这个问题我们在这里要研究的,是一个有趣的组合学对象中的单调规则。

首先,我们要确保我们能够测量出所有长度等于或小于标尺长度的长度。很明显,这个是一个必要条件作为一个理性的统治者。具有此功能的标尺将被称为完成尺子,因为它够了完成这项基本任务。此处不考虑不能使用的标尺(不完整的标尺)。

接下来,我们关注那些标记尽可能少的完整标尺。他们会被叫来很 完美统治者。它们是完整的但删除单个标记会使其不完整。有一种与完美相关的审美印象统治者:他们以最低的复杂性完成任务。

有趣的是,具有相同数量标记的完美统治者在其用途上仍然存在差异。让我们考虑以下三点完美的统治者。他们都有4分。(数字对应于标尺上标记的位置。)

[0, 1, 3, 4],   [0, 1, 3, 5],   [0, 1, 4, 6]

但与第一个相比,第三个可以测量出更多33%的长度。所以如果你想买一把这样的尺子。

但第三把尺子决定性的一点是,不存在其他带有4个标记的尺子,这是完整的,可以测量更多长度。因此,这些标记覆盖了最大的计量范围。具有这种质量的标尺称为最优的统治者。最佳标尺从而将复杂性最小的美学与实用性最大的美学结合起来。

具有这种特征的尺子是相当罕见的生物。例如,有52012把带有14个标记的完美尺子,但其中只有4把是最佳标尺。列举完整、完美和最佳的统治者将是我们的主要任务之一。

每一个标记的最佳标尺都有一个非常特殊的长度。事实上,它们的长度取决于标记数量,

0, 1, 3, 6, 9, 13, 17, 23, ...

但这些数字也计算了n个节点上优美图的最大边数图论、组合学和加法数论中完美规则的研究。

显然,我们想知道如何构建这样的最优统治者。乍一看,这似乎不是一项容易的任务,但确实存在这是一个令人兴奋的、尚未被证实的猜想,即有一个最佳统治者的蓝图,这将允许一个非常简单的结构。它说,一个分数超过14分的统治者只有当它是一个维奇曼统治者时才是最佳的统治者,维奇曼是以维奇曼的名字命名的1962年关于限制差分基的注记.

简而言之的标尺

标尺是严格递增的有限标记序列,它被理解为非负数。按照惯例,第一个标记设置为0。

标尺根据其长度L和段数S进行计数(段是指两个相邻标记)。带有M标记的标尺具有S=M-1段。

尺子是:

  • 完成,如果所有1<=d<=L的距离d都可以用尺子测量。
     
  • 很 完美如果没有长度相同、标记较少的完整尺子。
     
  • 最优的如果没有长度更大、标记数量相同的完美尺子。
家 返回主页
组合标尺