「悪いリンゴ」アルゴリズム、またはプロセスが共有サンドボックスをクラッシュさせる

次の問題を処理するためのアルゴリズムを探しています。これは（今のところ）「悪いリンゴ」アルゴリズムと呼んでいます。

問題

• M個のサンドボックスでN個のプロセスを実行しています。N>> Mです。
• 各プロセスに独自のサンドボックスを与えることは実際的ではありません。
• これらのプロセスの少なくとも1つが正しく動作せず、サンドボックス全体を停止させているため、同じサンドボックス内の他のすべてのプロセスが強制終了されています。

単一の不適切な動作のプロセスである場合は、単純な二分法を使用して、プロセスの半分を1つのサンドボックスに入れ、残りの半分を別のサンドボックスに入れて、不正なものが見つかるまで続けます。

質問

場合は、複数のプロセスがひどく行儀である-彼らはしているという可能性を含め、すべてのひどく行儀-この素朴なアルゴリズム「仕事」をしますか？いくつかの賢明な範囲内で動作することが保証されていますか？

簡略化

議論のために、悪いプロセスがサンドボックスを瞬時にダウンさせ、良いプロセスが決してダウンさせないと仮定しましょう。

悪いリンゴを1つ見つけた場合は、アルゴリズムを適用できます。

1. NをMグループに分割
2. 各グループでテストを実行します。
3. グループサイズが1より大きい場合は、手順1に戻ります。Nを不良グループのアイテム数に置き換えます。

同様に、「良い」リンゴを1つ見つけた場合、同じアルゴリズムが適用されますが、良いグループを見つけます。

このアルゴリズムにはO（log_M（N））のパフォーマンスレートがありますが、不良アップルが1つしかないという事実に依存します。

良いリンゴと悪いリンゴの数がわからない場合は、次のアルゴリズムを使用できます。

For each M processes in N
  Test M processes

これは最悪のシナリオですが、O(N/M)時間内に実行されます（またはO(N)、単一のパスを単一のテストと見なすか、並行して実行されるテストのコレクションと見なすかによって異なります）。すべてを考慮すると、これは決して悪いアプローチではありません。

これよりもパフォーマンスの高いアルゴリズムがあるかもしれませんが、バッチ内にいくつの悪いリンゴ/良いリンゴがあるかを知っている必要があります。この要因を知らない、それを証明することはできませんが、上記の後者のアルゴリズムよりも上手くできないことは間違いありません。

お役に立てば幸いです。

編集：実用的な観点から、これらの操作の一部は簡単に実行できないことを理解しています。それは事実ですが、残念ながら現実には、少なくともプロセスをアクティブ化または非アクティブ化することなく、その時点で実行されていたサンドボックスで実行されているプロセスから厳密に不良アップルを特定することはできません。質問がアルゴリズムに関連している場合、私はそれに答えたと思います。質問がこのような状況にどのように対処するかに関する場合、おそらく質問はスーパーユーザーSEに適しています。