All-pairs disjoint paths from a common ancestor in over(O, ̃) (nω) time

Research output: Contribution to journalArticlepeer-review

Abstract

A common ancestor of two vertices u, v in a directed acyclic graph is a vertex w that can reach both. A {u, v}-junction is a common ancestor w so that there are two paths, one from w to u and the other from w to v, that are internally vertex-disjoint. A lowest common ancestor (LCA) of u and v is a common ancestor w so that no other common ancestor of u and v is reachable from w. Every {u, v}-LCA is a {u, v}-junction, but the converse is not true. Similarly, not every common ancestor is a junction. The all-pairs common ancestor (APCA) problem computes (or determines the non-existence of) a common ancestor for all pairs of vertices. Similarly defined are the all-pairs junction (APJ) and the all-pairs LCA (APLCA) problems. The APCA problem also has an existence version. Bender et al. obtained an algorithm for APCA existence by reduction to transitive closure. Their algorithm runs in over(O, ̃) (nω) time where ω < 2.376 is the exponent of fast Boolean matrix multiplication and n is the number of vertices. Kowaluk and Lingas obtained an algorithm for APLCA whose running time is O (n2 + 1 / (4 - ω)) ≤ o (n2.616). Our main result is an over(O, ̃) (nω) time algorithm for APJ. Thus, junctions for all pairs can also be computed in essentially the time needed for transitive closure. For a subset of vertices S, a common ancestor of S is a vertex that can reach each vertex of S. A lowest common ancestor of S is a common ancestor w of S so that no other common ancestor of S is reachable from w. For k ≥ 2, the k-APCA and the k-APLCA problems are to find, respectively, a common ancestor and a lowest common ancestor for each k-set of vertices. We prove that for all fixed k ≥ 8, the k-APCA problem can be solved in over(O, ̃) (nk) time, thereby obtaining an essentially optimal algorithm. We also prove that for all k ≥ 4, the k-APLCA problem can be solved in over(O, ̃) (nk + 1 / 2) time.

Original languageEnglish
Pages (from-to)145-150
Number of pages6
JournalTheoretical Computer Science
Volume396
Issue number1-3
DOIs
StatePublished - 10 May 2008

Keywords

  • Algorithm
  • Common ancestor
  • Directed acyclic graph
  • Fast matrix multiplication

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science

Fingerprint

Dive into the research topics of 'All-pairs disjoint paths from a common ancestor in over(O, ̃) (nω) time'. Together they form a unique fingerprint.

Cite this