157,899 research outputs found
Nonbipartite Dulmage-Mendelsohn Decomposition for Berge Duality
The Dulmage-Mendelsohn decomposition is a classical canonical decomposition
in matching theory applicable for bipartite graphs, and is famous not only for
its application in the field of matrix computation, but also for providing a
prototypal structure in matroidal optimization theory. The Dulmage-Mendelsohn
decomposition is stated and proved using the two color classes, and therefore
generalizing this decomposition for nonbipartite graphs has been a difficult
task. In this paper, we obtain a new canonical decomposition that is a
generalization of the Dulmage-Mendelsohn decomposition for arbitrary graphs,
using a recently introduced tool in matching theory, the basilica
decomposition. Our result enables us to understand all known canonical
decompositions in a unified way. Furthermore, we apply our result to derive a
new theorem regarding barriers. The duality theorem for the maximum matching
problem is the celebrated Berge formula, in which dual optimizers are known as
barriers. Several results regarding maximal barriers have been derived by known
canonical decompositions, however no characterization has been known for
general graphs. In this paper, we provide a characterization of the family of
maximal barriers in general graphs, in which the known results are developed
and unified
Linear rank-width of distance-hereditary graphs I. A polynomial-time algorithm
Linear rank-width is a linearized variation of rank-width, and it is deeply
related to matroid path-width. In this paper, we show that the linear
rank-width of every -vertex distance-hereditary graph, equivalently a graph
of rank-width at most , can be computed in time , and a linear layout witnessing the linear rank-width can be computed with
the same time complexity. As a corollary, we show that the path-width of every
-element matroid of branch-width at most can be computed in time
, provided that the matroid is given by an
independent set oracle.
To establish this result, we present a characterization of the linear
rank-width of distance-hereditary graphs in terms of their canonical split
decompositions. This characterization is similar to the known characterization
of the path-width of forests given by Ellis, Sudborough, and Turner [The vertex
separation and search number of a graph. Inf. Comput., 113(1):50--79, 1994].
However, different from forests, it is non-trivial to relate substructures of
the canonical split decomposition of a graph with some substructures of the
given graph. We introduce a notion of `limbs' of canonical split
decompositions, which correspond to certain vertex-minors of the original
graph, for the right characterization.Comment: 28 pages, 3 figures, 2 table. A preliminary version appeared in the
proceedings of WG'1
The Fibers and Range of Reduction Graphs in Ciliates
The biological process of gene assembly has been modeled based on three types
of string rewriting rules, called string pointer rules, defined on so-called
legal strings. It has been shown that reduction graphs, graphs that are based
on the notion of breakpoint graph in the theory of sorting by reversal, for
legal strings provide valuable insights into the gene assembly process. We
characterize which legal strings obtain the same reduction graph (up to
isomorphism), and moreover we characterize which graphs are (isomorphic to)
reduction graphs.Comment: 24 pages, 13 figure
Computing Graph Roots Without Short Cycles
Graph G is the square of graph H if two vertices x, y have an edge in G if
and only if x, y are of distance at most two in H. Given H it is easy to
compute its square H2, however Motwani and Sudan proved that it is NP-complete
to determine if a given graph G is the square of some graph H (of girth 3). In
this paper we consider the characterization and recognition problems of graphs
that are squares of graphs of small girth, i.e. to determine if G = H2 for some
graph H of small girth. The main results are the following. - There is a graph
theoretical characterization for graphs that are squares of some graph of girth
at least 7. A corollary is that if a graph G has a square root H of girth at
least 7 then H is unique up to isomorphism. - There is a polynomial time
algorithm to recognize if G = H2 for some graph H of girth at least 6. - It is
NP-complete to recognize if G = H2 for some graph H of girth 4. These results
almost provide a dichotomy theorem for the complexity of the recognition
problem in terms of girth of the square roots. The algorithmic and graph
theoretical results generalize previous results on tree square roots, and
provide polynomial time algorithms to compute a graph square root of small
girth if it exists. Some open questions and conjectures will also be discussed
- …