arXiv++ Combinatorics

Bandelt and Mulder's structural characterization of Bipartite Distance Hereditary graphs asserts that such graphs can be built inductively starting from a single vertex and by repeatedly adding either pending vertices or twins (i.e., vertices with the same neighborhood as an existing one). Dirac and Duffin's structural characterization of 2-connected series-parallel graphs asserts that such graphs can be built inductively starting from a single edge by adding either edges in series or in parallel. In this paper we prove that the two constructions are the same construction when bipartite graphs are viewed as the fundamental graphs of a graphic matroid. We then apply the result to re-prove known results concerning bipartite distance hereditary graphs and series-parallel graphs, to characterize self-dual outer-planar graphs and, finally, to provide a new class of polynomially-solvable instances for the integer multi commodity flow of maximum value.

The class of Bipartite Distance Hereditary (BDH) graphs is the intersection between bipartite domino-free and chordal bipartite graphs.\ Graphs in both the latter classes have linearly many maximal bicliques, implying the existence of polynomial-time algorithms for computing the associated Galois lattice.\ Such a lattice can indeed be built in $O(m\times n)$ worst case-time for a domino-free graph with $m$ edges and $n$ vertices.\ In this paper we give a sharp estimate on the number of the maximal bicliques of BDH graphs and exploit such result to give an $O(m)$ worst case time algorithm for computing the Galois lattice of BDH graphs. By relying on the fact that neighborhoods of vertices of BDH graphs can be realized as directed paths in a arborescence, we give an $O(n)$ worst-case space and time encoding of both the input graph and its Galois lattice, provided that the reverse of a Bandelt and Mulder building sequence is given.

We give a complete characterization of bipartite graphs having 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. By relying on the interplay between bipartite distance hereditary graphs and series-parallel graphs, 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.