Matches in SemOpenAlex for { <https://semopenalex.org/work/W2513426592> ?p ?o ?g. }
- W2513426592 abstract "A flow graph $G=(V,E,s)$ is a directed graph with a distinguished start vertex $s$. The dominator tree $D$ of $G$ is a tree rooted at $s$, such that a vertex $v$ is an ancestor of a vertex $w$ if and only if all paths from $s$ to $w$ include $v$. The dominator tree is a central tool in program optimization and code generation and has many applications in other diverse areas including constraint programming, circuit testing, biology, and in algorithms for graph connectivity problems. A low-high order of $G$ is a preorder $delta$ of $D$ that certifies the correctness of $D$ and has further applications in connectivity and path-determination problems. In this paper, we first consider how to maintain efficiently a low-high order of a flow graph incrementally under edge insertions. We present algorithms that run in $O(mn)$ total time for a sequence of $m$ edge insertions in an initially empty flow graph with $n$ vertices.These immediately provide the first incremental certifying algorithms for maintaining the dominator tree in $O(mn)$ total time, and also imply incremental algorithms for other problems. Hence, we provide a substantial improvement over the $O(m^2)$ simple-minded algorithms, which recompute the solution from scratch after each edge insertion. We also show how to apply low-high orders to obtain a linear-time $2$-approximation algorithm for the smallest $2$-vertex-connected spanning subgraph problem (2VCSS). Finally, we present efficient implementations of our new algorithms for the incremental low-high and 2VCSS problems and conduct an extensive experimental study on real-world graphs taken from a variety of application areas. The experimental results show that our algorithms perform very well in practice." @default.
- W2513426592 created "2016-09-16" @default.
- W2513426592 creator A5024478433 @default.
- W2513426592 creator A5026553420 @default.
- W2513426592 creator A5037856630 @default.
- W2513426592 creator A5060167915 @default.
- W2513426592 date "2016-08-23" @default.
- W2513426592 modified "2023-09-27" @default.
- W2513426592 title "On Low-High Orders of Directed Graphs: Incremental Algorithms and Applications" @default.
- W2513426592 cites W1558383352 @default.
- W2513426592 cites W1811642211 @default.
- W2513426592 cites W1974231393 @default.
- W2513426592 cites W1982205631 @default.
- W2513426592 cites W1985245264 @default.
- W2513426592 cites W1986022261 @default.
- W2513426592 cites W1996575062 @default.
- W2513426592 cites W1999779266 @default.
- W2513426592 cites W2001331197 @default.
- W2513426592 cites W2011039300 @default.
- W2513426592 cites W2011379509 @default.
- W2513426592 cites W2014665344 @default.
- W2513426592 cites W2020856645 @default.
- W2513426592 cites W2030117687 @default.
- W2513426592 cites W2031868890 @default.
- W2513426592 cites W2046567643 @default.
- W2513426592 cites W2049105156 @default.
- W2513426592 cites W2076850117 @default.
- W2513426592 cites W2091299439 @default.
- W2513426592 cites W2111117034 @default.
- W2513426592 cites W2119179558 @default.
- W2513426592 cites W2119424404 @default.
- W2513426592 cites W2134875769 @default.
- W2513426592 cites W2141116886 @default.
- W2513426592 cites W2153374077 @default.
- W2513426592 cites W2170095699 @default.
- W2513426592 cites W2216685023 @default.
- W2513426592 cites W2287845547 @default.
- W2513426592 cites W2293245492 @default.
- W2513426592 cites W2342702536 @default.
- W2513426592 cites W2508791557 @default.
- W2513426592 cites W2539250576 @default.
- W2513426592 cites W2950547567 @default.
- W2513426592 cites W2952664587 @default.
- W2513426592 cites W2964014743 @default.
- W2513426592 cites W2247768113 @default.
- W2513426592 cites W80750942 @default.
- W2513426592 hasPublicationYear "2016" @default.
- W2513426592 type Work @default.
- W2513426592 sameAs 2513426592 @default.
- W2513426592 citedByCount "0" @default.
- W2513426592 crossrefType "posted-content" @default.
- W2513426592 hasAuthorship W2513426592A5024478433 @default.
- W2513426592 hasAuthorship W2513426592A5026553420 @default.
- W2513426592 hasAuthorship W2513426592A5037856630 @default.
- W2513426592 hasAuthorship W2513426592A5060167915 @default.
- W2513426592 hasConcept C11413529 @default.
- W2513426592 hasConcept C114614502 @default.
- W2513426592 hasConcept C118615104 @default.
- W2513426592 hasConcept C132525143 @default.
- W2513426592 hasConcept C2333172 @default.
- W2513426592 hasConcept C33923547 @default.
- W2513426592 hasConcept C41008148 @default.
- W2513426592 hasConcept C55439883 @default.
- W2513426592 hasConcept C80444323 @default.
- W2513426592 hasConcept C80899671 @default.
- W2513426592 hasConceptScore W2513426592C11413529 @default.
- W2513426592 hasConceptScore W2513426592C114614502 @default.
- W2513426592 hasConceptScore W2513426592C118615104 @default.
- W2513426592 hasConceptScore W2513426592C132525143 @default.
- W2513426592 hasConceptScore W2513426592C2333172 @default.
- W2513426592 hasConceptScore W2513426592C33923547 @default.
- W2513426592 hasConceptScore W2513426592C41008148 @default.
- W2513426592 hasConceptScore W2513426592C55439883 @default.
- W2513426592 hasConceptScore W2513426592C80444323 @default.
- W2513426592 hasConceptScore W2513426592C80899671 @default.
- W2513426592 hasLocation W25134265921 @default.
- W2513426592 hasOpenAccess W2513426592 @default.
- W2513426592 hasPrimaryLocation W25134265921 @default.
- W2513426592 hasRelatedWork W1501674528 @default.
- W2513426592 hasRelatedWork W1513315626 @default.
- W2513426592 hasRelatedWork W1538322112 @default.
- W2513426592 hasRelatedWork W1591101196 @default.
- W2513426592 hasRelatedWork W1977458171 @default.
- W2513426592 hasRelatedWork W1980162113 @default.
- W2513426592 hasRelatedWork W2093101813 @default.
- W2513426592 hasRelatedWork W2112551191 @default.
- W2513426592 hasRelatedWork W2254772976 @default.
- W2513426592 hasRelatedWork W2339129777 @default.
- W2513426592 hasRelatedWork W2527945828 @default.
- W2513426592 hasRelatedWork W2613159091 @default.
- W2513426592 hasRelatedWork W2767323816 @default.
- W2513426592 hasRelatedWork W2783964930 @default.
- W2513426592 hasRelatedWork W2950274216 @default.
- W2513426592 hasRelatedWork W2964343692 @default.
- W2513426592 hasRelatedWork W2964797420 @default.
- W2513426592 hasRelatedWork W2978430008 @default.
- W2513426592 hasRelatedWork W3004078918 @default.
- W2513426592 hasRelatedWork W3041779128 @default.
- W2513426592 isParatext "false" @default.
- W2513426592 isRetracted "false" @default.