配列がソートされているかどうかを判断するための比較の最大数はN-1です。これは、比較する隣接する数値のペアがN-1個あるためです。しかし、簡単にするために、NまたはN + 1の数を見ても問題ではないので、Nと言います。
さらに、どこから始めるかは重要ではないので、最初から始めましょう。比較#1(A[0]とA[1])。失敗した場合、配列はソートされていません。それが成功すれば、良いです。
比較するだけなので、これを隣人に減らし、左側のものが小さいか等しいか(1)、そうでないか(0)を減らすことができます。したがって、配列を0と1のシーケンスとして扱うことができ、2つの隣接する数値が順番に並んでいるかどうかを示します。
エラー率または妥当性(正しいスペル?)を計算するには、0/1シーケンスのすべての組み合わせを調べる必要があります。私はそれを次のように見ます:配列の2 ^ nの組み合わせがあります(つまり、ペアの順序で、そのうちの1つだけがソートされます(すべての要素は1であり、各A[i]がA[以下であることを示します)。 i + 1])。
これは単純なようです。最初はエラーは1/2^Nです。最初の比較の後、可能な組み合わせの半分(すべてソートされていない)が削除されます。したがって、エラー率は1/2 ^ n + 1/2 ^(n-1)である必要があります。
私は数学者ではありませんが、エラー率に到達するために必要な要素の数を計算するのは非常に簡単です(ERROR> = 1/2 ^ n + 1/2 ^(n-1)の合計となるようなxを見つけます... 1 / ^(2-x))
紛らわしい英語でごめんなさい。私はドイツから来ました。