Hierarchical multilevel optimization with multiple-leaders multiple-followers setting and nonseparable objectives

Hierarchical multilevel multi-leader multi-follower problems are non-cooperative decision problems in which multiple decision-makers of equal status in the upper-level and multiple decision-makers of equal status are involved at each of the lower-levels of the hierarchy. Much of solution methods proposed so far on the topic are either model specific which may work only for a particular sub-class of problems or are based on some strong assumptions and only for two level cases. In this paper, we have considered hierarchical multilevel multi-leader multi-follower problems in which the objective functions contain separable and non-separable terms (but the non-separable terms can be written as a factor of two functions, a function which depends on other level decision variables and a function which is common to all objectives across the same level) and shared constraint. We have proposed a solution algorithm to such problems by equivalent reformulation as a hierarchical multilevel problem involving single decision maker at all levels of the hierarchy. Then, we applied a multi-parametric algorithm to solve the resulting single leader single followers problem.

Leadership Games: Multiple Followers, Multiple Leaders, and Perfection

Over the last years, algorithmic game theory has received growing interest in AI, as it allows to tackle complex real-world scenarios involving multiple artificial agents engaged in a competitive interaction. These settings call for rational agents endowed with the capability of reasoning strategically, which is achieved by exploiting equilibrium concepts from game theory.

Hierarchical Structures and Leadership Design in Mean-Field-Type Games with Polynomial Cost

This article presents a class of hierarchical mean-field-type games with multiple layers and non-quadratic polynomial costs. The decision-makers act in sequential order with informational differences. We first examine the single-layer case where each decision-maker does not have the information about the other control strategies. We derive the Nash mean-field-type equilibrium and cost in a linear state-and-mean-field feedback form by using a partial integro-differential system. Then, we examine the Stackelberg two-layer problem with multiple leaders and multiple followers. Numerical illustrations show that, in the symmetric case, having only one leader is not necessarily optimal for the total sum cost. Having too many leaders may also be suboptimal for the total sum cost. The methodology is extended to multi-level hierarchical systems. It is shown that the order of the play plays a key role in the total performance of the system. We also identify a specific range of parameters for which the Nash equilibrium coincides with the hierarchical solution independently of the number of layers and the order of play. In the heterogeneous case, it is shown that the total cost is significantly affected by the design of the hierarchical structure of the problem.

Computing a Pessimistic Stackelberg Equilibrium with Multiple Followers: The Mixed-Pure Case

The search problem of computing a Stackelberg (or leader-follower)equilibrium (also referred to as an optimal strategy to commit to) has been widely investigated in the scientific literature in, almost exclusively, the single-follower setting. Although the optimistic and pessimistic versions of the problem, i.e., those where the single follower breaks any ties among multiple equilibria either in favour or against the leader, are solved with different methodologies, both cases allow for efficient, polynomial-time algorithms based on linear programming. The situation is different with multiple followers, where results are only sporadic and depend strictly on the nature of the followers’ game. In this paper, we investigate the setting of a normal-form game with a single leader and multiple followers who, after observing the leader’s commitment, play a Nash equilibrium. When both leader and followers are allowed to play mixed strategies, the corresponding search problem, both in the optimistic and pessimistic versions, is known to be inapproximable in polynomial time to within any multiplicative polynomial factor unless $$\textsf {P}=\textsf {NP}$$P=NP. Exact algorithms are known only for the optimistic case. We focus on the case where the followers play pure strategies—a restriction that applies to a number of real-world scenarios and which, in principle, makes the problem easier—under the assumption of pessimism (the optimistic version of the problem can be straightforwardly solved in polynomial time). After casting this search problem (with followers playing pure strategies) as a pessimistic bilevel programming problem, we show that, with two followers, the problem is -hard and, with three or more followers, it cannot be approximated in polynomial time to within any multiplicative factor which is polynomial in the size of the normal-form game, nor, assuming utilities in [0, 1], to within any constant additive loss stricly smaller than 1 unless $$\textsf {P}=\textsf {NP}$$P=NP. This shows that, differently from what happens in the optimistic version, hardness and inapproximability in the pessimistic problem are not due to the adoption of mixed strategies. We then show that the problem admits, in the general case, a supremum but not a maximum, and we propose a single-level mathematical programming reformulation which asks for the maximization of a nonconcave quadratic function over an unbounded nonconvex feasible region defined by linear and quadratic constraints. Since, due to admitting a supremum but not a maximum, only a restricted version of this formulation can be solved to optimality with state-of-the-art methods, we propose an exact ad hoc algorithm (which we also embed within a branch-and-bound scheme) capable of computing the supremum of the problem and, for cases where there is no leader’s strategy where such value is attained, also an $$\alpha $$α-approximate strategy where $$\alpha > 0$$α>0 is an arbitrary additive loss (at most as large as the supremum). We conclude the paper by evaluating the scalability of our algorithms via computational experiments on a well-established testbed of game instances.

Crowley, Aleister (1875–1947)

Aleister Crowley was an occultist, writer, and mystic who founded the spiritual philosophy of Thelema. Crowley’s work combines European, South Asian, and Chinese esoteric teachings. His fictional, poetic, and spiritual writings celebrate free will. The popular press frequently referred to him as ‘the wickedest man on earth’. Crowley died in 1947, leaving behind a vast corpus of writing, multiple followers, and a growing store of legends. Crowley was born Edward Alexander Crowley into a wealthy Quaker family in Warwickshire. After the death of his father, Crowley rejected formal education and his parents’ religion. After withdrawing from multiple public schools and working with tutors, Crowley entered Trinity College at Cambridge in 1895. At Cambridge he met Leonard Smithers, the publisher of some of Oscar Wilde’s late work. Smithers published Crowley’s first two books of poems.