[論文レビュー] A General Definition of the O-notation for Algorithm Analysis

Kalle Rutanen, Germán Gómez-Herrero+2 more|arXiv (Cornell University)|Sep 12, 2013

Formal Methods in Verification被引用数 5

ひとこと要約

この論文は、線形優位性と論理的に同値である8つの原始的性質を特定することで、アルゴリズム解析で用いられるO表記法の一般的かつ公理的な定義を確立する。O表記法は正の関数に対するフィルターと極限を用いて形式化され、O写像が統一的な道具として導入され、この一般化された枠組み下でマスター定理が成立することを証明する。

ABSTRACT

We provide an extensive list of desirable properties for an O-notation --- as used in algorithm analysis --- and reduce them to 8 primitive properties. We prove that the primitive properties are equivalent to the definition of the O-notation as linear dominance. We abstract the existing definitions of the O-notation under local linear dominance, and show that it has a characterization by limits over filters for positive functions. We define the O-mappings as a general tool for manipulating the O-notation, and show that Master theorems hold under linear dominance.

研究の動機と目的

• アルゴリズム解析におけるO表記法を定義する上で本質的であるとされる性質を特定・形式化すること。
• これらの性質が線形優位性の概念と論理的に同値であることを示すこと。
• 局所的線形優位性に基づく既存のO表記法の定義を、フィルターと極限を用いて一般化すること。
• 異なる定義域間で漸近的表記を操作するための統一的枠組みとしてO写像を導入すること。
• 提案された一般化されたO表記法の枠組み下でマスター定理が有効であることを確立すること。

提案手法

• アルゴリズム解析におけるO表記法を完全に特徴付ける最小の8つの原始的性質を導出すること。
• これらの8つの性質が漸近的解析における線形優位性の概念と論理的に同値であることを証明すること。
• フィルター理論と極限プロセスを用いて、既存の局所的線形優位性に基づくO表記法の定義を抽象化・一般化すること。
• 異なる定義域間で漸近的表記を操作・合成できる形式的道具としてO写像を定義すること。
• 線形優位性によって定義される一般化されたO表記法の下でも、マスター定理の枠組みが有効であることを示すこと。

実験結果

リサーチクエスチョン

• RQ1 アルゴリズム解析で用いられるO表記法を完全に特徴付ける最小の性質の集合は何か？
• RQ2 これらの性質の下で、標準的なO表記法の定義は線形優位性の概念と同値であるか？
• RQ3 正の関数に対するフィルターと極限を用いてO表記法を一般化することは、基礎的なアルゴリズム的推論を保つ形で可能か？
• RQ4 O写像は、多様な文脈において一貫的かつ強力な形式的枠組みを提供するか？
• RQ5 この一般化されたO表記法の枠組み下で、マスター定理が有効となる条件は何か？

主な発見

• 同定された8つの原始的性質は、O表記法を定義するために必要かつ十分であり、線形優位性と論理的に同値である。
• 正の関数に対するフィルターを用いた極限を用いることで、O表記法を形式的に特徴付けることができ、従来の定義を一般化する。
• O写像は、漸近的表記の合成と変換を統一的かつ厳密な枠組みで可能にする。
• 分割統治型再帰式に対するマスター定理は、線形優位性によって定義される一般化されたO表記法の下でも有効である。
• 提案された枠組みは、既存の定義、特に局所的線形優位性に基づく定義を包含・拡張し、より高い数学的一般性を持つ。