[논문 리뷰] Fair Allocation of Two Types of Chores

Haris Aziz, Jeremy Lindsay외 2명|arXiv (Cornell University)|2022. 11. 02.

Game Theory and Voting Systems인용 수 9

한 줄 요약

이 논문은 두 가지 유형의 분할 불가능한 채무에 대해 다항시간 알고리즘을 제안하며, 한 개의 항목을 고려한 불만 없음(EF1)과 파레토 최적성(fPO)을 달성하고, 어떤 항목을 고려한 불만 없음(EFX)을 달성한다. 또한 동적 프로그래밍 알고리즘을 통해 다항시간 내에 불만 없음을 검증하는 방법을 제공하여, 제한된 채무 설정에서 핵심적인 복잡도 격차를 해결한다.

ABSTRACT

We consider the problem of fair allocation of indivisible chores under additive valuations. We assume that the chores are divided into two types and under this scenario, we present several results. Our first result is a new characterization of Pareto optimal allocations in our setting, and a polynomial-time algorithm to compute an envy-free up to one item (EF1) and Pareto optimal allocation. We then turn to the question of whether we can achieve a stronger fairness concept called envy-free up any item (EFX). We present a polynomial-time algorithm that returns an EFX allocation. Finally, we show that for our setting, it can be checked in polynomial time whether an envy-free allocation exists or not.

연구 동기 및 목표

• 가산 평가 기준 하에서 분할 불가능한 채무에 대한 EF1 및 파레토 최적(PO) 할당 문제를 두 가지 채무 유형으로 제한함으로써 해결한다.
• 이 제한된 설정에서 EFX 할당이 존재하는지 여부와 다항시간 내에 계산 가능한지 조사한다.
• 두 채무 유형 인스턴스에서 불만 없음을 확인하는 계산 복잡도를 규명한다.
• 두 유형의 채무 설정에서 분수 파레토 최적(fPO) 할당의 새로운 특성화를 제공한다.
• 이 제한된 영역에서 불만 없는 할당의 존재 여부를 검증하는 다항시간 알고리즘을 수립한다.

제안 방법

• 두 채무 유형 설정에서 에이전트의 가치 비율과 번들 구조를 사용하여 fPO 할당의 새로운 특성화를 제안한다.
• 가치 기반 우선순위를 적용한 순차적 할당 접근 방식을 사용하여 EF1 및 fPO 할당을 계산하는 다항시간 알고리즘을 설계한다.
• 할당된 번들과 남은 항목을 추적하여 불만 없음을 재귀적으로 검증하는 동적 프로그래밍 알고리즘(알고리즘 3)을 개발한다.
• 레마 6.4를 활용하여 가치 비율과 번들 할당 기반으로 에이전트 간의 불만 없음을 검증한다.
• 코로나리 6.3을 적용하여 번들 크기와 가치 비율을 제약 조건으로 설정함으로써 불만 없는 할당의 탐색 공간을 제한한다.
• 백트래킹 메커니즘과 통합된 동적 프로그래밍 프레임워크를 활용하여 불만 없는 할당의 존재 여부를 검증한다.

실험 결과

연구 질문

• RQ1 가산 평가 기준 하에서 두 종류의 분할 불가능한 채무에 대해 EF1 및 fPO 할당이 항상 존재하는가?
• RQ2 두 채무 유형 인스턴스에 대해 EFX 할당을 다항시간 내에 계산할 수 있는가?
• RQ3 두 채무 유형 설정에서 불만 없는 할당이 존재하는지 확인하는 다항시간 알고리즘이 존재하는가?
• RQ4 두 채무 유형 설정에서 fPO 할당을 특성화하는 구조적 성질은 무엇인가?
• RQ5 채무 유형 간의 가치 비율은 할당 결과의 불만 없음과 효율성에 어떤 영향을 미치는가?

주요 결과

• 두 종류의 채무에 대해 EF1 및 fPO 할당을 계산하는 다항시간 알고리즘이 존재하며, 이는 이 제한된 설정에서 존재성 및 계산 문제를 해결한다.
• 두 채무 유형 인스턴스에 대해 EFX 할당을 다항시간 내에 계산할 수 있으며, 이는 EFX 존재성이 이전에 열려 있었던 설정에서 긍정적인 결과를 제공한다.
• 불만 없는 할당의 존재 여부를 동적 프로그래밍 접근 방식을 통해 다항시간 내에 확인할 수 있으며, 일반적인 경우의 NP-난이도와 대비된다.
• 논문은 가치 비율과 번들 제약 조건 기반으로 fPO 할당의 새로운 특성화를 제공하여 효율적 알고리즘 설계를 가능하게 한다.
• 동적 프로그래밍 알고리즘은 가치 기반 제약 조건을 사용하여 순차적으로 쌍별 불만 없음을 검증함으로써 불만 없음을 정확히 판단한다.
• 결과적으로 두 채무 유형으로 제한함으로써 강력한 알고리즘 보장을 달성할 수 있으며, EF1+fPO, EFX, 불만 없음 검증이 일반적인 경우에서는 열려 있거나 어려운 문제들임을 보여준다.