情報科学 › アルゴリズムとデータ構造 › 計算量と O 記法

一様コスト RAM モデル

定義 2.1(「計算量と O 記法」§2)

計算機は、番地 0,1,2,…0, 1, 2, \ldots で添字づけられた記憶セルの列と、有限個のレジスタを持つとする。次の各操作を基本演算と呼び、いずれも 1 単位時間で実行されるものとする。

  1. 定数、レジスタ、および番地を指定した記憶セルからの読み出しと書き込み
  2. 整数・実数の加減乗除と比較
  3. 条件分岐と無条件分岐

さらに、1 個の記憶セルには O(log⁡n)O(\log n) ビットの語(nn は入力サイズ)が格納できるものとする。

本文で読む(前後の説明と例)→

閉包の状態

定義

定義は閉包の起点です(証明を要しません)。

印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。

これを使っている定理 証明で参照している 1 件