An Algorithm for Finding Connected Convex Subgraphs of an Acyclic Di- graph
نویسندگان
چکیده
A subgraph H of an acyclic digraph D is convex if there is no directed path between vertices of H which contains an arc not in H. A digraph D is connected if the underlying undirected graph of D is connected. We construct an algorithm for enumeration of all connected convex subgraphs of a connected acyclic digraph D of order n. The time complexity of the algorithm is O(n · cc(D)), where cc(D) is the number of connected convex subgraphs in D. The space complexity is O(n). Connected convex subgraphs of connected acyclic digraphs are of interest in the area of modern embedded processors technology. Our computational experiments demonstrate that our algorithm is better than the state-of-the-art algorithm of Chen, Maskell and Sun. Moreover, unlike the algorithm of Chen, Maskell and Sun, our algorithm has a provable (almost) optimal worst time complexity. Using the same approach, we design an algorithm for generating all connected induced subgraphs of a connected undirected graph G. The complexity of the algorithm is O(n · c(G)), where n is the order of G and c(G) is the number of connected induced subgraphs of G. The previously reported algorithm for connected induced subgraph enumeration is of running time O(mn · c(G)), where m is the number
منابع مشابه
On the number of connected convex subgraphs of a connected acyclic digraph
A digraph D is connected if the underlying undirected graph of D is connected. A subgraph H of an acyclic digraph D is convex if there is no directed path between vertices of H which contains an arc not in H. We find the minimum and maximum possible number of connected convex subgraphs in a connected acyclic digraph of order n. Connected convex subgraphs of connected acyclic digraphs are of int...
متن کاملImproved Shortest Path Algorithms For Nearly Acyclic Directed Graphs
This paper presents new algorithms for computing single source shortest paths (SSSPs) in a nearly acyclic directed graph G. The first part introduces higher-order decomposition. This decomposition is an extension of the technique of strongly connected component (sc-component) decomposition. The second part presents a new method for measuring acyclicity based on modifications to two existing met...
متن کاملAlgorithms for generating convex sets in acyclic digraphs
A set X of vertices of an acyclic digraph D is convex if X ̸= ∅ and there is no directed path between vertices of X which contains a vertex not in X. A set X is connected if X ̸= ∅ and the underlying undirected graph of the subgraph ofD induced byX is connected. Connected convex sets and convex sets of acyclic digraphs are of interest in the area of modern embedded processor technology. We constr...
متن کاملRecognizing Graphs of Acyclic Cubical Complexes
Acyclic cubical complexes have first been introduced by Bandelt and Chepoi in analogy to acyclic simplicial complexes. They characterized them by cube contraction and elimination schemes and showed that the graphs of acyclic cubical complexes are retracts of cubes characterized by certain forbidden convex subgraphs. In this paper we present an algorithm of time complexity O(m log n) which recog...
متن کاملAn Algorithm for Finding Input-Output Constrained Convex Sets in an Acyclic Digraph
A set X of vertices of an acyclic graph is convex if any vertex on a directed path between elements of X is itself in X. We construct an algorithm for generating all input-output constrained convex (IOCC) sets in an acyclic digraph, which uses several novel ideas. We show that our algorithm is more efficient than algorithms described in the literature in both the worst case and computational ex...
متن کامل