GAJARSKÝ, Jakub, Petr HLINĚNÝ a Hans Raj TIWARY. Parameterized Extension Complexity of Independent Set and Related Problems. Discrete Applied Mathematics. Elsevier Science, 2018, roč. 248, SI, s. 56-67. ISSN 0166-218X. Dostupné z: https://dx.doi.org/10.1016/j.dam.2017.04.042.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Parameterized Extension Complexity of Independent Set and Related Problems
Autoři GAJARSKÝ, Jakub (703 Slovensko, domácí), Petr HLINĚNÝ (203 Česká republika, garant, domácí) a Hans Raj TIWARY (356 Indie).
Vydání Discrete Applied Mathematics, Elsevier Science, 2018, 0166-218X.
Další údaje
Originální jazyk angličtina
Typ výsledku Článek v odborném periodiku
Obor 10201 Computer sciences, information science, bioinformatics
Stát vydavatele Nizozemské království
Utajení není předmětem státního či obchodního tajemství
WWW URL
Impakt faktor Impact factor: 0.983
Kód RIV RIV/00216224:14330/18:00100733
Organizační jednotka Fakulta informatiky
Doi http://dx.doi.org/10.1016/j.dam.2017.04.042
UT WoS 000447109400007
Klíčová slova anglicky parameterized complexity; extension complexity; independent set; FO model checking
Štítky formela-journal
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 16. 4. 2020 09:57.
Anotace
Let G be a graph on n vertices and STAB_k(G) be the convex hull of characteristic vectors of its independent sets of size at most k. We study extension complexity of STAB_k(G) with respect to a fixed parameter k (analogously to, e.g., parameterized computational complexity of problems). We show that for graphs G from a class of bounded expansion it holds that xc(STAB_k(G))<=O(f(k).n)$ where the function f depends only on the This result can be extended in a simple way to a wide range of similarly defined graph polytopes. In case of general graphs we show that there is no function f such that, for all values of the parameter k and for all graphs on n vertices, the extension complexity of STAB_k(G) is at most f(k).n^{O(1)}. While such results are not surprising since it is known that optimizing over STAB_k(G) is FPT for graphs of bounded expansion and W[1]-hard in general, they are also not trivial and in both cases stronger than the corresponding computational complexity results.
Návaznosti
GA14-03501S, projekt VaVNázev: Parametrizované algoritmy a kernelizace v kontextu diskrétní matematiky a logiky
Investor: Grantová agentura ČR, Parametrizované algoritmy a kernelizace v kontextu diskrétní matematiky a logiky
GA17-00837S, projekt VaVNázev: Strukturální vlastnosti, parametrizovaná řešitelnost a těžkost v kombinatorických problémech
Investor: Grantová agentura ČR, Structural properties, parameterized tractability and hardness in combinatorial problems
VytisknoutZobrazeno: 28. 4. 2024 02:54