6 research outputs found
Nash equilibria, gale strings, and perfect matchings
This thesis concerns the problem 2-NASH of ļ¬nding a Nash equilibrium of a bimatrix
game, for the special class of so-called āhard-to-solveā bimatrix games. The term āhardto-solveā relates to the exponential running time of the famous and often used Lemkeā
Howson algorithm for this class of games. The games are constructed with the help of
dual cyclic polytopes, where the algorithm can be expressed combinatorially via labeled
bitstrings deļ¬ned by the āGale evenness conditionā that characterise the vertices of these
polytopes.
We deļ¬ne the combinatorial problem āAnother completely labeled Gale stringā whose
solutions deļ¬ne the Nash equilibria of any game deļ¬ned by cyclic polytopes, including
the games where the LemkeāHowson algorithm takes exponential time. We show that
āAnother completely labeled Gale stringā is solvable in polynomial time by a reduction to
the āPerfect matchingā problem in Euler graphs. We adapt the LemkeāHowson algorithm
to pivot from one perfect matching to another and show that again for a certain class
of graphs this leads to exponential behaviour. Furthermore, we prove that completely
labeled Gale strings and perfect matchings in Euler graphs come in pairs and that the
LemkeāHowson algorithm connects two strings or matchings of opposite signs.
The equivalence between Nash Equilibria of bimatrix games derived from cyclic polytopes, completely labeled Gale strings, and perfect matchings in Euler Graphs implies that
counting Nash equilibria is #P-complete. Although one Nash equilibrium can be computed in polynomial time, we have not succeeded in ļ¬nding an algorithm that computes
a Nash equilibrium of opposite sign. However, we solve this problem for certain special cases, for example planar graphs. We illustrate the difļ¬culties concerning a general
polynomial-time algorithm for this problem by means of negative results that demonstrate
why a number of approaches towards such an algorithm are unlikely to be successful
Fractional solutions for capacitated NTU-games, with applications to stable matchings
Abstract. In this paper we investigate some new applications of Scarfās Lemma. First, we introduce the notion of fractional core for NTU-games, which is always nonempty by the Lemma. Stable allocation is a general solution concept for games where both the players and their possible cooperations can have capacities. We show that the problem of finding a stable allocation, given a finitely generated NTU-game with capacities, is always solvable by a variant of Scarfās Lemma. Then we describe the interpretation of these results for matching games. Finally we consider an even more general setting where players ā contributions in a joint activity may be different. We show that a stable allocation can be found by the Scarf algorithm in this case as well, and we demonstrate the usage of this method for the hospitals resident problem with couples. This problem is relevant in many practical applications, such as NRM
Finding a Second Hamiltonian cycle in Barnette Graphs
We study the following two problems: (1) finding a second room-partitioning of an oik, and (2) finding a second Hamiltonian cycle in cubic graphs. The existence of solution for both problems is guaranteed by a parity argument.
For the first problem we prove that deciding whether a 2-oik has a room-partitioning is NP-hard, even if the 2-oik corresponds to a planar triangulation.
For the problem of finding a second Hamiltonian cycle, we state the following conjecture: for every cubic planar bipartite graph finding a second Hamiltonian cycle can be found in time linear in the number of vertices via a standard pivoting algorithm. We fail to settle the conjecture, but we prove it for cubic planar bipartite WH(6)-minor free graphs