Abstract
We study fair resource allocation when the resources contain a mixture of divisible and indivisible goods, focusing on the well-studied fairness notion of maximin share fairness (MMS). With only indivisible goods, a full MMS allocation may not exist, but a constant multiplicative approximate allocation always does. We analyze how the MMS approximation guarantee would be affected when the resources to be allocated also contain divisible goods. In particular, we show that the worst-case MMS approximation guarantee with mixed goods is no worse than that with only indivisible goods. However, there exist problem instances to which adding some divisible resources would strictly decrease the MMS approximation ratios of the instances. On the algorithmic front, we propose a constructive algorithm that will always produce an \(\alpha\)-MMS allocation for any number of agents, where \(\alpha\) takes values between 1/2 and 1 and is a monotonically increasing function determined by how agents value the divisible goods relative to their MMS values.
Similar content being viewed by others
Notes
Such a solution was credited to B. Knaster and S. Banach by Steinhaus [55].
An MMS allocation always exists when there are two agents [20].
An allocation is said to satisfy equitability if every agent gets the same utility.
While an MMS allocation may not exist in general, such an allocation always exists in the case of two agents.
The \(\gamma (I)\) is defined to be the maximum value of \(\alpha\) instead of the supremum. This is because the density functions are non-atomic and the maximum \(\alpha\) can always be achieved.
In the indivisible setting, the corresponding result of adding an item may lower the best MMS guarantee for a problem instance is easy to get.
We adopt the name “monotonicity property” from Amanatidis et al. [4].
References
Abdulkadiroğlu, A., Sönmez, T., & Ünver, M. U. (2004). Room assignment-rent division: A market approach. Social Choice and Welfare, 22(3), 515–538.
Alkan, A., Demange, G., & Gale, D. (1991). Fair allocation of indivisible goods and criteria of justice. Econometrica, 59(4), 1023–1039.
Alon, N. (1987). Splitting necklaces. Advances in Mathematics, 63(3), 247–253.
Amanatidis, G., Markakis, E., Nikzad, A., & Saberi, A. (2017). Approximation algorithms for computing maximin share allocations. ACM Transactions on Algorithms, 13(4), 52:1-52:28.
Amanatidis, G., Birmpas, G., & Markakis, E. (2018). Comparing approximate relaxations of envy-freeness. In Proceedings of the 27th international joint conference on artificial intelligence (IJCAI) (pp. 42–48).
Arunachaleswaran, E. R., Barman, S., & Rathi, N. (2019). Fully polynomial-time approximation schemes for fair rent division. In Proceedings of the 30th annual ACM-SIAM symposium on discrete algorithms (SODA) (pp. 1994–2013).
Aziz, H. (2021). Achieving envy-freeness and equitability with monetary transfers. In Proceedings of the 35th AAAI conference on artificial intelligence (AAAI) (pp. 5102–5109).
Aziz, H., & Mackenzie, S. (2016). A discrete and bounded envy-free cake cutting protocol for any number of agents. In Proceedings of the 57th IEEE annual symposium on foundations of computer science (FOCS) (pp. 416–427).
Aziz, H., Rauchecker, G., Schryen, G., & Walsh, T. (2017). Algorithms for max-min share fair allocation of indivisible chores. In Proceedings of the 31st AAAI conference on artificial intelligence (AAAI) (pp. 335–341).
Aziz, H., Caragiannis, I., Igarashi, A., & Walsh, T. (2019a). Fair allocation of indivisible goods and chores. In Proceedings of the 28th international joint conference on artificial intelligence (IJCAI) (pp. 53–59).
Aziz, H., Chan, H., & Li, B. (2019b). Weighted maxmin fair share allocation of indivisible chores. In Proceedings of the 28th international joint conference on artificial intelligence (IJCAI) (pp. 46–52).
Aziz, H., Li, B., & Wu, X. (2019c). Strategyproof and approximately maxmin fair share allocation of chores. In Proceedings of the 28th international joint conference on artificial intelligence (IJCAI) (pp. 60–66).
Barbanel, J. B. (2005). The geometry of efficient fair division. Cambridge: Cambridge University Press.
Barman, S., & Krishnamurthy, S. K. (2020). Approximation algorithms for maximin fair division. ACM Transactions on Economics and Computation (TEAC), 8(1), 5:1-5:28.
Barman, S., Biswas, A., Krishnamurthy, S. K., & Narahari, Y. (2018). Groupwise maximin fair allocation of indivisible goods. In Proceedings of the 32nd AAAI conference on artificial intelligence (AAAI) (pp. 917–924).
Bei, X., Li, Z., Liu, J., Liu, S., & Lu, X. (2021a). Fair division of mixed divisible and indivisible goods. Artificial Intelligence, 293 103436.
Bei, X., Liu, S., Lu, X., & Wang, H. (2021b). Maximin fairness with mixed divisible and indivisible goods. In Proceedings of the 35th AAAI conference on artificial intelligence (AAAI) (pp. 5167–5175).
Bhaskar, U., Sricharan, A., & Vaish, R. (2020). On approximate envy-freeness for indivisible chores and mixed resources. CoRR abs/2012.06788, arXiv:abs/2012.06788.
Bogomolnaia, A., Moulin, H., Sandomirskiy, F., & Yanovskaya, E. (2017). Competitive division of a mixed manna. Econometrica, 85(6), 1847–1871.
Bouveret, S., & Lemaître, M. (2016). Characterizing conflicts in fair division of indivisible goods using a scale of criteria. Autonomous Agents and Multi-Agent Systems, 30(2), 259–290.
Bouveret, S., Cechlárová, K., Elkind, E., Igarashi, A., & Peters, D. (2017). Fair division of a graph. In Proceedings of the 26th international joint conference on artificial intelligence (IJCAI) (pp. 135–141).
Brams, S. J. (2008). Mathematics and democracy: Designing better voting and fair-division procedures. Princeton University Press.
Brams, S. J., & Taylor, A. D. (1996). Fair division: From cake-cutting to dispute resolution. Cambridge University Press.
Brandt, F., Conitzer, V., Endriss, U., Lang, J., & Procaccia, A. D. (eds). (2016). Handbook of computational social choice. Cambridge University Press.
Brustle, J., Dippel, J., Narayan, V., Suzuki, M., & Vetta, A. (2020). One dollar each eliminates envy. In Proceedings of the 21st ACM conference on economics and computation (EC) (pp. 23–39).
Budish, E. (2011). The combinatorial assignment problem: Approximate competitive equilibrium from equal incomes. Journal of Political Economy, 119(6), 1061–1103.
Caragiannis, I., & Ioannidis, S. (2020). Computing envy-freeable allocations with limited subsidies. CoRR abs/2002.02789, arXiv:abs/2002.02789.
Caragiannis, I., Kurokawa, D., Moulin, H., Procaccia, A. D., Shah, N., & Wang, J. (2019). The unreasonable fairness of maximum Nash welfare. ACM Transactions on Economics and Computation, 7(3), 12:1-12:32.
Chaudhury, B. R., Garg, J., McGlaughlin, P., & Mehta, R. (2021). Competitive allocation of a mixed manna. In Proceedings of the 32nd ACM-SIAM symposium on discrete algorithms (SODA) (pp. 1405–1424).
Cseh, A., & Fleiner, T. (2020). The complexity of cake cutting with unequal shares. ACM Transactions on Algorithms (TALG), 16(3), 29:1-29:21.
Dubins, L. E., & Spanier, E. H. (1961). How to cut a cake fairly. The American Mathematical Monthly, 68(1), 1–17.
Edmonds, J., & Pruhs, K. (2011). Cake cutting really is not a piece of cake. ACM Transactions on Algorithms (TALG), 7(4), 51:1-51:12.
Endriss, U. (ed). (2017). Trends in computational social choice. AI Access.
Even, S., & Paz, A. (1984). A note on cake cutting. Discrete Applied Mathematics, 7(3), 285–296.
Farhadi, A., Ghodsi, M., Hajiaghayi, M., Lahaie, S., Pennock, D., Seddighin, M., et al. (2019). Fair allocation of indivisible goods to asymmetric agents. Journal of Artificial Intelligence Research (JAIR), 64(1), 1–20.
Foley, D. K. (1967). Resource allocation and the public sector. Yale Economics Essays, 7(1), 45–98.
Gal, Y. K., Mash, M., Procaccia, A. D., & Zick, Y. (2017). Which is the fairest (rent division) of them all? Journal of the ACM (JACM), 64(6), 39:1-39:22.
Garg, J., & Taki, S. (2020). An improved approximation algorithm for maximin shares. In Proceedings of the 21st ACM conference on economics and computation (EC) (pp. 379–380).
Garg, J., McGlaughlin, P., & Taki, S. (2019). Approximating maximin share allocations. In Proceedings of the 2nd symposium on simplicity in algorithms (SOSA) (pp. 20:1–20:11).
Ghodsi, M., Hajiaghayi, M., Seddighin, M., Seddighin, S., & Yami, H. (2020). Fair allocation of indivisible goods: Improvement. Mathematics of Operations Research. https://doi.org/10.1287/moor.2020.1096.
Goldman, J., & Procaccia, A. D. (2015). Spliddit: Unleashing fair division algorithms. SIGecom Exchanges, 13(2), 41–46.
Gourvès, L., & Monnot, J. (2019). On maximin share allocations in matroids. Theoretical Computer Science, 754, 50–64.
Haake, C. J., Raith, M. G., & Su, F. E. (2002). Bidding for envy-freeness: A procedural approach to \(n\)-player fair-division problems. Social Choice and Welfare, 19(4), 723–749.
Halpern, D., & Shah, N. (2019). Fair division with subsidy. In Proceedings of the 12th international symposium on algorithmic game theory (SAGT) (pp. 374–389).
Huang, X., & Lu, P. (2019). An algorithmic framework for approximating maximin share allocation of chores. In Proceedings of the 22nd ACM conference on economics and computation (EC) (forthcoming).
Igarashi, A., & Peters, D. (2019). Pareto-optimal allocation of indivisible goods with connectivity constraints. In Proceedings of the 33rd AAAI conference on artificial intelligence (AAAI) (pp. 2045–2052).
Klijn, F. (2000). An algorithm for envy-free allocations in an economy with indivisible objects and money. Social Choice and Welfare, 17(2), 201–215.
Kurokawa, D., Procaccia, A. D., & Wang, J. (2018). Fair enough: Guaranteeing approximate maximin shares. Journal of the ACM (JACM), 65(2), 8:1-8:27.
Lipton, R. J., Markakis, E., Mossel, E., & Saberi, A. (2004). On approximately fair allocations of indivisible goods. In Proceedings of the 5th ACM Conference on electronic commerce (EC) (pp. 125–131).
Lonc, Z., & Truszczynski, M. (2020). Maximin share allocations on cycles. Journal of Artificial Intelligence Research (JAIR), 69, 613–655.
Maskin, E. S. (1987). On the fair allocation of indivisible goods. In: Feiwel, G. R. (ed) Arrow and the foundations of the theory of economic policy. Palgrave Macmillan UK, chap 11 (pp. 341–349).
Meertens, M., Potters, J., & Reijnierse, H. (2002). Envy-free and Pareto efficient allocations in economies with indivisible goods and money. Mathematical Social Sciences, 44(3), 223–233.
Moulin, H. (2019). Fair division in the internet age. Annual Review of Economics, 11(1), 407–441.
Robertson, J., & Webb, W. (1998). Cake-cutting algorithm: Be fair if you can. A K Peters/CRC Press.
Steinhaus, H. (1949). Sur la division pragmatique. Econometrica, 17(Supplement), 315–319.
Su, F. E. (1999). Rental harmony: Sperner’s lemma in fair division. The American Mathematical Monthly, 106(10), 930–942.
Suksompong, W. (2018). Approximate maximin shares for groups of agents. Mathematical Social Sciences, 92, 40–47.
Woeginger, G. J. (1997). A polynomial-time approximation scheme for maximizing the minimum machine completion time. Operations Research Letters, 20(4), 149–154.
Young, H. P. (1995). Equity. In theory and practice. Princeton: Princeton University Press.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
A preliminary version appeared in Proceedings of the 35th AAAI Conference on Artificial Intelligence (AAAI) [17]. This project/research is supported by the Ministry of Education, Singapore, under its Academic Research Fund Tier 2 (MOE2019-T2-1-045).
Rights and permissions
About this article
Cite this article
Bei, X., Liu, S., Lu, X. et al. Maximin fairness with mixed divisible and indivisible goods. Auton Agent Multi-Agent Syst 35, 34 (2021). https://doi.org/10.1007/s10458-021-09517-7
Accepted:
Published:
DOI: https://doi.org/10.1007/s10458-021-09517-7