Complexity of linear connectivity problems in directed hypergraphs

  • Authors:
  • Mayur Thakur;Rahul Tripathi

  • Affiliations:
  • Dept. of Computer Science, University of Missouri–Rolla, Rolla, MO;Dept. of Computer Science, University of Rochester, Rochester, NY

  • Venue:
  • FSTTCS'04 Proceedings of the 24th international conference on Foundations of Software Technology and Theoretical Computer Science
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

Abstract

We introduce a notion of linear hyperconnection (formally denoted L-hyperpath) between nodes in a directed hypergraph and relate this notion to existing notions of hyperpaths in directed hypergraphs. We observe that many interesting questions in problem domains such as secret transfer protocols, routing in packet filtered networks, and propositional satisfiability are basically questions about existence of L-hyperpaths or about cyclomatic number of directed hypergraphs w.r.t. L-hypercycles (the minimum number of hyperedges that need to be deleted to make a directed hypergraph free of L-hypercycles). We prove that the L-hyperpath existence problem, the cyclomatic number problem, the minimum cyclomatic set problem, and the minimal cyclomatic set problem are each complete for a different level (respectively, NP, ${\it \Sigma}^{p}_{2}$, ${\it \Pi}^{p}_{2}$, and DP) of the polynomial hierarchy.