|
Тэксь, поехали.
Итак, есть N бандюков (Б1, Б2, …), которые хотят поделить хабар, не имея штатных к этому средств. Ещё раз: каждый хочет не загрести лично себе как можно больше (это ж сразу друг друга поубивать, и нечего тут думать), а забрать не менее чем 1/N-ую долю хабара — или, во всяком случае, пребывать искренне убеждённым, что забрал не менее чем.
Начали с самого простого. Если бандюков двое, то Б1 старательно — очень старательно! — делит всё на две кучки, бьёт себя в грудь и заявляет «мамой клянусь, тут поровну». Б2 изучает их, выбирает ту, что глянулась меньше, показывает на неё и со словами «эту не хочу!» отдаёт её Б1. Оба довольны: Б1 убеждён, что забрал ровно 1/2, Б2 считает, что забрал не менее 1/2. Итак, у нас есть способ честно (в вышеуказанном смысле) разделить хабар на двоих.
Пусть теперь бандюков трое. Б1 старательно делит на три кучи, мамой клянётся и т.п. Б2 изучает, выбирает самую на его взгляд маленькую и говорит «эту не хочу!». Теперь слово за Б3. Если он её тоже не хочет, то её отдают Б1, оставшиеся две соединяют и делят меж собой описанным выше способом. Все довольны: Б1 считает, что забрал ровно 1/3, Б2 и Б3 считают, что честно поделили меж собой не менее чем 2/3 хабара, так что каждому досталось не менее 1/3. Если же Б3 согласен взять эту кучу, то он её и забирает, а две другие Б1 и Б2 делят меж собой как прежде (их даже соединять не придётся, ведь Б1 и делил). Итак, есть способ честно разделить хабар на троих.
Пусть теперь бандюков четверо. Б1 делит. Б2 выбирает самую на его взгляд негодную. Слово за Б3 и Б4. Если оба от неё отказываются, то эту кучу отдают Б1, а три другие соединяют и делят на троих между Б2,Б3,Б4 как описано выше. Если из них только один (например, Б3) согласен её взять, то он её забирает, а три остальные делятся меж тремя (в данном примере — между Б1,Б2,Б4 без необходимости соединять). Если же Б3 и Б4 оба согласны взять эту кучу, то временно откладываем её в сторонку. Теперь из трёх оставшихся Б2 выбирает ещё одну, которую он тоже не согласен взять себе. Опять слово за Б3 и Б4. Если оба не хотят — отдаём её Б1, а три оставшихся (включая отложенную) соединяем и делим на троих. Если только один (скажем, Б4) согласен её взять, то ему и отдаём, а ранее отложенную пусть возьмёт другой (Б3), а две оставшихся Б1 и Б2 поделят меж собой на двоих. Если же опять Б3 и Б4 оба согласны взять её себе, то соединяем с ранее отложенной и пусть Б3 с Б4 делят эту сумму: оба согласились, что там не менее 1/2 добычи. А две другие поделят меж собой Б1 и Б2. Итак, есть способ разделить на четверых.
Дальше можно ещё обобщать, но будет реально длинно. :) Рекурсия в чистом виде.
|