50. 対数時間 O(logN) って思った以上に速い話
計算量で対数時間 というものをよく見かけると思いますが、これが具体的にどの程度のものか、感覚で理解してみます。
まず大前提として、 の底は(計算機科学においては一般に)2 です。何故 2 なのかというと、分割統治法の考え方で問題サイズを半分にすることを繰り返すことが多いからです。ここから計算回数 という値が出てきます。
対数時間の感覚的な掴み方ですが、対数関数は指数関数の逆関数です。
指数関数 は(1より大きい自然数の底 を前提として)、 が増加するほど爆発的に が増加します。指数関数の爆発性は、「紙を 回折りたたむと高さ何メートルになるか?」といった例で有名です。
ここから考えて、逆に、対数関数 は が増加してもほとんど は増加しません。
具体的な値で考えてみます。競技プログラミングの文脈で、 ごとにどのような計算量になるかを調べたいです。
を考えてみると、 であることから、およそ で となります。たしかに速いですが、これだけではあまり速い印象が無いです。
そこで、次に となるときを考えてみます。高校数学を使うなり、計算するなりで確かめられますが、 であることから、およそ でようやく となるのです。
すなわち、対数時間はほとんどの文脈で と考えられるわけです。ほぼ定数時間とみなして良いでしょう。よって、対数時間で解けるアルゴリズムはかなり強くなります。
対数関数の増加の緩やかさについて、 を書き下したなかなかとんでもないページを見つけたので紹介します。対数関数の出力を1桁増やすのに、これくらい大きな数が必要になるということです。