Splitting (complicated) surfaces is hard

  • Authors:
  • Erin W. Chambers;Éric Colin de Verdière;Jeff Erickson;Francis Lazarus;Kim Whittlesey

  • Affiliations:
  • Department of Computer Science, University of Illinois, USA;CNRS, Laboratoire d'informatique de l'École normale supérieure, Paris, France;Department of Computer Science, University of Illinois, USA;GIPSA-Lab, CNRS, Grenoble, France;Department of Mathematics, University of Illinois, USA

  • Venue:
  • Computational Geometry: Theory and Applications
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

Let M be an orientable combinatorial surface. A cycle on M is splitting if it has no self-intersections and it partitions M into two components, neither of which is homeomorphic to a disk. In other words, splitting cycles are simple, separating, and non-contractible. We prove that finding the shortest splitting cycle on a combinatorial surface is NP-hard but fixed-parameter tractable with respect to the surface genus g and the number of boundary components b of the surface. Specifically, we describe an algorithm to compute the shortest splitting cycle in (g+b)^O^(^g^+^b^)nlogn time, where n is the complexity of the combinatorial surface.