
Shifted combinatorial optimization is a new nonlinear optimization framework which is a broad extension of standard combinatorial optimization, involving the choice of several feasible solutions at a time. This framework captures well studied and diverse problems ranging from so-called vulnerability problems to sharing and partitioning problems. In particular, every standard combinatorial optimization problem has its shifted counterpart, which is typically much harder. Already with explicitly given input set the shifted problem may be NP-hard. In this article we initiate a study of the parameterized complexity of this framework. First we show that shifting over an explicitly given set with its cardinality as the parameter may be in XP, FPT or P, depending on the objective function. Second, we study the shifted problem over sets definable in MSO logic (which includes, e.g., the well known MSO partitioning problems). Our main results here are that shifted combinatorial optimization over MSO definable sets is in XP with respect to the MSO formula and the treewidth (or more generally clique-width) of the input graph, and is W[1]-hard even under further severe restrictions.
FOS: Computer and information sciences, Combinatorial optimization, Discrete Mathematics (cs.DM), Analysis of algorithms and problem complexity, MSO logic, Computational Complexity (cs.CC), Computer Science - Computational Complexity, Optimization and Control (math.OC), MSO partitioning, Computer Science - Data Structures and Algorithms, treewidth, FOS: Mathematics, Mathematics - Combinatorics, combinatorial optimization, Data Structures and Algorithms (cs.DS), Combinatorics (math.CO), Mathematics - Optimization and Control, shifted problem, Computer Science - Discrete Mathematics
FOS: Computer and information sciences, Combinatorial optimization, Discrete Mathematics (cs.DM), Analysis of algorithms and problem complexity, MSO logic, Computational Complexity (cs.CC), Computer Science - Computational Complexity, Optimization and Control (math.OC), MSO partitioning, Computer Science - Data Structures and Algorithms, treewidth, FOS: Mathematics, Mathematics - Combinatorics, combinatorial optimization, Data Structures and Algorithms (cs.DS), Combinatorics (math.CO), Mathematics - Optimization and Control, shifted problem, Computer Science - Discrete Mathematics
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 3 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
