A linear-time algorithm for finding an ambitus

B. Mishra, R. E. Tarjan

Research output: Contribution to journalArticlepeer-review

Abstract

We devise a linear-time algorithm for finding an ambitus ín an undirected graph. An ambitus is a cycle in a graph containing two distinguished vertices such that certain different groups of bridges (called Bitp-, BitQ-, and BitPQ-bridges) satisfy the property that a bridge in one group does not interlace with any bridge in the other groups. Thus, an ambitus allows the graph to be cut into pieces, where, in each piece, certain graph properties may be investigated independently and recursively, and then the pieces can be pasted together to yield information about these graph properties in the original graph. In order to achieve a good time-complexity for such an algorithm employing the divide-and-conquer paradigm, it is necessary to find an ambitus quickly. We also show that, using ambitus, linear-time algorithms can be devised for abiding-path-finding and nonseparating-induced-cycle-finding problems.

Original languageEnglish (US)
Pages (from-to)521-554
Number of pages34
JournalAlgorithmica
Volume7
Issue number1
DOIs
StatePublished - Dec 1992

Keywords

  • Abiding-path
  • All-bidirectional-edges problem
  • Ambitus
  • Bridge
  • Nonseparating induced cycle

ASJC Scopus subject areas

  • Computer Science(all)
  • Computer Science Applications
  • Applied Mathematics

Fingerprint Dive into the research topics of 'A linear-time algorithm for finding an ambitus'. Together they form a unique fingerprint.

Cite this