The arborescence-realization problem

AbstractA {0, 1}-matrix M is arborescence graphic if there exists an arborescence T such that the arcs of T are indexed on the rows of M and the columns of M are the incidence vectors of the arc sets of dipaths of T. If such a T exists, then T is an arborescence realization for M. This paper presents an almost-linear-time algorithm to determine whether a given {0, 1}-matrix is arborescence graphic and, if so, to construct an arborescence realization. The algorithm is then applied to recognize a subclass of the extended-Horn satisfiability problems introduced by Chandru and Hooker (1991)

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