Allocating Mixed Goods with Customized Fairness and Indivisibility Ratio
Bo Li, Zihao Li, Shengxin Liu, Zekai Wu
TL;DR
This paper studies fair division of mixed divisible and indivisible goods by introducing agent-specific indivisibility ratios and new fairness notions EFα and PROPα, along with their fractional-relaxation variants EFf(α) and PROPf(α). It proves PROPα allocations always exist and can be computed in polynomial time, while EFα allocations may fail for more than two agents, establishing tight bounds and identifying cases where EF$f(α)$ is near-optimal. It also shows that PROP$f(α)$ cannot always be guaranteed below a certain threshold, and that MNW allocations satisfy PROPα and Pareto optimality. The work connects these notions to EFM, MMS, and PROPmM, clarifying when relaxations strengthen or weaken fairness and efficiency in mixed goods. Overall, the results quantify how the mix of divisible and indivisible items shapes the extent of achievable fairness and efficiency, with implications for customized fair division in heterogeneous settings.
Abstract
We consider the problem of fairly allocating a combination of divisible and indivisible goods. While fairness criteria like envy-freeness (EF) and proportionality (PROP) can always be achieved for divisible goods, only their relaxed versions, such as the ''up to one'' relaxations EF1 and PROP1, can be satisfied when the goods are indivisible. The ''up to one'' relaxations require the fairness conditions to be satisfied provided that one good can be completely eliminated or added in the comparison. In this work, we bridge the gap between the two extremes and propose ''up to a fraction'' relaxations for the allocation of mixed divisible and indivisible goods. The fraction is determined based on the proportion of indivisible goods, which we call the indivisibility ratio. The new concepts also introduce asymmetric conditions that are customized for individuals with varying indivisibility ratios. We provide both upper and lower bounds on the fractions of the modified item in order to satisfy the fairness criterion. Our results are tight up to a constant for EF and asymptotically tight for PROP.
