Pessimistic Leader-Follower Equilibria with Multiple Followers

The problem of computing the strategy to commit to has been widely investigated in the scientific literature for the case where a single follower is present. In the multi-follower setting though, results are only sporadic. In this paper, we address the multi-follower case for normal-form games, assuming that, after observing the leader’s commitment, the followers play pure strategies and reach a Nash equilibrium. We focus on the pessimistic case where, among many equilibria, one minimizing the leader’s utility is chosen (the opposite case is computationally trivial). We show that the problem is NP-hard even with only two followers, and propose an exact exponential-time algorithm which, for any number of followers, finds either an equilibrium when it exists (the leader’s utility admitting a maximum) or, if not, an α-approximation of the supremum, for any α > 0.

[1]  J. Nash NON-COOPERATIVE GAMES , 1951, Classics in Game Theory.

[2]  Manish Jain,et al.  Computing optimal randomized resource allocations for massive security games , 2009, AAMAS 2009.

[3]  Yoav Shoham,et al.  Run the GAMUT: a comprehensive approach to evaluating game-theoretic algorithms , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[4]  Martin Skutella,et al.  Protection of flows under targeted attacks , 2017, Oper. Res. Lett..

[5]  Bernhard von Stengel,et al.  Leadership games with convex strategy sets , 2010, Games Econ. Behav..

[6]  Vincent Conitzer,et al.  Computing the optimal strategy to commit to , 2006, EC '06.

[7]  Yoav Shoham,et al.  Multiagent Systems - Algorithmic, Game-Theoretic, and Logical Foundations , 2009 .

[8]  Manish Jain,et al.  Computing optimal randomized resource allocations for massive security games , 2009, AAMAS.

[9]  Martine Labbé Bilevel Programming and Price Setting Problems , 2006, OR.

[10]  Bo An,et al.  GUARDS and PROTECT: next generation applications of security games , 2011, SECO.

[11]  R. Rosenthal A class of games possessing pure-strategy Nash equilibria , 1973 .

[12]  Richard M. Karp,et al.  Reducibility Among Combinatorial Problems , 1972, 50 Years of Integer Programming.

[13]  L. Shapley,et al.  Potential Games , 1994 .

[14]  Stefano Coniglio,et al.  Bilevel Programming Approaches to the Computation of Optimistic and Pessimistic Single-Leader-Multi-Follower Equilibria , 2017, SEA.

[15]  Vincent Conitzer,et al.  Commitment to Correlated Strategies , 2011, AAAI.

[16]  Sarit Kraus,et al.  Playing games for security: an efficient exact algorithm for solving Bayesian Stackelberg games , 2008, AAMAS.

[17]  Gerhard J. Woeginger,et al.  Bilevel Knapsack with Interdiction Constraints , 2016, INFORMS J. Comput..

[18]  Edoardo Amaldi,et al.  Network Optimization Problems Subject to Max-Min Fair Flow Allocation , 2013, IEEE Communications Letters.

[19]  Stefano Coniglio,et al.  Methods for Finding Leader-Follower Equilibria with Multiple Followers: (Extended Abstract) , 2016, AAMAS.