Ако прочетеш внимателно решението на хм и го симулираш, ще видиш, че работи. Освен това забележката му за оптималност е много добра. Той е описал нещата с малко странни думи, ама ако разпише човек всичко се вижда, че работи ...

Това което не е написал хм е, че разбиваме бутилките на 3 групи и от всяка група се пие през 2 часа.

Оптималността се ограничава от две неща - брой на хората разбира се и брой на опитите.

Броят на опитите за които има време е 3, защото такова е действието на отровата до 12-ия час умират тези които пият в 0 часа. До 14 час умират тези които са пили в 2 часа. И до 16 час (началото на партито) умират тези, които са пили в 4 часа.

Оттук остава да видим колко е минималният брой хора и той е минимален 5 в 4-чна бройна система.
Ако направим постановката в >=5-чна бройна система ще ни трябват повече от 3 опити (които нямаме заради условието).

При по-ниска бройна система винаги ни трябват пък повече хора. Затова и решението е оптимално в 4-чна бройна система.

А пък относно твоето доказателство за оптималност: то е така само ако затворниците могат да пият само 1 път, а поради условието те могат да направят това 3 пъти (като ще умират по различно време и това върши работа за отгатването).

Та вижте го още един път решението на хм - добро е!

sunsande