×

Parameterized shifted combinatorial optimization. (English) Zbl 1408.68075

Summary: 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 \(\mathsf{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 \(\mathsf{XP}\), \(\mathsf{FPT}\) or \(\mathsf{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 \(\mathsf{XP}\) parameterized by the MSO formula and treewidth (or clique-width) of the input graph, and \(\mathsf{W}[1]\)-hard even under further severe restrictions.

MSC:

68Q25 Analysis of algorithms and problem complexity
90C27 Combinatorial optimization

References:

[1] Assadi, Sepehr; Emamjomeh-Zadeh, Ehsan; Norouzi-Fard, Ashkan; Yazdanbod, Sadra; Zarrabi-Zadeh, Hamid, The minimum vulnerability problem, Algorithmica, 70, 4, 718-731, (2014) · Zbl 1306.05113
[2] Baum, Stephen; Trotter, Leslie E., Integer rounding and polyhedral decomposition for totally unimodular systems, (Optimization and Operations Research, (1978), Springer), 15-23 · Zbl 0404.90053
[3] Bodlaender, Hans L., A tourist guide through treewidth, Acta Cybern., 11, 1-2, 1, (1994) · Zbl 0804.68101
[4] Bredereck, Robert; Faliszewski, Piotr; Niedermeier, Rolf; Skowron, Piotr; Talmon, Nimrod, Elections with few candidates: prices, weights, and covering problems, (Proc. ADT 2015, LNCS, vol. 9346, (2015)), 414-431 · Zbl 1403.68075
[5] Chen, Jianer; Huang, Xiuzhen; Kanj, Iyad A.; Xia, Ge, Strong computational lower bounds via parameterized complexity, J. Comput. Syst. Sci., 72, 8, 1346-1367, (2006) · Zbl 1119.68092
[6] Conforti, Michele; Cornuéjols, Gérard; Zambelli, Giacomo, Extended formulations in combinatorial optimization, 4OR, 8, 1, 1-48, (2010) · Zbl 1219.90193
[7] Courcelle, B., On the expression of graph properties in some fragments of monadic second-order logic, (Immerman, N.; Kolaitis, P., Descriptive Complexity and Finite Models, DIMACS Series in Discrete Mathematics and Theoretical Computer Sciences, vol. 31, (June 1997)), 33-62 · Zbl 0883.03004
[8] Downey, Rodney G.; Fellows, Michael R., Fundamentals of parameterized complexity, Texts in Computer Science, (2013), Springer · Zbl 1358.68006
[9] Edmonds, Jack, Paths, trees, and flowers, Can. J. Math., 17, 3, 449-467, (1965) · Zbl 0132.20903
[10] Fluschnik, Till; Kratsch, Stefan; Niedermeier, Rolf; Sorge, Manuel, The parameterized complexity of the minimum shared edges problem, (FSTTCS’15, LIPIcs, vol. 45, (2015), Schloss Dagstuhl), 448-462 · Zbl 1366.68090
[11] Fomin, Fedor; Golovach, Petr; Lokshtanov, Daniel; Saurab, Saket, Clique-width: on the price of generality, (SODA’09, (2009), SIAM), 825-834 · Zbl 1421.68125
[12] Freuder, Eugene C., Complexity of K-tree structured constraint satisfaction problems, (Proc. of the 8th National Conference on Artificial Intelligence, (1990)), 4-9
[13] Gajarský, Jakub; Lampis, Michael; Ordyniak, Sebastian, Parameterized algorithms for modular-width, (IPEC’13, LNCS, vol. 8246, (2013), Springer), 163-176 · Zbl 1406.68080
[14] Ganian, Robert; Hliněný, Petr; Nešetřil, Jaroslav; Obdržálek, Jan; de Mendez, Patrice Ossona; Ramadurai, Reshma, When trees grow low: shrubs and fast MSO_{1}, (MFCS’12, LNCS, vol. 7464, (2012), Springer), 419-430 · Zbl 1365.68323
[15] Garey, Michael R.; Johnson, David S., Computers and intractability, vol. 29, (2002), W.H. Freeman New York
[16] Gijswijt, Dion, Integer decomposition for polyhedra defined by nearly totally unimodular matrices, SIAM J. Discrete Math., 19, 3, 798-806, (2005) · Zbl 1113.90101
[17] Hemmecke, Raymond; Köppe, Matthias; Lee, Jon; Weismantel, Robert, Nonlinear integer programming, (50 Years of Integer Programming 1958-2008, (2010), Springer), 561-618 · Zbl 1187.90270
[18] Hliněnỳ, Petr; Oum, Sang-il; Seese, Detlef; Gottlob, Georg, Width parameters beyond tree-width and their applications, Comput. J., 51, 3, 326-362, (2007)
[19] Hliněný, Petr; Oum, Sang-il, Finding branch-decompositions and rank-decompositions, SIAM J. Comput., 38, 3, 1012-1032, (2008) · Zbl 1163.05331
[20] Hochbaum, Dorit S.; Shanthikumar, J. George, Convex separable optimization is not much Harder than linear optimization, J. ACM, 37, 4, 843-862, (October 1990) · Zbl 0721.90060
[21] Kaibel, Volker; Onn, Shmuel; Sarrabezolles, Pauline, The unimodular intersection problem, Oper. Res. Lett., 43, 6, 592-594, (2015) · Zbl 1408.90296
[22] Knop, Dušan; Koutecký, Martin; Masařík, Tomáš; Toufar, Tomáš, Simplified algorithmic metatheorems beyond MSO: treewidth and neighborhood diversity, (WG 2017, LNCS, vol. 10520, (2017), Springer), 344-357, Full version at · Zbl 1484.68072
[23] Kolman, Petr; Koutecký, Martin; Tiwary, Hans Raj, Extension complexity, MSO logic, and treewidth, (February 2017), arXiv preprint
[24] Koutecký, Martin; Levin, Asaf; Onn, Shmuel, A parameterized strongly polynomial algorithm for block structured integer programs, (ICALP 2018, LIPIcs, vol. 107, (2018), Schloss Dagstuhl), 85:1-85:14, Full version at · Zbl 1499.68153
[25] Koutecký, Martin; Levin, Asaf; Meesum, Syed M.; Onn, Shmuel, Approximate shifted combinatorial optimization, (2017), arXiv preprint
[26] Kreutzer, Stephan, Algorithmic meta-theorems, Electron. Colloq. Comput. Complex., 16, 147, (2009) · Zbl 1142.68458
[27] Langer, Alexander; Reidl, Felix; Rossmanith, Peter; Sikdar, Somnath, Evaluation of an MSO-solver, (2012 Proceedings of the Fourteenth Workshop on Algorithm Engineering and Experiments (ALENEX), (2012), SIAM), 55-63 · Zbl 1430.68415
[28] Levin, Asaf; Onn, Shmuel, Shifted matroid optimization, Oper. Res. Lett., 44, 535-539, (2016) · Zbl 1380.90238
[29] De Loera, Jesús A.; Hemmecke, Raymond; Köppe, Matthias, Algebraic and geometric ideas in the theory of discrete optimization, MOS-SIAM Series on Optimization, vol. 14, (2013), SIAM · Zbl 1401.90012
[30] Oertel, Timm; Wagner, Christian; Weismantel, Robert, Integer convex minimization by mixed integer linear optimization, Oper. Res. Lett., 42, 6-7, 424-428, (2014) · Zbl 1408.90202
[31] Omran, Masoud T.; Sack, Jörg-Rüdiger; Zarrabi-Zadeh, Hamid, Finding paths with minimum shared edges, J. Comb. Optim., 26, 4, 709-722, (2013) · Zbl 1282.90219
[32] Onn, Shmuel, Nonlinear discrete optimization, Zurich Lectures in Advanced Mathematics, (2010), European Mathematical Society, available online at · Zbl 1219.90003
[33] Rao, Michaël, MSOL partitioning problems on graphs of bounded treewidth and clique-width, Theor. Comput. Sci., 377, 1-3, 260-267, (2007) · Zbl 1118.68107
[34] Rosenthal, Robert W., A class of games possessing pure-strategy Nash equilibria, Int. J. Game Theory, 2, 1, 65-67, (1973) · Zbl 0259.90059
[35] Rothvoß, Thomas, The matching polytope has exponential extension complexity, J. ACM, 64, 6, 41, (2017) · Zbl 1426.90255
[36] Schrijver, Alexander, Combinatorial optimization: polyhedra and efficiency, Algorithms Comb., vol. 24, (2003), Springer · Zbl 1041.90001
[37] Skowron, Piotr; Faliszewski, Piotr; Lang, Jérôme, Finding a collective set of items: from proportional multirepresentation to group recommendation, Artif. Intell., 241, 191-216, (2016) · Zbl 1406.91135
[38] Zambelli, Giacomo, Colorings of k-balanced matrices and integer decomposition property of related polyhedra, Oper. Res. Lett., 35, 3, 353-356, (2007) · Zbl 1130.05014
[39] Ziegler, Günter M., Lectures on polytopes, Graduate Texts in Mathematics, vol. 152, (1995), Springer-Verlag · Zbl 0823.52002
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.