On computing maximal independent sets of hypergraphs in parallel

Ioana O. Bercea, Navin Goyal, David G. Harris, Aravind Srinivasan

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Whether or not the problem of finding maximal independent sets (MIS) in hypergraphs is in (R)NC is one of the fundamental problems in the theory of parallel computing. Unlike the well-understood case of MIS in graphs, for the hypergraph problem, our knowledge is quite limited despite considerable work. It is known that the problem is in RNC when the edges of the hypergraph have constant size. For general hypergraphs with n vertices and m edges, the fastest previously known algorithm works in time O(√n) with poly(m,n) processors. In this paper we give an EREW PRAM algorithm that works in time no(1) with poly(m,n) (Equation presented) processors on general hypergraphs satisfying m ≤ n where log(2) n = log log n and log(3) n = log log log n. Our algorithm is based on a sampling idea that reduces the dimension of the hypergraph and employs the algorithm for constant dimension hypergraphs as a subroutine.

Original languageEnglish
Title of host publicationSPAA 2014 - Proceedings of the 26th ACM Symposium on Parallelism in Algorithms and Architectures
PublisherAssociation for Computing Machinery
Pages42-50
Number of pages9
ISBN (Print)9781450328210
DOIs
StatePublished - 2014
Externally publishedYes
Event26th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2014 - Prague, Czech Republic
Duration: 23 Jun 201425 Jun 2014

Publication series

NameAnnual ACM Symposium on Parallelism in Algorithms and Architectures

Conference

Conference26th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2014
Country/TerritoryCzech Republic
CityPrague
Period23/06/1425/06/14

Keywords

  • Hypergraphs
  • Independent sets
  • Parallel algorithms
  • Randomized algorithms

Fingerprint

Dive into the research topics of 'On computing maximal independent sets of hypergraphs in parallel'. Together they form a unique fingerprint.

Cite this