情報科学 › アルゴリズムとデータ構造 › 計算量と O 記法
一様コスト RAM モデル
計算機は、番地 で添字づけられた記憶セルの列と、有限個のレジスタを持つとする。次の各操作を基本演算と呼び、いずれも 1 単位時間で実行されるものとする。
- 定数、レジスタ、および番地を指定した記憶セルからの読み出しと書き込み
- 整数・実数の加減乗除と比較
- 条件分岐と無条件分岐
さらに、1 個の記憶セルには ビットの語( は入力サイズ)が格納できるものとする。
閉包の状態
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理 証明で参照している 1 件
- ベクトル化は演算の回数を変えず、作業領域を変える✓命題 6.1・NumPy で書く配列計算