{"type":"ScholarlyArticle","title":"Which is the Fairest (Rent Division) of Them All? [Extended Abstract]","authors":[{"name":"Ya'akov (Kobi) Gal","slug":"ya-akov-kobi-gal","given":"Ya'akov (Kobi)","family":"Gal","affiliation":"Ben-Gurion University , Israel"},{"name":"Moshe Mash","slug":"moshe-mash","given":"Moshe","family":"Mash","affiliation":"Ben-Gurion University , Israel"},{"name":"Ariel D. Procaccia","slug":"ariel-d-procaccia","given":"Ariel D.","family":"Procaccia","affiliation":"Carnegie Mellon University , USA"},{"name":"Yair Zick","slug":"yair-zick","given":"Yair","family":"Zick","affiliation":"National University of Singapore , Singapore"}],"abstract":"What is a fair way to assign rooms to several housemates, and divide the rent between them? This is not just a theoretical question: many people have used the Spliddit website to obtain envy-free solutions to rent division instances. But envy freeness, in and of itself, is insufficient to guarantee outcomes that people view as intuitive and acceptable. We therefore focus on solutions that optimize a criterion of social justice, subject to the envy freeness constraint, in order to pinpoint the “fairest” solutions. We develop a general algorithmic framework that enables the computation of such solutions in polynomial time. We then study the relations between natural optimization objectives, and identify the maximin solution, which maximizes the minimum utility subject to envy freeness, as the most attractive. We demonstrate, in theory and using experiments on real data from Spliddit, that the maximin solution gives rise to significant gains in terms of our optimization objectives. Finally, a user study with Spliddit users as subjects demonstrates that people find the maximin solution to be significantly fairer than arbitrary envy-free solutions; this user study is unprecedented in that it asks people about their real-world rent division instances. Based on these results, the maximin solution has been deployed on Spliddit since April 2015.","doi":"10.24963/ijcai.2017/678","url":"https://ijcai.org/proceedings/2017/678","pdf":"https://ijcai.org/proceedings/2017/0678.pdf","markdown":"https://ijcai.org/proceedings/2017/678.md","bibtex":"https://ijcai.org/proceedings/2017/bibtex/678","volume":{"slug":"2017","title":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2017","url":"https://ijcai.org/proceedings/2017/","year":2017,"location":"Melbourne, Australia","dates":"19-25 August 2017","editors":"Carles Sierra","isbn":"978-0-9992411-0-3","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2017"},"section":"Best Sister Conferences","track":"Best Sister Conferences","number":678,"pages":{"first":4841,"last":4843},"keywords":["Artificial Intelligence: artificial intelligence"],"videos":[],"references":[{"position":1,"raw":"[Abdulkadiroglu et al., 2004] Atila Abdulkadiroglu, Tayfun Sönmez, and M. Utku Ünver. Room assignment-rent di- vision: A market approach. Social Choice and Welfare, 22(3):515-538, 2004.","title":"Utku Ünver. Room assignment-rent division: A market approach","authors":"Atila Abdulkadiroglu, Tayfun Sönmez, M","year":"2004","venue":"Social Choice and Welfare","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Alkan et al., 1991] Ahmet Alkan, Gabrielle Demange, and David Gale. Fair allocation of indivisible goods and crite- ria of justice. Econometrica, 59(4):1023-1039, 1991.","title":"Fair allocation of indivisible goods and criteria of justice","authors":"Ahmet Alkan, Gabrielle Demange, David Gale","year":"1991","venue":"Econometrica","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Aragones, 1995] Enriqueta Aragones. A derivation of the money Rawlsian solution. Social Choice and Welfare, 12:267-276, 1995.","title":"A derivation of the money Rawlsian solution","authors":"Enriqueta Aragones","year":"1995","venue":"Social Choice and Welfare","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Brams and Kilgour, 2001] Steven J. Brams and D. Marc Kilgour. Competitive fair division. Journal of Political Economy, 109:418-443, 2001.","title":"Competitive fair division","authors":"Steven J Brams, D Marc Kilgour","year":"2001","venue":"Journal of Political Economy","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Foley, 1967] Duncan K. Foley. Resource allocation and the public sector. Yale Economics Essays, 7:45-98, 1967.","title":"Resource allocation and the public sector","authors":"Duncan K Foley","year":"1967","venue":"Yale Economics Essays","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Gal et al., 2016] Ya'akov Gal, Moshe Mash, Ariel D. Pro- caccia, and Yair Zick. Which is the fairest (rent division) of them all? In Proceedings of the 17th ACM Conference on Economics and Computation (EC), pages 67-84, 2016.","title":"Ya'akov Gal, Moshe Mash, Ariel D. Procaccia, and Yair Zick. Which is the fairest (rent division) of them all?","authors":"Gal","year":"2016","venue":"Proceedings of the 17th ACM Conference on Economics and Computation (EC)","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Goldman and Procaccia, 2014] Jonathan Goldman and Ariel D. Procaccia. Spliddit: Unleashing fair division algorithms. SIGecom Exchanges, 13(2):41-46, 2014.","title":"Spliddit: Unleashing fair division algorithms","authors":"Jonathan Goldman, Ariel D Procaccia","year":"2014","venue":"SIGecom Exchanges","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Herreiner and Puppe, 2009] Dorothea K. Herreiner and Clemens D. Puppe. Envy freeness in experimental fair division problems. Theory and decision, 67(1):65-100, 2009.","title":"Envy freeness in experimental fair division problems","authors":"Dorothea K Herreiner, Clemens D Puppe","year":"2009","venue":"Theory and decision","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Su, 1999] Francis E. Su. Rental harmony: Sperner's lemma in fair division. American Mathematical Monthly, 106(10):930-942, 1999.","title":"Rental harmony: Sperner's lemma in fair division","authors":"Francis E Su","year":"1999","venue":"American Mathematical Monthly","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Svensson, 1983] Lars-Gunnar Svensson. Large indivisibles: An analysis with respect to price equilibrium and fairness. Econometrica, 51(4):939-954, 1983.","title":"Large indivisibles: An analysis with respect to price equilibrium and fairness","authors":"Lars-Gunnar Svensson, Svensson","year":"1983","venue":"Econometrica","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}