29,744 research outputs found
Permanents, Pfaffian orientations, and even directed circuits
Given a 0-1 square matrix A, when can some of the 1's be changed to -1's in
such a way that the permanent of A equals the determinant of the modified
matrix? When does a real square matrix have the property that every real matrix
with the same sign pattern (that is, the corresponding entries either have the
same sign or are both zero) is nonsingular? When is a hypergraph with n
vertices and n hyperedges minimally nonbipartite? When does a bipartite graph
have a "Pfaffian orientation"? Given a digraph, does it have no directed
circuit of even length? Given a digraph, does it have a subdivision with no
even directed circuit?
It is known that all of the above problems are equivalent. We prove a
structural characterization of the feasible instances, which implies a
polynomial-time algorithm to solve all of the above problems. The structural
characterization says, roughly speaking, that a bipartite graph has a Pfaffian
orientation if and only if it can be obtained by piecing together (in a
specified way) planar bipartite graphs and one sporadic nonplanar bipartite
graph.Comment: 47 pages, published versio
Bucolic Complexes
We introduce and investigate bucolic complexes, a common generalization of
systolic complexes and of CAT(0) cubical complexes. They are defined as simply
connected prism complexes satisfying some local combinatorial conditions. We
study various approaches to bucolic complexes: from graph-theoretic and
topological perspective, as well as from the point of view of geometric group
theory. In particular, we characterize bucolic complexes by some properties of
their 2-skeleta and 1-skeleta (that we call bucolic graphs), by which several
known results are generalized. We also show that locally-finite bucolic
complexes are contractible, and satisfy some nonpositive-curvature-like
properties.Comment: 45 pages, 4 figure
Cop and robber game and hyperbolicity
In this note, we prove that all cop-win graphs G in the game in which the
robber and the cop move at different speeds s and s' with s'<s, are
\delta-hyperbolic with \delta=O(s^2). We also show that the dependency between
\delta and s is linear if s-s'=\Omega(s) and G obeys a slightly stronger
condition. This solves an open question from the paper (J. Chalopin et al., Cop
and robber games when the robber can hide and ride, SIAM J. Discr. Math. 25
(2011) 333-359). Since any \delta-hyperbolic graph is cop-win for s=2r and
s'=r+2\delta for any r>0, this establishes a new - game-theoretical -
characterization of Gromov hyperbolicity. We also show that for weakly modular
graphs the dependency between \delta and s is linear for any s'<s. Using these
results, we describe a simple constant-factor approximation of the
hyperbolicity \delta of a graph on n vertices in O(n^2) time when the graph is
given by its distance-matrix
- …