Algorithms (Sep 2019)

Parameterised Enumeration for Modification Problems

  • Nadia Creignou,
  • Raïda Ktari,
  • Arne Meier,
  • Julian-Steffen Müller,
  • Frédéric Olive,
  • Heribert Vollmer

DOI
https://doi.org/10.3390/a12090189
Journal volume & issue
Vol. 12, no. 9
p. 189

Abstract

Read online

Recently, Creignou et al. (Theory Comput. Syst. 2017), introduced the class DelayFPT into parameterised complexity theory in order to capture the notion of efficiently solvable parameterised enumeration problems. In this paper, we propose a framework for parameterised ordered enumeration and will show how to obtain enumeration algorithms running with an FPT delay in the context of general modification problems. We study these problems considering two different orders of solutions, namely, lexicographic order and order by size. Furthermore, we present two generic algorithmic strategies. The first one is based on the well-known principle of self-reducibility and is used in the context of lexicographic order. The second one shows that the existence of a neighbourhood structure among the solutions implies the existence of an algorithm running with FPT delay which outputs all solutions ordered non-decreasingly by their size.

Keywords