GAJARSKÝ, Jakub, Petr HLINĚNÝ, Martin KOUTECKÝ and Shmuel ONN. Parameterized shifted combinatorial optimization. Journal of Computer and System Sciences. SAN DIEGO: Academic Press, 2019, vol. 99, No 1, p. 53-71. ISSN 0022-0000. Available from: https://dx.doi.org/10.1016/j.jcss.2018.06.002.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Parameterized shifted combinatorial optimization
Authors GAJARSKÝ, Jakub (703 Slovakia, belonging to the institution), Petr HLINĚNÝ (203 Czech Republic, guarantor, belonging to the institution), Martin KOUTECKÝ (203 Czech Republic) and Shmuel ONN (376 Israel).
Edition Journal of Computer and System Sciences, SAN DIEGO, Academic Press, 2019, 0022-0000.
Other information
Original language English
Type of outcome Article in a journal
Field of Study 10201 Computer sciences, information science, bioinformatics
Country of publisher United States of America
Confidentiality degree is not subject to a state or trade secret
WWW DOI open access preprint
Impact factor Impact factor: 1.494
RIV identification code RIV/00216224:14330/19:00108272
Organization unit Faculty of Informatics
Doi http://dx.doi.org/10.1016/j.jcss.2018.06.002
UT WoS 000448636500003
Keywords in English Combinatorial optimization; Shifted problem; Treewidth; MSO logic; MSO partitioning
Tags formela-journal
Tags International impact, Reviewed
Changed by Changed by: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Changed: 14/4/2021 21:26.
Abstract
Shifted combinatorial optimization is a new nonlinear optimization framework broadly extending standard combinatorial optimization, involving the choice of several feasible solutions simultaneously. This framework captures well studied and diverse problems, from sharing and partitioning to so-called vulnerability problems. In particular, every standard combinatorial optimization problem has its shifted counterpart, typically harder. Already with explicitly given input set SCO may be NP-hard. Here we initiate a study of the parameterized complexity of this framework. First we show that SCO over an explicitly given set parameterized by its cardinality may be in XP, FPT or P, depending on the objective function. Second, we study SCO over sets definable in MSO logic (which includes, e.g., the well known MSO-partitioning problems). Our main results are that SCO over MSO definable sets is in XP parameterized by the MSO formula and treewidth (or clique-width) of the input graph, and W[1]-hard even under further severe restrictions.
Links
GBP202/12/G061, research and development projectName: Centrum excelence - Institut teoretické informatiky (CE-ITI) (Acronym: CE-ITI)
Investor: Czech Science Foundation
PrintDisplayed: 5/9/2024 01:23