NC2 algorithms regarding Hamiltonian paths and circuits in interval graphs

Y. Daniel Liang, Raymond Greenlaw, Glenn Manacher

Research output: Contribution to book or proceedingConference articlepeer-review

Abstract

This paper describes an O(log2 n) time, n processor EREW PRAM algorithm to determine if there is a Hamiltonian path in an interval graph. If there is a Hamiltonian path, we can find it within the same resource bounds. Many graph theoretic problems including finding all maximal cliques, optimal coloring, minimum clique cover, minimum weight dominating set, and maximum independent set were previously known to be in NC when restricted to interval graphs. However, the Hamiltonian path problem was open and resisted classification until now. We also show that testing whether an interval graph has a Hamiltonian circuit can be done in NC2. If the intervals are presorted, our parallel approach leads to an O(nα(n)) sequential algorithm, where α(n) is the inverse of Ackermann's function. This improves on the previous bound of O(n log log n) for the sequential case with presorted intervals.

Original languageEnglish
Title of host publicationParallel and Distributed Computing
Subtitle of host publicationTheory and Practice - 1st Canada-France Conference, Proceedings
EditorsMichel Cosnard, Afonso Ferreira, Joseph Peters
PublisherSpringer Verlag
Pages45-57
Number of pages13
ISBN (Print)9783540580782
DOIs
StatePublished - 1994
Event1st Canada-France Conference on Parallel and Distributed Computing, 1994 - Montreal, Canada
Duration: May 19 1994May 21 1994

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume805 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference1st Canada-France Conference on Parallel and Distributed Computing, 1994
Country/TerritoryCanada
CityMontreal
Period05/19/9405/21/94

Scopus Subject Areas

  • Theoretical Computer Science
  • General Computer Science

Fingerprint

Dive into the research topics of 'NC2 algorithms regarding Hamiltonian paths and circuits in interval graphs'. Together they form a unique fingerprint.

Cite this