Table of Contents
Fetching ...

Fair Division of Chores with Budget Constraints

Edith Elkind, Ayumi Igarashi, Nicholas Teh

Abstract

We study fair allocation of indivisible chores to agents under budget constraints, where each chore has an objective size and disutility. This model captures scenarios where a set of chores need to be divided among agents with limited time, and each chore has a specific time needed for completion. We propose a budget-constrained model for allocating indivisible chores, and systematically explore the differences between goods and chores in this setting. We establish the existence of an EFX allocation. We then show that EF2 allocations are polynomial-time computable in general; for many restricted settings, we strengthen this result to EF1. For divisible chores, we develop an efficient algorithm for computing an EF allocation.

Fair Division of Chores with Budget Constraints

Abstract

We study fair allocation of indivisible chores to agents under budget constraints, where each chore has an objective size and disutility. This model captures scenarios where a set of chores need to be divided among agents with limited time, and each chore has a specific time needed for completion. We propose a budget-constrained model for allocating indivisible chores, and systematically explore the differences between goods and chores in this setting. We establish the existence of an EFX allocation. We then show that EF2 allocations are polynomial-time computable in general; for many restricted settings, we strengthen this result to EF1. For divisible chores, we develop an efficient algorithm for computing an EF allocation.

Paper Structure

This paper contains 19 sections, 19 theorems, 62 equations, 3 algorithms.

Key Result

theorem thmcountertheorem

Algorithm alg:efx returns an EFX allocation.

Theorems & Definitions (45)

  • definition thmcounterdefinition: Envy-freeness
  • definition thmcounterdefinition: Envy-freeness up to any chore
  • definition thmcounterdefinition: Envy-freeness up to $k$ chores
  • definition thmcounterdefinition: Envy-freeness for divisible chores
  • definition thmcounterdefinition: Manageable set
  • theorem thmcountertheorem
  • proof
  • theorem thmcountertheorem
  • proof
  • theorem thmcountertheorem
  • ...and 35 more