birdwatcher: (Default)
[personal profile] birdwatcher
Общеизвестен следующий алгоритм деления пирога на двоих: первый человек разрезает, второй выбирает себе половину (существует и естественное обобщение на случай n участников).

Подвергался ли этот алгоритм когда-либо критике? Такое впечатление, что он универсально понятен и универсально самоочевидно справедлив. Если так, то это по-настоящему удивительно: получается, что общечеловеческие ценности действительно существуют, и вот, по крайней мере, одна из них. Получается, что в космические капсулы с посланиями инопланетянам следует закладывать не узко-специальные теоремы планиметрии или репродукции неизвестных большинству населения нашей планеты произведений искусства, а один короткий обьединяющий нашу цивилизацию алгоритм беззавистливого деления.

Особенно интересно в этой связи, что алгоритм не только не гарантирует деления поровну, но даже не заявляет его желательным; гарантируется только, что получить меньше справедливой части можно исключительно вследствие собственной ошибки.

Остаётся понять, в чем особенности размера или вещества пирога, которые не позволяют пока значительному большинству населения распространить тот же принцип на все остальные ресурсы.

Date: 2004-10-09 09:58 am (UTC)
From: [identity profile] vvagr.livejournal.com
К сожалению, большиство совместных человеческих действий предполагают деление результата не поровну, а в иных пропорциях.

Date: 2004-10-09 10:08 am (UTC)
From: [identity profile] birdwatcher.livejournal.com
Тут ни слова не сказано про поровну! Тут сказано, что критерий справеливости, это что теряешь только в результате собственной ошибки!

Date: 2004-10-09 10:16 am (UTC)
From: [identity profile] mi-b.livejournal.com
По-моему этот алгоритм вообще не про то. Если ресурс может быть достаточно делим, а куски рыночно оценены и ликвидны (довольно частая ситуация), то, при согласии о пропорциях, проблемы дележа не возникает вообще.

Действительно нетривиальная проблема, если один из делящих считает, что ему полагается бОльшая доля, чем другому, а другой с этим не согласен. Но тут алгоритм не поможет.

Date: 2004-10-09 12:10 pm (UTC)
From: [identity profile] vvagr.livejournal.com
Это не критерий, а алгоритм! Он применим к делению и на N частей. Но гарантируется, что только вследствие собственной ошибки можно получить меньше _согласованной_ части, а не справедливой :-(

Date: 2004-10-09 12:25 pm (UTC)
From: [identity profile] birdwatcher.livejournal.com
Нет-нет, это именно критерий справедливости и экономичности данного алгоритма в отличие от других алгоритмов (как то: делить по линейке, пригласить комиссию и проч). Если надо поделить в каком-то другом согласованном соотношении, или установить само соотношение, алгоритмы потребуется другие, но ответ на вопрос "в чём состоит их справеливость" останется тем же.

Date: 2004-10-09 01:03 pm (UTC)
From: [identity profile] vvagr.livejournal.com
Тот же самый алгоритм позволяет поделить в любом отношении. Просто первый делит на Н частей, а второй выбирает М из них. А вот установить соотношение - аналогичных алгоритомов нет.

Date: 2004-10-09 01:07 pm (UTC)
From: [identity profile] birdwatcher.livejournal.com
Фундаментально важно, что такие алгоритмы (даже если бы их не было) универсально желательны. Нам остаётся показать, что таковыми являются частная собственность в сочетании с неограниченной торговлей!

Date: 2004-10-09 02:48 pm (UTC)
From: [identity profile] vvagr.livejournal.com
И ещё гомстединг.