ランダウの記号
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a4/Mplwp_factorial_stirling_loglog.svg/300px-Mplwp_factorial_stirling_loglog.svg.png)
ランダウの記号(ランダウのきごう、英: Landau symbol)は、主に関数の極限における漸近的な挙動を比較するときに用いられる記法である。
ランダウの漸近記法 (asymptotic notation)、ランダウ記法 (Landau notation) あるいは主要な記号として O (数字の0ではない)を用いることから(バッハマン-ランダウの)O-記法 (Bachmann-Landau O-notation[1])、ランダウのオミクロンなどともいう。
なおここでいうランダウはエトムント・ランダウの事であり、『理論物理学教程』の著者であるレフ・ランダウとは別人である。
ランダウの記号は数学や計算機科学をはじめとした様々な分野で用いられる。
概要
[編集]ランダウの記号
は 、x がじゅうぶん大きいとき関数 f が関数 g に比例もしくはそれ以下におさえられることを示す。
たとえば二次関数 3x2 + 4x + 10 が x を限りなく大きくしたときどのように増大するかを考えると、変数 x が 2 より大きければ第一項 3x2 が他の項より大きく、さらに大きくなるほど支配的になることがわかる。漸近解析をする上では定数倍のような詳細は必要としないことが多く、O-記法を用いると、必要な情報を
と端的に表すことができる。
このように関数 g としては関数 f よりも単純なもの(上の例では x2)が通常用いられる。(#一般的なオーダー参照。)
一方、ランダウの記号
は関数 f がおおよそ関数 g 未満であることを示している。
たとえば x が十分大きいとき 3x2 + 4x + 10 は x3 と比べると小さくなり、o-記法を用いると、これを
と表すことができる。(ただし、o-記法よりも O-記法の方が多くの場合好ましいと考えられている[3][4]。)
これまでは変数を限りなく大きくしたときを例に説明してきたが、他にも変数を限りなく小さくしたときや、定数に限りなく近づけたときの漸近挙動も同様にランダウ記法で表すことができる。どの意味で記号が用いられているのかを
のように明示する書き方もある。
f(x) = O(g(x)), f(x) = o(g(x)) (x → ∞) はそれぞれ
- が存在する場合には、その値が有限(0 も含む)であること(一般の場合は後述)。極限が存在しない場合、即ち振動する場合でも該当することはあることには注意されたい。
を表す。(厳密にはε-δ論法で定義する。)特に f(x) = o(1) は lim f(x) = 0 と同値である。
ランダウ記法は様々な分野で有益であり、たとえば指数関数を3次までテイラー展開したものは
と書き表せる。
記号 O とo は通常、関数の収束や発散の漸近的な上界を記述する為に用いられる。同様に漸近的な下界を記述する為にΩ, ωという類似記法が用いられ、上下両方を記述する為にΘ という記法を用いる。
ただし、Ω、ω、Θは主に計算機科学で用いられる記法であり、数学では O と o をこれらの意味に流用する事が多い(どの意味で用いているのかは文脈から判断)。
厳密な定義
[編集]十分大きい全ての実数 x に対し定義されている実数値関数 f(x) と g(x) に対し、
を
と定義し、「f(x) が x → ∞ のとき オーダーO(g(x)) である」と呼ぶ。
また、a を実数とするとき、aの近傍で定義された実数値関数f(x) と g(x) に対し、
を
で定義し、「f(x) が x → a のとき オーダーO(g(x)) である」と呼ぶ。
なお、a の十分近くで g(x) が 0 を値にとらない場合、は
が満たされることと同値である(a が∞の場合も同様)。特に f(x) = O(1) は、近傍において f(x) が有界であることと同値である。
記法の問題
[編集]上で定義された
という記法は広く用いられている確立した慣習ではあるが紛らわしい記法の濫用で、二つの関数が等しいという意味ではない。
この記法の濫用は、等号の両辺にO -記法が登場した際に問題となり、例えばx →∞のとき、
- であるが、 である。
すなわち、両辺にO -記法が登場した場合には、直観的には十分大きなx で左辺/右辺が定数未満になる事を意味する。
こうした記法上の問題を回避する為に、
ないし、
と書く流儀もあるが、一般的ではない。前者の場合、「O(g)」 は g の定数倍によって押さえられる関数全体からなる集合であるとみなしていることになる。
より複雑な使い方としては、O( ) が等式の異なる場所に複数、もちろん両辺にわたって複数回現れるというものがある。例えば、以下は n → ∞ で正しい内容を記述している。
これらの式の意味は、次のように解釈する:
- 左辺の O() を満たす「任意の」関数に対して、右辺の O() を満たす「ある」関数を適切に選べば、それらの関数を代入した等式の両辺が等しいようにできる。
例えば三つの目の式は、
- 任意の関数 f(n) = O(1) に対し、g(n) = O(en) を満たすgを適切に選べばが成立する
事を意味する。
二つの目の式のように左辺に複数のO()がある場合は、それらすべてに対して上述のルールを適用する。したがって二つの目の式は、
- 任意の関数、に対し、を満たすgを適切に選べばが成立する
事を意味する。
性質
[編集]O-記法は次の性質を満たす。o-記法も同様の性質を満たす。
- 推移律
- 和
- 積
- 定数倍
- 冪等性
また p(n) と q(n) をゼロでない n の多項式とすると
が成り立つ。
多変数の場合
[編集]漸近記法は多変数になっても有効である。たとえば
という言及が示唆するのは、定数 C, N で
を満たすものの存在である。ここで g(n, m) は
で定められるものである。混乱を避けるためには、動かす変数は常に明示する必要がある。つまり
という言明は、次の
とは明確に異なる言明である。
その他の漸近記法
[編集]O-記法と関連がある、Ω-記法、ω-記法、Θ-記法を導入する。
Ω-記法とω-記法はそれぞれ、O-記法とo-記法の定義で大小を反転させる事により得られる。Θ-記法Θ(g)は O(g) と Ω(g) を両方満たすことを意味する。
ただし、Ω-記法に関しては、この記法を初めて導入したハーディーとリトルウッド[2]は今日のそれとは若干異なった意味に用いていたので、あわせてそれも記す。(以下の表の「HLの定義」の部分)。
今日の定義との違いの要点をかいつまんでいえば、今日の定義ではΩ-記法は前述のようにO-記法の定義の大小反転だが、ハーディー達の定義ではΩ(g)はo(g)を満たさない事として定義していた。
両者の定義は性質のよい関数、例えば多項式に対しては同値だが、極限に近づく際に振動するような関数に関しては必ずしも同値ではない。
記法 | 意味 | インフォーマルな定義 | 形式的定義 |
---|---|---|---|
は漸近的に(定数倍を除いて) によって上からおさえられる | ある正数 k に対して、十分大きい n で | or | |
2つの定義:
HLの定義: は漸近的に によって支配されない 今日の定義: は漸近的に によって下からおさえられる |
HLの定義:
無限に多くの n の値とある正数 k に対して 今日の定義: ある正数 k に対して、十分大きい n で |
HLの定義:
今日の定義:
| |
は漸近的に によって上と下両方からおさえられる | ある正数 k1, k2 に対して、十分大きい n で |
| |
は漸近的に によって支配される | 任意の正数 を固定するごとに、十分大きい n を取ると | ||
は漸近的に を支配する | 任意の正数 を固定するごとに、十分大きい n を取ると | ||
は漸近的に に等しい |
また、計算機科学では
を
の意味で用いる。対数因子を無視すればこれは本質的には O-記法である。この記法は "nit-picking" のクラスを記述するのにしばしば用いられる。これは logk(n) が任意の定数 k と正の定数 ε に対して常にo(nε) となるからである。
一般化と関連用法
[編集]関数のとりうる値は、絶対値をノルムに取り替えるだけでそのまま任意のノルム線型空間の元に一般化できる。f や g は同じ空間に値を取る必要はない。g のとる値は任意の位相群の元にすることも可能である。
「極限操作」"x → x0" は、勝手なフィルター基の導入によって f と g の有向点族として一般化される。
o-記法は微分の定義や、極めて一般の空間における微分可能性を定義するのに有効である。また、関数の漸近同値を
と定めることができる。これは同値関係であり、上述の f が Θ(g) 程度であるという関係よりもなお強い制限を表す記法になっている。f と g が正値実数値関数なら lim f/g = 1 なる関係式に簡略化できる。例えば、2x は Θ(x) のオーダーだが、 2x − x は o(x) のオーダーでない。
一般的なオーダー
[編集]計算機科学、特に計算量理論、アルゴリズム論、暗号理論では、アルゴリズムの計算時間を評価するのに O-記法を頻繁に用いる。
アルゴリズムの計算量の評価よく使われるO-記法関数の種類を示す。
これらの中でも特に重要なものには、個別の名称がついている(多項式時間など)。
以下、 nはアルゴリズムに入力されるデータのビット数を表す。
注意しなければならないのは、アルゴリズムに整数 N を入力するときである。N のビット数 n はおよそ log2 N なので、例えば「多項式時間」といったとき、これはN の多項式ではなく n の多項式を表す。
記法 | 名称 | アルゴリズムの例 |
---|---|---|
定数時間 (Constant time) | (整数の)偶奇判別 | |
反復対数 (iterated logarithmic) | Hopcroft, Ullmanによる素集合データ構造における探索アルゴリズム | |
対数 (logarithmic) | ソート済み配列における二分探索 | |
分数指数関数 (fractional power) | kd木上の探索 | |
線形関数 (linear) | 非ソート配列上の探索、離散ウェーブレット変換 | |
準線形、線形対数 (linearithmic, loglinear, or quasilinear) | ヒープソート、高速フーリエ変換 | |
二乗時間 (quadratic) | 挿入ソート、離散フーリエ変換 | |
多項式時間 (polynomial) | ワーシャル-フロイド法 | |
指数時間 (exponential, geometricとも) | (現在最も速い)巡回セールスマン問題の(厳密解の)解法 | |
階乗関数 (factorial, combinatorialとも) | 2つの論理式の同型判定[1]、巡回セールスマン問題の(可能)解の枚挙 | |
二重指数時間 | AC単一化子の完備集合の探索[2] |
一般的ではないが、更に発散速度の速い関数も存在する(アッカーマン関数 A(m, n) など)。逆に更に発散速度の遅い関数として、逆関数である逆アッカーマン関数 α(n) などもあり、実際にあるアルゴリズムの計算量の見積りとして出現する。この関数は上界こそないものの、非常に発散速度が遅いために実用的には定数と見なされる (α(3) = 1, α(7) = 2, α(61) = 3, , ...)。
歴史
[編集]O-記法はドイツの数論家であるポール・バッハマンによって1894年に彼の著書『解析数論』(Analytische Zahlentheorie[5]) の第二巻で初めて導入された(1892年に著された第一巻では用いられていない)。これに触発されてエドムント・ランダウが1909年にo-記法を発明した[6]。
なお、ハーディとリトルウッドもランダウの記号に相当するものを別の記号で表現している[2]。彼らはΩ-記法も現在と近い意味で用いており、今日の言葉でいえば、彼らのΩはo(g)でない事を表している[2]。
またヴィノグラードフは と を同じ意味で用いている[7][8]。
ドナルド・クヌースは、計算機科学の世界にO-記法を導入し、Ω-記法やΘ-記法も再導入した[8]。
具体例
[編集]関数 f(n) が他の関数の有限和で表せるとき(多項式であるとき)、その内最も発散速度の速い関数が f(n) のオーダーを決定づける。以下にその例を挙げる。
例での場合、係数を無視してnに関する項を見ると、log n、(log n)3、n2、n3の4つが存在し、このうちn3が最も発散が速い。そのため、他のnに関する項に関わらず、オーダーはO(n3)とする。
特に、関数が n の多項式でおさえられるならば、n が無限大に発散するに従ってより低いオーダーの項まで無視できるようになる。
O(nc) と O(cn) は全く異なる。前者の定数 cがどれほど大きかろうと、後者の方がずっとずっと速く発散する。どのような定数 c に対しても ncより速く発散する関数は超多項式 (superpolynomial) と呼ばれる。また、どのような定数 c に対しても cn よりも遅く発散する関数は準指数関数 (subexponential) と呼ばれる。アルゴリズムの計算量が超多項式かつ準指数関数であることもあり得る。例えば、現在知られている内で最も早い因数分解のアルゴリズムもこれに含まれる。
O(log n) と O(log(nc)) は全く等価である。なぜならば、log(nc) = c log n より2つの指数関数は定数係数のみが異なり、これは big O-記法では無視されるからである。同様に異なる底を持つ対数関数も等価であるが、一方、異なる底を持つ指数関数は等価ではない。これはよくある勘違いである。例えば、2n と 3n は同じオーダーではない。
入力サイズの単位の変更は、アルゴリズムの計算量を変えるかもしれないしそうでないかもしれない。単位を変更するということは、関数に現れる全ての n にある定数を掛けることと同じである。例えば、アルゴリズムが n2 のオーダーで動くとき、n を cn で置き換えれば計算量は c2n2 となり、big O-記法では c2 は無視されるので計算量は変化しない (c2n2 ∈ O(n2))。しかし例えば 2n のオーダーで動くアルゴリズムでは、n を cn で置き換えると計算量は 2cn = (2c)n となる。これは 2n とは等しくない(もちろん、c = 1 の場合を除く)。
例
[編集]次の多項式関数を考える
このとき、f(x) のオーダーは O(g(x)) または O(x4) である。実際、オーダーの定義からこれはある定数 Cと x0 が存在して、x0 < x なる任意の x に対し |f(x)| ≤ C |g(x)| が成り立つことを意味するが、x > 1 において
であるから、C = 13, x0 = 1 とおけばよい。
- リーマン予想が正しければ、x 以下の素数の個数 π(x) は次のようにと評価できる(素数定理も参照)。
- バブルソートの時間的計算量を考えると、n 個の要素からなる列をソートするのに掛かる時間はO(n2) である。クイックソートを使えば、平均計算時間を O(n log n) に改善できる(但し最悪時にはO(n2))。
- n 次正方行列の固有値を求めるアルゴリズムは、少なくともその行列に含まれる n2 個の要素を読み取らなければならない。従って、固有値を求めるアルゴリズムの時間的計算量の下界は Ω(n2) である。
すなわち、一般的な行列に対してその固有値を計算するのに掛かる時間が n2 のオーダーを下回るアルゴリズムは存在しない。
無限大における漸近挙動と計算量の見積り
[編集]O-記法はアルゴリズムの効率を解析するのに有用である。たとえば、あるサイズ n の問題(例えば処理すべきデータが n 個あるなど)を解くのに掛かる時間あるいは手順数が T(n) = 4n2 − 2n + 2 である場合を考える。
このとき、n を次第に大きくしていくと、 T(n) に対して n2 の項の影響が支配的になり、他の項はほとんど無視できるようになる(たとえば n = 500 としてみると、4n2 の項は 2n の項の実に1000倍であり、後者を無視しても式に与える影響は、計算量を考える上でほとんど無視できる)。
さらに、n3 や 2n といった他のオーダーの式と比較する分には係数も無関係になる(たとえば T(n) = 1,000,000n2 のように係数が大きい関数と、それより指数が1大きい U(n) = n3 を比較する。仮に n = 1,000,000 としてみると T(1,000,000) = 1,000,000×1,000,0002 = 1,000,0003 = U(1,000,000) だから、n > 1,000,000 の場合は常に U(n) > T(n) である。)。
こうして残る影響をすくい上げて、O-記法では
と書いて、「n2 のオーダーである」と言い、これによってこのアルゴリズムの時間あるいは手順数T(n) の増加具合が n2 に支配されることを表現する。
脚注
[編集]- ^ de Bruijn 1981, p. 3.
- ^ a b c d Hardy, G. H.; Littlewood, J. E. (1914). “Some problems of diophantine approximation: Part II. The trigonometrical series associated with the elliptic ϑ-functions” (英語). Acta Mathematica 37 (0): 193–239. doi:10.1007/BF02401834. ISSN 0001-5962 .
- ^ Graham, Knuth & Patashnik 1994, pp. 448f.
- ^ de Bruijn 1981, p. 10.
- ^ インターネット・アーカイブ.
- ^ Graham, Knuth & Patashnik 1994, p. 448.
- ^ I. M. Vinogradov (2004). The Method of Trigonometrical Sums in the Theory of Numbers. Dover. p. ix. ISBN 0-486-43878-3
- ^ a b Knuth 1976.
参考文献
[編集]- 日本数学会 編『岩波 数学辞典』(第4版)岩波書店、2007年。ISBN 978-4-00-080309-0。
- de Bruijn, N. G. (1981). Asymptotic Methods in Analysis. Dover. ISBN 0-486-64221-6. Zbl 0556.41021
- Graham, R. L.; Knuth, D. E.; Patashnik, O. (1994). Concrete Mathematics (Second ed.). Addison-Wesley. ISBN 0-201-55802-5
- Marian Slodicka & Sandy Van Wontergem. Mathematical Analysis I. University of Ghent, 2004.
- Donald Knuth (Apr.–June 1976). “Big Omicron and big Omega and big Theta”. ACM SIGACT News 8 (2): 18–24. doi:10.1145/1008328.1008329 .
- Donald Knuth. The Art of Computer Programming, Volume 1: Fundamental Algorithms, Third Edition. Addison-Wesley, 1997. ISBN 0-201-89683-4. Section 1.2.11: Asymptotic Representations, pp.107–123.
- Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, and Clifford Stein. Introduction to Algorithms, Second Edition. MIT Press and McGraw-Hill, 2001. ISBN 0-262-03293-7. Section 3.1: Asymptotic notation, pp.41–50.
- Michael Sipser (1997). Introduction to the Theory of Computation. PWS Publishing. ISBN 0-534-94728-X Pages 226–228 of section 7.1: Measuring complexity.
- Jeremy Avigad, Kevin Donnelly. Formalizing O notation in Isabelle/HOL
- Paul E. Black, "big-O notation", in Dictionary of Algorithms and Data Structures [online], Paul E. Black, ed., U.S. National Institute of Standards and Technology. 11 March 2005. Retrieved December 16, 2006.
- Paul E. Black, "little-o notation", in Dictionary of Algorithms and Data Structures [online], Paul E. Black, ed., U.S. National Institute of Standards and Technology. 17 December 2004. Retrieved December 16, 2006.
- Paul E. Black, "Ω", in Dictionary of Algorithms and Data Structures [online], Paul E. Black, ed., U.S. National Institute of Standards and Technology. 17 December 2004. Retrieved December 16, 2006.
- Paul E. Black, "ω", in Dictionary of Algorithms and Data Structures [online], Paul E. Black, ed., U.S. National Institute of Standards and Technology. 29 November 2004. Retrieved December 16, 2006.
- Paul E. Black, "Θ", in Dictionary of Algorithms and Data Structures [online], Paul E. Black, ed., U.S. National Institute of Standards and Technology. 17 December 2004. Retrieved December 16, 2006.