[논문 리뷰] Budget-feasible Maximum Nash Social Welfare Allocation is Almost Envy-free

Xiaowei Wu, Bo Li외 1명|arXiv (Cornell University)|2020. 12. 07.

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

한 줄 요약

이 논문은 각 항목에 비용이 있고, 각 기관이 개별 예산을 가진 예산 제약 하에서 최대 네시 사회후생(최대 NSW) 할당의 공정성 성질을 연구한다. 최대 NSW 할당이 항상 환경의 일인자(1개의 상품을 고려한 공정성, EF1)의 1/4-근사임을 증명하며, 예산 대 비용 비율이 증가함에 따라 이 비율은 1/2로 향상되며, 구성된 예시를 통해 이 비율이 날카로운 상한임을 보여준다.

ABSTRACT

The Nash social welfare (NSW) is a well-known social welfare measurement that balances individual utilities and the overall efficiency. In the context of fair allocation of indivisible goods, it has been shown by Caragiannis et al. (EC 2016 and TEAC 2019) that an allocation maximizing the NSW is envy-free up to one good (EF1). In this paper, we are interested in the fairness of the NSW in a budget-feasible allocation problem, in which each item has a cost that will be incurred to the agent it is allocated to, and each agent has a budget constraint on the total cost of items she receives. We show that a budget-feasible allocation that maximizes the NSW achieves a 1/4-approximation of EF1 and the approximation ratio is tight. The approximation ratio improves gracefully when the items have small costs compared with the agents' budgets; it converges to 1/2 when the budget-cost ratio approaches infinity.

연구 동기 및 목표

• 각 항목에 비용이 있고, 기관이 항목 비용에 대한 제한된 예산을 가진 예산 타당 설정에서 최대 네시 사회후생(최대 NSW) 할당의 공정성 특성을 분석하기 위해.
• 예산 제약 하에서 최대 NSW 할당이 환경의 일인자(1개의 상품을 고려한 공정성, EF1)와 같은 공정성 보장을 유지하는지 판단하기 위해.
• 최대 NSW 할당의 EF1 공정성에 대한 근사 비율을 정량화하고, 이 비율이 예산 대 비용 비율에 어떻게 의존하는지 연구하기 위해.
• 공정성 근사의 날카로운 경계를 확립하여, 최악의 경우 1/4가 가능한 최고의 비율임을 보여주기 위해.
• 예산 대 비용 비율이 증가함에 따라 공정성이 어떻게 향상되는지 탐색하고, 큰 예산 근처에서 1/2-EF1로의 부드러운 수렴을 유도하기 위해.

제안 방법

• 각 항목에 비용이 있고, 할당된 항목의 총 비용에 대해 기관이 예산 제약을 가진 예산 타당 할당 문제를 정식화하기 위해.
• 예산 제약에 적합한 새로운 공정성 개념인 EF1을 정의: 기관 i가 기관 j를 시기는데, j의 할당에서 i의 예산 내에서 부분집합을 선택해도, 가장 가치 있는 항목을 제거한 후에도 여전히 i의 가치가 더 높지 않다면.
• 모순 기반의 추론을 사용하여 최대 NSW 할당이 항상 1/4-EF1임을 증명하며, NSW를 향상시키는 가상의 할당을 구성하여 모순을 이끌어내기 위해.
• 예산 대 비용 비율이 1인 경우, 1/4가 가능한 최고의 근사 비율임을 보여주는 날카로운 예시를 구성하여 이 비율이 날카로운 상한임을 입증하기 위해.
• 큰 예산 영역을 분석하기 위해, (1/2 - 5/κ^{1/4})-EF1 형태의 부드러운 근사 비율을 유도하며, κ는 최소 예산 대 비용 비율임.
• 분수형 항목 분할 기법을 사용하여 비용과 가치를 부분집합 간에 균형을 이루게 하여, 중간 할당을 구성하고 NSW 값을 비교할 수 있도록 하기 위해.

실험 결과

연구 질문

• RQ1 예산 제약이 도입되었을 때 최대 NSW 할당이 여전히 EF1인가?
• RQ2 예산 타당 설정에서 최대 NSW 할당의 EF1 공정성에 대한 최고의 가능한 근사 비율은 무엇인가?
• RQ3 예산 대 비용 비율이 증가함에 따라 공정성 근사 비율은 어떻게 변화하는가?
• RQ4 어떤 조건에서든 1/4를 초월하는 근사 비율을 향상시킬 수 있는가, 그리고 그 조건은 무엇인가?
• RQ5 예산 대 비용 비율이 무한대에 수렴할 때, 1/2-EF1로의 부드러운 수렴이 이루어지는가?

주요 결과

• 최대 NSW 할당은 항상 1/4-EF1이며, 이는 최악의 경우 한 기관이 다른 기관을 초과하는 시기의 가치가 최대 하나의 항목 가치에 해당함을 의미한다.
• 1/4-근사 비율은 구성된 사례에서 최대 NSW가 정확히 1/4-EF1를 달성함으로써 날카로운 상한임을 입증하였다.
• 예산 대 비용 비율 κ가 무한대에 수렴하는 큰 예산 영역에서는 근사 비율이 1/2로 수렴한다.
• κ가 증가함에 따라 공정성 근사 비율이 부드럽게 향상되며, (1/2 - 5/κ^{1/4})-EF1의 경계를 따름.
• 결과적으로 최대 NSW는 예산 제약 하에서도 여전히 강력한 공정성 근사로 남아 있으며, 항목 비용 대비 예산이 증가함에 따라 성능이 향상됨을 보여준다.
• 논문은 1/4-EF1 할당이 항상 존재하고, 이는 이 설정에서 파레토 최적임을 입증하였으며, 정확한 EF1 할당이 항상 존재하지는 않음을 보여준다.