Title:Recognizing Interval Bigraphs by Forbidden Patterns

Abstract:Let H be a connected bipartite graph with n nodes and m edges. We give an O(n(m+n)) time algorithm to decide whether H is an interval bigraph. The best known algorithm has time complexity O(nm^6(m + n) \log n) and it was developed in 1997 [15]. Our approach is based on an ordering characterization of interval bigraphs introduced by Hell and Huang [11]. We transform the problem of finding the desired ordering to choosing strong components of a pair-digraph without creating conflicts. We make use of the structure of the pair-digraph as well as decomposition of bigraph H based on the special components of the pair-digraph. This way we make explicit what the difficult cases are and gain efficiency by isolating such situations. We believe our method can be used to find a desired ordering for other classes of graphs and digraphs having ordering characterization.