Abstract
We study the problem of fair allocation of a set of indivisible items among agents with additive valuations, under cardinality constraints. In this setting, the items are partitioned into categories, each with its own limit on the number of items it may contribute to any bundle. We consider the fairness measure known as the maximin share (MMS) guarantee, and propose a novel polynomial-time algorithm for finding 1/2-approximate MMS allocations for goods—an improvement from the previously best available guarantee of 11/30. For single-category instances, we show that a modified variant of our algorithm is guaranteed to produce 2/3-approximate MMS allocations. Among various other existence and non-existence results, we show that a \((\sqrt{n}/(2\sqrt{n} - 1))\)-approximate MMS allocation always exists for goods. For chores, we show similar results as for goods, with a 2-approximate algorithm in the general case and a 3/2-approximate algorithm for single-category instances. We extend the notions and algorithms related to ordered and reduced instances to work with cardinality constraints, and combine these with bag filling style procedures to construct our algorithms.
A preliminary version of this paper appeared at AAMAS 2022 as an extended abstract [21].
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
Instances with more than \(nk_h\) items in category \(C_h\) can be handled by ordering the instance (see Sect. 3) and ignoring the worst items in the category.
- 2.
The definition is equivalent for chores.
- 3.
We use l instead of the usual \(\ell \) to avoid conflicting use of symbols.
- 4.
In the unconstrained setting, a PTAS exists for finding the MMS of each individual agent [29], but this PTAS does not extend to fair allocation under cardinality constraints and there does not, to our knowledge, exist a PTAS for this problem.
- 5.
Available at https://arxiv.org/abs/2106.07300, together with an earlier preprint version (v1) containing some preliminary experiments and corresponding source code.
- 6.
If \(v_i(M) = 0\), normalization does not work. However, since this implies \(\mu _i = 0\), Corollary 1 can be used to eliminate agent i from the instance.
- 7.
The term reduction here refers to data reduction, as the term is used in parameterized algorithm design, rather than to the problem transformations of complexity theory.
- 8.
See Example 1 in the extended version for a simple instance where this fails.
- 9.
As with goods, normalization does not work if \(v_i(M) = 0\). In this case, i can be removed from the (ordered) instance by allocating i the \(k_h\) worst chores in each \(C_h\). This would constitute a valid reduction.
References
Aigner-Horev, E., Segal-Halevi, E.: Envy-free matchings in bipartite graphs and their applications to fair division. Information Sci. 587, 164–187 (2022). https://doi.org/10.1016/j.ins.2021.11.059. https://www.sciencedirect.com/science/article/pii/S0020025521011816
Amanatidis, G., Markakis, E., Nikzad, A., Saberi, A.: Approximation algorithms for computing maximin share allocations. ACM Trans. Algor. 13(4), 1–28 (2017). https://doi.org/10.1145/3147173. https://doi.org/10.1145/3147173
Babaioff, M., Nisan, N., Talgam-Cohen, I.: Competitive equilibrium with indivisible goods and generic budgets. Math. Oper. Res. 46(1), 382–403 (2021). https://doi.org/10.1287/moor.2020.1062. https://pubsonline.informs.org/doi/abs/10.1287/moor.2020.1062. publisher: INFORMS
Barman, S., Krishna Murthy, S.K.: Approximation algorithms for maximin fair division. In: Proceedings of the 2017 ACM Conference on Economics and Computation, pp. 647–664. EC 2017, Association for Computing Machinery, Cambridge, Massachusetts, USA (2017). https://doi.org/10.1145/3033274.3085136. https://doi.org/10.1145/3033274.3085136
Bilò, V., et al.: Almost envy-free allocations with connected bundles. In: Blum, A. (ed.) 10th Innovations in Theoretical Computer Science Conference (ITCS 2019). Leibniz International Proceedings in Informatics (LIPIcs), vol. 124, pp. 1–21. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany (2018). https://doi.org/10.4230/LIPIcs.ITCS.2019.14. https://drops.dagstuhl.de/opus/volltexte/2018/10107. iSSN: 1868-8969
Biswas, A., Barman, S.: Fair division under cardinality constraints. In: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, pp. 91–97. International Joint Conferences on Artificial Intelligence Organization, Stockholm, Sweden (2018). https://doi.org/10.24963/ijcai.2018/13. https://www.ijcai.org/proceedings/2018/13
Bouveret, S., Cechlárová, K., Elkind, E., Igarashi, A., Peters, D.: Fair division of a graph. In: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, pp. 135–141. International Joint Conferences on Artificial Intelligence Organization, Melbourne, Australia (2017). https://doi.org/10.24963/ijcai.2017/20. https://www.ijcai.org/proceedings/2017/20
Bouveret, S., Chevaleyre, Y., Maudet, N.: Fair Allocation of Indivisible Goods. In: Handbook of Computational Social Choice, pp. 285–310. Cambridge University Press, 32 Avenue of the Americas, New York, NY 10013–2473, USA, 1 edn. (2016). https://www.cambridge.org/no/academic/subjects/computer-science/artificial-intelligence-and-natural-language-processing/handbook-computational-social-choice?format=HB &isbn=9781107060432
Bouveret, S., Lemaître, M.c.: Characterizing conflicts in fair division of indivisible goods using a scale of criteria. Auton. Agents Multi-Agent Syst. 30(2), 259–290 (2016). https://doi.org/10.1007/s10458-015-9287-3. https://link.springer.com/10.1007/s10458-015-9287-3
Budish, E.: The combinatorial assignment problem: approximate competitive equilibrium from equal incomes. J. Polit. Econ. 119(6), 1061–1103 (2011). https://doi.org/10.1086/664613. https://www.journals
Chiarelli, N., Krnc, M., Milanič, M., Pferschy, U., Pivač, N., Schauer, J.: Fair packing of independent sets. In: Klasing, R., Radzik, T. (eds.) IWOCA 2020. LNCS, vol. 12126, pp. 154–165. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-48966-3_12
Feige, U., Sapir, A., Tauber, L.: A tight negative example for MMS fair allocations. arXiv:2104.04977 (2021)
Ferraioli, D., Gourvès, L., Monnot, J.: On regular and approximately fair allocations of indivisible goods. In: Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems. pp. 997–1004. AAMAS 2014, International Foundation for Autonomous Agents and Multiagent Systems, Paris, France (2014). https://doi.org/10.5555/2615731.2617405
Garg, J., McGlaughlin, P., Taki, S.: Approximating maximin share allocations. In: Fineman, J.T., Mitzenmacher, M. (eds.) 2nd Symposium on Simplicity in Algorithms (SOSA 2019). OpenAccess Series in Informatics (OASIcs), vol. 69, pp. 1–11. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany (2019). https://doi.org/10.4230/OASIcs.SOSA.2019.20. https://drops.dagstuhl.de/opus/volltexte/2018/10046
Garg, J., Taki, S.: An improved approximation algorithm for maximin shares. In: Proceedings of the 21st ACM Conference on Economics and Computation. pp. 379–380. EC 2020, Association for Computing Machinery, New York, NY, USA (2020). https://doi.org/10.1145/3391403.3399526. https://doi.org/10.1145/3391403.3399526. arXiv: 1903.00029
Ghodsi, M., Hajiaghayi, M., Seddighin, M., Seddighin, S., Yami, H.: Fair allocation of indivisible goods: improvements and generalizations. In: Proceedings of the 2018 ACM Conference on Economics and Computation. pp. 539–556. EC 2018, Association for Computing Machinery, Ithaca, NY, USA (2018). https://doi.org/10.1145/3219166.3219238. https://doi.org/10.1145/3219166.3219238
Gourvès, L., Monnot, J.: On maximin share allocations in matroids. Theor. Comput. Sci. 754, 50–64 (2019). https://doi.org/10.1016/j.tcs.2018.05.018. http://www.sciencedirect.com/science/article/pii/S0304397518303384
Gourvès, L., Monnot, J., Tlilane, L.: Near fairness in matroids. In: Proceedings of the Twenty-first European Conference on Artificial Intelligence. pp. 393–398. ECAI2014, IOS Press, Prague, Czech Republic (2014)
Greco, G., Scarcello, F.: The complexity of computing maximin share allocations on graphs. Proceed. AAAI Conf. Artif. Intell. 34(02), 2006–2013 (2020). https://doi.org/10.1609/aaai.v34i02.5572,.https://ojs.aaai.org/index.php/AAAI/article/view/5572
Hummel, H., Hetland, M.L.: Fair allocation of conflicting items. Auton. Agents Multi-Agent Syst. 36(1), 8 (2021). https://doi.org/10.1007/s10458-021-09537-3. https://doi.org/10.1007/s10458-021-09537-3
Hummel, H., Hetland, M.L.: Guaranteeing half-maximin shares under cardinality constraints. In: Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, pp. 1633–1635. AAMAS 2022, International Foundation for Autonomous Agents and Multiagent Systems (2022)
Kurokawa, D., Procaccia, A.D., Wang, J.: When can the maximin share guarantee be guaranteed? In: Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, pp. 523–529. AAAI2016, AAAI Press, Phoenix, Arizona (2016)
Kurokawa, D., Procaccia, A.D., Wang, J.: Fair enough: guaranteeing approximate maximin shares. J. ACM 65(2), 1–27 (2018). https://doi.org/10.1145/3140756. https://doi.org/10.1145/3140756
Li, Z., Vetta, A.: The fair division of hereditary set systems. ACM Trans. Econ. Comput. 9(2), 1–19 (2021). https://doi.org/10.1145/3434410. https://dl.acm.org/doi/10.1145/3434410
Lonc, Z., Truszczynski, M.: Maximin share allocations on cycles. In: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI-18, pp. 410–416. International Joint Conferences on Artificial Intelligence Organization (2018). https://doi.org/10.24963/ijcai.2018/57. https://doi.org/10.24963/ijcai.2018/57
Procaccia, A.D., Wang, J.: Fair enough: guaranteeing approximate maximin shares. In: Proceedings of the fifteenth ACM conference on Economics and computation, pp. 675–692. EC 2014, Association for Computing Machinery, Palo Alto, California, USA (2014). https://doi.org/10.1145/2600057.2602835. https://doi.org/10.1145/2600057.2602835
Shoshan, H., Segal-Halevi, E., Hazon, N.: Efficient nearly-fair division with capacity constraints. arXiv:2205.07779 (2022). https://arxiv.org/abs/2205.07779. arXiv: 2205.07779
Suksompong, W.: Constraints in fair division. ACM SIGecom Exchanges 19(2), 46–61 (2021). https://doi.org/10.1145/3505156.3505162
Woeginger, G.J.: A polynomial-time approximation scheme for maximizing the minimum machine completion time. Operat. Res. Lett. 20(4), 149–154 (1997). https://doi.org/10.1016/S0167-6377(96)00055-7. http://www.sciencedirect.com/science/article/pii/S0167637796000557
Acknowledgment
The authors wish to acknowledge valuable input from anonymous reviewers.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Hummel, H., Hetland, M.L. (2022). Maximin Shares Under Cardinality Constraints. In: Baumeister, D., Rothe, J. (eds) Multi-Agent Systems. EUMAS 2022. Lecture Notes in Computer Science(), vol 13442. Springer, Cham. https://doi.org/10.1007/978-3-031-20614-6_11
Download citation
DOI: https://doi.org/10.1007/978-3-031-20614-6_11
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-20613-9
Online ISBN: 978-3-031-20614-6
eBook Packages: Computer ScienceComputer Science (R0)