時間計算量について話すとき、通常、入力としてnを使用しますが、これは実際の入力サイズの正確な尺度ではありません。入力( s )に特定のサイズを使用する場合、アルゴリズムが同じ複雑度クラスのままであることを示すのに問題があります。
たとえば、単純なシーケンシャル検索アルゴリズムを考えてみましょう。最悪の場合、W(n)時間がかかります。特定の入力サイズ(2進数)を適用する場合、順序はW(lg L)になります。ここで、Lは最大の整数です。
シーケンシャル検索または任意のアルゴリズムが同じ複雑度クラス(この場合は線形時間)のままであることをどのように示すことができますか? ある種の代用が必要なことは理解していますが、どうやって結論を出すのか迷っています。
編集
探していたものが見つかったと思いますが、よくわかりません。
最悪の場合の時間計算量をW(s)として定義する場合、入力サイズsのアルゴリズムによって実行される最大ステップ数、次に入力サイズの定義により、s = lg n、ここでnは入力です。次に、n = 2 ^ sであり、時間計算量はW(2 ^ s)であり、指数関数的複雑であるという結論に至ります。したがって、バイナリエンコーディングを使用したアルゴリズムのパフォーマンスは指数関数的であり、大きさの点で線形ではありません。