97 research outputs found
Linear-Time Algorithms for Maximum-Weight Induced Matchings and Minimum Chain Covers in Convex Bipartite Graphs
A bipartite graph is convex if the vertices in can be
linearly ordered such that for each vertex , the neighbors of are
consecutive in the ordering of . An induced matching of is a
matching such that no edge of connects endpoints of two different edges of
. We show that in a convex bipartite graph with vertices and
weighted edges, an induced matching of maximum total weight can be computed in
time. An unweighted convex bipartite graph has a representation of
size that records for each vertex the first and last neighbor
in the ordering of . Given such a compact representation, we compute an
induced matching of maximum cardinality in time.
In convex bipartite graphs, maximum-cardinality induced matchings are dual to
minimum chain covers. A chain cover is a covering of the edge set by chain
subgraphs, that is, subgraphs that do not contain induced matchings of more
than one edge. Given a compact representation, we compute a representation of a
minimum chain cover in time. If no compact representation is given, the
cover can be computed in time.
All of our algorithms achieve optimal running time for the respective problem
and model. Previous algorithms considered only the unweighted case, and the
best algorithm for computing a maximum-cardinality induced matching or a
minimum chain cover in a convex bipartite graph had a running time of
Dynamic representation of consecutive-ones matrices and interval graphs
2015 Spring.Includes bibliographical references.We give an algorithm for updating a consecutive-ones ordering of a consecutive-ones matrix when a row or column is added or deleted. When the addition of the row or column would result in a matrix that does not have the consecutive-ones property, we return a well-known minimal forbidden submatrix for the consecutive-ones property, known as a Tucker submatrix, which serves as a certificate of correctness of the output in this case, in O(n log n) time. The ability to return such a certificate within this time bound is one of the new contributions of this work. Using this result, we obtain an O(n) algorithm for updating an interval model of an interval graph when an edge or vertex is added or deleted. This matches the bounds obtained by a previous dynamic interval-graph recognition algorithm due to Crespelle. We improve on Crespelle's result by producing an easy-to-check certificate, known as a Lekkerkerker-Boland subgraph, when a proposed change to the graph results in a graph that is not an interval graph. Our algorithm takes O(n log n) time to produce this certificate. The ability to return such a certificate within this time bound is the second main contribution of this work
On the Galois Lattice of Bipartite Distance Hereditary Graphs
We give a complete characterization of bipartite graphs hav- ing tree-like Galois lattices. We prove that the poset obtained by deleting bottom and top elements from the Galois lattice of a bipartite graph is tree-like if and only if the graph is a Bipartite Distance Hereditary graph. We show that the lattice can be realized as the containment relation among directed paths in an arborescence. Moreover, a compact encoding of Bipartite Distance Hereditary graphs is proposed, that allows optimal time computation of neighborhood intersections and maximal bicliques
Finding Independent Sets in Unions of Perfect Graphs
The maximum independent set problem (MaxIS) on general graphs is known to be NP-hard to approximate within a factor of , for any . However, there are many ``easy" classes of graphs on which the problem can be solved in polynomial time. In this context, an interesting question is that of computing the maximum independent set in a graph that can be expressed as the union of a small number of graphs from an easy class. The MaxIS problem has been studied on unions of interval graphs and chordal graphs. We study the MaxIS problem on unions of perfect graphs (which generalize the above two classes). We present an -approximation algorithm when the input graph is the
union of two perfect graphs. We also show that the MaxIS problem on unions of two comparability graphs (a subclass of perfect graphs)
cannot be approximated within any constant factor
Linear optimization over homogeneous matrix cones
A convex cone is homogeneous if its automorphism group acts transitively on
the interior of the cone, i.e., for every pair of points in the interior of the
cone, there exists a cone automorphism that maps one point to the other. Cones
that are homogeneous and self-dual are called symmetric. The symmetric cones
include the positive semidefinite matrix cone and the second order cone as
important practical examples. In this paper, we consider the less well-studied
conic optimization problems over cones that are homogeneous but not necessarily
self-dual. We start with cones of positive semidefinite symmetric matrices with
a given sparsity pattern. Homogeneous cones in this class are characterized by
nested block-arrow sparsity patterns, a subset of the chordal sparsity
patterns. We describe transitive subsets of the automorphism groups of the
cones and their duals, and important properties of the composition of log-det
barrier functions with the automorphisms in this set. Next, we consider
extensions to linear slices of the positive semidefinite cone, i.e.,
intersection of the positive semidefinite cone with a linear subspace, and
review conditions that make the cone homogeneous. In the third part of the
paper we give a high-level overview of the classical algebraic theory of
homogeneous cones due to Vinberg and Rothaus. A fundamental consequence of this
theory is that every homogeneous cone admits a spectrahedral (linear matrix
inequality) representation. We conclude by discussing the role of homogeneous
cone structure in primal-dual symmetric interior-point methods.Comment: 59 pages, 10 figures, to appear in Acta Numeric
Linear-time algorithms for scattering number and Hamilton-connectivity of interval graphs.
We prove that for all inline image an interval graph is inline image-Hamilton-connected if and only if its scattering number is at most k. This complements a previously known fact that an interval graph has a nonnegative scattering number if and only if it contains a Hamilton cycle, as well as a characterization of interval graphs with positive scattering numbers in terms of the minimum size of a path cover. We also give an inline image time algorithm for computing the scattering number of an interval graph with n vertices and m edges, which improves the previously best-known inline image time bound for solving this problem. As a consequence of our two results, the maximum k for which an interval graph is k-Hamilton-connected can be computed in inline image time
04221 Abstracts Collection -- Robust and Approximative Algorithms on Particular Graph Classes
From 23.05.04 to 28.05.04, the Dagstuhl Seminar
04221 ``Robust and Approximative Algorithms on Particular Graph Classes\u27\u27 was held
in the International Conference and Research Center (IBFI),
Schloss Dagstuhl.
During the seminar, several participants presented their current
research, and ongoing work and open problems were discussed. Abstracts of
the presentations given during the seminar as well as abstracts of
seminar results and ideas are put together in this paper. The first section
describes the seminar topics and goals in general.
Links to extended abstracts or full papers are provided, if available
Linear-Time Algorithms for Maximum-Weight Induced Matchings and Minimum Chain Covers in Convex Bipartite Graphs
A bipartite graph G=(U,V,E) is convex if the vertices in V can be linearly ordered such that for each vertex u∈U, the neighbors of u are consecutive in the ordering of V. An induced matching H of G is a matching for which no edge of E connects endpoints of two different edges of H. We show that in a convex bipartite graph with n vertices and m weighted edges, an induced matching of maximum total weight can be computed in O(n+m) time. An unweighted convex bipartite graph has a representation of size O(n) that records for each vertex u∈U the first and last neighbor in the ordering of V. Given such a compact representation, we compute an induced matching of maximum cardinality in O(n) time. In convex bipartite graphs, maximum-cardinality induced matchings are dual to minimum chain covers. A chain cover is a covering of the edge set by chain subgraphs, that is, subgraphs that do not contain induced matchings of more than one edge. Given a compact representation, we compute a representation of a minimum chain cover in O(n) time. If no compact representation is given, the cover can be computed in O(n+m) time. All of our algorithms achieve optimal linear running time for the respective problem and model, and they improve and generalize the previous results in several ways: The best algorithms for the unweighted problem versions had a running time of O(n2) (Brandstädt et al. in Theor. Comput. Sci. 381(1–3):260–265, 2007. https://doi.org/10.1016/j.tcs.2007.04.006). The weighted case has not been considered before
- …