Задача справедливого разрезания пирога

Делёж называется дележом с отсутствием зависти (ОЗ, англ. envy-free, EF), если каждый партнёр думает, что его кусок по меньшей мере такой же цены, как и все остальные.

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

Делёж называется эффективным по Парето (ЭП, англ. Pareto efficient, PE), если ни одно другое деление пирога не является лучшим для одного партнёра, и худшим для другого. Часто эффективность по Парето определяется только для подмножеств всех возможных дележей. А именно только для разрезания на два непрерывных сектора (разрезание с минимальным числом разрезов).

Делёж называется ЭПОЗ, если он как ЭП, так и ОЗ.

Если оценки партнёров являются (аддитивными) мерами, следующая процедура «Движущийся нож» гарантирует деление, которое является ОЗ и ЭП при дележе на непрерывные сектора[3].

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

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

Это деление очевидно является ОЗ, поскольку Вращающему всё равно, какие сектора выберет Выбирающий. Это является ЭП, поскольку нет деления, которое дало бы Выбирающему большее значение и оставило значение 1/2 для Вращающего.

Описанная выше процедура работает только если функция значений Вращающего аддитивна, так что равные части всегда имеют одно и то же значение 1/2. Если же она не аддитивна, то деление оставалось бы свободным от зависти, но не обязательно эффективным по Парето.

Более того, если оценки обоих игроков не аддитивны (так что ни один из них не может выступать в роли Вращающего), делёж ЭПОЗ не всегда существует[4].

Делёж называется точным (или согласованным), если значение куска ${\displaystyle i}$ равно в точности ${\displaystyle w_{i}}$ согласно всем партнёрам, где ${\displaystyle w_{i}}$ — предопределённые веса.

Предположим, что сумма всех весов равна 1, а значение пирога для всех агентов также нормализовано к 1. По теореме Стромквиста — Вудала для любого веса ${\displaystyle w\in [0,1]}$ существует подмножество ${\displaystyle C_{w}}$, которое является объединением максимум ${\displaystyle n-1}$ секторов, значение которого все партнёры оценивают в точности в ${\displaystyle w}$. Для случая ${\displaystyle n=2}$ агентов следует, что всегда существует согласованное деление пирога со связными секторами, где агенту 1 даём сектор, который сто́ит в точности ${\displaystyle w_{1}}$ для обоих агентов, а агенту 2 даём оставшийся сектор, который сто́ит ${\displaystyle 1-w_{1}=w_{2}}$ для обоих агентов (см. статью Брамса, Джоса и Кламлера[5] для альтернативного доказательства).

Это можно обобщить на любое число агентов — каждый кусок, за исключением последнего, требует не более ${\displaystyle 2(n-1)}$ разрезов, так что общее число требуемых разрезов равно ${\displaystyle 2(n-1)^{2}}$.

Делёж называется пропорциональным, если каждый из двух партнёров получает значение по меньшей мере 1/2. Делёж называется взвешенным пропорциональным (ВПД, англ. Weighted Proportional Division, WPR), если партнёр ${\displaystyle i}$ получает значение по меньшей мере ${\displaystyle w_{i}}$, где ${\displaystyle w_{i}}$ является предопределёнными весами, представляющими различные доли партнёров в торте. Описанная выше процедура показывает, что в пироге делёж ВПД со связными кусками всегда существует. Это контрастирует с некруглым тортом (интервалом), в котором взвешенный пропорциональный делёж (ВПД, англ. Weighted proportional division, WPR) со связными частями может не существовать.

Если оценки партнёров абсолютно непрерывны по отношению друг к другу, тогда существует ВПД делёж который также является ВОЗ (взвешенный при отсутствии зависти, англ. weighted-envy-free, WEF) и эффективный по Парето (ЭП, англ. Pareto efficient, PE), а отношение между значениями партнёров равно в точности w₁/w₂[5].

Доказательство. Для любого угла t пусть ${\displaystyle y(t)}$ будет углом, при котором отношение ${\displaystyle {\tfrac {v_{1}(t,y(t))}{v_{2}(t,y(t))}}={\tfrac {w_{1}}{w_{2}}}}$.

Функция ${\displaystyle v_{1}([t,y(t)])}$ непрерывна от t и достигает максимума на некотором ${\displaystyle t^{\ast }}$. Режем пирог радиальными разрезами в точках ${\displaystyle t^{\ast }}$ и ${\displaystyle y(t^{\ast })}$, даём кусок ${\displaystyle [t^{\ast },y(t^{\ast })]}$ партнёру № 1 и дополнение партнёру и основная № 2. Разбиение является ВОЗ, поскольку значение каждого партнёра равны в точности его оценке. Оно также является ЭП, поскольку доля партнёра № 1 максимизировано, так что нет возможности дать больше партнёру № 2 без потерь для партнёра № 1.

Беспристрастный делёж — это делёж, в котором субъективное значение обоих партнёров то же самое (то есть каждый партнёр одинаково доволен).

Всегда существует разделение пирога для двух партнёров, которое и свободно от зависти, и беспристрастно. Однако, на настоящее время не известно никакой процедуры для нахождения такого разделения[3].

Если значения мер партнёров абсолютно непрерывны относительно друг друга (то есть любой кусок, который имеет положительное значение для одного партнёра, имеет также положительное значение для другого партнёра), то существует свободное от зависти разбиение, которое также беспристрастно и эффективно по Парето. Опять же, не известно какой-либо процедуры для такого дележа[3].

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

Правило дележа называется диктаторским, если оно отдаёт весь торт единственному предварительно определённому партнёру.

Правило ЭП дележа правильно тогда и только тогда, когда оно диктаторское[4].

Процедура «Движущийся нож» Стромквиста может быть использована для разрезания при размерности 1, так что, очевидно, оно может быть использовано для разрезания пирога.

Но существует более простой алгоритм, который использует преимущество круглой формы пирога[6][3].

Партнёр A вращает три радиальных ножа непрерывно вокруг пирога, следя за тем, чтобы сектора имели (по его/её оценке) размеры 1/3-1/3-1/3.

Партнёр B оценивает значение этих трёх секторов. Обычно все они имеют различную ценность, но в некоторой точке два сектора будут иметь одно и то же значение. Так происходит, поскольку после вращения на 120 градусов сектор, имевший до этого наиболее важное значение, теперь будет иметь меньшее значение, а другой сектор теперь становится наиболее значимым. Следовательно, по теореме о промежуточном значении должно существовать положение при вращении, когда пользователь B видит два одинаковых сектора. В этой точке партнёр B говорит «стоп».

Затем партнёры выбирают сектора в порядке C — B — A. Партнёр C, конечно, не чувствует никакой зависти, поскольку он выбирает первым. Партнёр B имеет по меньшей мере один больший сектор для выбора, а партнёр A считает, что все куски имеют одинаковую ценность.

Для 3 партнёров, существует пирог и соответствующие меры, для которых никакое разрезание не будет ЭПОЗ[7].

Это верно также для более чем 3 партнёров. Это верно даже если все функции значений аддитивны и строго положительны (то есть любой партнёр оценивает любой кусок пирога)[3].

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

Когда имеется 3 и более партнёров с различными долями, требуется взвешенно-пропорциональный делёж (ВПД). ВПД делёж со связными кусками не всегда существует[5].

Это аналогично невозможности для 1-мерного интервального торта и 2 партнёров (см. раздел Взвешенный пропорциональный делёж статьи Задача справедливого разрезания торта).