検索エンジンはなぜ一瞬で見つけられるのか

上級の解説は準備中のため、上級の内容を表示しています。

概要 — まず全体をつかむ

中級では「巡回(HTTP)→ 切り出し(形態素解析)→ 転置(索引)→ 採点(関連度+リンク評価)」という分業を追いました。上級では、その各部品の内部構造とスコアの計算、そして大規模化まで踏み込みます。

アニメーション『検索の前準備と本番』を開く
世界中のWebサイトクローラ索引(インデックス)あなた
  • 世界中のWebサイト何十億ページもある本棚。検索エンジンの外にある
  • クローラリンクをたどってページを読んで回る自動の巡回ロボット
  • 索引(インデックス)「この言葉はこのページにある」をまとめた巨大な逆引き帳
  • あなた検索窓に言葉を打つ人
「▶ 再生」で通しで見るか、「次へ」で1手ずつ進めてください。
0 / 7

詳細 — 1段階ずつ追う

クローリングとインデックス構築

クローラの正体は超大規模なHTTPクライアントでした。上級では「どう賢く回り、どう索引へ落とすか」を見ます。

  • フロンティア ※1 — 未訪問URLの巨大な待ち行列。ただ古い順ではなく、更新頻度や重要度で優先度を付けて取り出す
  • 重複除去 — URLを正規化し、本文のハッシュで同一コンテンツを弾く。ミラーやパラメータ違いの重複に持ち時間を奪われないため
  • 差分クロール — 変わっていないページは再取得を控え、変化しやすいページを厚く回る
  • レンダリング待ち — JSで中身を組み立てるページは、ブラウザ 相当の実行工程が要る。素のHTML取得より桁違いに重いので別枠の順番待ちになる

集めた文書は、バッチと増分で索引に落とします。大量の文書からセグメント(部分索引)を作り、それらをマージして大きな索引へ育てる、という積み上げ方が定番です。

登場人物メモ(※の説明):

  • ※1 フロンティア — これから訪問するURLの管理キュー。優先度付けが「クロールバジェット」の使い方を決める

転置インデックスの中身

中級で「単語→文書ID一覧」と紹介した索引を、もう一段開けます。単語ごとに紐づく文書の並びを ポスティングリスト ※1 と呼びます。

  • ポスティングの中身 — 文書IDだけでなく、出現回数(後の採点用)と出現位置(フレーズ検索用)を添える
  • 前処理の三点トークナイズ ※2(語に切る)→ 正規化(大文字小文字・全角半角・表記揺れを揃える)→ ステミング ※3(活用や語尾を語幹に寄せる)
  • 辞書と圧縮 — 語→ポスティングの先頭を引く辞書を別に持ち、文書IDは差分(ギャップ)符号化などで圧縮して巨大化を抑える

登場人物メモ(※の説明):

  • ※1 ポスティングリスト — ある単語を含む文書の並び。転置インデックスの本体
  • ※2 トークナイズ — 本文を索引の単位(トークン)に切り分ける処理。日本語では形態素解析がこれを担う
  • ※3 ステミング — 「走る/走った/走れば」を同じ語幹に寄せる正規化。英語の running→run のような揺れの吸収

ランキング — TF-IDFからBM25へ

絞り込んだ候補に順位を付ける採点を、古典から見ます。

  • TF-IDFの発想 — その文書に多く出る語(TF)ほど効き、世間では珍しい語(IDF)ほど効く、という重み付け。中級で触れた「関連度」の土台
  • BM25 — TF-IDFの弱点を補う定番。出現回数の効果を飽和させ(同じ語を1万回書いても青天井にはならない)、文書長で正規化する(長い文書がただ有利になるのを防ぐ)
  • 学習型ランキング — 現代の検索は、これら多数の特徴量を機械学習モデルで合成し、クリック傾向なども取り込んで並べる

素朴なTFの弱点(詰め込みが有利)を、BM25の飽和と正規化がどう塞ぐか——ここが古典的採点の要点です。

クエリ処理(AND・OR・フレーズ)

複数語のクエリは、ポスティングリストの集合演算として処理されます。

  • AND — 各語のポスティングリストの(共通する文書ID)を取る
  • ORを取る
  • フレーズ検索 — 語が索引に持つ出現位置を使い、「隣り合っているか」を確かめる。位置がなければ「順不同で両方含む」までしか言えない
  • 高速化 — ソート済みリストを飛ばし読みするスキップリストや、上位k件だけ確定できれば全走査を打ち切る枝刈りで、巨大なリストの積和を速く済ませる

リンク解析(PageRank)

Web検索特有の採点が、リンク構造の解析です。

  • リンク=推薦 — 信頼あるページから多くリンクされるページは、それ自体も信頼できるとみなす
  • 反復計算 — 全ページの評価を、リンクをたどって少しずつ配り合い、値が落ち着くまで繰り返して求める(ランダムに links をたどり歩く閲覧者のモデル)
  • スパム耐性 — 語の詰め込みだけでは上がらない軸を足すことで、本文操作だけのスパムに強くなった。もっとも、リンク売買という新たないたちごっこも生んだ

本文の関連度(BM25など)と、この外部からの評価を合成するのが、Web検索のランキングの骨格です。

大規模化 — シャーディングと分散

何十億という文書は、1台の索引には収まりません。分割して並列に引くのが基本です。

  • シャーディング — 文書集合を複数のシャードに分け、各シャードが自分の担当分の完全な転置インデックスを持つ
  • 分散クエリ — 検索語を全シャードへ同時に投げ、各シャードで上位k件を出し、集約役がそれらをマージして最終順位を作る
  • レプリカ — 各シャードを複製して、故障への冗長性と読み取りスループットを稼ぐ
  • キャッシュ — よく出る検索結果や、頻出語のポスティングリストを キャッシュ して往復を減らす

B木索引との違い

同じ「索引」でも、DBの B木索引 と全文検索の転置インデックスは狙いが違います。

アニメーション『インデックスと全表走査』を開く
インデックスなし=全表走査(フルスキャン)1行ずつ全部見る行 1確認…行 2確認…行 3確認…行 4確認…行 5確認…行 6確認…行 7← 目的の行(7件目でやっと)行 8確認…行 9確認…9行すべて走査(遅い)インデックスあり=B木で当たりをつける根(索引)まず範囲で判断6〜91〜5目的の行7 に到達行 8–9行 1–3行 4–5根 → 枝 → 目的の行 の 3ステップ で到達見る行はごくわずか(速い)索引で「当たりをつけて」一気に絞る ― 9行を見るか、3ステップで着くかの差
  • B木索引 — 列の値をソートして並べる構造。等値・前方一致・範囲(WHERE age > 30LIKE 'ab%')に強い。ただし本文の途中に出る語では引けない
  • 転置インデックス — 本文を語に割り、語の側から文書を引く。だから「文章中のどこかにこの語がある文書」を全文から即座に集められる

DBで LIKE '%語%' が遅い(索引が効かず全表走査になりがち)のに対し、全文検索がそれを一撃で返せるのは、この索引の向きの違いが理由です。用途に応じて、両者は使い分けられます。

関連する知識

理解度チェック

そのまま解けます(成績は保存されません)。無料アカウントを作ると、学習の記録と進捗の山登りが始まります。

1. 全文検索の転置インデックスが DBのB木索引と根本的に異なる点はどれ?

2. ランキングでBM25がTF-IDFに加えた主な改良はどれ?

3. 複数語のANDクエリを転置インデックスで処理するとき 何を計算する?

4. フレーズ検索で「語が隣り合っているか」を確かめられるのは ポスティングに何を持たせているから?

5. 何十億もの文書を複数のシャードに分けるとき 各シャードが持つのはどれ?

6. 「running を run に寄せる」ように 活用や語尾を語幹に揃える正規化を何と呼ぶ?

7. ある単語を含む文書の並び(文書ID・出現回数・出現位置を持つ)を 転置インデックスでは何と呼ぶ?(カタカナ)

8. クローラがこれから訪問する未訪問URLを管理する巨大な待ち行列を何と呼ぶ?(カタカナ)