The noncooperative multi-leader-follower game can be formulated as
a generalized Nash equilibrium problem where each player solves a
nonconvex mathematical program with equilibrium constraints. Two
major deficiencies exist with such a formulation: One is that the
resulting Nash equilibrium may not exist, due to the nonconvexity
in each player