[C++ 標準ライブラリのソート アルゴリズム] C++ 標準ライブラリのソート アルゴリズムの詳細な分析: 機能、原理、および応用


1. はじめに

最新のプログラミングでは、並べ替えは最も基本的でよく使用される操作の 1 つです。データベースのクエリでも、データ分析でも、単純なリスト表示でも、ソートは欠かせません。C++ は広く使用されているプログラミング言語として、開発者に一連の強力な並べ替えアルゴリズムを当然提供します。これらのアルゴリズムは効率的であるだけでなく、さまざまなアプリケーションのニーズを満たすように適切に設計されています。

「アルゴリズム入門」で述べられているように、「コンピュータ サイエンスにおけるアルゴリズムの重要性は自明です。アルゴリズムは問題を解決するためのステップであり、コンピュータにタスクを実行するための指示です。」 (「アルゴリズムはコンピュータ サイエンスの中心です。それらは問題を解決するためのステップであり、コンピューターが従う指示です。」 -アルゴリズム入門)

この章では、C++ 標準ライブラリで提供される並べ替えアルゴリズムの概要を説明し、後続の章での詳細な説明への道を開きます。

1.1 C++ 標準ライブラリのソート アルゴリズムの概要

C++ 標準ライブラリのソート アルゴリズムは<algorithm>ヘッダー ファイルで定義されます。これらのアルゴリズムは、データを簡単に並べ替えて処理できる強力なツールを開発者に提供します。これらのアルゴリズムは、コードの単純さと読みやすさを維持しながら、最大限の効率と柔軟性を提供するように設計されています。

たとえば、は、std::sortほぼすべての種類のデータを並べ替えることができる非常に強力な並べ替えアルゴリズムです。その基礎となる実装は、クイック ソート、ヒープ ソート、挿入ソートの組み合わせに基づいており、ほとんどの場合に非常に優れたパフォーマンスを提供できます。

「C++ 入門」に記載されているように:「C++ 標準ライブラリは、さまざまな一般的なプログラミング タスクに使用できる豊富なアルゴリズムのセットを提供します。」 (さまざまな一般的なプログラミング タスクに対応)

次の章では、各並べ替えアルゴリズムの機能、基礎となる原理、および使用法について詳しく説明します。stdこれらのアルゴリズムの設計と実装をより深く理解するために、ライブラリのソース コードも見ていきます。

// 示例代码:使用std::sort进行排序
#include <algorithm>
#include <vector>
#include <iostream>

int main() {
    
    
    std::vector<int> v = {
    
    4, 2, 5, 1, 3};
    std::sort(v.begin(), v.end());
    for (int i : v) {
    
    
        std::cout << i << " ";
    }
    return 0;
}

上記のコード例では、std::sort整数のベクトルをソートし、ソートされた結果を出力しました。これは C++ 標準ライブラリの並べ替えアルゴリズムの氷山の一角にすぎません。後続の章では、さらに興味深い内容が明らかになります。

ソートアルゴリズム 機能説明(説明) 基礎となる原則 前提条件 使用事例
std::sort シーケンスを昇順に並べ替えます クイックソート、ヒープソート、挿入ソートの組み合わせ ランダムアクセス反復子 ユニバーサルソート
std::stable_sort 安定したソート マージソート ランダムアクセス反復子 要素を相対的な順序で維持する
std::partial_sort シーケンスの最初の n 要素を並べ替えます ヒープソート ランダムアクセス反復子 部分的な並べ替え
std::nth_element 指定した位置の要素を並べ替える クイック選択アルゴリズムに基づく ランダムアクセス反復子 n 番目に小さい要素を見つける
std::inplace_merge ソートされた 2 つのシーケンスをマージする 双方向マージに基づく 双方向反復子 マージソート

バブル ソートと選択ソートは 2 つの古典的な並べ替えアルゴリズムであり、その原理がシンプルで理解しやすいため、コンピューター サイエンス教育の教育ツールとしてよく使用されます。ただし、実際のアプリケーション、特に大規模なデータ セットの場合、あまり効率的ではありません。これら 2 つの並べ替えアルゴリズムが C++ 標準ライブラリに実装されていない理由は次のとおりです。

  1. 効率の問題: バブル ソートと選択ソートの時間計算量はどちらも O(n^2) です。これは、大規模なデータ セットを処理する場合、効率が非常に低くなるということを意味します。対照的に、C++ 標準ライブラリのアルゴリズムはstd::sort通常、より効率的なソート アルゴリズム (クイック ソート、ヒープ ソート、挿入ソートの組み合わせなど) に基づいて実装されており、平均時間計算量は O(n log n) です。

  2. 実用的な用途が限られている: 前述の効率の問題により、バブル ソートと選択ソートの実用的な用途は非常に限られています。ほとんどの場合、開発者はより効率的な並べ替えアルゴリズムを選択します。

  3. 標準ライブラリの目標: C++ 標準ライブラリの目標は、効率的で多用途で信頼性の高いアルゴリズムとデータ構造を提供することです。効率の低いアルゴリズムを含めると、この目標を達成できない可能性があります。

  4. 教育目的: バブル ソートと選択ソートは実際のアプリケーションではあまり使用されませんが、教育においては依然として価値があります。これらは、初心者が並べ替えアルゴリズムの基本概念を理解するための優れた入門書となります。

つまり、バブル ソートと選択ソートは教育においては価値がありますが、効率の問題のため、C++ 標準ライブラリでは採用されていません。

2. 基本的な並べ替えアルゴリズム

2.1 std::sort

std::sortこれは、C++ 標準ライブラリで最も一般的に使用される並べ替えアルゴリズムです。シーケンスを昇順で並べ替えることができますが、カスタム比較関数またはラムダ式を提供することにより、降順並べ替えやその他のカスタム並べ替えを実行することもできます。

基礎となる原則

std::sort基礎となる実装は、クイック ソート、ヒープ ソート、挿入ソートの組み合わせに基づいています。ほとんどの場合、クイックソートが使用されます。ただし、再帰の深さが特定の制限を超えると、最悪のパフォーマンスを回避するために、ヒープ ソートに切り替わります。データの小さなチャンクの場合は、挿入ソートが使用される場合があります。この場合、挿入ソートは他のアルゴリズムよりも高速である可能性があります。

前提条件

を使用するにはstd::sort、ランダム アクセス イテレータを提供する必要があります。つまり、 sum を使用して配列を並べ替えることはできますstd::vectorが、std::listorでは並べ替えることはできませんstd::forward_list

コード例

#include <algorithm>
#include <vector>
#include <iostream>

int main() {
    
    
    std::vector<int> v = {
    
    4, 2, 5, 1, 3};
    std::sort(v.begin(), v.end());
    for(int i : v) {
    
    
        std::cout << i << " ";
    }
    // 输出: 1 2 3 4 5
}

荘子が『荘子・小耀要』で言ったように、「天と地は私と共存し、万物は私と一つである。」プログラミングでは、アルゴリズムとデータ構造は相互に補完します。アルゴリズムの効率だけに焦点を当てるだけでなく、特定のデータ構造との互換性も考慮することはできません。

2.2 std::stable_sort

std::stable_sortと非常に似ていますstd::sortが、等しい要素の相対的な順序が変わらないことが保証されます。これを安定ソートと呼びます。

基礎となる原則

std::stable_sortの基礎となる実装はマージ ソートに基づいています。マージ ソートは、シーケンスを半分に分割し、それぞれをソートし、ソートされた 2 つの半分を 1 つの全体にマージする分割統治アルゴリズムです。

前提条件

と同様std::sortに、std::stable_sortランダム アクセス イテレータも必要です。

コード例

#include <algorithm>
#include <vector>
#include <iostream>

struct Point {
    
    
    int x, y;
};

int main() {
    
    
    std::vector<Point> v = {
    
    {
    
    4, 1}, {
    
    2, 2}, {
    
    5, 3}, {
    
    2, 4}, {
    
    3, 5}};
    std::stable_sort(v.begin(), v.end(), [](const Point& a, const Point& b) {
    
    
        return a.x < b.x;
    });
    for(const auto& p : v) {
    
    
        std::cout << "(" << p.x << ", " << p.y << ") ";
    }
    // 输出: (2, 2) (2, 4) (3, 5) (4, 1) (5, 3)
}

この例では、x 値が 2 の点が 2 つありますが、並べ替え後もそれらの相対的な順序は変わりません。

孟子が『孟子公孫周』で言ったように、「大を見つけた者は小を語ることができる。」 アルゴリズムでは、その核となる原則を理解した後、実際の問題を解決するためにそれをより適切に適用できます。

次の章では、部分ソート アルゴリズムとマージ ソート アルゴリズムについて説明します。

3. 部分ソートアルゴリズム

3.1 std::partial_sort

std::partial_sortこれは C++ 標準ライブラリの並べ替えアルゴリズムであり、シーケンスの最初の n 要素を並べ替えることができます。

機能の説明:

これは、シーケンス全体ではなく、シーケンス内の最初のいくつかの最小 (または最大) 要素のみを考慮する場合に使用できますstd::partial_sortたとえば、シーケンス内の最初の 3 つの最小要素を見つけて並べ替える場合は、このアルゴリズムを使用できます。

基礎となる原則:

std::partial_sort基礎となる実装は、ヒープ ソート アルゴリズムに基づいています。まず、次を使用してstd::make_heap最大ヒープを作成します。std::pop_heap

使用例:

#include <algorithm>
#include <vector>
#include <iostream>

int main() {
    
    
    std::vector<int> v = {
    
    5, 7, 4, 2, 8, 6, 1, 9, 0, 3};
    std::partial_sort(v.begin(), v.begin() + 3, v.end());

    for (int i : v) {
    
    
        std::cout << i << " ";
    }
    // 输出:0 1 2 5 8 6 7 9 4 3
}

前提条件:

を使用するための前提条件std::partial_sortは、シーケンスがstd::vectorstd::arrayやネイティブ配列などのランダム アクセス反復子をサポートしていることです。

3.2 std::nth_element

std::nth_elementC++ 標準ライブラリの別の部分ソート アルゴリズムです。

機能の説明:

このアルゴリズムは、指定された位置の要素がソート後の本来の位置になるようにシーケンスを再配置し、位置の左側の要素がその要素より大きくならず、位置の右側の要素がその要素より小さくならないようにします。

基礎となる原則:

std::nth_elementの基礎となる実装は、クイック ソート アルゴリズムの変形であるクイック選択アルゴリズムに基づいています。目的の要素が見つかるまで、分割して各要素の正しい位置を決定します。

使用例:

#include <algorithm>
#include <vector>
#include <iostream>

int main() {
    
    
    std::vector<int> v = {
    
    5, 7, 4, 2, 8, 6, 1, 9, 0, 3};
    std::nth_element(v.begin(), v.begin() + 5, v.end());

    for (int i : v) {
    
    
        std::cout << i << " ";
    }
    // 输出可能为:4 2 0 1 3 5 7 9 8 6
}

前提条件:

と同様std::partial_sortに、std::nth_element使用の前提条件は、シーケンスがランダム アクセス反復子をサポートしていることです。

荘子が『荘子・小耀要』で言ったように、「天と地は私とともに生き、万物は私と一つである。」 プログラミングでは、データをより適切に整理して処理するためにデータを並べ替える必要があることがよくあります。これは、私たちが生活の中で物事を分類して整理する方法と同じで、物事をより深く理解し、習得するのに役立ちます。C++ 標準ライブラリは、これらの強力な並べ替えツールを提供し、データをより効率的に処理できるようにします。

4. 合并排序算法 (Merge Sorting Algorithm)

4.1 std::inplace_merge

std::inplace_merge 是 C++ 标准库中提供的一个排序算法,它的主要功能是合并两个已排序的序列,使得合并后的序列仍然是有序的。

4.1.1 功能描述 (Functionality)

当我们有两个已排序的子序列,并希望将它们合并为一个完整的已排序序列时,可以使用 std::inplace_merge。这在归并排序中是非常常见的操作。

例如,考虑以下两个已排序的子序列:

序列1: 1, 3, 5
序列2: 2, 4, 6

使用 std::inplace_merge 合并后的结果将是:

合并后的序列: 1, 2, 3, 4, 5, 6

4.1.2 底层原理 (Underlying Principle)

std::inplace_merge 的底层原理是基于两路归并算法。在两路归并中,我们从两个子序列的开始位置开始,比较它们的元素,并选择较小的元素放入结果序列中。然后,我们移动到所选子序列的下一个元素,并重复此过程,直到其中一个子序列为空。最后,我们将非空子序列的其余部分复制到结果序列中。

4.1.3 前置条件 (Preconditions)

为了使用 std::inplace_merge,我们需要提供两个迭代器,它们定义了要合并的序列的范围。这两个迭代器之间的序列应该是已排序的,并且它们应该是双向迭代器,这意味着我们可以在序列中向前和向后移动。

4.1.4 代码示例 (Code Example)

#include <algorithm>
#include <vector>
#include <iostream>

int main() {
    
    
    std::vector<int> v = {
    
    1, 3, 5, 2, 4, 6};
    std::inplace_merge(v.begin(), v.begin() + 3, v.end());

    for (int num : v) {
    
    
        std::cout << num << " ";
    }
    // 输出: 1 2 3 4 5 6
}

在上述代码中,我们首先创建了一个包含两个已排序子序列的向量。然后,我们使用 std::inplace_merge 合并这两个子序列。

正如《算法导论》中所说:“归并排序算法完全遵循分治模式。它的直观操作是:分解 - 将待排序的n个元素的序列分解为两个各含n/2个元素的子序列;解决 - 使用归并排序递归地排序两个子序列;合并 - 合并两个已排序的子序列以产生已排序的答案。”[算法导论]

通过这种方式,我们可以看到归并排序不仅是一种高效的排序算法,而且它也揭示了人类思维的深度,即通过将复杂问题分解为更小的、更容易管理的部分来解决问题,然后再将这些部分组合起来得到完整的解决方案。这种思维方式在许多其他领域,如科学、工程和日常生活中都有应用。

: 本节中的代码示例和解释是基于C++标准库的实现。如果你对底层的实现细节感兴趣,可以查看GCC或Clang的源码库中的<algorithm>头文件。

5. 排序检查 (Sorting Checks)

5.1 std::is_sorted

std::is_sorted 是一个非常实用的函数,它可以帮助我们检查一个序列是否已经被排序。这个函数返回一个布尔值,如果序列已经被排序(默认为升序),则返回 true,否则返回 false

使用示例:

std::vector<int> v = {
    
    1, 2, 3, 4, 5};
if (std::is_sorted(v.begin(), v.end())) {
    
    
    std::cout << "The sequence is sorted." << std::endl;
} else {
    
    
    std::cout << "The sequence is not sorted." << std::endl;
}

在这个示例中,输出将是 “The sequence is sorted.”,因为向量 v 已经被排序。

底层实现:

std::is_sorted 的实现相对简单。它从第一个元素开始,逐个比较相邻的元素,直到找到一个不满足排序条件的元素或检查完所有元素为止。

前置条件:

  • 前向迭代器

正如伟大的计算机科学家 Donald Knuth 在《计算机程序设计艺术》中所说:“我们应该忘记小效率,说到90%的时间:过早的优化是万恶之源。”

5.2 std::is_sorted_until

std::is_sorted_until 函数返回一个迭代器,指向序列中第一个不满足排序条件的元素。如果整个序列都是有序的,那么返回值将是序列的 end() 迭代器。

使用示例:

std::vector<int> v = {
    
    1, 2, 3, 5, 4};
auto it = std::is_sorted_until(v.begin(), v.end());
if (it != v.end()) {
    
    
    std::cout << "The sequence is sorted until element: " << *it << std::endl;
} else {
    
    
    std::cout << "The sequence is completely sorted." << std::endl;
}

在这个示例中,输出将是 “The sequence is sorted until element: 4.”,因为向量 v 在元素4之前是有序的。

底层实现:

std::is_sorted_until 的实现与 std::is_sorted 类似,但当找到第一个不满足排序条件的元素时,它会返回该元素的迭代器。

前置条件:

  • 前向迭代器

在编程中,我们经常需要确保数据的正确性和完整性。这两个函数为我们提供了一种简单而有效的方法来验证数据是否已经被正确排序。如同古老的哲学家孔子所说:“知之为知之,不知为不知,是知也。”,在编程中,知道自己的数据状态是非常重要的。

希望这两个函数能帮助你更好地理解和使用C++标准库中的排序检查工具。

6. 结论 (Conclusion)

在现代编程中,排序是一个基础且至关重要的操作。C++标准库中的排序算法为我们提供了强大的工具,使我们能够轻松地对数据进行排序。这些算法不仅高效,而且设计精良,可以满足各种应用场景的需求。

正如《算法导论》(Introduction to Algorithms)中所说:“算法是计算的核心,是计算机科学的灵魂。”排序算法在这其中扮演了一个关键的角色。它们不仅是计算机科学的基石,而且是我们日常编程中的得力助手。

std库的源码中,我们可以深入研究这些排序算法的实现。例如,std::sort的实现可以在GCC编译器的<algorithm>头文件中找到。通过深入研究这些源码,我们可以更好地理解算法的工作原理,以及为什么它们如此高效。

但是,排序不仅仅是关于算法和计算机。它也与我们的思维方式和如何组织信息有关。正如孔子在《论语》中所说:“知之者不如好之者,好之者不如乐之者。”这意味着真正理解和欣赏排序的美学和效率是一种艺术。

最后,无论你是一个经验丰富的开发者,还是一个初学者,C++标准库中的排序算法都是你工具箱中不可或缺的工具。希望通过本文,你能更深入地理解这些算法,以及如何在实际编程中应用它们。

#include <algorithm>
#include <vector>
#include <iostream>

int main() {
    
    
    std::vector<int> data = {
    
    5, 3, 8, 1, 4};
    std::sort(data.begin(), data.end());
    for (int num : data) {
    
    
        std::cout << num << " ";
    }
    return 0;
}

上述代码示例展示了如何使用std::sort对一个整数向量进行排序。这只是C++标准库中众多排序算法的冰山一角,但它为我们提供了一个开始,引导我们进入排序的奇妙世界。

在我们的编程学习之旅中,理解是我们迈向更高层次的重要一步。然而,掌握新技能、新理念,始终需要时间和坚持。从心理学的角度看,学习往往伴随着不断的试错和调整,这就像是我们的大脑在逐渐优化其解决问题的“算法”。

这就是为什么当我们遇到错误,我们应该将其视为学习和进步的机会,而不仅仅是困扰。通过理解和解决这些问题,我们不仅可以修复当前的代码,更可以提升我们的编程能力,防止在未来的项目中犯相同的错误。

我鼓励大家积极参与进来,不断提升自己的编程技术。无论你是初学者还是有经验的开发者,我希望我的博客能对你的学习之路有所帮助。如果你觉得这篇文章有用,不妨点击收藏,或者留下你的评论分享你的见解和经验,也欢迎你对我博客的内容提出建议和问题。每一次的点赞、评论、分享和关注都是对我的最大支持,也是对我持续分享和创作的动力。


阅读我的CSDN主页,解锁更多精彩内容:泡沫的CSDN主页
在这里插入图片描述

おすすめ

転載: blog.csdn.net/qq_21438461/article/details/133346119