ソート
ルールに基づいて並べ替えること。
ソート (英: sort) は、データの集合を一定の規則に従って並べること。日本語では整列(せいれつ)、並べ替え(ならべかえ)、分類(ぶんるい)などと訳される。 https://ja.wikipedia.org/wiki/%E3%82%BD%E3%83%BC%E3%83%88
sortの語源: 古フランス語の
sortir
(≒sort, assort)より - https://www.etymonline.com/search?q=sort - https://en.wiktionary.org/wiki/sortir
sortの評価指標
- 計算量
- in-place性(追加で必要な外部メモリ容量)
- 安定性(stability)
in-place性
追加の記憶領域をほとんど使わない性質。
in-placeアルゴリズムとは、計算機科学においてデータ構造の変換を行うにあたって、追加の記憶領域をほとんど使わずに行うアルゴリズムを意味する。 in-place とは「その場で」といった意味であり、入力が出力で上書きされることが多いことから来る用語である。 in-place でないアルゴリズムは not-in-place あるいは out-of-place などと呼ばれることもある。 https://ja.wikipedia.org/wiki/In-place%E3%82%A2%E3%83%AB%E3%82%B4%E3%83%AA%E3%82%BA%E3%83%A0
似た概念に 空間計算量 がある。
例えば、なんらかの文字列を逆転する関数を考える。
以下の関数 reverse()
は、
sort対象である配列 a の他に、同じサイズ の配列 b を用意している。
すなわち、配列 b の領域に の空間を必要とする。(空間計算量 とも)。
function reverse(a[0..n]) allocate b[0..n] for i from 0 to n b[n - i] = a[i] return b
対して、次の関数 reverse-in-place()
は、sort処理が与えられた配列 a で完結しているため、
in-placeであると言える。
function reverse-in-place(a[0..n]) for i from 0 to floor(n/2) swap(a[i], a[n-i])
安定性
sort対象に同一の値があった時に、元の順序が保たれているかどうか。
具体例:
Goのsort.Slice() は安定ソートではない。 https://play.golang.org/p/Ez6S89OVz4H
Kotlinの collections.sortedBy() は安定ソート。 https://pl.kotl.in/oSm-SmU9m
sortアルゴリズム
挿入ソート
左から 枚分が整列済みの状態であることを仮定して、 枚目のカードを適切な場所に挿入していくアルゴリズム。
評価
- 計算量:
- in-place: true
- stable: true
実装例
fn insertion_sort(v: Vec<i32>) -> Vec<i32> { let mut v = v; for i in 0..v.len() { for j in (0..i).rev() { if v[j] > v[j+1] { v.swap(j, j+1); } } } v }
マージソート
分割統治法によるソート。 配列を半分に分割し、左右それぞれを再帰的にソートしておき、その両者を併合することを繰り返す。
併合するときは次のような操作を行う。
- 左側配列 と右側配列 の中身をそれぞれ外部配列にコピー
- 左側に対応する外部配列と,右側に対応する外部配列がともに空になるまで,「左側の最小値」と「右側の最小値」を比較して小さい方を選び,それを抜き出すことを繰り返す.ただし,左側の外部配列と右側の外部配列のうち,どちらかが空である場合には,他方の最小値を抜き出す.
ここで、図12.4のように、右側の外部配列を左右反転することを考える。
こうすることにより、併合処理において、左側の外部配列または右側の外部配列が空であるかどうかを確認する必要がなくなり、「つないでできた外部配列の両端のうち,小さい方を抜き出すことを繰り返す」という明快なものとなる。
評価
- 計算量:
- 分割:
- 併合: を 回 =
- in-place: false
- 併合するときに外部配列を要する
- そのため、組み込み系などの資源が限られた状況下では採用されづらい
- stable: true
実装例
// left, right: 0-index of v fn merge_sort(v: &mut Vec<i32>, left: usize, right: usize) { if right > left { let mid = (left + right)/2; merge_sort(v, left, mid); merge_sort(v, mid+1, right); merge(v, left, mid, right); } } fn merge(v: &mut Vec<i32>, left: usize, mid:usize, right:usize) { let left_vec = v[left..=mid].to_vec(); let right_vec = v[mid+1..=right].to_vec(); let mut left_itr = left_vec.iter().peekable(); let mut right_itr = right_vec.iter().peekable(); for i in left..=right { match (left_itr.peek(), right_itr.peek()) { (None, Some(_)) => v[i] = *right_itr.next().unwrap(), (Some(_), None) => v[i] = *left_itr.next().unwrap(), (Some(l), Some(r)) if l < r => v[i] = *left_itr.next().unwrap(), (Some(l), Some(r)) if r < l => v[i] = *right_itr.next().unwrap(), (Some(_), Some(_)) => v[i] = *left_itr.next().unwrap(), _ => break } } }
マージソートの計算量について
マージソートの計算量を とすると、以下の漸化式が成り立つ。
これが となることを示す。
まず、漸化式中に含まれる定数を一般化し、 を を満たす整数、 を正の実数として
と変換する。ここで得られた漸化式の計算量が、
となることを見ていく。
が と表される整数である場合について考える。 漸化式を繰り返し用いると、
となる。
よって、
冒頭で記した通り、マージソートは次の漸化式で計算量を表すことができ、 である。
よって、マージソートの計算量が であることが示された。
クイックソート
指定した要素よりも小さい要素を左側に、大きい要素を右側に移動する操作を再帰的に繰り返せば、ソートされた配列が出来上がる、というコンセプト。
今まで貼ってきたGeeksforGeeksの動画の説明がわかりづらかったので 別の動画も貼りました
評価
- 計算量: 最悪
- in-place: true
- stable: false
実装例
fn quick_sort(v: &mut Vec<i32>, left: usize, right: usize) { // do procedure more than 3 elements exist if right - left < 2 { return } // put pivot in the middle let pivot_index = (left + right) / 2; let pivot = v[pivot_index]; // swap pivot to the right most side v.swap(pivot_index, right-1); // seek left -> right let mut i = left; for j in left..right - 1 { if v[j] < pivot { // move smaller one to the left side v.swap(i, j); i += 1; } } v.swap(i, right-1); // after that, each elements placed like below: // [smaller than pivot(1)][pivot][larger than pivot(2)] // do procedure in (1) and (2) quick_sort(v, left, i); quick_sort(v, i+1, right); }
クイックソートの計算量について
① 処理対象範囲を左から右へシーク:
for j in left..right - 1 { if v[j] < pivot { // move smaller one to the left side v.swap(i, j); i += 1; } }
② 分割された配列に再帰処理:
quick_sort(v, left, i); quick_sort(v, i+1, right);
よって、全体としては となるのが理想だが、
分割に偏りがある場合、例えば pivotとして毎回最も大きい要素、または最も小さい要素を選んでしまう場合、 上記2の再帰処理の深さが となり、計算量は となってしまう。
乱択クイックソート
- 一般的に、設計したアルゴリズムの平均的な挙動について考えるとき、入力データとして考えられるものが等確率で出現するという仮定を置く。
- しかし、現実には、入力分布に偏りがあったり(1 100 100 100...)、入力データ側に悪意があったり(昇順を目的としてアルゴリズムに降順のinputを与える等)する状況が考えられる。
- これらの場面で有効なのか乱択化(randomization)であり、この操作を施したクイックソートを「乱択クイックソート」と呼ぶ。
配列 の 番目に小さい要素と、 番目に小さい要素()が比較されるときに1、そうでない場合に0をとる確率変数 を考える。
このとき、乱択クイックソートの平均計算量は
と表すことができる。
例えば、先ほどの となるような状況では、 がほとんど1となる。
ここで、 番目の要素と、 番目の要素が比較される条件について考える。
要素がpivotとして選択されるよりも先に 番目の要素がpivotとして選択された場合、 番目の要素はそれぞれ別の再帰関数に飛ばされてしまうので、両者が比較されることは無い。
逆に、 または のどちらかがpivotとして選択されれば、両者は比較される。
よって、 先ほど定義した は、 番目の中で、 番目のどちらかの要素がpivotとして選択される確率を表す。
よって、 となるので、
となる。 以上より、乱択クイックソートの平均計算量が となることが導かれた。
ここで、
\begin{align} 1 + \frac{1}{2} + \frac{1}{3} + ・・・ + \frac{1}{N} = O(logN) \end{align}
という性質を用いた。この性質は、アルゴリズムの計算量解析においてしばしば登場する。
ヒープソート
ヒープソートは、その名の通りデータ構造 ヒープ を活用する。
ヒープは最小値(または最大値)を求めるのに適した木構造の一種であり、「子要素は親要素より常に大きいか等しい(または常に小さいか等しい)」という制約を持つ。子要素が複数ある場合、子要素間の大小関係に制約はない。 https://ja.wikipedia.org/wiki/%E3%83%92%E3%83%BC%E3%83%97
- 与えられた配列の要素を全てヒープに挿入
- ヒープの最大値を順にpopし、配列の後ろに詰める
という作業を行ってソートを実現する。
評価
- 計算量: 最悪
- in-place: true
- stable: false
一見、ヒープを用意するために外部メモリが必要なように思われるが、 ソートしたい配列自体をヒープにすることで、外部メモリを必要としない、 in-placeなアルゴリズムを実現できる。
実装例
// Heapify subtree that have the ith element as root // target: v[0:n] fn heapify(v: &mut Vec<i32>, i: usize, n: usize) { // child on the left side let mut child = i * 2 + 1; // if no child, return if child >= n { return } // compare children if child + 1 < n && v[child + 1] > v[child] { child += 1; } // if no inversion, return if v[child] <= v[i] { return } v.swap(i, child); heapify(v, child, n) } fn heap_sort(v: &mut Vec<i32>) { let n = v.len(); // step 1 // make v as Heap for i in (0..n/2).rev() { heapify(v, i, n); } // step 2 // pop the maximum value one by one from heap for i in (1..n).rev() { v.swap(0, i); heapify(v, 0, i); } }
余談:ソートの計算量の下界
ここまで、マージソートやヒープソートなど、 計算量 の様々なソートアルゴリズムを紹介した。 ここでは、これらよりも高速なアルゴリズムを設計することが可能かどうかを考えてみる。
これまで見てきたソートアルゴリズムは、いずれも 「ソート順序が入力要素の比較にのみ基づいて決定される」という性質のものであった。便宜的に、このようなアルゴリズムを 比較ソートアルゴリズム と呼ぶことにする。
実は、任意の比較ソートアルゴリズムにおいて、最悪の場合 回の比較が必要であることを示すことができる(すなわち、マージソートやヒープソートはともに、漸近的に最良の比較ソートアルゴリズムであると言える)。証明のアイデアを以下に示す。
まず、比較ソートアルゴリズムは、大小関係の比較を繰り返すことで、最終的な順序を導く二分木としてとらえることができる。
このとき、比較ソートアルゴリズムの最悪計算量は二分木の高さ に対応する。
要素の順序として考えられるものは通りあるので、二分木の葉の個数は必要となる。 従って、
\begin{align} 2^h \ge N! \ \end{align}
を満たす必要がある。
ここで、スターリングの公式を用いる。
\begin{align} \lim_{N \to \infty} \frac{N!}{\sqrt{2\pi N} (\frac{N}{e})^N} = 1 \ \end{align}
スターリングの公式は階乗 を指数関数で近似する公式です。統計力学(物理の一分野)や組み合わせ数学で用いられます。 階乗よりも指数関数の方が扱いやすい場合が多いので嬉しいです。 https://manabitimes.jp/math/763
これによって、
\begin{align} log_eN! \simeq Nlog_eN-N+ \frac{1}{2}log_e(2 \pi N) \end{align}
が成立し、
\begin{align} log_eN! = \Theta(NlogN) \end{align}
について の時、 十分大きな について、定数倍を無視すれば の値は が上限にも下限にもなることを意味する。 https://algo-logic.info/asymptotic-analysis/#toc_id_3_2
であることが言える。
ここで、
\begin{align} h \ge log_2(N!) \gt log_e(N!) \end{align}
より、
\begin{align} h = \Omega(NlogN) \end{align}
が成立する。 以上から、任意の比較ソートアルゴリズムは、最悪の場合、 回の比較が必要であることが示された。
分布数え上げソート(Countingソート)
先ほど、 の計算量を持つマージソートやヒープソートが、漸近的に最速な比較ソートアルゴリズムであることを確認した。比較ソートアルゴリズムである限り、定数倍の違いを除いて、これらより早いものは存在しないと言える。
ここで紹介する 分布数え上げソート(Countingソート) は比較ソートアルゴリズムではないソートアルゴリズムである。
分布数え上げソートはソート対象のデータをキーにして、キーの出現回数とその累積度数分布を計算して利用することで整列を行うアルゴリズムです。 キーとなるデータがとりうる値の範囲をあらかじめ知っている必要があります。 https://www.codereading.com/algo_and_ds/algo/counting_sort.html
評価
- 計算量: (配列の要素が である場合)
- in-place: false
- stable: true
実装例
// on the assumption that each elements is less than 100000 const MAX: usize = 100000; fn main() { let mut v = vec![3,6,2,154,5,41,564,21,86,9]; assert_eq!(counting_sort(&mut v), vec![2, 3, 5, 6, 9, 21, 41, 86, 154, 564]); } fn counting_sort(v: &mut Vec<i32>) -> Vec<i32> { let n = v.len(); // count each elements let mut num = vec![0; MAX]; for i in 0..n { num[v[i] as usize] += 1 } // get cumulative sum of num let mut sum = vec![0; MAX]; for value in 1..MAX { sum[value] = sum[value-1] + num[value]; } let mut v2: Vec<i32> = vec![0; n]; for i in (0..n).rev() { v2[sum[v[i] as usize] - 1] = v[i]; } v2 }
まとめ
お世話になった本
問題解決力を鍛える!アルゴリズムとデータ構造 (KS情報科学専門書) | 大槻兼資, 秋葉拓哉 | 工学 | Kindleストア | Amazon
登場したアルゴリズムたち
KenchonBook/chapter12/src at main · kubosuke/KenchonBook · GitHub