Welfare-Optimal Serial Dictatorships have Polynomial Query Complexity (2407.04474v1)
Abstract: Serial dictatorship is a simple mechanism for coordinating agents in solving combinatorial optimization problems according to their preferences. The most representative such problem is one-sided matching, in which a set of n agents have values for a set of n items, and the objective is to compute a matching of the agents to the items of maximum total value (a.k.a., social welfare). Following the recent framework of Caragiannis and Rathi [10], we consider a model in which the agent-item values are not available upfront but become known by querying agent sequences. In particular, when the agents are asked to act in a sequence, they respond by picking their favorite item that has not been picked by agents who acted before and reveal their value for it. Can we compute an agent sequence that induces a social welfare-optimal matching? We answer this question affirmatively and present an algorithm that uses polynomial number (n5) of queries. This solves the main open problem stated by Caragiannis and Rathi [CR23]. Our analysis uses a potential function argument that measures progress towards learning the underlying edge-weight information. Furthermore, the algorithm has a truthful implementation by adapting the paradigm of VCG payments.
- Random serial dictatorship and the core from random endowments in house allocation problems. Econometrica, 66(3):689–701, 1998.
- Efficiency, sequenceability and deal-optimality in fair division of indivisible goods. In Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, (AAMAS), pages 900–908, 2019.
- Approximating pure nash equilibrium in cut, party affiliation, and satisfiability games. In Proceedings of the 11th ACM conference on Electronic Commerce (EC), pages 73–82, 2010.
- A new solution to the random assignment problem. Journal of Economic Theory, 100(2):295–328, 2001.
- Priority algorithms for graph optimization problems. Theorerical Computer Science, 411(1):239–258, 2010.
- Incremental priority algorithms. Algorithmica, 37(4):295–326, 2003.
- A general elicitation-free protocol for allocating indivisible goods. In Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI), 2011.
- Truthful facility assignment with resource augmentation: An exact analysis of serial dictatorship. In Proceedings of the 12th Conference on Web and Internet Economics (WINE), pages 236–250, 2016.
- Optimizing over serial dictatorships. arXiv preprint arXiv:2202.08097, 2022.
- Optimizing over serial dictatorships. In International Symposium on Algorithmic Game Theory (SAGT), pages 329–346. Springer, 2023.
- Introduction to Algorithms. The MIT Press, 3rd edition, 2009.
- Models of greedy algorithms for graph problems. In Proceedings of the 15th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), page 381–390, 2004.
- The computational complexity of weighted greedy matching. In Proceedings of the 31st AAAI Conference on Artificial Intelligence (AAAI), page 466–472, 2017.
- Social welfare in one-sided matchings: Random priority and beyond. In Proceedings of the 7th International Symposium on Algorithmic Game Theory (SAGT), pages 1–12, 2014.
- On fairness via picking sequences in allocation of indivisible goods. In Proceedings of the 7th International Conference on Algorithmic Decision Theory (ADT), pages 258–272, 2021.
- A social welfare optimal sequential allocation procedure. In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI), pages 227–233, 2013.
- Size versus truthfulness in the house allocation problem. Algorithmica, 81(9):3422–3463, 2019.
- David F. Manlove. Algorithmics of Matching Under Preferences. World Scientific, 2013.
- Greedy algorithms for the maximum satisfiability problem: Simple algorithms and inapproximability bounds. SIAM Journal on Computing, 46:1029–1061, 01 2017.
- Alvin E. Roth and Marilda A. Oliveira Sotomayor. Two-Sided Matching: A Study in Game-Theoretic Modeling and Analysis. Cambridge University Press, 1990.
- Lars-Gunnar Svensson. Strategy-proof allocation of indivisible goods. Social Choice and Welfare, 16(4):557–567, 1999.
- Incentive engineering for boolean games. Journal of Artificial Intelligence, 195:418–439, 2013.