Strong Formulations for Network Design Problems with Connectivity Requirements

The network design problem with connectivity requirements (NDC) models a wide variety of celebrated combinatorial optimization problems including the minimum spanning tree, Steiner tree, and survivable network design problems. We develop strong formulations for two versions of the edge-connectivity NDC problem: unitary problems requiring connected network designs, and nonunitary problems permitting non-connected networks as solutions. We (i) present a new directed formulation for the unitary NDC problem that is stronger than a natural undirected formulation, (ii) project out several classes of valid inequalities-partition inequalities, odd-hole inequalities, and combinatorial design inequalities-that generalize known classes of valid inequalities for the Steiner tree problem to the unitary NDC problem, and (iii) show how to strengthen and direct nonunitary problems. Our results provide a unifying framework for strengthening formulations for NDC problems, and demonstrate the strength and power of flow-based formulations for network design problems with connectivity requirements

Topology-Constrained Network Design

International audienc

Minimum survivable graphs with bounded distance increase

We study in graphs properties related to fault-tolerance in case a node fails. A graph G is k-self-repairing, where k is a non-negative integer, if after the removal of any vertex no distance in the surviving graph increases by more than k. In the design of interconnection networks such graphs guarantee good fault-tolerance properties. We give upper and lower bounds on the minimum number of edges of a k-self-repairing graph for prescribed k and n, where n is the order of the graph. We prove that the problem of finding, in a k-self-repairing graph, a spanning k-self-repairing subgraph of minimum size is NP-Hard

Minimum survivable graphs with bounded distance increase

International audienceWe study in graphs properties related to fault-tolerance in case a node fails. A graph G is k-self-repairing, where k is a non-negative integer, if after the removal of any vertex no distance in the surviving graph increases by more than k. In the design of interconnection networks such graphs guarantee good fault-tolerance properties. We give upper and lower bounds on the minimum number of edges of a k-self-repairing graph for prescribed k and n, where n is the order of the graph. We prove that the problem of finding, in a k-self-repairing graph, a spanning k-self-repairing subgraph of minimum size is NP-Hard

Polyhedra and algorithms for problems bridging notions of connectivity and independence

I denne avhandlinga interesserer vi oss for å finne delgrafer som svarer til utvalgte modeller for begrepene sammenheng og uavhengighet. I korthet betyr dette stabile (også kalt uavhengige) mengder med gitt kardinalitet, stabile (også kalt konfliktfrie) spenntrær og pardannelser (eller uavhengige kantmengder) som induserer en sammenhengende delgraf. Dette er kombinatoriske strukturer som kan generaliseres til ulike modeller for nettverksdesign innen telekommunikasjon og forsyningsvirksomhet, plassering av anlegg, fylogenetikk, og mange andre applikasjoner innen operasjonsanalyse og optimering. Vi argumenterer for at de valgte strukturene reiser interessante forskningsspørsmål, og vi bidrar med forbedret matematisk forståelse av selve strukturene, samt forbedrede algoritmer for å takle de tilhørende kombinatoriske optimeringsproblemene. Med det mener vi metoder for å identifisere en optimal struktur, forutsatt at elementene som danner dem (hjørner eller kanter i en gitt graf) er tildelt verdier. Forskninga vår omfatter ulike områder innenfor algoritmer, kombinatorikk og optimering. De fleste resultatene omhandler det å finne bedre beskrivelser av de geometriske strukturene (nemlig 0/1-polytoper) som representerer alle mulige løsninger for hvert av problemene. Slike forbedrede beskrivelser oversettes til lineære ulikheter i heltallsprogrammeringsmodeller, noe som igjen gir mer effektive beregningsresultater når man løser referanseinstanser av hvert problem. Vi påpeker gjentatte ganger betydninga av å dele kildekoden til implementasjonen av alle utviklede algoritmer og verktøy når det foreslås nye modeller og løsningsmetoder for heltallsprogrammering og kombinatorisk optimering. Kodearkivene våre inkluderer fullstendige implementasjoner, utformet med effektivitet og modulær design i tankene, og fremmer dermed gjenbruk, videre forskning og nye anvendelser innen forskning og utvikling.We are interested in finding subgraphs that capture selected models of connectivity and independence. In short: fixed cardinality stable (or independent) sets, stable (or conflict-free) spanning trees, and matchings (or independent edge sets) inducing a connected subgraph. These are combinatorial structures that can be generalized to a number of models across network design in telecommunication and utilities, facility location, phylogenetics, among many other application domains of operations research and optimization. We argue that the selected structures raise appealing research questions, and seek to contribute with improved mathematical understanding of the structures themselves, as well as improved algorithms to face the corresponding combinatorial optimization problems. That is, methods to identify an optimal structure, assuming the elements that form them (vertices or edges in a given graph) have a weight. Our research spans different lines within algorithmics, combinatorics and optimization. Most of the results concern finding better descriptions of the geometric structures (namely, 0/1-polytopes) that represent all feasible solutions to each of the problems. Such improved descriptions translate to linear inequalities in integer programming formulations which, in turn, provide stronger computational results when solving benchmark instances of each problem. We repeatedly remark the importance of sharing an open-source implementation of all algorithms and tools developed when proposing new models and solution methods in integer programming and combinatorial optimization. Our code repositories include full implementations, crafted with efficiency and modular design in mind, thus fostering reuse, further research and new applications in research and development.Doktorgradsavhandlin

Combinatorial Optimization

This report summarizes the meeting on Combinatorial Optimization where new and promising developments in the field were discussed. Th

Connectivity Constraints in Network Analysis

This dissertation establishes mathematical foundations of connectivity requirements arising in both abstract and geometric network analysis. Connectivity constraints are ubiquitous in network design and network analysis. Aside from the obvious applications in communication and transportation networks, they have also appeared in forest planning, political distracting, activity detection in video sequences and protein-protein interaction networks. Theoretically, connectivity constraints can be analyzed via polyhedral methods, in which we investigate the structure of (vertex)-connected subgraph polytope (CSP). One focus of this dissertation is on performing an extensive study of facets of CSP. We present the first systematic study of non-trivial facets of CSP. One advantage to study facets is that a facet-defining inequality is always among the tightest valid inequalities, so applying facet-defining inequalities when imposing connectivity constraints can guarantee good performance of the algorithm. We adopt lifting techniques to provide a framework to generate a wide class of facet-defining inequalities of CSP. We also derive the necessary and sufficient conditions when a vertex separator inequality, which plays a critical role in connectivity constraints, induces a facet of CSP. Another advantage to study facets is that CSP is uniquely determined by its facets, so full understanding of CSP's facets indicates full understanding of CSP itself. We are able to derive a full description of CSP for a wide class of graphs, including forest and several types of dense graphs, such as graphs with small independence number, s-plex with small s and s-defective cliques with small s. Furthermore, we investigate the relationship between lifting techniques, maximum weight connected subgraph problem and node-weight Steiner tree problem and study the computational complexity of generation of facet-defining inequalities. Another focus of this dissertation is to study connectivity in geometric network analysis. In geometric applications like wireless networks and communication networks, the concept of connectivity can be defined in various ways. In one case, connectivity is imposed by distance, which can be modeled by unit disk graphs (UDG). We create a polytime algorithm to identify large 2-clique in UDG; in another case when connectivity is based on visibility, we provide a generalization of the two-guard problem