[논문 리뷰] Pareto-Optimal Allocation of Indivisible Goods with Connectivity Constraints

Ayumi Igarashi, Dominik Peters|arXiv (Cornell University)|2018. 11. 12.

Game Theory and Voting Systems참고 문헌 17인용 수 6

한 줄 요약

이 논문은 주어진 항목 그래프에서 번들의 연결성 제약 조건이 있는 불가분적 상품의 파레토 최적 배분을 연구한다. 경로와 별 모양 그래프에서는 파레토 최적성이 다항 시간 내에 찾을 수 있음을 보여주지만, 일반적인 트리에서는 구조적 제약 조건이 있더라도 문제는 NP-난해해지며, 이는 이중 평가값 조건이 존재하더라도 마찬가지이다. 특히, 경로에서 파레토 최적성과 선호도를 한 개의 상품에 대해 없애는(Envy-Free-up-to-One-Good, EF1) 배분이 존재하지 않을 수 있으며, 이러한 배분의 존재 여부를 판단하는 것은 NP-난해함을 입증한다. 이는 이중 평가값 조건이 존재하더라도 마찬가지이다.

ABSTRACT

We study the problem of allocating indivisible items to agents with additive valuations, under the additional constraint that bundles must be connected in an underlying item graph. Previous work has considered the existence and complexity of fair allocations. We study the problem of finding an allocation that is Pareto-optimal. While it is easy to find an efficient allocation when the underlying graph is a path or a star, the problem is NP-hard for many other graph topologies, even for trees of bounded pathwidth or of maximum degree 3. We show that on a path, there are instances where no Pareto-optimal allocation satisfies envy-freeness up to one good, and that it is NP-hard to decide whether such an allocation exists, even for binary valuations. We also show that, for a path, it is NP-hard to find a Pareto-optimal allocation that satisfies maximin share, but show that a moving-knife algorithm can find such an allocation when agents have binary valuations that have a non-nested interval structure.

연구 동기 및 목표

• 주어진 항목 그래프에서 번들이 연결되어야 하는 조건이 있을 때 파레토 최적 배분을 찾는 데 있어 계산 복잡도를 조사하는 것.
• 연결성 제약 조건 하에서 파레토 최적성과 최소 공정 분할(MMS) 및 선호도를 한 개의 상품에 대해 없애는(EF1) 정당성 기준 간의 상호 교환 관계를 검토하는 것.
• 어떤 그래프 구조(예: 경로, 별, 트리)에서 파레토 최적 배분을 효율적으로 계산할 수 있는지 규명하는 것.
• 연결성 제약 조건 하에서 파레토 최적성과 정당성 보장을 동시에 만족하는 배분의 존재성과 계산 가능성 분석하기

제안 방법

• 항목 그래프가 경로 또는 별 모양일 경우, 구성적 알고리즘을 사용하여 파레토 최적 배분의 다항 시간 내 존재를 증명한다.
• 기존의 알려진 NP-완전 문제로의 감소를 통해, 트리에서의 파레토 최적 배분 찾기 문제가 경로 폭, 차수, 지름이 유한한 조건이 있더라도 NP-난해함을 입증한다.
• 비순서화된 승인 간격을 가진 이중 평가값 조건에서, 이동 칼 알고리즘을 도입하여 파레토 최적성과 MMS 만족을 보장한다.
• 튜링 감소를 사용하여, 경로에서 파레토 최적 EF1 배분의 존재 여부를 판단하는 것이 NP-난해함을 입증한다. 이는 이중 평가값 조건이 존재하더라도 마찬가지이다.
• 귀납법과 분할 분석을 활용하여 특정 평가 구조 하에서 번들의 제거에 따른 최소 공정 분할 값의 불변성을 증명한다.
• 승인 간격이 중첩되어 있을 경우 이동 칼 알고리즘이 실패함을 보여주는 반례를 구성하여, 이 접근의 구조적 한계를 입증한다.

실험 결과

연구 질문

• RQ1 어떤 항목 그래프 구조에서 연결성 제약 조건 하에 파레토 최적 배분을 다항 시간 내에 계산할 수 있는가?
• RQ2 항목 그래프가 경로일 경우, 파레토 최적 EF1 배분이 존재하는지 판단하는 것은 NP-난해한가?
• RQ3 트리에 대해서는 항상 파레토 최적 MMS 배분을 찾을 수 있으며, 만약 그렇다면 다항 시간 내에 계산 가능한가?
• RQ4 파레토 최적 EF1 배분의 존재 여부는 특히 경로에서 이중 평가값 조건일 경우, 수요자의 평가 구조에 따라 달라지는가?
• RQ5 수요자의 선호 조건(예: 중첩되지 않은 승인 간격)이 어떤 조건일 경우, 다항 시간 내에 파레토 최적 및 MMS를 만족하는 배분을 계산할 수 있는가?

주요 결과

• 항목 그래프가 경로 또는 별 모양일 경우, 추가적 평가값 또는 이중 평가값 조건이 존재하더라도 파레토 최적 배분을 다항 시간 내에 계산할 수 있다.
• 트리일 경우, 경로 폭, 지름, 최대 차수 등 제약 조건이 있더라도 파레토 최적 배분을 찾는 문제는 NP-난해해진다.
• 경로에서 파레토 최적 EF1 배분이 존재하는지 여부를 판단하는 것은 이중 평가값 조건이 존재하더라도 NP-난해하며, 이러한 배분이 존재하지 않을 수도 있다.
• 항목 그래프가 경로일 경우 파레토 최적 MMS 배분을 찾는 것은 NP-난해하며, α > 0 인 α-MMS 에 대해서도 마찬가지로 어렵다.
• 이중 평가값 조건이 존재하고 승인 간격이 중첩되지 않을 경우, 이동 칼 알고리즘이 다항 시간 내에 파레토 최적 및 MMS를 만족하는 배분을 계산할 수 있다.
• 승인 간격이 중첩될 경우, 이동 칼 알고리즘이 실패함을 보여주는 반례를 제시하여, 이 방법의 구조적 한계를 입증한다.