Parametrizovaná složitost v teorii grafů

Abstract

Seidel's switching of a set of vertices of a graph is an operation which deletes the edges leaving this set from the graph and adds those edges between the set and the rest of graph that weren't in the original graph. Other edges remain untouched by this operation. Parameterized complexity asks if the exponential part of algorithms for hard problems can be bounded by some function only of selected parameters, which we assume small. In this thesis, we study the complexity of a question if the given graph can be turned into a graph with some property P using Seidel's switching, from the parameterized point of view. First we give an overview of known results. Then we show fixed-parameter tractability of switching to a regular graph, a graph with bounded degree of vertices, bounded number of edges and a graph without a forbidden subgraph. We briefly introduce basic definitions and techniques of parameterized complexity.

Seidelovo prepnutí množiny vrcholu je operace, která z grafu odebere hrany vycházející z této množiny a pridá do nej hrany tam, kde mezi množinou a zbytkem grafu nebyly. Ostatní hrany nejsou touto operací dotceny. Parametrizovaná složitost se ptá, zda lze exponenciální cást algoritmu pro težké problémy omezit nejakou funkcí pouze zvoleného parametru, u nejž lze ocekávat malé hodnoty. Tato práce zkoumá složitost otázek, zda lze zadaný graf prevést na graf s nejakou vlastností P pomocí Seidelova prepnutí, z parametrizovaného hlediska. Nejdríve krátce shrneme dosud známé výsledky. Pak predvedeme parametrizovanou dostupnost prepnutí na regulární grafy, grafy s omezeným stupnem vrcholu, s omezeným poctem hran a grafy prosté zakázaného podgrafu. Krátce podáme základní definice a postupy parametrizované složitosti.