Пропорциональный делёж

Суперпропорциональный делёж — это делёж, в котором каждый участник получает строго больше 1/n ресурса по его собственной субъективной оценке.

Конечно же, такой делёж не всегда существует — если все участники имеют в точности те же самые функции оценок, лучшее, что мы можем сделать, это дать каждому участнику в точности 1/n. Таким образом, необходимым условием существования суперпропорционального дележа является требование наличия у всех карт одинаковых мер значимости.

Удивительно также то, что это условие также является и достаточным, если оценки аддитивны и неатомарны. То есть, при наличии хотя бы двух участников, функции оценок которых хотя бы слегка отличаются, существует суперпропорциональный делёж, при котором все участники получают более 1/n (См. статью «Суперпропорциональный делёж»).

Связь между пропорциональностью и свободой от зависти

Пропорциональность (ПД) и отсутствие зависти (ОЗ) являются двумя независимыми свойствами, но, в некоторых случаях, из одного свойства вытекает другое.

Когда все оценки являются аддитивными функциями множеств и весь торт разделён, выполняются следующие связи:

• Для двух участников ПД и ОЗ эквивалентны
• Для трёх и более участников из ОЗ вытекает ПД, но не наоборот. Например, возможен случай, когда каждый из трёх участников получает по 1/3 по его собственному субъективному мнению, но по мнению Алисы часть Боба оценивается в 2/3

Когда оценки являются лишь субаддитивными, из ОЗ всё ещё вытекает ПД, но из ПД больше не следует ОЗ, даже для двух участников — возможен случай, когда доля Алисы в её глазах сто́ит 1/2, но доля Боба сто́ит даже больше. Если же оценки супераддитивны, из ПД следует ОЗ для двух участников, но из ОЗ уже не следует ПД даже для двух участников — возможен случай, когда доля Алисы в её глазах сто́ит 1/4, но доля Боба сто́ит даже меньше. Аналогично, когда не весь торт разделён, из ОЗ не следует ПД. Импликации подытожены в следующей таблице:

Оценки	2 участника	3+ участника
Аддитивная	${\displaystyle EF\implies PR}$ ${\displaystyle PR\implies EF}$	${\displaystyle EF\implies PR}$
Субаддитивная	${\displaystyle EF\implies PR}$	${\displaystyle EF\implies PR}$
Супераддитивная	${\displaystyle PR\implies EF}$	-
Общего вида	-	-

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

В качестве примера предположим, что некоторый участок земли делится среди 3 участников — Алисой, Бобом и Джорджем. При этом делёж одновременно пропорционален и свободен от зависти. Несколько месяцев позже, Алиса и Джордж решают объединить свои участки и переделить их так, чтобы новый делёж был выгоднее для них обоих. С точки зрения Боба деление остаётся пропорциональным, поскольку по его субъективной оценке он всё ещё имеет не менее 1/3 всего участка, и это не зависит от того, что делают Алиса и Джордж с их долями. С другой стороны, новое деление может оказаться несвободным от зависти. Например, возможно, что первоначально и Алиса, и Джордж по субъективной оценке Боба получили по 1/3, но после повторного дележа Джордж (в глазах Боба) получил всё значение, так что Боб начинает завидовать Джорджу.

Таким образом, если в качестве критерия выступает свобода от зависти, то мы должны ограничивать людей в добровольном обмене после дележа, в использовании же критерия пропорциональности нет подобных отрицательных последствий.

Дополнительное преимущество пропорциональности заключается в том, что оно совместимо с индивидуальной рациональностью в следующем смысле. Предположим, что n участников владеют общим ресурсом. Во многих практических сценариях (хотя и не во всех) партнёры имеют возможность продать ресурс на рынке и разделить выручку в количестве 1/n на каждого. Следовательно, рациональный партнёр будет согласен участвовать в процедуре дележа только если процедура гарантирует по меньшей мере 1/n его личной оценки общего ресурса.

Кроме того, должна быть по меньшей мере возможность (уж если не гарантия), что партнёры получат более 1/n. Это и доказывает важность существования теорем суперпропорционального делёжа.