The complexity of Boolean matrix root computation

  • Authors:
  • Martin Kutz

  • Affiliations:
  • Freie Universität Berlin, Institut für Mathematik II, Arnimallee 2, D-14195 Berlin, Germany

  • Venue:
  • Theoretical Computer Science - Special papers from: COCOON 2003
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

Abstract

We show that finding roots of Boolean matrices is an NP-hard problem. This answers a 20 year old question from semigroup theory. Interpreting Boolean matrices as directed graphs, we further reveal a connection between Boolean matrix roots and graph isomorphism, which leads to a proof that for a certain subclass of Boolean matrices related to subdivision digraphs, root finding is of the same complexity as the graph-isomorphism problem.