This article needs additional citations for verification. (March 2017) |
Процедура снижения спроса — это процедура справедливого распределения предметов . Она обеспечивает Парето-эффективное разделение, которое максимизирует ранг агента с самым низким рангом. Это соответствует критерию справедливости Роулза, согласно которому заботятся об агенте, находящемся в худшем положении.
Процедуру разработали Доротея Херрайнер и Клеменс Пуппе. [1]
Предполагается, что каждый агент имеет линейный рейтинг по всем наборам товаров.
Опрос агентов производится по круговой схеме: каждый агент по очереди сообщает о своем следующем пакете в рейтинге, идя от лучшего к худшему.
После каждого отчета процедура проверяет, возможно ли построить полное разбиение элементов на основе отчетов, сделанных до сих пор. Если это возможно, то процедура останавливается и возвращает одно такое разбиение. Если разбиений больше одного, то возвращается Парето-эффективное.
Процедура производит «сбалансированные» распределения, то есть распределения, которые максимизируют ранг в порядке предпочтения набора, полученного наихудшим агентом. [2] : 308
Процедура требует от агентов ранжировать наборы элементов. Это осуществимо, когда количество элементов невелико, но может быть затруднительно, когда количество элементов велико, поскольку количество наборов растет экспоненциально с количеством элементов.
Процедура не гарантирует отсутствие зависти ; см. раздел Назначение элементов без зависти для процедур, которые это гарантируют. Однако для двух агентов, если существует распределение без зависти, оно будет найдено. [3]
Распределение, возвращаемое процедурой убывающего спроса — распределение максиминного ранга — удовлетворяет определенным естественным аксиомам, когда есть два агента: [3]