Existence and Verification of Nash Equilibria in Non-Cooperative Contribution Games with Resource Contention (2403.20161v1)
Abstract: In resource contribution games, a class of non-cooperative games, the players want to obtain a bundle of resources and are endowed with bags of bundles of resources that they can make available into a common for all to enjoy. Available resources can then be used towards their private goals. A player is potentially satisfied with a profile of contributed resources when his bundle could be extracted from the contributed resources. Resource contention occurs when the players who are potentially satisfied, cannot actually all obtain their bundle. The player's preferences are always single-minded (they consider a profile good or they do not) and parsimonious (between two profiles that are equally good, they prefer the profile where they contribute less). What makes a profile of contributed resources good for a player depends on their attitude towards resource contention. We study the problem of deciding whether an outcome is a pure Nash equilibrium for three kinds of players' attitudes towards resource contention: public contention-aversity, private contention-aversity, and contention-tolerance. In particular, we demonstrate that in the general case when the players are contention-averse, then the problem is harder than when they are contention-tolerant. We then identify a natural class of games where, in presence of contention-averse preferences, it becomes tractable, and where there is always a Nash equilibrium.
- Multiagent resource allocation with sharable items. Autonomous Agents and Multi-Agent Systems, 28(6):956–985, 2014.
- Mark Armstrong. Network interconnection in telecommunications. The Economic Journal, 108(448):545–564, 1998.
- H. Aziz. Strategyproof multi-item exchange under single-minded dichotomous preferences. Autonomous Agents and Multi-Agent Systems, 34(3), 2020.
- Voluntary contribution games: efficient private provision of public goods. Economic Inquiry, 29(2):351–366, 1991.
- On the private provision of public goods. Journal of Public Economics, 29(1):25–49, 1986.
- Boolean games revisited. In Proceedings of the 17th European Conference on Artificial Intelligence (ECAI’06), volume 141 of Frontiers in Artificial Intelligence and Applications, pages 265–269. IOS Press, 2006.
- Fair allocation of indivisible goods, chapter 12, pages 284–310. In Brandt et al. [9], 2016.
- Pure Nash equilibria in concurrent deterministic games. Log. Methods Comput. Sci., 11(2), 2015.
- Handbook of Computational Social Choice. Cambridge University Press, New York, NY, USA, 2016.
- W. Gerald Brock. The economics of interconnection. Technical report, Teleport Communication Group, 1995. Prepared for Teleport Communications Group.
- Véronique Bruyère. Synthesis of equilibria in infinite-duration: Games on graphs. ACM SIGLOG News, 8(2):4––29, May 2021.
- Bidding languages and winner determination for mixed multi-unit combinatorial auctions. In Proceedings of the 20th International Joint Conference on Artifical Intelligence, IJCAI’07, pages 1221–1226, San Francisco, CA, USA, 2007. Morgan Kaufmann Publishers Inc.
- On Nash equilibria in stochastic games. In Proceedings of the 18th International Workshop on Computer Science Logic (CSL 2004), volume 3210 of Lecture Notes in Computer Science, pages 26–40. Springer, 2004.
- Issues in multiagent resource allocation. Informatica (Slovenia), 30(1):3–31, 2006.
- Rational synthesis in the commons with careless and careful agents. In Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2021), pages 368–376. International Foundation for Autonomous Agents and Multiagent Systems, 2021.
- Synthesis of resource-aware controllers against rational agents. In Proceedings of the 22nd International Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2023), pages 775–783. International Foundation for Autonomous Agents and Multiagent Systems, 2023.
- Combinatorial auctions. MIT Press, 2006.
- The complexity of computing a Nash equilibrium. SIAM J. Comput., 39(1):195–259, 2009.
- Obviously strategyproof single-minded combinatorial auctions. In Proceedings of the 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020), volume 168 of LIPIcs, pages 71:1–71:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
- Solving coalitional resource games. Artificial Intelligence, 174(1):20–50, 2010.
- Peter P. Ekeh. Social Exchange Theory: The Two Traditions. Harvard University Press, 1974.
- The complexity of pure Nash equilibria. In Proceedings of the Thirty-Sixth Annual ACM Symposium on Theory of Computing, STOC’04, pages 604––612. Association for Computing Machinery, 2004.
- Community structure and collaborative consumption: A routine activity approach. American Behavioral Scientist, 21(4):614–624, 1978.
- Rational synthesis. In Javier Esparza and Rupak Majumdar, editors, Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), volume 6015 of Lecture Notes in Computer Science, pages 190–204. Springer, 2010.
- A graphical formalism for mixed multi-unit combinatorial auctions. Autonomous Agents and Multi-Agent Systems, 20(3):342–368, 2010.
- Jean-Yves Girard. Linear logic. Theoretical Computer Science, 50(1):1–101, 1987.
- Negotiable votes. J. Artif. Intell. Res., 64:895–929, 2019.
- Iterated boolean games. Information and Computation, 242:53–79, 2015.
- Equilibria for games with combined qualitative and quantitative objectives. Acta Informatica, 58:585–-610, 2021.
- Electric boolean games: redistribution schemes for resource-bounded agents. In Proceedigns of the 14th International Conference on Autonomous Agents and Multi-agent Systems (AAMAS 2015), pages 655–663. International Foundation for Autonomous Agents and Multiagent Systems, 2015.
- Boolean games. In Proceedings of the 8th Conference on Theoretical Aspects of Rationality and Knowledge, TARK’01, pages 287–298. Morgan Kaufmann Publishers Inc., 2001.
- Fast and compact: A simple class of congestion games. In Proceedings of the 20th National Conference on Artificial Intelligence - Volume 2, AAAI’05, pages 489-–494. AAAI Press, 2005.
- Solving combinatorial exchanges: optimality via a few partial bids. In Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), pages 1418–1419. IEEE Computer Society, 2004.
- David Kreps. Notes on the theory of choice. Underground Classics in Economics. Routledge, 1988.
- Public goods provision in an experimental environment. Journal of Public Economics, 26(1):51–74, 1985.
- Economists free ride, does anyone else?: Experiments on the provision of public goods, IV. Journal of Public Economics, 15(3):295–310, 1981.
- Igal Milchtaich. Congestion games with player-specific payoff functions. Games and Economic Behavior, 13(1):111–124, 1996.
- Potential games. Games and Economic Behavior, 14(1):124–143, 1996.
- John Nash. Equilibrium points in n-person games. Proceedings of the National Academy of Sciences, 36:48–49, 1950.
- John Nash. Non-cooperative games. The Annals of Mathematics, 54:286–295, 1951.
- Elinor Ostrom. Governing the commons: the evolution of institutions for collective action. Cambridge University Press, 1990.
- Torsten Reiners and Lincoln C. Wood, editors. Gamification in education and business. Springer, Cham, 2015.
- Robert W. Rosenthal. A class of games possessing pure-strategy Nash equilibria. International Journal of Game Theory, 2(1):65–67, Dec 1973.
- Finding the largest successful coalition under the strict goal preferences of agents. ACM Trans. Auton. Adapt. Syst., 14(4), 2020.
- Robert Sugden. Reciprocity: The supply of public goods through voluntary contributions. The Economic Journal, 94(376):772–787, 1984.
- Nicolas Troquard. Nash equilibria and their elimination in resource games. In Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, pages 503–509. AAAI Press, 2016.
- Nicolas Troquard. Rich coalitional resource games. In Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, AAAI 2018, pages 1242–1249. AAAI Press, 2018.
- Nicolas Troquard. Individual resource games and resource redistributions. Journal of Logic and Computation, 30(5):1023–1062, 2020.
- Incentive engineering for boolean games. Artificial Intelligence, 195:418–439, 2013.
- Rational verification: from model checking to equilibrium checking. In Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, AAAI 2016, pages 4184–4191. AAAI Press, 2016.
- Toshio Yamagishi and Karen S. Cook Generalized exchange and social dilemmas. Social Psychology Quarterly, 56(4):235––248, 1993.