CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Parameterized enumeration, transversals, and imperfect phylogeny reconstruction

Peter Damaschke (Institutionen för data- och informationsteknik, Datavetenskap, Algoritmer (Chalmers) ; Institutionen för data- och informationsteknik, Datavetenskap, Bioinformatik (Chalmers))
Theoretical Computer Science (0304-3975). Vol. 351 (2006), 3, p. 337-350.
[Artikel, refereegranskad vetenskaplig]

We study parameterized enumeration problems where we are interested in all solutions of limited size rather than just some solution of minimum cardinality. (Actually, we have to enumerate the inclusion-minimal solutions in order to get FPT results.) Two novel concepts are the notion of a full kernel that contains all small solutions and implicit enumeration of solutions in form of compressed descriptions. In particular, we study combinatorial and computational bounds for the transversal hypergraph (vertex covers in graphs is a special case), restricted to hyperedges with at most k elements. As an example, we apply the results and further special-purpose techniques to almost-perfect phylogeny reconstruction, a problem in in computational biology.

Nyckelord: parameterized complexity, enumeration, vertex cover, transversal, perfect phylogeny



Denna post skapades 2006-08-25. Senast ändrad 2015-02-11.
CPL Pubid: 17896