2,684 research outputs found
Definability equals recognizability for graphs of bounded treewidth
We prove a conjecture of Courcelle, which states that a graph property is
definable in MSO with modular counting predicates on graphs of constant
treewidth if, and only if it is recognizable in the following sense:
constant-width tree decompositions of graphs satisfying the property can be
recognized by tree automata. While the forward implication is a classic fact
known as Courcelle's theorem, the converse direction remained openComment: 21 pages, an extended abstract will appear in the proceedings of LICS
201
Shapley Meets Shapley
This paper concerns the analysis of the Shapley value in matching games.
Matching games constitute a fundamental class of cooperative games which help
understand and model auctions and assignments. In a matching game, the value of
a coalition of vertices is the weight of the maximum size matching in the
subgraph induced by the coalition. The Shapley value is one of the most
important solution concepts in cooperative game theory.
After establishing some general insights, we show that the Shapley value of
matching games can be computed in polynomial time for some special cases:
graphs with maximum degree two, and graphs that have a small modular
decomposition into cliques or cocliques (complete k-partite graphs are a
notable special case of this). The latter result extends to various other
well-known classes of graph-based cooperative games.
We continue by showing that computing the Shapley value of unweighted
matching games is #P-complete in general. Finally, a fully polynomial-time
randomized approximation scheme (FPRAS) is presented. This FPRAS can be
considered the best positive result conceivable, in view of the #P-completeness
result.Comment: 17 page
Three-dimensional simplicial gravity and combinatorics of group presentations
We demonstrate how some problems arising in simplicial quantum gravity can be
successfully addressed within the framework of combinatorial group theory. In
particular, we argue that the number of simplicial 3-manifolds having a fixed
homology type grows exponentially with the number of tetrahedra they are made
of. We propose a model of 3D gravity interacting with scalar fermions, some
restriction of which gives the 2-dimensional self-avoiding-loop-gas matrix
model. We propose a qualitative picture of the phase structure of 3D simplicial
gravity compatible with the numerical experiments and available analytical
results.Comment: 24 page
Monadic second-order definable graph orderings
We study the question of whether, for a given class of finite graphs, one can
define, for each graph of the class, a linear ordering in monadic second-order
logic, possibly with the help of monadic parameters. We consider two variants
of monadic second-order logic: one where we can only quantify over sets of
vertices and one where we can also quantify over sets of edges. For several
special cases, we present combinatorial characterisations of when such a linear
ordering is definable. In some cases, for instance for graph classes that omit
a fixed graph as a minor, the presented conditions are necessary and
sufficient; in other cases, they are only necessary. Other graph classes we
consider include complete bipartite graphs, split graphs, chordal graphs, and
cographs. We prove that orderability is decidable for the so called
HR-equational classes of graphs, which are described by equation systems and
generalize the context-free languages
- …