探索(search)

探索(search)

 さて、ソートについてはこれくらいにして、最後にサーチについて少し考えてみます。

 サーチ(search:探索)とは、文字通りものを「探す」ことです。

 データを集めておいてその中から目的のものを探し出すというのは、コンピュータの中では頻繁にある作業です。ですから、できるだけ効率よく探せなければいけません。

 今、配列があって、その中にある数値を探すことを想定します。目的の数値が格納されているインデックスを求めるのがゴールです。

 一番簡単な方法はリニアサーチ(線形探索)と呼ばれるものです。これは配列を端から順番に見ていきます。プログラムは図3のような感じになるでしょう。

 簡単ですね。見つからなかったときにはあり得ないインデックス(-1)を返すことに注意してください。

 考え方は簡単ですが、計算時間はどうでしょう?

 n個の配列だとして、最善の場合はラッキーなことに1回の比較で目的のものが見つかるかもしれませんが、最悪の場合はn回の比較をすることが必要です。ですので、平均としてはn/2回ということになります。個数が倍になれば探索時間も倍になる、というわけです。

2分探索の方法

 それではもう少し速い探索方法としてバイナリサーチ(2分探索)を紹介しましょう。図3の(2)を見てください。このように配列の中で数値がソートされていたとします。

 このような場合でも線形探索を使うことができますが、それではまったくスピードアップになりません。このようなときには2分探索を使います。その考え方は次の通りです。

(1)まず、配列の真ん中(またはその1つ隣)の数値を見ます。
(2)目標の数値をこれと比較します。一致すればそれが目的のものです。
(3)一致しないとき、目標の数値が大きければ、それは今見ているところよりも右側にあるはずです。逆に小さければ、左側にあるはずです。
(4)そのようにして右側か左側というように、見る区間を半分に狭めていきます。
(5)最後には、目的のものに出くわすか、それとも見つからないかのどちらかです。

 詳細は省きますが、この方法で目標物を見つけるまでの平均探索回数はlog(n)であることがわかっています。これがどれくらい速いかは図3(4)の比較表を見れば一目瞭然でしょう。データ件数が1,000件のとき、線形探索では平均500回の比較を行いますが、2分探索では約10回の比較で済みます。

 こんな速い方法があるならすべて2分探索にしてしまえば良いのですが、この方法が使えるのはデータがソートされていることが前提条件です。結局、アルゴリズム(方法)は対象とするデータ構造に大きく依存することになります。アルゴリズムについての本が数多く出版されていますが、ほとんどが「データ構造とアルゴリズム」というようにセットで説明されているのも、それらが不可分のものだからなのです。

 さて、5回にわたってアルゴリズムのほんの一端を見てきました。

 「第1回:アルゴリズムからプログラムを学ぼう!(http://www.thinkit.co.jp/article/62/1/)」でも書きましたが、現代のプログラミング言語は多くのアルゴリズムをライブラリ関数として提供してくれます。ですから、このような基本的な機能を自分で作る機会も必要もほとんどないでしょう。

 しかし、多くは定石と呼んでよいような基本的な考え方を勉強することで、より本質的なものの考え方を身につけることができます。そして、これらの定石を基礎として、現実のシステム設計を堅牢なものにすることができるのです。

 今回紹介できませんでしたが、もちろんほかにもさまざまなアルゴリズムがあります。読者の方々が、これをきっかけに多少なりともソフトウェア工学に関心を持っていただければ、筆者の望外の幸せです。

人気記事トップ10

人気記事ランキングをもっと見る

企画広告も役立つ情報バッチリ! Sponsored

ClickHouse Cloudが実現した広告運用SaaS「ATOM」のデータ基盤革新、パフォーマンスを向上しながら、運用負荷とコストを削減 11月11日 6:20 AIで開発が加速する時代、品質保証はどう変わる? Tricentisが示すAIエージェント活用の実像 11月9日 6:45 悪用までの猶予が「1分」に迫るフロンティアAI時代に開発と本番を貫く脆弱性管理が必要 10月29日 8:30 欧州CRA対応とSBOM運用。AI生成コードのOSS混入問題の対策とは ――スニペット単位で検出する「FossID」「Insignary Clarity」によるSBOM運用 9月16日 6:40 PostgreSQLからTiDBへ、稼働中SaaSで進める段階的DB移行の実践と再設計への展望 9月7日 6:30 機能安全開発におけるGoogleTestの活用を支援!「Parasoft C/C++test CT」で実現する効率化&AI連携 4月14日 6:30 【CNDW2025】Grafanaが明かす「オブザーバビリティの哲学」ー最小限の労力で実用的なインサイトを得るには 1月23日 6:30 【CNDW2025】プロダクト急増に備える基盤刷新 ーウェルスナビがECSからEKSへの移行で得た知見とは 1月15日 6:30 【CNDW2025】250環境を5人で運用、構築時間は30分に ーKINTOテクノロジーズが語るインフラ基盤組織の作り方 2025年12月18日 6:30 新たな自動化で熱視線! AIエージェントの「推論能力」を支える2つのコンポーネントとは? 2025年11月28日 6:30