Беспристрастный делёж

Беспристрастный делёж (БД, англ. equitable division, EQ) — это разбиение неоднородного объекта (например, торта), в результате которого субъективные значения всех участников те же самые, то есть каждый участник одинаково доволен своей долей. Математически это означает, что для всех участников i и j выполняется

${\displaystyle V_{i}(X_{i})=V_{j}(X_{j})}$

где

• ${\displaystyle X_{i}}$ является куском торта, выделенного участнику i;
• ${\displaystyle V_{i}}$ является функцией оценки участника i. Это вещественнозначная функция, которая для каждого куска торта возвращает число, которое представляет величину полезности для участника i этого куска. Обычно эти функции нормализованы так, что ${\displaystyle V_{i}(\emptyset )=0}$ и (весь торт) ${\displaystyle V_{i}=1}$ для любого i.

• Беспристрастность (БД) сравнивает оценки различных людей различных кусков;
• Отсутствие зависти (ОЗ, англ. Envy-freeness, EF) сравнивает оценки одного человека различных кусков;
• Точный делёж (ТД, англ. Exact division, EX) сравнивает оценки различных людей одних и тех же кусков.

Следующая таблица показывает разницу. Во всех примерах имеется два участника, Алиса и Боб. Алиса получает левую часть, а Боб получает правую часть.

Делёж		БД?	ОЗ?	ТД?
A: 50% 50% B: 50% 50%
A: 60% 40% B: 40% 60%				(Алиса и Боб не согласны с оценкой кусков).
A: 40% 60% B: 60% 40%			(Алиса и Боб завидуют друг другу).
A: 70% 30% B: 40% 60%		(Алиса больше радуется своей доле, чем Боб своей).
A: 60% 40% B: 60% 40%			(Боб завидует Алисе).
A: 60% 40% B: 70% 30%

Заметим, что таблица имеет всего 6 строк, поскольку 2 комбинации невозможны — делёж ТД + ОЗ должен быть БД, а делёж ТД+БД должен быть ОЗ.

Когда имеются два участника, можно получить беспристрастный делёж с помощью одного разреза, но для этого требуется полное знание оценок участников^[1]. Предположим, что торт является отрезком [0,1]. Для каждого ${\displaystyle x\in [0,1]}$ вычислим ${\displaystyle u_{1}([0,x])}$ и ${\displaystyle u_{2}([x,1])}$ и отметим их на одном и том же графике. Заметим, что первый график возрастает с 0 до 1, а второй график убывает с 1 до 0, так что они имеют точку пересечения. Разрезание торта в этой точке даёт беспристрастный делёж. Это разрезание имеет ряд дополнительных свойств:

• Разрезание является ОЗ, поскольку каждый участник получает значение по меньшей мере 1/2.
• Разрезание не является не ТД, поскольку значение для каждого участника может быть больше 1/2.
• Разрезание эффективно по Парето (ЭП, англ. Pareto efficient, PE) среди всех дележей, использующих единственный разрез. Тем не менее, могут существовать более эффективные разрезания, использующие два и более разреза^[2].
• Если направление торта выбрано случайным образом (то есть торт может быть перевёрнут, так что 0 становится 1, а 1 становится 0), то эта процедура снова слабо верна в следующем смысле: только предоставлением честных вероятностных мер участники могут быть уверены, что получать по меньшей мере половину торта^[1].

Та же самая процедура может быть применена для дележа рутинных работ (если оценку куска брать с обратным знаком).

Процедура с полной информацией имеет вариант^[3], который удовлетворяет более слабым видам беспристрастности и более строгим видам точности. Процедура сначала находит медиану для каждого участника. Предположим, что медианой участника A является ${\displaystyle a}$, а медианой участника B является ${\displaystyle b}$, где ${\displaystyle 0<a<b<1}$. Тогда A получает ${\displaystyle [0,a]}$, а B получает ${\displaystyle [b,1]}$. Теперь имеется остаток ${\displaystyle [a,b]}$, который делится между участниками в равных пропорциях. Так, например, если A оценивает остаток в 0,4 а B оценивает его в 0,2, то A получит вдвое больше значение от ${\displaystyle [a,b]}$, чем B. Таким образом, протокол не будет беспристрастным, но остаётся ОЗ. Он слабо честен в следующем смысле: игрок, избегающий риски, имеет стимул указывать истинную оценку, поскольку указание несоответствующей истине оценки он может получить меньшее значение.

Процедура Остина «Движущийся нож» даёт каждому из двух участников кусок с субъективным значением в точности 1/2. Таким образом, этот делёж является БД, ТД и ОЗ. Процедура требует двух разрезов и даёт одному из участников два несвязных куска.

Если разрешено делать более двух разрезов, можно добиться дележа, который будет не только БД, но также ОЗ и ЭП. Некоторые авторы называют такой делёж «совершенным»^[4].

Минимальное число разрезов, требуемых для ЭП-ОЗ-БД дележа, зависит от оценок участников. В большинстве практических случаев (включая случаи, когда оценки кусочно линейны) число требуемых разрезов конечно. В этих случаях можно найти как оптимальное число разрезов, так и их точное расположение. Алгоритм требует полного знания оценок участников^[4].

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

Это свойство бесконечности является характеристикой задач дележа, требующих точных результатов (см. статью Точный делёж: невозможность).

Почти беспристрастный делёж — это делёж, в котором оценки каждого игрока отличаются не более чем на ${\displaystyle \epsilon }$ для любого фиксированного ${\displaystyle \epsilon >0}$. Почти беспристрастный делёж для двух игроков может быть найден за конечное время для условия единичного разреза^[5].

Процедура Остина может быть распространена на n участников. Процедура даёт каждому участнику с субъективной оценкой значения в точности ${\displaystyle 1/n}$. Этот делёж является БД, но не обязательно ТД, ОЗ, или ЭП (поскольку некоторые участники могут оценить долю, передаваемые другим участникам больше ${\displaystyle 1/n}$).

Процедура Джонсона с полностью открытыми предпочтениями может быть расширена на ${\displaystyle n}$ участников следующим образом^[3]:

• Для каждого из ${\displaystyle n!}$ упорядочений участников выпишем множество из ${\displaystyle n-1}$ уравнений с ${\displaystyle n-1}$ переменными — переменными являются ${\displaystyle n-1}$ точками разреза, а уравнения определяют беспристрастность для соседних участников. например, если имеется 3 участника в порядке A:B:C, то имеется две переменные ${\displaystyle x_{AB}}$ (точка разреза для A и B) и ${\displaystyle x_{BC}}$, а двумя уравнениями будут ${\displaystyle V_{A}(0,x_{AB})=V_{B}(x_{AB},x_{BC})}$ и ${\displaystyle V_{B}(x_{AB},x_{BC})=V_{C}(x_{BC},1)}$. Эти уравнения имеют по меньшей мере одно решение, в котором все участники имеют одно и то же значение.
• Из всех ${\displaystyle n!}$ упорядочений выберем упорядочение, в котором (одинаковое) для всех участников значение было наибольшим.

Заметим, что максимальное беспристрастное значение должно быть не менее ${\displaystyle 1/n}$, поскольку мы уже знаем, что возможен пропорциональный делёж (дающий каждому участнику по меньшей мере ${\displaystyle 1/n}$).

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

Брамс, Джонс и Кламлер изучали делёж, который и БД, и ЭП, и ОЗ (они назвали такой делёж «совершенным»).

Сначала они доказали, что для 3 участников, если они должны получить связные куски, БД+ОЗ разрезание может не существовать^[3]. Они сделали это путём описания 3 конкретных мер оценок для одномерного торта, для которых любой БД делёж с 2 разрезами не будет ОЗ.

Затем они доказали, что для 3 и более участников ЭП+ОЗ+БД делёж может не существовать даже при разрешении несвязных кусков^[2]. Они сделали это, описав 3 конкретные меры оценок для одномерного торта со следующими свойствами:

• Для 2 разрезов любое БД разрезание не будет ни ОЗ, ни ЭП (но существуют разрезания, которые ОЗ и 2-ЭП или БД и 2-ЭП).
• Для 3 разрезов любое БД разрезание не будет ЭП (но существуют разрезания БД+ОЗ).
• Для 4 разрезов любое БД разрезание не будет ОЗ (но существуют разрезания БД+ЭП).

Пирог — это торт в форме одномерной окружности (см. задачу справедливого разрезания пирога).

Барбанель, Брамс и Стромквист изучали существование разрезания пирога, которое и БД, и ОЗ. Следующие результаты были доказаны без приведения конкретного алгоритма дележа^[6]:

• Для двух участников всегда существует беспристрастный делёж пирога, в котором отсутствует зависть. Если меры оценок предпочтений участников абсолютно непрерывны относительно друг друга (то есть любой кусок, имеющий положительную ценность для одного участника, имеет положительную ценность и для других участников), существует распределение торта без зависти, которое и беспристрастно, и недоминируемо.
• Для 3 и более участников может оказаться невозможным найти беспристрастное распределение торта, в котором отсутствует зависть. Однако всегда существует делёж, который и беспристрастен, и недоминируем.

Процедура «подстраивающийся победитель» вычисляет беспристрастный свободный от зависти эффективный по Парето делёж делимых объектов между двумя участниками.