5,745 research outputs found
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
Evasiveness and the Distribution of Prime Numbers
We confirm the eventual evasiveness of several classes of monotone graph
properties under widely accepted number theoretic hypotheses. In particular we
show that Chowla's conjecture on Dirichlet primes implies that (a) for any
graph , "forbidden subgraph " is eventually evasive and (b) all
nontrivial monotone properties of graphs with edges are
eventually evasive. ( is the number of vertices.)
While Chowla's conjecture is not known to follow from the Extended Riemann
Hypothesis (ERH, the Riemann Hypothesis for Dirichlet's functions), we show
(b) with the bound under ERH.
We also prove unconditional results: (a) for any graph , the query
complexity of "forbidden subgraph " is ; (b) for
some constant , all nontrivial monotone properties of graphs with edges are eventually evasive.
Even these weaker, unconditional results rely on deep results from number
theory such as Vinogradov's theorem on the Goldbach conjecture.
Our technical contribution consists in connecting the topological framework
of Kahn, Saks, and Sturtevant (1984), as further developed by Chakrabarti,
Khot, and Shi (2002), with a deeper analysis of the orbital structure of
permutation groups and their connection to the distribution of prime numbers.
Our unconditional results include stronger versions and generalizations of some
result of Chakrabarti et al.Comment: 12 pages (conference version for STACS 2010
Disproving the normal graph conjecture
A graph is called normal if there exist two coverings, and
of its vertex set such that every member of induces a
clique in , every member of induces an independent set in
and for every and . It has been conjectured by De Simone and K\"orner in 1999 that a
graph is normal if does not contain , and
as an induced subgraph. We disprove this conjecture
On the Prior and Posterior Distributions Used in Graphical Modelling
Graphical model learning and inference are often performed using Bayesian
techniques. In particular, learning is usually performed in two separate steps.
First, the graph structure is learned from the data; then the parameters of the
model are estimated conditional on that graph structure. While the probability
distributions involved in this second step have been studied in depth, the ones
used in the first step have not been explored in as much detail.
In this paper, we will study the prior and posterior distributions defined
over the space of the graph structures for the purpose of learning the
structure of a graphical model. In particular, we will provide a
characterisation of the behaviour of those distributions as a function of the
possible edges of the graph. We will then use the properties resulting from
this characterisation to define measures of structural variability for both
Bayesian and Markov networks, and we will point out some of their possible
applications.Comment: 28 pages, 6 figure
Separation dimension of bounded degree graphs
The 'separation dimension' of a graph is the smallest natural number
for which the vertices of can be embedded in such that any
pair of disjoint edges in can be separated by a hyperplane normal to one of
the axes. Equivalently, it is the smallest possible cardinality of a family
of total orders of the vertices of such that for any two
disjoint edges of , there exists at least one total order in
in which all the vertices in one edge precede those in the other. In general,
the maximum separation dimension of a graph on vertices is . In this article, we focus on bounded degree graphs and show that the
separation dimension of a graph with maximum degree is at most
. We also demonstrate that the above bound is nearly
tight by showing that, for every , almost all -regular graphs have
separation dimension at least .Comment: One result proved in this paper is also present in arXiv:1212.675
- …