On the computational complexity of reachability in 2D binary images and some basic problems of 2D digital topology

  • Authors:
  • Rémy Malgouyres;Malika More

  • Affiliations:
  • GREYC, ISMRA 6, CAEN, France;Univ. de Caen, Caen Cedex, France

  • Venue:
  • Theoretical Computer Science
  • Year:
  • 2002

Quantified Score

Hi-index 5.23

Visualization

Abstract

We study the computational complexity of some well-known problems of 2D digital topology. We prove that all considered problems (including reachability in 2D binary images, connectivity, lower homotopy and symmetric homotopy) are in LogSpace. We prove that reachability in 2D binary images and some other problems are NC1-hard. Finally, we prove that most of the considered problems are not in AC0.