[논문 리뷰] Efficient Nearly-Fair Division with Capacity Constraints

Hila Shoshan, Erel Segal-Halevi외 1명|arXiv (Cornell University)|2022. 05. 16.

Auction Theory and Applications인용 수 6

한 줄 요약

이 논문은 추가적인 유용성 함수를 가진 두 명의 에이전트가 능력 제약 조건 하에서 분할 불가능한 항목(상품 또는 봉사)을 공정하고 효율적으로 할당하기 위한 다항 시간 알고리즘을 제시한다. 이 알고리즘은 파레토 최적성과 한 개의 상품 또는 봉사에 대해 선호도를 가지지 않는 공정성(즉, EF[1,1])을 보장하며, 각 범주에 속한 모든 항목이 동일한 부호를 가질 경우(모든 상품 또는 모든 봉사) EF1을 달성한다.

ABSTRACT

We consider the problem of fairly and efficiently allocating indivisible items (goods or bads) under capacity constraints. In this setting, we are given a set of categorized items. Each category has a capacity constraint (the same for all agents), that is an upper bound on the number of items an agent can receive from each category. Our main result is a polynomial-time algorithm that solves the problem for two agents with additive utilities over the items. When each category contains items that are all goods (positively evaluated) or all chores (negatively evaluated) for each of the agents, our algorithm finds a feasible allocation of the items, which is both Pareto-optimal and envy-free up to one item. In the general case, when each item can be a good or a chore arbitrarily, our algorithm finds an allocation that is Pareto-optimal and envy-free up to one good and one chore.

연구 동기 및 목표

• 혼합 평가(상품 및 봉사)를 가진 분할 불가능한 항목을 능력 제약 조건 하에서 공정하고 효율적으로 할당하는 문제에 대응하기 위해.
• 특히 각 범주에서 수용 가능한 항목 수가 제한된 상황에서 파레토 최적성과 선호도 완화(예: EF1)의 공정성 및 효율성 보장을 확장하기 위해.
• 두 에이전트 설정에서 구조적으로 구성된 다항 시간 알고리즘을 제시하여, 혼합 만나(상품과 봉사)에 대한 처리에 있어 중요한 단계를 마련하기 위해.
• 오직 상품 또는 오직 봉사의 경우에만 국한되지 않고, 능력 제약 조건 하에서 혼합 평가에 적합한 새로운 공정성 완화인 EF[1,1]을 도입함으로써 일반화를 이루기 위해.
• 미래의 확장 가능성을 위한 기반을 마련하기 위해, 세 명 이상의 에이전트나 매트로이드 또는 이질적인 능력 제약 조건과 같은 더 일반적인 제약 조건으로의 확장에 대비하기 위해.

제안 방법

• 두 에이전트의 유용성 가중치 합을 최대화하는 w-최대 할당을 계산하기 위해 가중치가 부여된 이분 그래프를 구성한다.
• 유능성과 타당성을 유지하면서 선호도를 감소시키는 교환 가능한 항목 쌍(각 에이전트의 할당에서 하나씩)을 교환하여 할당을 반복적으로 개선한다.
• 각 범주 간 교환 가능한 쌍의 목록을 정의하고 유지하며, 각 교환 후 동적으로 업데이트하여 유리한 교환을 효율적으로 탐색한다.
• 유용성 벡터의 사전순 순서를 사용하여 각 개선 단계에서 선호하는 에이전트의 유용성을 증가시키며, 최종적으로 EF[1,1] 할당에 도달하도록 보장한다.
• 예를 들어, 보조정리 4.5와 같은 구조적 보조정리를 활용하여, w-최대 할당의 시퀀스 내에 반드시 파레토 최적성과 EF[1,1] 할당이 존재함을 증명한다.
• 알고리즘 1을 통해 구조적 증명을 적용하여, w-최대 할당의 공간을 체계적으로 탐색함으로써 효율성과 공정성을 동시에 만족하는 해를 찾는다.

실험 결과

연구 질문

• RQ1 두 에이전트가 추가 유용성 함수를 가진 능력 제약 조건 하에서 파레토 최적성과 거의 공정한 할당을 다항 시간 내에 계산할 수 있는가?
• RQ2 표준 EF1이 존재하지 않을 수 있는 상황에서, 능력 제약 조건 하에서 혼합 만나(상품 및 봉사)에 대해 적용 가능한 공정성 완화를 정의할 수 있는가?
• RQ3 항목의 혼합 평가 및 범주 기반 능력 제약 조건 하에서 효율성(파레토 최적성)과 공정성(한 개 항목에 대해 선호도 없음)을 동시에 달성할 수 있는가?
• RQ4 이 알고리즘은 세 명 이상의 에이전트 또는 에이전트 간 비균일한 능력 제약 조건이 존재하는 설정으로 확장될 수 있는가?
• RQ5 할당 공간의 어떤 구조적 성질(예: w-최대성, 교환 가능한 쌍)을 활용하여 공정하고 효율적인 해에 수렴하도록 보장할 수 있는가?

주요 결과

• 제안된 알고리즘은 총 항목 수 m에 대해 O(m⁴) 시간 내에 실행되며, 실용적 사용에 적합한 효율성을 보인다.
• 알고리즘은 능력 제약 조건 하에서 항목에 대해 임의의(양수 또는 음수) 유용성 함수를 가진 두 에이전트에 대해 파레토 최적성과 EF[1,1] 할당을 보장한다.
• 동일 부호 인스턴스(각 범주에 속한 모든 항목이 양수 또는 음수로 동일한 평가를 받는 경우)에서는 EF1을 달성하며, 이는 더 강력한 공정성 보장을 의미한다.
• 알고리즘은 w-최대 할당의 시퀀스를 구성하고, 교환 가능한 항목 쌍의 반복적 교환을 통해 선호도를 감소시킴으로써 공정하고 효율적인 결과로 수렴한다.
• 증명은 w-최대 할당 공간 내에 반드시 파레토 최적성과 EF[1,1] 할당이 존재한다는 구조적 보조정리를 바탕으로 하며, 알고리즘은 그러한 점을 찾는다.
• 이 방법은 모듈러하고, 매트로이드 제약 조건이나 다중 에이전트 시나리오와 같은 더 일반적인 설정으로 확장 가능하지만, 세 명 이상의 에이전트로의 일반화는 여전히 열린 도전 과제이다.