Алгоритм «Погане яблуко» або процес виходу з ладу спільної пісочної скриньки

Я шукаю алгоритм вирішення наступної проблеми, яку я (поки що) називаю алгоритмом "поганого яблука".

Проблема

• У мене працює N процесів у M пісочницях, де N >> M.
• Недоцільно давати кожному процесу свою пісочницю.
• Принаймні один з цих процесів погано ведеться і збиває всю пісочницю, тим самим знищуючи всі інші процеси в тій же пісочниці.

Якщо це був один погано поводився процес, то я міг би використати просту біссекцію, щоб помістити половину процесів в одну пісочницю, а половину - в іншу пісочницю, поки не знайшов помилок.

Питання

Якщо більш ніж один процес ведеться погано, включаючи можливість того, що всі вони погано поводяться - чи працює цей наївний алгоритм? Чи гарантовано це працювати в межах певних розумних меж?

Спрощення

Для аргументації припустимо, що поганий процес миттєво збиває його пісочницю, а хороший процес ніколи не робить.

Якщо ви знайшли одне погане яблуко, то можете застосувати алгоритм:

1. Розділіть N на M групи
2. Виконайте тест по кожній групі.
3. Якщо розмір групи більший за 1, поверніться до кроку 1, замінивши N числом елементів у неправильній групі.

Так само, якщо ви знаходили одне "хороше" яблуко, то застосовується той самий алгоритм, але скоріше знайти хорошу групу.

Цей алгоритм має показник продуктивності O (log_M (N)), але це залежить від того, що є лише одне погане яблуко.

Якщо ви не знаєте, скільки є хороших / поганих яблук, то ви можете використовувати наступний алгоритм:

For each M processes in N
  Test M processes

Це найгірший сценарій, але він працює в O(N/M)часі (або O(N)залежно від того, якщо ви вважаєте один прохід як єдиний тест або як збірник тестів, виконаних паралельно). З урахуванням речей, це не поганий підхід будь-якими способами.

Можливо, є алгоритми, які працюють краще, ніж це, але це вимагає, щоб ви знали, скільки поганих яблук / хороших яблук є в партії. Не знаючи цього фактора, хоча я не можу цього довести, я б хотів зробити ставку, що ви не можете зробити краще, ніж останній алгоритм, перелічений вище.

Сподіваюся, що це допомагає!

Редагувати : З практичної точки зору я розумію, що деякі з цих операцій виконуються не так просто. Це правда, однак, прикрою реальністю є те, що ви не можете точно визначити погане яблуко, з якого процесу працювали пісочниці, що працювали в той момент, не потребуючи принаймні активувати або дезактивувати процеси. Якщо питання стосується алгоритму, я думаю, що я відповів на це. Якщо питання стосується того, як вирішити подібну ситуацію, то, можливо, це питання краще підійде для суперпользователя SE.