【図解】パーティション【C言語】

本記事では、配列の分割方法である「パーティション」の解説・C言語での実装を確認していきます。

 

アルゴリズム解説では、図を用いた解説を行うため、イメージしやすい構成となっています

 

パーティションは、クイックソートを理解する上で必要となる知識なので、しっかり確認していきましょう。

>>【図解】クイックソート:アルゴリズム【C言語】

 

 

 本記事でわかること

  • パーティションのアルゴリズムの流れ
  • C言語による実装方法

 

 

アルゴリズム入門書はこの一冊で十分!

 

 

 

パーティションのアルゴリズム

パーティションは、アルゴリズムに基づき、配列をある規則に従うように並び替える手法です。

 

内容自体は全く難しくないのですが、どこを交換するのか、といったことが若干わかりづらいので、じっくり見ていきましょう。

 

まずは、具体的な手順の前に、ザックリと何をしたいのかを確認します。

 

パーティションは、「ある基準値に対して、それよりも小さな値と、大きな値を左右それぞれに分ける」ということを行います。

 

 

この例では、「6」が基準値となっています。

一般的には、右端の値を基準値に設定します。

 

見てわかるように、基準値である「6」よりも小さな値が「6」の左側に、大きな値が「6」の右側に移動しています。

 

パーティションで行う内容はこれだけです。

 

「完成形はこんな感じなのか~」、と頭の片隅にでも置いといてください。

 

後は、この処理をどのように実現するのかを見ていきます。

 

パーティションの処理は、言葉で説明するよりも、実際のコードと図を見てもらった方がわかりやすいので、まずは partition 関数のコードから確認します。

 

 

では、この関数に沿って図で説明していきます。

 

引数には、パーティションによって並び替える配列と、その配列の先頭・末尾の添え字をそれぞれ渡します。

 

今回は、配列Aを以下のように設定します。

 

 

この場合、関数への引数は、 p = 0r = 7 となります

 

 

ここで、変数 rp の役割を説明します。

 

r は、配列の基準値を指す添え字であり、今回は A[r] 、すなわち「6」が基準値になります。

 

p は、基準値よりも大きい部分の、先頭の値を指す添え字になっています。

別の言い方をすると、基準値よりも小さい部分と大きい部分の仕切りのような役割になります。

 

では、説明を進めながら確認していきましょう。

 

 

ここからは、for文のループ処理に入ります。

ループ処理では、対象の配列の先頭位置から、順番に基準値との比較を行います。

 

まずは、 i = 0 の位置と基準値とを比較します。

 

 

書いてある通り、 A[i] が基準値よりも小さい場合、何もせずにfor文の更新を行います。

その後、再び値の比較を行います。

 

次は、 i = 1 の位置と、基準値を比較します。

 

 

今度は、基準値よりも小さい値であったため、値の入れ替えが発生します。

 

まず、 A[p]A[i] を交換します。

 

 

その後、 p を1つずらします。

 

 

これにより、配列の先頭から、添え字が i の位置までの範囲が並び替えられました。

ここでは、「3」と「8」が並び替えられています。

 

そして、変数 p は、「3」と「8」のうち、基準値である「6」よりも大きい部分の先頭に移動しています。

緑の部分は、基準値よりも小さい値の集まりです。

 

もう少し見ていきましょう。

 

for文の更新により、 i が1つずれるので、今度は「5」と「6」を比較します。

 

 

今回も、基準値よりも小さい値であったため、値の入れ替えが発生します。

 

まず、 A[p]A[i] を交換します。

 

 

その後、 p を1つずらします。

 

 

これにより、配列の先頭から、添え字が i の位置までの範囲がさらに並び替えられました。

ここでは、「3」「5」「8」が並び替えられています。

 

そして、変数 p は、「3」「5」「8」のうち、基準値である「6」よりも大きい部分の先頭に移動しています。

 

つまり、「3」「5」が基準値よりも小さい部分、「8」が基準値よりも大きい部分なので、 p は「8」の位置に移動します。

 

 

for文の更新により、 i が1つずれるので、今度は「1」と「6」を比較します。

 

 

再び、基準値よりも小さい値であったため、値の入れ替えが発生します。

 

まず、 A[p]A[i] を交換します。

 

 

その後、 p を1つずらします。

 

 

ここまでで、「3」「5」「1」「8」が並び替えられています。

 

 

最後にもう一度だけ、説明付きで見ていきます。

 

for文の更新により、 i が1つずれるので、今度は「7」と「6」を比較します。

 

 

「7」は基準値よりも大きいため、何もせずにfor文の更新を行います。

 

残りは機械的に行います。

 

 

 

 

ここで、forループは終了します。

 

ここまで行うことで、この配列は、 p の位置を境目とし、このように並びます。

 

 

最後に、 A[p]A[r] を入れ替えることで、基準値を境にして値を並び替えることができます。

 

 

これで、基準値より小さい値が基準値の左側に、基準値より大きい値が基準値の右側に並びました。

 

ここまでがパーティションのアルゴリズムです。

 

いざ説明してみると、かなり複雑っぽくなりましたが、実際はそこまで複雑じゃないので、怪しい方はもう一度コードから見直してみてください。

 

スポンサーリンク

 

パーティションの実装【C言語】

最初の方にパーテーション関数のコードは載せているので、ここでは、メイン関数込みの全体のプログラムを載せます。

 

 

パーティションの実装コードは、

 

23~34行目にあります。

 

こちらのプログラムを実行結果は、

となり、前の章で見てきた並びと同様になることが確認できます。

 

これで、パーティションの内容はおしまいです。

 

パーテーションについて学習した後は、是非クイックソートのアルゴリズムも学習してみてください。

>>【図解】クイックソート:アルゴリズム【C言語】

 

では、今回はここまでとします。

お疲れさまでした。