169,854 research outputs found
Joint Spectral Radius and Path-Complete Graph Lyapunov Functions
We introduce the framework of path-complete graph Lyapunov functions for
approximation of the joint spectral radius. The approach is based on the
analysis of the underlying switched system via inequalities imposed among
multiple Lyapunov functions associated to a labeled directed graph. Inspired by
concepts in automata theory and symbolic dynamics, we define a class of graphs
called path-complete graphs, and show that any such graph gives rise to a
method for proving stability of the switched system. This enables us to derive
several asymptotically tight hierarchies of semidefinite programming
relaxations that unify and generalize many existing techniques such as common
quadratic, common sum of squares, and maximum/minimum-of-quadratics Lyapunov
functions. We compare the quality of approximation obtained by certain classes
of path-complete graphs including a family of dual graphs and all path-complete
graphs with two nodes on an alphabet of two matrices. We provide approximation
guarantees for several families of path-complete graphs, such as the De Bruijn
graphs, establishing as a byproduct a constructive converse Lyapunov theorem
for maximum/minimum-of-quadratics Lyapunov functions.Comment: To appear in SIAM Journal on Control and Optimization. Version 2 has
gone through two major rounds of revision. In particular, a section on the
performance of our algorithm on application-motivated problems has been added
and a more comprehensive literature review is presente
Efficient Local Search in Coordination Games on Graphs
We study strategic games on weighted directed graphs, where the payoff of a
player is defined as the sum of the weights on the edges from players who chose
the same strategy augmented by a fixed non-negative bonus for picking a given
strategy. These games capture the idea of coordination in the absence of
globally common strategies. Prior work shows that the problem of determining
the existence of a pure Nash equilibrium for these games is NP-complete already
for graphs with all weights equal to one and no bonuses. However, for several
classes of graphs (e.g. DAGs and cliques) pure Nash equilibria or even strong
equilibria always exist and can be found by simply following a particular
improvement or coalition-improvement path, respectively. In this paper we
identify several natural classes of graphs for which a finite improvement or
coalition-improvement path of polynomial length always exists, and, as a
consequence, a Nash equilibrium or strong equilibrium in them can be found in
polynomial time. We also argue that these results are optimal in the sense that
in natural generalisations of these classes of graphs, a pure Nash equilibrium
may not even exist.Comment: Extended version of a paper accepted to IJCAI1
The hardness of perfect phylogeny, feasible register assignment and other problems on thin colored graphs
AbstractIn this paper, we consider the complexity of a number of combinatorial problems; namely, Intervalizing Colored Graphs (DNA physical mapping), Triangulating Colored Graphs (perfect phylogeny), (Directed) (Modified) Colored Cutwidth, Feasible Register Assignment and Module Allocation for graphs of bounded pathwidth. Each of these problems has as a characteristic a uniform upper bound on the tree or path width of the graphs in âyesâ-instances. For all of these problems with the exceptions of Feasible Register Assignment and Module Allocation, a vertex or edge coloring is given as part of the input. Our main results are that the parameterized variant of each of the considered problems is hard for the complexity classes W[t] for all tâN. We also show that Intervalizing Colored Graphs, Triangulating Colored Graphs, and Colored Cutwidth are NP-Complete
- âŠ