Transitive Reduction Problem of Directed Graphs: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
Line 44: | Line 44: | ||
|} | |} | ||
== Time Complexity | == Time Complexity Graph == | ||
[[File:Transitive Reduction Problem - Transitive Reduction Problem of Directed Graphs - Time.png|1000px]] | [[File:Transitive Reduction Problem - Transitive Reduction Problem of Directed Graphs - Time.png|1000px]] | ||
== Space Complexity | == Space Complexity Graph == | ||
[[File:Transitive Reduction Problem - Transitive Reduction Problem of Directed Graphs - Space.png|1000px]] | [[File:Transitive Reduction Problem - Transitive Reduction Problem of Directed Graphs - Space.png|1000px]] | ||
== Pareto | == Pareto Frontier Improvements Graph == | ||
[[File:Transitive Reduction Problem - Transitive Reduction Problem of Directed Graphs - Pareto Frontier.png|1000px]] | [[File:Transitive Reduction Problem - Transitive Reduction Problem of Directed Graphs - Pareto Frontier.png|1000px]] |
Revision as of 13:05, 15 February 2023
Description
A directed graph $G^t$ is said to be a transitive reduction of the directed graph $G$ provided that (i) $G$ has a directed path from vertex $u$ to vertex $v$ if and only if $G$ has a directed path from vertex $u$ to vertex $v$, and (ii) there is no graph with fewer arcs than $G^t$ satisfying condition (i). The problem asks to find such a graph $G^t$ for a given digraph $G$.
Parameters
n: number of vertices
m: number of edges
Table of Algorithms
Name | Year | Time | Space | Approximation Factor | Model | Reference |
---|---|---|---|---|---|---|
Aho, Garey & Ullman | 1972 | $O(n^omega)$ where omega is the exponent on boolean matrix multiplication | $O(n^{2})$ | Exact | Deterministic | Time |
Aho, Garey & Ullman | 1972 | $O(n^{2.807})$ | $O(n^{2})$ | Exact | Deterministic | Time |
Aho, Garey & Ullman | 1978 | $O(n^{2.8})$ | $O(n^{2})$ | Exact | Deterministic | Time |
Aho, Garey & Ullman | 1979 | $O(n^{2.78})$ | $O(n^{2})$ | Exact | Deterministic | Time |
Aho, Garey & Ullman | 1980 | $O(n^{2.52})$ | $O(n^{2})$ | Exact | Deterministic | Time |
Aho, Garey & Ullman | 1980 | $O(n^{2.518})$ | $O(n^{2})$ | Exact | Deterministic | Time |
Aho, Garey & Ullman | 1981 | $O(n^{2.495})$ | $O(n^{2})$ | Exact | Deterministic | Time |
Aho, Garey & Ullman | 1986 | $O(n^{2.48})$ | $O(n^{2})$ | Exact | Deterministic | Time |
Aho, Garey & Ullman | 1990 | $O(n^{2.372})$ | $O(n^{2})$ | Exact | Deterministic | Time |
Aho, Garey & Ullman | 2014 | $O(n^{2.373})$ | $O(n^{2})$ | Exact | Deterministic | Time |
Aho, Garey & Ullman | 2014 | $O(n^{2.371})$ | $O(n^{2})$ | Exact | Deterministic | Time |
Gries, Martin | 1989 | $O(n^{3})$ | $O(n^{2})$ | Exact | Deterministic | Time |
Time Complexity Graph
Error creating thumbnail: Unable to save thumbnail to destination
Space Complexity Graph
Error creating thumbnail: Unable to save thumbnail to destination
Pareto Frontier Improvements Graph
Error creating thumbnail: Unable to save thumbnail to destination
References/Citation
https://epubs-siam-org.ezproxy.canberra.edu.au/doi/pdf/10.1137/0201008