{"@context":"https:\/\/schema.org\/","@type":"ScholarlyArticle","@id":"#article10047","name":"Structured Connectivity Augmentation","abstract":"We initiate the algorithmic study of the following \"structured augmentation\" question: is it possible to increase the connectivity of a given graph G by superposing it with another given graph H? More precisely, graph F is the superposition of G and H with respect to injective mapping \\phi:V(H)->V(G) if every edge uv of F is either an edge of G, or \\phi^{-1}(u)\\phi^{-1}(v) is an edge of H. Thus F contains both G and H as subgraphs, and the edge set of F is the union of the edge sets of G and \\phi(H). We consider the following optimization problem. Given graphs G, H, and a weight function \\omega assigning non-negative weights to pairs of vertices of V(G), the task is to find \\phi of minimum weight \\omega(\\phi)=\\sum_{xy\\in E(H)}\\omega(\\phi(x)\\phi(y)) such that the edge connectivity of the superposition F of G and H with respect to \\phi is higher than the edge connectivity of G. Our main result is the following ``dichotomy'' complexity classification. We say that a class of graphs C has bounded vertex-cover number, if there is a constant t depending on C only such that the vertex-cover number of every graph from C does not exceed t. We show that for every class of graphs C with bounded vertex-cover number, the problems of superposing into a connected graph F and to 2-edge connected graph F, are solvable in polynomial time when H\\in C. On the other hand, for any hereditary class C with unbounded vertex-cover number, both problems are NP-hard when H\\in C. For the unweighted variants of structured augmentation problems, i.e. the problems where the task is to identify whether there is a superposition of graphs of required connectivity, we provide necessary and sufficient combinatorial conditions on the existence of such superpositions. These conditions imply polynomial time algorithms solving the unweighted variants of the problems.","keywords":["connectivity augmentation","graph superposition","complexity"],"author":[{"@type":"Person","name":"Fomin, Fedor V.","givenName":"Fedor V.","familyName":"Fomin"},{"@type":"Person","name":"Golovach, Petr A.","givenName":"Petr A.","familyName":"Golovach"},{"@type":"Person","name":"Thilikos, Dimitrios M.","givenName":"Dimitrios M.","familyName":"Thilikos"}],"position":29,"pageStart":"29:1","pageEnd":"29:13","dateCreated":"2017-12-01","datePublished":"2017-12-01","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Fomin, Fedor V.","givenName":"Fedor V.","familyName":"Fomin"},{"@type":"Person","name":"Golovach, Petr A.","givenName":"Petr A.","familyName":"Golovach"},{"@type":"Person","name":"Thilikos, Dimitrios M.","givenName":"Dimitrios M.","familyName":"Thilikos"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.MFCS.2017.29","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","citation":["http:\/\/dx.doi.org\/10.1007\/978-1-4471-5559-1","http:\/\/dx.doi.org\/10.1137\/0205044","http:\/\/arxiv.org\/abs\/1706.04255","http:\/\/dx.doi.org\/10.1137\/0405003","http:\/\/dx.doi.org\/10.1145\/28869.28874","http:\/\/dx.doi.org\/10.1016\/j.jctb.2004.01.004","http:\/\/dx.doi.org\/10.1006\/jctb.1995.1002","http:\/\/dx.doi.org\/10.1137\/S0895480199363933","http:\/\/dx.doi.org\/10.1002\/nav.3800020109","http:\/\/dx.doi.org\/10.1017\/CBO9780511721649","http:\/\/dx.doi.org\/10.1007\/BF01224737","http:\/\/dx.doi.org\/10.1016\/0022-0000(87)90038-9"],"isPartOf":{"@type":"PublicationVolume","@id":"#volume6286","volumeNumber":83,"name":"42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017)","dateCreated":"2017-12-01","datePublished":"2017-12-01","editor":[{"@type":"Person","name":"Larsen, Kim G.","givenName":"Kim G.","familyName":"Larsen"},{"@type":"Person","name":"Bodlaender, Hans L.","givenName":"Hans L.","familyName":"Bodlaender"},{"@type":"Person","name":"Raskin, Jean-Francois","givenName":"Jean-Francois","familyName":"Raskin"}],"isAccessibleForFree":true,"publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","hasPart":"#article10047","isPartOf":{"@type":"Periodical","@id":"#series116","name":"Leibniz International Proceedings in Informatics","issn":"1868-8969","isAccessibleForFree":true,"publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","hasPart":"#volume6286"}}}