没有

您所约束的功能是最佳排序算法的最坏情况运行时间。

想象一下以下游戏：

我们选择一些数字n。
您选择自己喜欢的排序算法。
在查看算法后，我选择了一些长度为n的输入序列。
我们在输入上运行你的算法，你给我每一个执行指令一美元。

O（n log n）上限意味着无论我选择何种输入顺序，您都可以将成本限制在最多O（n log n）美元。

Ω（n log n）下限意味着无论您选择何种排序算法，我都可以强制您支付至少Ω（n log n）美元。

另外：“下限是O（n log n）”没有任何意义。 O（f（n））表示“至多是常数f（n）”。但“下限”意味着“至少......”。所以说“O（n log n）的下限”就像是说“你可以保存 50％或更多！” - 这完全没有意义！下限的正确表示法是Ω（...）。

Answer 2

排序问题可以看作如下。

输入：n个数字的序列。输出：输入序列的置换（重新排序），使得a'1 <= a'2 ... ..＆lt; = a'n。

如果排序算法使用比较运算符来查找两个数字之间的顺序，则排序算法是基于比较的。可以根据决策树抽象地查看比较排序。决策树是完整的二叉树，表示由对给定大小的输入进行操作的特定排序算法执行的元素之间的比较。排序算法的执行对应于跟踪从决策树的根到叶的路径。在每个内部节点处，进行比较ai aj。然后左子树指示ai aj的后续比较，右子树指示ai> a的后续比较。 AJ。当我们来到一片叶子时，排序算法已经建立了排序。所以我们可以说关于决策树。

1）每个n！ n个元素的排列必须作为决策树的一个叶子出现，以便排序算法正确排序。

2）令x为排序算法中的最大比较数。决策树的最大高度为x。最大高度为x的树最多有2 ^ x个叶子。

在结合上述两个事实后，我们得到以下关系。

  n!  <= 2^x

双面登录。 \ log_2n！＆lt; = x

自\ log_2n以来！ = \ Theta（nLogn），我们可以说 x = \ Omega（nLog_2n）因此，任何基于比较的排序算法必须至少进行\ Omega（nLog_2n）比较以对输入数组进行排序，而Heapsort和merge排序是渐近最优的比较排序。

Answer 3

想象一下可以排序的所有可能的事物数组。让我们说他们是长度排列的＆＃39; n＆＃39;并忽略具有一个元素的数组之类的东西（当然，它总是已经排序。

想象一下该数组所有可能值组合的长列表。请注意，我们可以稍微简化一下，因为数组中的值总是有某种排序。因此，如果我们将最小的一个替换为数字1，下一个替换为1或2（取决于它是等于还是更大）等等，我们最终会遇到相同的排序问题，就像我们允许任何值一样。（这意味着长度为n的数组最多需要数字1-n。如果某些数字相等，则可能更少。）

然后在每个数字旁边放一个数字，说明用这些值对数组进行排序所需的工作量。你可以放几个数字。例如，您可以进行比较次数。或者你可以把元素移动或交换的数量。无论你输入什么数字，都表明它需要多少次操作。你可以把它们的总和。

您必须做的一件事是忽略任何特殊信息。例如，您无法提前知道数组中值的排列已经排序。您的算法必须与该数组执行与其他任何数组相同的步骤。（但第一步可能是检查它是否已分类。但通常这对排序没有帮助。）

因此。通过比较测量的最大数字是当以病态恶劣的方式排列值时的典型比较次数。类似地，最小的数字是当以非常好的方式排列值时所需的比较次数。

对于冒泡排序，最好的情况（最短或最快）是指值已经按顺序排列。但是，只有当你使用一个标志来判断你是否交换了任何值时才会这样。在这种最好的情况下，你会一次查看每对相邻元素并发现它们已经排序，当你到达终点时，你会发现你没有交换任何东西，所以你已经完成了。这个n-1比较总数并形成你可以做的最低比较次数。

我需要一段时间才能找出最坏的情况。几十年来，我还没有看过泡沫。但我猜它是一个反向排序的情况。你进行第一次比较，发现第一个元素需要移动。与每个元素相比，您向上滑动到顶部，最后将它与最后一个元素交换。所以你在那个传球中进行了n-1次比较。第二遍从第二个元素开始并进行n-2次比较，依此类推。所以你做（n-1）+（n-2）+（n-3）+ ... + 1比较，在这种情况下约为（n ** 2）/ 2.

也许你对冒泡排序的变化比我描述的更好。无论如何。

对于冒泡排序，下限为n-1，上限为（n ** 2）/ 2

其他排序算法具有更好的性能。

您可能想要记住除了比较之外还有其他操作需要花费。我们使用比较，因为使用字符串进行了大量排序，并且字符串比较在计算时间内成本很高。

您可以使用元素交换计数（或交换和元素交换的总和），但它们通常比与字符串的比较短。如果你有数字，它们是相似的。

您还可以使用更多深奥的内容，例如分支预测失败或内存缓存未命中或测量。

Answer 4

当您进行渐近分析时，您为所有输入派生O或Θ或Ω。
但您也可以分析输入的属性是否会影响运行时例如，由于输入特性和算法结构，将几乎排序的输入作为输入的算法比正式渐近公式具有更好的性能。例如bubblesort和quicksort 并不是说你可以贬低下边界。它只是特定输入的实现行为。

理解基于比较的排序算法的下界

4 个答案:

没有