151 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
Forbidden minor characterizations for low-rank optimal solutions to semidefinite programs over the elliptope
We study a new geometric graph parameter \egd(G), defined as the smallest
integer for which any partial symmetric matrix which is completable to
a correlation matrix and whose entries are specified at the positions of the
edges of , can be completed to a matrix in the convex hull of correlation
matrices of \rank at most . This graph parameter is motivated by its
relevance to the problem of finding low rank solutions to semidefinite programs
over the elliptope, and also by its relevance to the bounded rank Grothendieck
constant. Indeed, \egd(G)\le r if and only if the rank- Grothendieck
constant of is equal to 1. We show that the parameter \egd(G) is minor
monotone, we identify several classes of forbidden minors for \egd(G)\le r
and we give the full characterization for the case . We also show an upper
bound for \egd(G) in terms of a new tree-width-like parameter \sla(G),
defined as the smallest for which is a minor of the strong product of a
tree and . We show that, for any 2-connected graph on at
least 6 nodes, \egd(G)\le 2 if and only if \sla(G)\le 2.Comment: 33 pages, 8 Figures. In its second version, the paper has been
modified to accommodate the suggestions of the referees. Furthermore, the
title has been changed since we feel that the new title reflects more
accurately the content and the main results of the pape
Schnyder decompositions for regular plane graphs and application to drawing
Schnyder woods are decompositions of simple triangulations into three
edge-disjoint spanning trees crossing each other in a specific way. In this
article, we define a generalization of Schnyder woods to -angulations (plane
graphs with faces of degree ) for all . A \emph{Schnyder
decomposition} is a set of spanning forests crossing each other in a
specific way, and such that each internal edge is part of exactly of the
spanning forests. We show that a Schnyder decomposition exists if and only if
the girth of the -angulation is . As in the case of Schnyder woods
(), there are alternative formulations in terms of orientations
("fractional" orientations when ) and in terms of corner-labellings.
Moreover, the set of Schnyder decompositions on a fixed -angulation of girth
is a distributive lattice. We also show that the structures dual to
Schnyder decompositions (on -regular plane graphs of mincut rooted at a
vertex ) are decompositions into spanning trees rooted at such
that each edge not incident to is used in opposite directions by two
trees. Additionally, for even values of , we show that a subclass of
Schnyder decompositions, which are called even, enjoy additional properties
that yield a reduced formulation; in the case d=4, these correspond to
well-studied structures on simple quadrangulations (2-orientations and
partitions into 2 spanning trees). In the case d=4, the dual of even Schnyder
decompositions yields (planar) orthogonal and straight-line drawing algorithms.
For a 4-regular plane graph of mincut 4 with vertices plus a marked
vertex , the vertices of are placed on a grid according to a permutation pattern, and in the orthogonal drawing
each of the edges of has exactly one bend. Embedding
also the marked vertex is doable at the cost of two additional rows and
columns and 8 additional bends for the 4 edges incident to . We propose a
further compaction step for the drawing algorithm and show that the obtained
grid-size is strongly concentrated around for a uniformly
random instance with vertices
- …