[논문 리뷰] Algorithms for Competitive Division of Chores

Simina Brânzei, Fedor Sandomirskiy|arXiv (Cornell University)|2019. 07. 03.

Economic theories and models인용 수 7

한 줄 요약

이 논문은 에이전트의 유용성이 덧셈형일 때, 돈의 이전이 허용되지 않는 가수성 물건에 대한 모든 경쟁 균형 할당을 강력 다항 시간 내에 계산하는 알고리즘을 제시한다. 이는 에이전트 수나 물건 수가 고정된 경우에 해당한다. 이 방법은 파레토 최적 소비 그래프의 열거, 후보 유용성 프로파일에 대한 명시적 공식, 그리고 경쟁성 확인을 위한 최대 유량 계산을 조합하여, 나쁜 자원의 정당한 분배 문제에서 열려 있는 문제를 해결한다.

ABSTRACT

We study the problem of allocating divisible bads (chores) among multiple agents with additive utilities when monetary transfers are not allowed. The competitive rule is known for its remarkable fairness and efficiency properties in the case of goods. This rule was extended to chores in prior work by Bogomolnaia, Moulin, Sandomirskiy, and Yanovskaya (2017). The rule produces Pareto optimal and envy-free allocations for both goods and chores. In the case of goods, the outcome of the competitive rule can be easily computed. Competitive allocations solve the Eisenberg-Gale convex program; hence the outcome is unique and can be approximately found by standard gradient methods. An exact algorithm that runs in polynomial time in the number of agents and goods was given by Orlin (2010). In the case of chores, the competitive rule does not solve any convex optimization problem; instead, competitive allocations correspond to local minima, local maxima, and saddle points of the Nash social welfare on the Pareto frontier of the set of feasible utilities. The Pareto frontier may contain many such points; consequently, the competitive rule's outcome is no longer unique. In this paper, we show that all the outcomes of the competitive rule for chores can be computed in strongly polynomial time if either the number of agents or the number of chores is fixed. The approach is based on a combination of three ideas: all consumption graphs of Pareto optimal allocations can be listed in polynomial time; for a given consumption graph, a candidate for a competitive utility profile can be constructed via an explicit formula; each candidate can be checked for competitiveness, and the allocation can be reconstructed using a maximum flow computation. Our algorithm gives an approximately-fair allocation of indivisible chores by the rounding technique of Barman and Krishnamurthy (2018).

연구 동기 및 목표

• 통화 이전이 허용되지 않는 가수성 물건에 대한 경쟁 할당을 계산하는 열려 있는 문제를 해결한다.
• 표준 볼록 최적화 기법을 적용할 수 없게 만드는 물건 할당 문제의 비볼록성에 대처한다.
• 에이전트 수나 물건 수가 고정된 경우 모든 경쟁 유용성 프로파일을 다항 시간 내에 계산하는 알고리즘을 제공한다.
• 반복 기법을 활용하여 비가소적 물건에 대해 약간의 공정한 할당을 가능하게 한다.
• 두 에이전트 사례에서의 알고리즘적 통찰을 일반적인 n에이전트 설정으로 확장하며, 비트레이스러운 구조적 복잡성을 고려한다.

제안 방법

• 파레토 최적 할당의 소비 그래프 가능성 구조를 이용해 다항 시간 내에 모든 가능한 소비 그래프를 열거한다.
• 각 소비 그래프에 대해 에이전트의 가치와 예산에 기반한 명시적 공식을 통해 후보 경쟁 유용성 프로파일을 구성한다.
• 예산 및 가격 일관성 조건을 점검하기 위해 최대 유량 계산을 사용하여 각 후보의 경쟁성을 검증한다.
• Devanur 등 [DPSV02]의 알고리즘을 사용하여 검증된 유용성 프로파일에서 탐색 가능한 할당을 재구성한다.
• 경쟁 할당이 파레토 경계에서 나시 사회후생의 임계점(안장점, 국소 극점)과 대응한다는 사실을 활용한다.
• Barman과 Krishnamurthy [BK19]의 반복 기법을 적용하여 비가소적 물건에 대해 약간의 공정한 할당을 확보한다.

실험 결과

연구 질문

• RQ1 에이전트 수나 물건 수가 고정된 경우, 가수성 물건에 대한 모든 경쟁 할당을 강력 다항 시간 내에 계산할 수 있는가?
• RQ2 비볼록 최적화에 의해 포괄되지 않는다는 점을 감안할 때, 물건의 경우 경쟁 할당 집합의 구조적 특성은 무엇인가?
• RQ3 비볼록 프로그램이 존재하지 않는다는 점을 감안할 때, 물건에 대한 경쟁 결과의 유일성 부재를 알고리즘적으로 어떻게 다룰 수 있는가?
• RQ4 이 논문에서 사용된 물건에 대한 접근 방식을 상품과 나쁜 자원이 모두 존재하는 혼합 경제로 확장할 수 있는가?
• RQ5 소비 제한이 존재하는 제약된 경제에서 경쟁 할당을 계산하는 일반적인 방법이 존재하는가?

주요 결과

• 에이전트 수나 물건 수가 고정된 경우, 물건에 대한 모든 경쟁 유용성 프로파일을 강력 다항 시간 내에 계산할 수 있다.
• 알고리즘은 모든 파레토 최적 소비 그래프를 열거하고, 최대 유량을 사용하여 각 그래프의 경쟁성을 검증함으로써 정확성과 완전성을 보장한다.
• 물건에 대한 경쟁 규칙는 어떤 볼록 프로그램으로도 기술되지 않으며, 대신 파레토 경계에서 나시 사회후생의 임계점으로서의 경쟁 할당이 된다.
• 이 방법은 반복 기법을 통해 비가소적 물건에 대해 약간의 공정한 할당을 도출하며, 이는 기존 기법의 성능을 유지하지만 새로운 알고리즘적 기반을 제공한다.
• 두 에이전트의 경우, 파레토 경계의 구조가 효율적인 계산을 가능하게 하지만, 더 많은 에이전트로의 확장은 그래프 열거 및 플로우 기반 검증에 대한 새로운 통찰이 필요하다.
• 이 접근은 공정 할당 문제 및 소비 제한이 존재하는 제약된 경제로 일반화되며, 기본 모델을 초월한 광범위한 적용 가능성을 시사한다.