Tuesday, 04 April 2017, 3 p.m. (sharp),
Dr. Stefano Coniglio, University of Southampton
at the conference room of IMATI-CNR in Pavia, will give a lecture titled:
EXACT SINGLE LEVEL AND BILEVEL PROGRAMMING APPROACHES TO THE COMPUTATION OF LEADER-FOLLOWER NASH EQUILIBRIA IN GAMES WITH MANY FOLLOWERS
as part of the Applied Mathematics Seminar (IMATI-CNR e Dipartimento di Matematica, Pavia).
At the end a refreshment will be organized.
We investigate the problem of computing a Leader-Follower Nash Equilibrium. Given a normal-form game with a single leader and two or more followers, a strategy profile is a Leader-Follower Nash Equilibrium if i) given the leader's strategy, the followers' strategies yield a Nash Equilibrium in the corresponding subgame and ii) the leader's strategy is such that his utility is maximized. To cope with the presence of multiple Nash Equilibria in the followers' subgame, we consider two natural (extreme) cases: the optimistic case, where the followers select a Nash Equilibrium maximizing the leader's utility, and the pessimistic case, where a Nash Equilibrium minimizing the leader's utility is chosen.
We first illustrate that computing a Leader-Follower Nash Equilibrium is NP-hard and not in Poly-APX unless P=NP and that even deciding whether one of the leader's actions will be played with a strictly positive probability in an equilibrium is NP-hard. We also show that, in the general case, pessimistic equilibria may not be finite.
After showing that the optimistic problem can be cast as a single level mathematical program (whereas the pessimistic one is intrinsically bilevel), we propose some (mixed-integer) nonconvex formulations for the optimistic case, which we then evaluate computationally. We conclude by presenting an exact (up to finite precision) branch-and-bound algorithm for the pessimistic case based on disjunctive programming, suitable for the case where the followers are restricted to pure strategies, and sketch its extension to the general case of mixed strategies.
This is joint work with Nicola Basilico, Nicola Gatti, and Alberto Marchesi.