Minimal decomposition of a digital surface into digital plane segments is NP-Hard

  • Authors:
  • Isabelle Sivignon;David Coeurjolly

  • Affiliations:
  • Laboratoire LIRIS – Université Claude Bernard Lyon 1, Villeurbanne, France;Laboratoire LIRIS – Université Claude Bernard Lyon 1, Villeurbanne, France

  • Venue:
  • DGCI'06 Proceedings of the 13th international conference on Discrete Geometry for Computer Imagery
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper deals with the complexity of the decomposition of a digital surface into digital plane segments (DPS for short) We prove that the decision problem (does there exist a decomposition with less than k DPS?) is NP-complete, and thus that the optimisation problem (finding the minimal number of DPS) is NP-hard The proof is based on a polynomial reduction of any instance of the well-known 3-SAT problem to an instance of the digital surface decomposition problem A geometric model for the 3-SAT problem is proposed.