License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.8.10.63
URN: urn:nbn:de:0030-drops-103483
Go back to Dagstuhl Reports

Fernau, Henning ; Golovach, Petr. A. ; Sagot, Marie-France
Weitere Beteiligte (Hrsg. etc.): Henning Fernau and Petr A. Golovach and Marie-France Sagot

Algorithmic Enumeration: Output-sensitive, Input-Sensitive, Parameterized, Approximative (Dagstuhl Seminar 18421)

dagrep_v008_i010_p063_18421.pdf (7 MB)


This report documents the program and the outcomes of Dagstuhl Seminar 18421 "Algorithmic Enumeration: Output-sensitive, Input-Sensitive, Parameterized, Approximative".

Enumeration problems require to list all wanted objects of the input as, e.g., particular subsets of the vertex or edge set of a given graph or particular satisfying assignments of logical expressions. Enumeration problems arise in a natural way in various fields of Computer Science, as, e.g., Artificial Intelligence and Data Mining, in Natural Sciences Engineering, Social Sciences, and Biology. The main challenge of the area of enumeration problems is that, contrary to decision, optimization and even counting problems, the output length of an enumeration problem is often exponential in the size of the input and cannot be neglected. This makes enumeration problems more challenging than many other types of algorithmic problems and demands development of specific techniques.

The principal goals of our Dagstuhl seminar were to increase the visibility of algorithmic enumeration within (Theoretical) Computer Science and to contribute to establishing it as an area of ``Algorithms and Complexity''. The seminar brought together researchers within the algorithms community, other fields of Computer Science and Computer Engineering, as well as researchers working on enumeration problems in other application areas, in particular Biology. The aim was to accelerate developments and discus new directions including algorithmic tools and hardness proofs.

BibTeX - Entry

  author =	{Henning Fernau and Petr. A. Golovach and Marie-France Sagot},
  title =	{{Algorithmic Enumeration: Output-sensitive, Input-Sensitive, Parameterized, Approximative (Dagstuhl Seminar 18421)}},
  pages =	{63--86},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2019},
  volume =	{8},
  number =	{10},
  editor =	{Henning Fernau and Petr A. Golovach and Marie-France Sagot},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{},
  URN =		{urn:nbn:de:0030-drops-103483},
  doi =		{10.4230/DagRep.8.10.63},
  annote =	{Keywords: algorithms, input-sensitive enumeration, output-sensitive enumeration}

Keywords: algorithms, input-sensitive enumeration, output-sensitive enumeration
Collection: Dagstuhl Reports, Volume 8, Issue 10
Issue Date: 2019
Date of publication: 04.04.2019

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI