GAJARSKÝ, Jakub, Petr HLINĚNÝ and Hans Raj TIWARY. Parameterized Extension Complexity of Independent Set and Related Problems. Discrete Applied Mathematics. Elsevier Science, 2018, vol. 248, SI, p. 56-67. ISSN 0166-218X. Available from: https://dx.doi.org/10.1016/j.dam.2017.04.042.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Parameterized Extension Complexity of Independent Set and Related Problems
Authors GAJARSKÝ, Jakub (703 Slovakia, belonging to the institution), Petr HLINĚNÝ (203 Czech Republic, guarantor, belonging to the institution) and Hans Raj TIWARY (356 India).
Edition Discrete Applied Mathematics, Elsevier Science, 2018, 0166-218X.
Other information
Original language English
Type of outcome Article in a journal
Field of Study 10201 Computer sciences, information science, bioinformatics
Country of publisher Netherlands
Confidentiality degree is not subject to a state or trade secret
WWW URL
Impact factor Impact factor: 0.983
RIV identification code RIV/00216224:14330/18:00100733
Organization unit Faculty of Informatics
Doi http://dx.doi.org/10.1016/j.dam.2017.04.042
UT WoS 000447109400007
Keywords in English parameterized complexity; extension complexity; independent set; FO model checking
Tags formela-journal
Tags International impact, Reviewed
Changed by Changed by: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Changed: 16/4/2020 09:57.
Abstract
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.
Links
GA14-03501S, research and development projectName: Parametrizované algoritmy a kernelizace v kontextu diskrétní matematiky a logiky
Investor: Czech Science Foundation
GA17-00837S, research and development projectName: Strukturální vlastnosti, parametrizovaná řešitelnost a těžkost v kombinatorických problémech
Investor: Czech Science Foundation
PrintDisplayed: 12/10/2024 19:43