Муравьишки на камушках
 

Восемь камушков лежат на лесной тропинке, друг за другом. Иногда подползает какой-нибудь муравьишка и забирается на один из свободных камушков. После этого один из его муравьев-соседей (если такие есть) уползает. Какое наибольшее число камушков может быть занятым, если сначала все они были без муравьишек?

Условия содержат много не ясностей.
Сколько муравьев помещается на камне?
Все ли соседи по камню должны уйти или только один?
Сосед со своего камня?
Сосед или соседи с соседнего камня?

Один................

Семь легко, если у муравьишек ума хватит четко по плану действовать.

максимум семь.
восьмой уже точно сгонит одного

"если у муравьишек ума хватит"
 

У Вас, полагаю, с этим делом ОК.
А план Вам понятен?

"ума хватит"
 

А уж про вероятность этого события, на осуществление которого "у муравьишек ума хватит " - вопрос разве что к ank или к Кактусу...
Или еще к кому, кто любит трудные вопросы...

я бы точно не решил, если бы не решил...

Вероятно семь, обосновывать не требуется?

требуется
 

.....................

такой примерно получается график "посадки" на камни:
in out
1
3
2 3
4
3 4
5
4 5
6
5 6
7
6 7
8

Если пытаться считать вероятности через сеть Петри, то для 4-5ти камушков на бумажке обсчитать ее получится, но на большее терпения не хватит.

Отношения там довольно простенькие, на компьютере легко обсчитаются для такого числа камушков (линейная система из 256ти уравнений - что может быть проще ? ;-)
Но как ее сокращать для обсчета руками мне ясно.