情報科学 › アルゴリズムとデータ構造 › 探索アルゴリズム
チェイン法の期待計算量
スロットのハッシュ表に 個のキーをチェイン法で格納し、 とします。次の仮定を置きます。
- 単純一様ハッシュの仮定:格納される各キーは、他のキーと独立に、 個のスロットのそれぞれに確率 で写る。
- ハッシュ関数 の計算は 時間でできる。
- 新しいキーはリストの先頭に挿入する。
このとき次が成り立ちます。
- 表に格納されていないキー (その もまた 個のスロット上の一様分布に従い、格納済みのキーとは独立とする)を探索するとき、走査されるリスト要素数の期待値は であり、探索時間の期待値は です。
- 格納されている 個のキーのどれを探すかが等確率であるとき、走査されるリスト要素数の期待値は であり、探索時間の期待値は です。
閉包の状態
✓ 公理まで証明済み
証明が使う定理を 前提 としてたどると、Rikai の中の証明だけで定義・公理(物理では基本仮定)までつながっています。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
前提をたどる 証明が使う定理・定義
証明は Rikai の他の定理を参照していません(定義と論理だけで示されています)。
これを使っている定理 証明で参照している 1 件
- 負荷率を定数に保てば定数時間✓系 5.4・探索アルゴリズム