introselect 的最坏时间复杂度是如何变成 O(n) 的？

如何解决introselect 的最坏时间复杂度是如何变成 O(n) 的？

维基百科 introselect 说最坏的时间复杂度是 O(n)。

但是，请参阅此答案，https://stackoverflow.com/a/29146718/7721525，introselect 的某些实现运行 2lg(n) 次 partition_pivot，其最坏时间复杂度为 O(nlg(n))。不管你用的是堆排序的medians_of_medians算法，时间复杂度都已经是O(nlg(n))了。

如何实现最坏的时间O(n) introselect？ 如果我们使用常量 k 而不是 2lg(n)。我们可以说时间是O(n)吗？你能给我一些 k(必须是常数)的实用选择吗？

解决方法

但是，请参考 [原文如此] 这个答案，https://stackoverflow.com/a/29146718/7721525，introselect 的一些实现运行 2lg(n) partition_pivot

正如那里的评论中提到的，该实现被命名为 introselect，但它实际上并没有实现 introselect algorithm。

如何实现最坏的时间O(n) introselect？

您使用恒定数量的分区执行快速选择，或者要求分区高度不平衡至多恒定次数，如果不在这些限制内完成，则切换到 median of medians 算法。>

请注意，还有 A. Alexandrescu 最近的 QuickSelectAdaptive algorithm 详细介绍了如何实现确定性线性时间选择。