Скорректированный победитель (AW) - это процедура для назначения предметов без зависти. При наличии двух агентов и некоторых товаров он возвращает раздел товаров между агентами со следующими свойствами:
Для двух агентов Скорректированный победитель является единственным оптимальным и справедливым по Парето, который разделяет минимальное количество элементов.
Процедура может быть использована в урегулировании бракоразводного процесса и расторжении партнерства, а также в международных конфликтах.
Процедура была разработана Стивеном Брамсом и Аланом Д. Тейлором. Впервые он был опубликован в их книге о справедливом разделении, а затем в отдельной книге. Алгоритм запатентован в США. Он был коммерциализирован через веб-сайт FairOutcomes.
Каждому партнеру дается список товаров и равное количество баллов (например, 100 баллов) для распределения между ними. Он или она присваивает ценность каждому товару и передает ее запечатанным арбитру.
Арбитр или компьютерная программа назначает каждую позицию тому, кто предложил самую высокую цену. Если у обоих партнеров одинаковое количество очков, значит, все готово. В противном случае назовите партнера, у которого больше очков, «победителем», а другого партнера - «проигравшим».
Заказывайте товары в порядке возрастания соотношения «ценность для победителя / ценность для проигравшего». Начните перемещать товары в этом порядке от победителя к проигравшему, пока общее количество очков не станет "почти" равным, т.е. перемещение еще одного товара от победителя к проигравшему приведет к тому, что у победителя будет меньше очков, чем у проигравшего.
На этом этапе разделите следующий товар между победителем и проигравшим так, чтобы их итоги были одинаковыми.
AW не является правдивым механизмом - партнеры могут получить выгоду от шпионажа за своими партнерами и изменения своих отчетов, чтобы получить большую долю. Однако авторы утверждают, что такие манипуляции могут быть трудными для выполнения, поэтому на практике использование этого метода будет способствовать честности.
AW всегда имеет приблизительное равновесие по Нэшу. При информированном разрыве связей он также имеет чистое равновесие по Нэшу.
В соответствии с патентом AW предполагает, что партнеры имеют дополнительные функции полезности, так что полезность комплекта товаров - это сумма коммунальных услуг товара. Он не обрабатывает, например, несколько идентичных активов с убывающей предельной полезностью..
AW создан для двух агентов. При наличии трех или более агентов не может быть распределения, которое одновременно было бы свободным от зависти, справедливым и оптимальным по Парето. Это показано на следующем примере, построенном Дж. Х. Рейниерсом. Есть три товара и три агента со следующими точками:
Можно показать, что единственный PO и справедливое распределение - это то, которое дает положительный результат 1 Алисе, хороший 2 - Бобу и хороший 3 - Карлу. Справедливое значение в данном случае равно 40. Однако это распределение не без зависти, поскольку Алиса завидует Бобу.
Каждые два из этих трех свойств могут выполняться одновременно. Распределения PO + EF можно найти с помощью нескольких алгоритмов; см. эффективное по Парето деление без зависти, а также теорему Веллера. Назначения PO + EQ можно найти с помощью линейного программирования. Распределение EF + EQ можно найти, просто предоставив каждому агенту равное количество каждого товара.
AW был запатентован в США, но срок действия этого патента истек. Высказывались некоторые опасения, что этот патент слишком широк.
Хотя нет сведений о том, что AW действительно используется для разрешения споров, существует несколько контрфактических исследований, проверяющих, что было бы результаты использования данной процедуры для решения международных споров.
Процедура Брамса – Тейлора была разработана теми же авторами, но она отличается - это процедура разрезания торта без зависти. В то время как AW обрабатывает однородные товары, процедура BT обрабатывает неоднородный ресурс («пирог»), что является гораздо более сложной задачей. Соответственно, BT гарантирует только отсутствие зависти - она не гарантирует справедливости или оптимальности по Парето.