305,040 research outputs found
Irreducible pseudo 2-factor isomorphic cubic bipartite graphs
A bipartite graph is {\em pseudo 2--factor isomorphic} if all its 2--factors
have the same parity of number of circuits. In \cite{ADJLS} we proved that the
only essentially 4--edge-connected pseudo 2--factor isomorphic cubic bipartite
graph of girth 4 is , and conjectured \cite[Conjecture 3.6]{ADJLS}
that the only essentially 4--edge-connected cubic bipartite graphs are
, the Heawood graph and the Pappus graph.
There exists a characterization of symmetric configurations %{\bf
decide notation and how to use it in the rest of the paper} due to Martinetti
(1886) in which all symmetric configurations can be obtained from an
infinite set of so called {\em irreducible} configurations \cite{VM}. The list
of irreducible configurations has been completed by Boben \cite{B} in terms of
their {\em irreducible Levi graphs}.
In this paper we characterize irreducible pseudo 2--factor isomorphic cubic
bipartite graphs proving that the only pseudo 2--factor isomorphic irreducible
Levi graphs are the Heawood and Pappus graphs. Moreover, the obtained
characterization allows us to partially prove the above Conjecture
Fast Approximation and Exact Computation of Negative Curvature Parameters of Graphs
In this paper, we study Gromov hyperbolicity and related parameters, that represent how close (locally) a metric space is to a tree from a metric point of view. The study of Gromov hyperbolicity for geodesic metric spaces can be reduced to the study of graph hyperbolicity. Our main contribution in this note is a new characterization of hyperbolicity for graphs (and for complete geodesic metric spaces). This characterization has algorithmic implications in the field of large-scale network analysis, which was one of our initial motivations. A sharp estimate of graph hyperbolicity is useful, {e.g.}, in embedding an undirected graph into hyperbolic space with minimum distortion [Verbeek and Suri, SoCG\u2714]. The hyperbolicity of a graph can be computed in polynomial-time, however it is unlikely that it can be done in subcubic time. This makes this parameter difficult to compute or to approximate on large graphs. Using our new characterization of graph hyperbolicity, we provide a simple factor 8 approximation algorithm for computing the hyperbolicity of an n-vertex graph G=(V,E) in optimal time O(n^2) (assuming that the input is the distance matrix of the graph). This algorithm leads to constant factor approximations of other graph-parameters related to hyperbolicity (thinness, slimness, and insize). We also present the first efficient algorithms for exact computation of these parameters. All of our algorithms can be used to approximate the hyperbolicity of a geodesic metric space
Three-in-a-Tree in Near Linear Time
The three-in-a-tree problem is to determine if a simple undirected graph
contains an induced subgraph which is a tree connecting three given vertices.
Based on a beautiful characterization that is proved in more than twenty pages,
Chudnovsky and Seymour [Combinatorica 2010] gave the previously only known
polynomial-time algorithm, running in time, to solve the
three-in-a-tree problem on an -vertex -edge graph. Their three-in-a-tree
algorithm has become a critical subroutine in several state-of-the-art graph
recognition and detection algorithms.
In this paper we solve the three-in-a-tree problem in time,
leading to improved algorithms for recognizing perfect graphs and detecting
thetas, pyramids, beetles, and odd and even holes. Our result is based on a new
and more constructive characterization than that of Chudnovsky and Seymour. Our
new characterization is stronger than the original, and our proof implies a new
simpler proof for the original characterization. The improved characterization
gains the first factor in speed. The remaining improvement is based on
dynamic graph algorithms.Comment: 46 pages, 12 figures, accepted to STOC 202
Complexity of Computing the Anti-Ramsey Numbers for Paths
The anti-Ramsey numbers are a fundamental notion in graph theory, introduced
in 1978, by Erd\" os, Simonovits and S\' os. For given graphs and the
\emph{anti-Ramsey number} is defined to be the maximum
number such that there exists an assignment of colors to the edges of
in which every copy of in has at least two edges with the same
color.
There are works on the computational complexity of the problem when is a
star. Along this line of research, we study the complexity of computing the
anti-Ramsey number , where is a path of length .
First, we observe that when , the problem is hard; hence, the
challenging part is the computational complexity of the problem when is a
fixed constant.
We provide a characterization of the problem for paths of constant length.
Our first main contribution is to prove that computing for
every integer is NP-hard. We obtain this by providing several structural
properties of such coloring in graphs. We investigate further and show that
approximating to a factor of is hard
already in -partite graphs, unless P=NP. We also study the exact complexity
of the precolored version and show that there is no subexponential algorithm
for the problem unless ETH fails for any fixed constant .
Given the hardness of approximation and parametrization of the problem, it is
natural to study the problem on restricted graph families. We introduce the
notion of color connected coloring and employing this structural property. We
obtain a linear time algorithm to compute , for every
integer , when the host graph, , is a tree
Even Orientations and Pfaffian graphs
We give a characterization of Pfaffian graphs in terms of even orientations,
extending the characterization of near bipartite non--pfaffian graphs by
Fischer and Little \cite{FL}. Our graph theoretical characterization is
equivalent to the one proved by Little in \cite{L73} (cf. \cite{LR}) using
linear algebra arguments
Edge-Stable Equimatchable Graphs
A graph is \emph{equimatchable} if every maximal matching of has the
same cardinality. We are interested in equimatchable graphs such that the
removal of any edge from the graph preserves the equimatchability. We call an
equimatchable graph \emph{edge-stable} if , that is the
graph obtained by the removal of edge from , is also equimatchable for
any . After noticing that edge-stable equimatchable graphs are
either 2-connected factor-critical or bipartite, we characterize edge-stable
equimatchable graphs. This characterization yields an time recognition algorithm. Lastly, we introduce and shortly
discuss the related notions of edge-critical, vertex-stable and vertex-critical
equimatchable graphs. In particular, we emphasize the links between our work
and the well-studied notion of shedding vertices, and point out some open
questions
- …