scholarly journals On the Computational Complexity of Decision Problems About Multi-player Nash Equilibria

Author(s):  
Marie Louisa Tølbøll Berthelsen ◽  
Kristoffer Arnsfelt Hansen
Author(s):  
Nico Potyka

Bipolar abstract argumentation frameworks allow modeling decision problems by defining pro and contra arguments and their relationships. In some popular bipolar frameworks, there is an inherent tendency to favor either attack or support relationships. However, for some applications, it seems sensible to treat attack and support equally. Roughly speaking, turning an attack edge into a support edge, should just invert its meaning. We look at a recently introduced bipolar argumentation semantics and two novel alternatives and discuss their semantical and computational properties. Interestingly, the two novel semantics correspond to stable semantics if no support relations are present and maintain the computational complexity of stable semantics in general bipolar frameworks.


1987 ◽  
Vol 10 (1) ◽  
pp. 1-33
Author(s):  
Egon Börger ◽  
Ulrich Löwen

We survey and give new results on logical characterizations of complexity classes in terms of the computational complexity of decision problems of various classes of logical formulas. There are two main approaches to obtain such results: The first approach yields logical descriptions of complexity classes by semantic restrictions (to e.g. finite structures) together with syntactic enrichment of logic by new expressive means (like e.g. fixed point operators). The second approach characterizes complexity classes by (the decision problem of) classes of formulas determined by purely syntactic restrictions on the formation of formulas.


2005 ◽  
Vol 94 (3) ◽  
pp. 145-150 ◽  
Author(s):  
Bruno Codenotti ◽  
Daniel Štefankovič

2018 ◽  
Vol 53 (1-2) ◽  
pp. 1-17
Author(s):  
Lukas Fleischer ◽  
Manfred Kufleitner

Weakly recognizing morphisms from free semigroups onto finite semigroups are a classical way for defining the class of ω-regular languages, i.e., a set of infinite words is weakly recognizable by such a morphism if and only if it is accepted by some Büchi automaton. We study the descriptional complexity of various constructions and the computational complexity of various decision problems for weakly recognizing morphisms. The constructions we consider are the conversion from and to Büchi automata, the conversion into strongly recognizing morphisms, as well as complementation. We also show that the fixed membership problem is NC1-complete, the general membership problem is in L and that the inclusion, equivalence and universality problems are NL-complete. The emptiness problem is shown to be NL-complete if the input is given as a non-surjective morphism.


2019 ◽  
Author(s):  
Janet Rosenbaum

Although the computation of Nash equlibria for general games is of unknown complexity, there exist many algorithms for specific game classes, some of which are a marked improvement of previous algorithms. This paper reviews general results on the computational complexity of Nash equilibria and discusses the major algorithms for specific game classes.


Sign in / Sign up

Export Citation Format

Share Document