[논문 리뷰] Approximately Envy-Free Budget-Feasible Allocation

Jiarui Gan, Bo Li외 1명|arXiv (Cornell University)|2021. 06. 28.

Game Theory and Voting Systems참고 문헌 24인용 수 4

한 줄 요약

이 논문은 예산 제약 조건 하에서 동일한 가산 평가를 가진 에이전트에 대해 1/2-근사의 환경 없는(Envy-Free up to one item, EF1) 할당을 다항 시간 내에 계산하는 알고리즘을 제시한다. 가상의 예산과 실현 가능한 구성(configuration)을 도입하여 효율적이고 환경 없는 유사 할당을 가능하게 하며, 이는 이전 연구 대비 크게 향상된 근사 비율을 달성한다.

ABSTRACT

In the budget-feasible allocation problem, a set of items with varied sizes and values are to be allocated to a group of agents. Each agent has a budget constraint on the total size of items she can receive. The goal is to compute a feasible allocation that is envy-free (EF), in which the agents do not envy each other for the items they receive, nor do they envy a charity, who is endowed with all the unallocated items. Since EF allocations barely exist even without budget constraints, we are interested in the relaxed notion of envy-freeness up to one item (EF1). The computation of both exact and approximate EF1 allocations remains largely open, despite a recent effort by Wu et al. (IJCAI 2021) in showing that any budget-feasible allocation that maximizes the Nash Social Welfare (NSW) is 1/4-approximate EF1. In this paper, we move one step forward by showing that for agents with identical additive valuations, a 1/2-approximate EF1 allocation can be computed in polynomial time. For the uniform-budget and two-agent cases, we propose efficient algorithms for computing an exact EF1 allocation. We also consider the large budget setting, i.e., when the item sizes are infinitesimal compared with the agents' budgets, and show that both the NSW maximizing allocation and the allocation our polynomial-time algorithm computes have an approximation close to 1 regarding EF1.

연구 동기 및 목표

• 예산 제약 조건 하에서 약간의 환경 없는 할당을 계산하는 데 효율적인 알고리즘이 부족한 문제를 해결하기 위해.
• 나시 사회후생(Nash Social Welfare) 최대화 할당이 달성한 1/4-근사 EF1 비율을 향상시키기 위해.
• 동일한 평가를 가진 에이전트에 대해 더 나은 근사 비율을 보장하는 다항 시간 알고리즘을 설계하기 위해.
• 특수한 경우, 예를 들어 두 에이전트 또는 균일한 예산일 때 정확한 EF1 계산을 탐색하기 위해.
• 대규모 예산 근처에서 NSW-최대화 알고리즘과 제안된 알고리즘의 성능을 조사하기 위해.

제안 방법

• 에이전트의 예산 제약 조건을 충족하는 아이템 패키지 집합을 나타내는 실현 가능한 구성(configuration)의 개념을 도입한다.
• 실제 에이전트 예산보다 낮게 유지되며 점차 증가하는 가상의 예산을 활용하여, 서로 다른 실제 예산을 가진 에이전트 간의 패키지 교환을 가능하게 한다.
• 효율성을 유지하기 위해 밀도(가치 대 크기 비율)가 가장 높은 아이템을 우선적으로 배정하는 근사 전략을 사용한다.
• 크기 제약 조건을 고려한 나침반 스타일의 선택 과정을 적용하여, 저밀도 아이템을 제거함으로써 예산 준수 가능성을 확보한다.
• 근사 보장을 증명하기 위해 나시 사회후생 기반의 잠재함수 임계값을 활용한다.
• 근사 비율 1/2를 확립하기 위해 아이템 부분집합과 가치 비교를 포함한 모순 기반 증명을 사용한다.

실험 결과

연구 질문

• RQ1 동일한 가산 평가를 가진 예산 준수 할당에서 1/4 이상의 근사 비율을 달성할 수 있는가?
• RQ2 예산 제약 조건 하에서 1/2-근사 EF1 할당을 계산하는 다항 시간 알고리즘이 존재하는가?
• RQ3 특수한 경우, 예를 들어 두 에이전트 또는 균일한 예산일 때 정확한 EF1 할당을 효율적으로 계산할 수 있는가?
• RQ4 대규모 예산 근처에서 NSW-최대화 알고리즘과 제안된 알고리즘의 성능은 어떻게 변화하는가?
• RQ5 예산 제약 조건 하에서 공정 할당에 가상의 예산과 실현 가능한 구성(configuration)을 도입할 경우 어떤 의미가 있는가?

주요 결과

• 동일한 가산 평가를 가진 에이전트에 대해, 1/2-근사 EF1 할당을 다항 시간 내에 계산할 수 있다.
• 두 에이전트 또는 균일한 예산의 경우, 정확한 EF1 할당을 효율적으로 계산할 수 있다.
• 대규모 예산 영역에서, NSW-최대화 할당과 제안된 알고리즘이 EF1에 대해 근사 비율이 1에 수렴하는 것으로 나타났다.
• 제안된 알고리즘은 이전의 NSW-최대화 할당의 1/4-근사 보장을 초월한다.
• 가상의 예산과 실현 가능한 구성(configuration)의 사용은 서로 다른 실제 예산을 가진 에이전트 간에도 효과적인 패키지 교환을 가능하게 한다.
• 이론적 분석을 통해 주어진 가정 하에서 알고리즘의 근사 비율이 최적임을 확인할 수 있었다.