ランダウの記号
Big O記法は、アルゴリズムを比較するための方法です。これは、どれだけのメモリが必要か、完了までにどれだけの時間がかかるかを計算して比較します。
ビッグオー記法は、問題の複雑さのクラスとしても知られている、問題の複雑さを識別するためによく使用されます。数学者のPaul Bachmann (1837-1920)は、1896年に彼の著書「Analytische Zahlentheorie」の第2版で、この表記法を最初に使用しました。エドマンド・ランドー(1877-1938)はこの表記法を普及させた。このため、人々がランドーの記号について話すとき、彼らはこの表記法を参照しています。
Big O記法は、関数の成長を意味する「関数の順序」という言葉にちなんで名付けられました。Big O記法は、関数の成長率の上限(可能な限り高い量)を求めるために使用されますが、これは入力を出力に変換するのにかかる最長時間を計算することを意味します。これは、毎回最長のルートが取られる最悪のシナリオでどれだけの時間がかかるかによってアルゴリズムをグループ化できることを意味します。
Big Oは、コンピュータ上でプログラムを実行しなくても、あるアルゴリズムがどれだけ効率的であるかを示す、最悪のシナリオの実行時間を求める式です。これは、コンピュータによってハードウェアが異なるため、プログラムを完成させるのに必要な時間が異なる場合にも有用です。Big Oは常に最悪のケースを想定しているので、速度の一貫した測定値を示すことができます:ハードウェアに関係なく、O ( 1 ) {\displaystyle O(1)}は常にO ( n ! ) {\displaystyle O(n!)}よりも速く完了するようになっています。
例としては、以下のようなものがあります。
以下の例はすべて Python で書かれたコードを使用しています。これは Big O 型の完全なリストではないことに注意してください。
定数
O ( 1) {displaystyle O(1)} .入力に関係なく、常に同じ時間がかかる。例えば、整数(xと呼ばれる)を受け取って、その値の2倍の値を返す関数を考える。
この関数は、入力を受け付けた後、必ず1ステップで出力を返す。常に同じ時間がかかるので定数なので、O ( 1 ) {\displaystyle O(1)} .
リニア
O ( n ) {displaystyle O(n)} .n {displaystyle n}で表される入力の大きさに応じて増加する。ある関数がnを受け入れて、1からnまでのすべての数を返すとしよう。
5の値を入力すると、1, 2, 3, 4, 5 {\displaystyle 1,2,3,4,5}が出力されます。を出力します。同様に、100と入力すると、1,2,3...98,99,100 {\displaystyle 1,2,3...98,99,100}と出力され、100ループを完了する必要がある。入力がn {\displaystyle n}ならば、アルゴリズムの実行時間は毎回正確にn {\displaystyle n}ループするので、O ( n ) {\displaystyle O(n)} .
要因
O ( n ! ) {displaystyle O(n ! ) } .乗的に増加し、入力に伴って時間が大幅に増加することを意味する。例えば、世界の5つの都市を訪問して、可能な限りの順序(順列)を見たいとします。Pythonのitertoolsライブラリを使って書けるアルゴリズムは以下の通りです。
このアルゴリズムは、各都市のユニークな順列を計算して出力します。出力の例としては、以下のようなものがあります。
('London', 'Paris', 'Berlin', 'Amsterdam', 'Rome', 'Amsterdam') ('London', 'Paris', 'Amsterdam', 'Berlin', 'Rome', 'Amsterdam') ...('Rome', 'Amsterdam', 'Paris', 'Berlin', 'London') ('Rome', 'Amsterdam', 'Berlin', 'London', 'Paris') ('Rome', 'Amsterdam', 'Berlin', 'Paris', 'London')ここでは、入力リストは5つの項目で、選択するごとに残りの選択肢が1ずつ減っていく。 つまり、5つの入力は、5×4×3×2×1 {\displaystyle 5 4times 4Times 3\times 2Times 1}の項目を選択する(または、5 !入力がn {displaystyle n} Cities longならば、出力数はn !つまり、すべての順列を通るとすると、それを完成させるには、O ( n ! ) {\displaystyle O(n ! ) }のループが必要になる。
リトルオー記法
Big Oのより厳格なバージョンがlittle-oである。big Oとlittle-oの違いは、little-oが厳密な上限であることである。O ( n ) {\displaystyle O(n)}が入力サイズに基づいて完了時間がこの最大値まで増加することを意味するのに対し、o ( n ) {\displaystyle o(n)}は完了時間が一般的にこの時間以下になることを意味する。言い換えれば、Big Oはすべてのループが最も長いパスを取り、プロセスが可能な限り長くかかると仮定するのに対し、little-oは実際の実行時間についてより現実的である。ループの数が6面のサイコロを振ることに基づいている場合、Big Oは常に6が振られると仮定するのに対し、little-oは他の数字が振られる確率が等しいことを考慮する。
質問と回答
Q:ビッグ・オー表記とは何ですか?
A:ビッグ・オー表記法とは、異なる関数の成長率を比較する方法で、多くの場合、完了までにかかるメモリと時間を計算することで、異なるアルゴリズムの効率性を比較するために使用されます。また、問題がどの程度複雑かを識別するためにも使われます。
Q:この表記法を最初に使ったのは誰ですか?
A:数学者のPaul Bachmann(1837-1920)が1896年に出版した「Analytische Zahlentheorie」でこの表記法を初めて使用しました。
Q:ビッグ・オーとは何の略か?
A:ビッグ・オーは "order of the function "の略で、関数の成長率を意味する。
Q:ビッグ・オーはどのように使われるのですか?
A:ビッグ・オー表記は、関数の成長率の上限(可能な限り高い値)を求めるために使われます。つまり、入力を出力に変えるのにかかる最長時間を算出するのです。つまり、アルゴリズムは、毎回最長経路をとることになる最悪のケースでどれだけの時間がかかるかでグループ分けすることができるのです。
Q:ランドーシンボルとは何ですか?
A:ランドー記号とは、ビッグ・オー表記法のことで、この表記法を普及させたエドモンド・ランドー(1877-1938)にちなんで命名されました。
Q:なぜBig Oが有用なのですか?
A:ビッグ・オーは、常に最悪のケースを想定しているため、コンピュータ間のハードウェアの違いに関係なく一貫性があり、コンピュータ上でプログラムを実行しなくても速度を測定することが可能です。また、実際にコンピュータで実行しなくても、アルゴリズムがどの程度効率的であるかを示すことができます。