BCOL RESEARCH REPORT 17.07

Similar documents
Capacitated network design using general flow-cutset inequalities

0-1 Reformulations of the Network Loading Problem

A packing integer program arising in two-layer network design

1 Introduction. A new model for designing survivable networks

Partition inequalities for capacitated survivable network design based on directed p-cycles

The continuous knapsack set

n-step mingling inequalities: new facets for the mixed-integer knapsack set

Partition inequalities for capacitated survivable network design based on directed p-cycles

IBM Research Report. Designing Private Line Networks. IBM Research Division Thomas J. Watson Research Center P.O. Box 218 Yorktown Heights, NY 10598

ALGORITHMS AND COMPLETE FORMULATIONS FOR THE NETWORK DESIGN PROBLEM Trilochan Sastry Indian Institute of Management, Ahmedabad November 1997 Abstract

Tight Formulations for Some Simple Mixed Integer Programs and Convex Objective Integer Programs

0-1 Reformulations of the Multicommodity Capacitated Network Design Problem

The continuous knapsack set

Strong Formulations for Network Design Problems with Connectivity Requirements

Lifting for conic mixed-integer programming

Continuous knapsack sets with divisible capacities

BCOL RESEARCH REPORT 07.04

Polyhedral results for the edge capacity polytope

Discrete Optimization 23

Submodular Inequalities for the Path Structures of the Capacitated Fixed-Charge Network Flow Problems. Birce Tezel

Sequential pairing of mixed integer inequalities

Cover and Pack Inequalities for (Mixed) Integer Programming

Towards Robust Network Design using Integer Linear Programming Techniques

Single-layer Cuts for Multi-layer Network Design Problems

THE MIXING SET WITH FLOWS

The master equality polyhedron with multiple rows

On the Polyhedral Structure of a Multi Item Production Planning Model with Setup Times

Description of 2-integer continuous knapsack polyhedra

March 2002, December Introduction. We investigate the facial structure of the convex hull of the mixed integer knapsack set

CORE DISCUSSION PAPER Mixing Mixed-Integer Inequalities

Extended Formulations, Lagrangian Relaxation, & Column Generation: tackling large scale applications

ON THE INTEGRALITY OF THE UNCAPACITATED FACILITY LOCATION POLYTOPE. 1. Introduction

The master equality polyhedron with multiple rows

On mixed-integer sets with two integer variables

Linear and Integer Programming - ideas

A Lower Bound on the Split Rank of Intersection Cuts

Cutting planes from extended LP formulations

Three-partition Flow Cover Inequalities for Constant Capacity Fixed-charge Network Flow Problems

Chapter 1. Preliminaries

MEP123: Master Equality Polyhedron with one, two or three rows

ARTICLE IN PRESS Discrete Applied Mathematics ( )

Branch-and-Price-and-Cut Approach to the Robust Network Design Problem without Flow Bifurcations

Notes on Dantzig-Wolfe decomposition and column generation

Network Flows. 6. Lagrangian Relaxation. Programming. Fall 2010 Instructor: Dr. Masoud Yaghini

Facets for Node-Capacitated Multicut Polytopes from Path-Block Cycles with Two Common Nodes

Robust Network Design: Formulations, Valid Inequalities, and Computations

Cutting Plane Separators in SCIP

5 Flows and cuts in digraphs

Integer programming: an introduction. Alessandro Astolfi

Fixed-charge transportation problems on trees

CORE DISCUSSION PAPER AGGREGATION and MIXED INTEGER ROUNDING to SOLVE MIPs

Chapter 3: Discrete Optimization Integer Programming

Transportation Problem

Chapter 7 Network Flow Problems, I

Affine Recourse for the Robust Network Design Problem: Between Static and Dynamic Routing

Cost Efficient Network Synthesis from Leased Lines

Extended Cutset Inequalities for the Network Power Consumption Problem

Lifted Inequalities for 0 1 Mixed-Integer Bilinear Covering Sets

Computational Integer Programming. Lecture 2: Modeling and Formulation. Dr. Ted Ralphs

Vehicle Routing and MIP

A Polytope for a Product of Real Linear Functions in 0/1 Variables

BCOL RESEARCH REPORT 05.03

Multicommodity Flows and Column Generation

Optimization Exercise Set n. 4 :

Packing Arborescences

Graphs and Network Flows IE411. Lecture 12. Dr. Ted Ralphs

Chapter 3: Discrete Optimization Integer Programming

Stochastic Survivable Network Design Problems: Theory and Practice

Some Relationships between Disjunctive Cuts and Cuts based on S-free Convex Sets

IBM Research Report. On the Linear Relaxation of the p-median Problem I: Oriented Graphs

Introduction to Integer Linear Programming

LP Relaxations of Mixed Integer Programs

3.7 Cutting plane methods

Solving Box-Constrained Nonconvex Quadratic Programs

3.3 Easy ILP problems and totally unimodular matrices

6.1 Matrices. Definition: A Matrix A is a rectangular array of the form. A 11 A 12 A 1n A 21. A 2n. A m1 A m2 A mn A 22.

Optimization Exercise Set n.5 :

10725/36725 Optimization Homework 2 Solutions

EE263 Review Session 1

Fakultät für Mathematik

Mathematics 530. Practice Problems. n + 1 }

An Integer Programming Approach for Linear Programs with Probabilistic Constraints

Chapter 6: Orthogonality

Modeling with Integer Programming

On a Cardinality-Constrained Transportation Problem With Market Choice

Lecture 9: Dantzig-Wolfe Decomposition

On Matroid Parity and Matching Polytopes

Single-Commodity Robust Network Design with Finite and Hose Demand Sets

Stronger Multi-Commodity Flow Formulations of the Capacitated Vehicle Routing Problem

arxiv: v15 [math.oc] 19 Oct 2016

A comparison of different routing schemes for the robust network loading problem: polyhedral results and computation

Key words. Integer nonlinear programming, Cutting planes, Maximal lattice-free convex sets

Linear Codes, Target Function Classes, and Network Computing Capacity

Optimization over Sparse Symmetric Sets via a Nonmonotone Projected Gradient Method

The common-line problem in congested transit networks

ON MIXING SETS ARISING IN CHANCE-CONSTRAINED PROGRAMMING

CS675: Convex and Combinatorial Optimization Fall 2016 Combinatorial Problems as Linear and Convex Programs. Instructor: Shaddin Dughmi

the Robust Network Loading Problem with Dynamic Routing

Matroid Optimisation Problems with Nested Non-linear Monomials in the Objective Function

Extended Formulations in Combinatorial Optimization

Transcription:

BCOL RESEARCH REPORT 17.07 Industrial Engineering & Operations Research University of California, Berkeley, CA 9470 1777 ON CAPACITY MODELS FOR NETWORK DESIGN ALPER ATAMTÜRK AND OKTAY GÜNLÜK Abstract. In network design problems capacity constraints are modeled in three different ways depending on the application and the underlying technology for installing capacity: directed, bidirected, and undirected. In the literature, polyhedral investigations for strengthening mixed-integer formulations are done separately for each model. In this paper, we examine the relationship between these models to provide a unifying approach and show that one can indeed translate valid inequalities from one to the others. In particular, we show that the projections of the undirected and bidirected models onto the capacity variables are the same. We demonstrate that valid inequalities previously given for the undirected and bidirected models can be derived as a consequence of the relationship between these models and the directed model. November 017 1. Introduction In network design problems capacity constraints are modeled in three different ways depending on the application and the underlying technology for installing capacity: directed, bidirected, and undirected. In directed models, the total flow on an arc is limited by the capacity of the directed arc. In bidirected models, if a certain capacity is installed on an arc, then the same capacity also needs to be installed on the reverse arc. Whereas in undirected models, the sum of the flow on an arc and its reverse arc is limited by the capacity of the undirected edge associated with the two arcs. In the literature polyhedral investigations for strengthening mixed-integer formulations are done separately for each model. Magnanti and Mirchandani [11], Magnanti et al. [13, 14], Mirchandani [15], Agarwal [], Hamid and Agarwal [10] consider the undirected capacity model. Bienstock and Günlük [7], Günlük [9] study the bidirected capacity model. Whereas Magnanti and Wong [1], Bienstock et al. [8], Atamtürk et al. [6], Atamtürk [3], Atamtürk and Rajan [5], Atamtürk and Günlük [4], Achterberg and Raack [1] consider the directed capacity model. In this paper, we examine the relationship between these three separately-studied models to provide a unifying approach and show how one can translate valid inequalities from one to the others. In particular, we show that the projections of the Alper Atamtürk: Industrial Engineering & Operations Research, University of California, Berkeley, CA 9470 USA. atamturk@berkeley.edu Oktay Günlük: Mathematical Sciences, IBM T. J. Watson Research Center, Yorktown Heights, NY 10598 USA. gunluk@us.ibm.com. 1

undirected and bidirected models onto the capacity variables are the same. We demonstrate that valid inequalities previously given for undirected and bidirected models can be derived as a consequence of the relationship between these models and the directed model. Let G = (N, E) be an undirected graph with node set N and edge set E. Let A be the arc set obtained from E by including the arcs in each direction for the edges in E. Let M denote the set of facility types where a unit of facility m M provides capacity c m. Depending on the model, facilities are installed either on the edges or on the arcs of the network and accordingly, we use c R E or c R A to denote the existing capacities on the edges or arcs of the network. Without loss of generality, we assume that c m Z for all m M and c 1 < c <... < c M. Let the demand data for the problem be given by the square matrix T = {t ij }, where t ij 0 is the amount of (directed) traffic that needs to be routed from node i N to j N. Let K = {(ij) N N : i j} and define the K N demand matrix D = {d k u}, where t ij if u = j, d k u = t ij if u = i, 0 otherwise, for (ij) = k K and u N.. Undirected capacity model In the undirected network design problem, the sum of the flow on an arc and its reverse arc is limited by the capacity of the undirected edge associated with the two arcs. This problem can be formulated as follows: min f(x, y) s.t. x k ij x k ji = d k i, for k K, i N, (1) j N + i j N i x k ij + x k ji c e + m M c m y m,e, for e = {i, j} E, () x, y 0, y Z M E, (3) where x and y denote the flow and capacity variables respectively and f denotes the cost function. In most applications the function f can be decomposed as f(x, y) = f 1 (x) + f (y) and, furthermore, it is typically linear. Let U(T ) denote the set of feasible solutions to inequalities (1) (3). A capacity vector ȳ accommodates traffic T if there exists a feasible flow vector x such that (x, ȳ) U(T ). In other words, ȳ accommodates T if ȳ proj y (U(T )), where proj y ( ) denotes the orthogonal projection operator onto the space of the y variables. We say that two traffic matrices T and T are pairwise similar if t ij + t ji = ˆt ij + ˆt ji for all (ij) K. We next show that proj y (U(T )) = proj y (U( T )) provided that T and T are pairwise similar. Lemma 1. Capacity vector y accommodates T if and only if it accommodates all T pairwise similar to T. Proof. Let T and T be pairwise similar. Consider a pair of nodes u, v N with nonzero traffic, i.e., σ = t uv + t vu = ˆt uv + ˆt vu > 0.

Assuming y accommodates T, let x be a flow vector such that (x, y) U(T ). Construct ˆx from x by letting all entries of ˆx corresponding to k K \ {uv, vu} be same as that of x. Let α = ˆt uv /σ. For the remaining entries of ˆx associated with commodities uv and vu, we set ˆx uv ij = α(xuv ij + xvu ji ) and ˆxvu ij = (1 α)(xvu ij + xuv ji ) for all (ij) A. Notice that ˆx vu ij + ˆxvu ji + ˆxuv ij + ˆxuv ji = x vu ij + xvu ji + xuv ij + xuv ji for all {i, j} E. Therefore, ˆx satisfies the capacity constraints (). In addition, ˆx also satisfies the flow balance constraints uv (1) as ˆd i = α(d uv i + d vu vu i ) and ˆd i = (1 α)(d uv i + d vu i ) for all i N. Repeating the same argument for the remaining pairs of nodes proves the claim. Definition 1. An objective function f is called arc-symmetric if f(x, y) = f(ˆx, y) whenever x vu ij + x vu ji + x uv ij + x uv ji = ˆx vu ij + ˆx vu ji + ˆx uv ij + ˆx uv ji for uv, vu K and {i, j} E. Lemma. Let T and T be pairwise similar and f be arc-symmetric. If (x, y) U(T ), then there exists (ˆx, y) U( T ) such that f(x, y) = f(ˆx, y). Proof. As in the proof of Lemma 1, it is possible to construct a flow vector ˆx such that (ˆx, y) U( T ). Furthermore, as ˆx vu ij + ˆxvu ji + ˆx uv ij + ˆxuv ji = x vu ij + xvu ji + x uv ij + xuv ji for all (ij) A and the function is arc-symmetric, the result follows. Given a traffic matrix T, we define its symmetric counterpart to be T = (T + T T )/. In other words, t uv = t vu = (t uv + t vu )/. Also note that T and T are pairwise similar. We have so far established that optimizing an arc-symmetric cost function f over U(T ) is equivalent to optimizing it over U(T ). Lemma 3. Let f be an arc-symmetric function and T be a symmetric matrix. If (x, y) U(T ), then there exists (ˆx, y) U(T ) such that ˆx uv ij = ˆxvu ji for all (ij) A and (uv) K. Furthermore, f(x, y) = f(ˆx, y). Proof. Let x be such that x uv ij = x vu ji for all (ij) A and (uv) K. As T is symmetric, ( x, y) U(T ). Furthermore, by convexity, defining ˆx = (x + x)/ we have (ˆx, y) U(T ). In addition, ˆx uv ij ˆx vu ij holds. + ˆxvu ji + ˆxuv ij = ˆx vu ji + ˆxuv ji for all (ij) A and (uv) K. Finally, as f is arc-symmetric and = x vu ij + xvu ji + xuv ij + xuv ji, for all (ij) A and (uv) K, the claim Let U = (T ) denote the set of feasible solutions (x, y) to constraints (1)-(3) together with the following equations x uv ij = x vu ji for all (ij) A, (uv) K. (4) Lemma 3 in conjunction with Lemma establishes that when f is an arc-symmetric function, optimizing f over U(T ) is same as optimizing it over U = (T ). Proposition 1. Let f be an arc-symmetric function, T be a traffic matrix and let T be its symmetric counterpart. Then min f(x, y) = min (x,y) U(T ) f(x, y) = min (x,y) U(T ) f(x, y). (x,y) U = (T ) Furthermore, given an optimal solution to any one of the problems, optimal solutions to the other two can be constructed easily. 3

Furthermore, notice that if (4) holds, then { = max x k ij + x k ji x k ij, for all (ij) A. We next relate these observations on undirected capacity models to network design problems with bidirected capacity constraints. x k ji } (5) 3. Bidirected capacity model In the bidirected network design problem, the total flow on an arc and total flow on its reverse arc are each limited by the capacity of the undirected edge associated with these arcs. This problem can be formulated as follows: min f(x, y) s.t. x k ij x k ji = d k i, for k K, i N, (6) j N + i { max j N i x k ij, x k ji } c e + m M c m y m,e, for e = {i, j} E, (7) x, y 0, y Z M E. (8) Let B(T ) be the set of feasible solutions (x, y) to inequalities (7) (8). We next show that if T is symmetric and (x, y) B(T ), then there exists a flow vector ˆx such that (ˆx, y) B(T ) and ˆx satisfies (4). Furthermoref is an arc-symmetric cost function, then f(x, y) = f(ˆx, y). Lemma 4. Let f be an arc-symmetric function and T be a symmetric matrix. If (x, y) B(T ), then there exists (ˆx, y) B(T ) such that ˆx uv ij = ˆxvu ji for all (ij) A and (uv) K. Furthermore, f(x, y) = f(ˆx, y). Proof. The proof is essentially identical to that of Lemma 3. First we construct x U(T ) by letting x uv ij = x vu ji for all (ij) A and (uv) K. Then we define ˆx = (x + x)/ and observe that (ˆx, y) U(T ) and that it satisfies the properties in the claim. Therefore, if T is a symmetric traffic matrix, then min f(x, y) = min (x,y) B(T ) f(x, y), (9) (x,y) B = (T ) where, B = (T ) is the the set of feasible solution (x, y) to constraints (6) (8) together with equations (4). We next show that optimizing an arc-symmetric cost function over U(T ) is equivalent to optimizing a slightly different function over B(T ). Proposition. Let f be an arc-symmetric function, T be a traffic matrix and let T be its symmetric counterpart. Then min f(x, y) = min (x,y) U(T ) g(x, y), (x,y) B(T ) where g(x, y) = f( 1 x, y). mapped into the other. Furthermore, optimal solutions to each problem can be easily 4

Proof. By Corollary 1, we have min (x,y) U(T ) f(x, y) = min (x,y) U = (T ) f(x, y) and a common optimal solution to both problems can easily be constructed from an optimal solution to the first one. In addition, by Lemma 4, min (x,y) B(T ) f(x, y) = min (x,y) B = (T ) f(x, y) and a common optimal solution to both problems can easily be constructed from an optimal solution to the first one. Therefore, it suffices to show the result for U = (T ) and B = (T ) instead of U(T ) and B(T ). Consider a point p = ( x, ȳ) U = (T ). As x satisfies equation (4) and therefore (5), we have p = ( x, ȳ) B = (T ). As g(x, y) = f( 1 x, y), we also have g(p ) = f(p). Conversely, and given a solution q = (x, y ) B = (T ) we construct q = ( 1 x, y ) U = (T ) with g(q) = f(q ). Combining these observations, we conclude that and the proof is compete. min f(x, y) = min (x,y) U = (T ) g(x, y) (x,y) B = (T ) As an application of Theorem, consider a valid inequality ax + cy b for U(T ) where vectors a and c are of appropriate size. If ax + cy is arc-symmetric, that is, if a vu ij = a vu ji = a uv ij = a uv ji for all (ij) A and (uv) K, (10) then min ax + cy = min (x,y) U(T ) 1 (x,y) B(T ) ax + cy = ˆb b and therefore 1 ax + cy b is valid for B(T ). Conversely, if ax + cy b is valid for B(T ), then ax + cy b is valid for U(T ). Therefore, valid inequalities that are defined by coefficients satisfying (10) can easily be translated between U(T ) and B(T ). In particular, consider an inequality cy b that depends on the capacity variables only. Clearly cy is arc-symmetric and if cy b is a valid inequality for U(T ), then it is valid for B(T ) as well. Similarly, if cy b is valid for B(T ), then it is also valid for U(T ). Combining this with Corollary 1 and equation (9), we make the following observation. Corollary 1. Projections of the sets U(T ), U(T ), U = (T ), B(T ), and B = (T ) onto the space of capacity variables are equal. Therefore, for the undirected case it suffices to study symmetric traffic matrices to characterize all valid inequalities that involve capacity variables only. The same, however, is not the case for the bidirected case. Remark 1. The observation above suggests that the polyhedral structure of the bidirected network design problem is more complicated than that of the undirected one. To demonstrate this, consider an instance of the bidirected network design problem that has a single facility type with c m = 1. Let G = (N, E) be the complete (undirected) graph on three nodes and assume that there is no existing capacity. It is known that [7] the projection of feasible solutions onto the space of capacity variables is { proj y (B(T )) = y R 3 : y(i) T (i) i N, { i N y e max T (i) } }, Θ, e E 5

where for i N we let j and k denote the remaining two nodes in N \ {i} and define y(i) = y {i,j} + y {i,k}, T (i) = max{t ij + t ik, t ji + t ki }, and Θ = max (i,j,k) Π {t ij + t ik + t jk } where Π contains all triplets obtained by permuting the nodes in N = {1,, 3}. Now consider T, the symmetric counterpart of T, and notice that for all i N, we have t ij + t ik = t ji + t ki and therefore T (i) = t ij + t ik. In addition, for all (i, j, k) Π we have Θ = t ij + t ik + t jk and (T (1) + T () + T (3))/ Θ as t 1 + t 13 + t 1 + t 3 + t 13 + t 3 t 1 + t 13 + t 3. Consequently, we have the simpler projection { proj y (B(T )) = y R 3 : y(i) T (i) i N, i N y e T (i) } e E for the undirected model. = proj y (U(T/)) 4. Directed capacity model In the directed network design problem, the capacities are added on the arcs so that the total flow on an arc is limited by the capacity of the arc. The problem is modeled as: min f(x, y) s.t. x k ij x k ji = d k i, for k K, i N, (11) j N + i j N i x k ij c ij + m M c m y m,ij, for (ij) A, (1) x, y 0, y Z M A. (13) Let D(T ) denote the set of feasible solutions (x, y) to inequalities (11) (13). Let y 1 be the vector of capacity variables on arcs (ij) with i < j and y be the vector of capacity variables on arcs (ij) with i > j. Similarly define existing capacity vectors c 1, c. Observe for a graph that has a reverse arc (ji) for each arc (ij) that adding constraints y 1 = y to D(T ) gives an equivalent formulation to B(T ) provided that c ij = c ji = c e for all (ij) and e = {i, j}. Let D = (T ) = D(T ) {y Z M A : y 1 = y }. Lemma 5. Suppose c 1 = c = c. The point (x, y) is feasible for B(T ) if and only if (x, y 1, y ) with y 1 = y = y is feasible for D = (T ). Proof. If (x, y) is feasible for B(T ), then letting y 1 = y = y gives a point (x, y 1, y ) in D(T ) satisfying y 1 = y. Conversely, if (x, y 1, y ) is feasible for D = (T ), then (x, y 1 ) is feasible for B(T ) as { } max c {i,j} + y{i,j} 1. x k ij, x k ji Consequently, every valid inequality for D(T ) yields a valid inequality for B(T ) as shown in the next proposition. 6

Proposition 3. If πx + β 1 y 1 + β y π o is valid for D(T ), then πx + (β 1 + β )y π o is valid for B(T ). Proof. Let (x, y) be a feasible point in B(T ). For y 1 = y = y, we have Thus inequality holds. πx + (β 1 + β )y = πx + β 1 y + β y = πx + β 1 y 1 + β y π o. Remark. Now we will show that some of the valid inequalities derived for B(T) in the literature can be obtained directly from valid inequalities for D(T) via Proposition 3. Consider a nonempty two-partition (U, V ) of the vertices of the network. Let b k denote the net demand of commodity k in V from U. Let A + be the set of arcs directed from U to V, A be the set of arcs directed from V to U, and A = A + A. For Q K let x Q (S) = k Q xk (S) and b Q = k Q bk. Without loss of generality, assume b Q 0. For Q K and s M let r s,q = b Q b Q /c s c s and η s,q = b Q /c s, where b Q = b Q c(s + ) + c(s ). Then multi-commodity multi-facility cut-set inequality [3] φ s,q (c m)y m (S ) x Q (S ) r s,q η s,q, (14) where and m M φ + s,q (c m)y m (S + )+x Q (A + \ S + )+ m M φ + s,q (c) = { c k(c s r s,q ) if kc s c < kc s + r s,q, (k + 1)r s,q if kc s + r s,q c < (k + 1)c s, φ s,q (c) = { c kr s,q if kc s c < (k + 1)c s r s,q, k(c s r s,q ) if kc s r s,q c < kc s, and k Z, is valid for D(T). Above φ + s,q and φ s,q are subadditive MIR functions written in closed form. Let E + be the undirected edges corresponding to S + and E be the undirected edges corresponding to S. Then, Proposition 3 implies the bidirected valid inequality φ s,q (c m)y m (E ) x Q (S ) r s,q η s,q (15) m M φ + s,q (c m)y m (E + )+x Q (A + \ S + )+ m M for B(T), which is given by Raack et al. [16]. For the single facility case with c m = 1, the directed inequality (14) reduces to r Q y(s + ) + x Q (A + \ S + ) + (1 r Q )y(s ) x Q (S ) r Q η Q, (16) where r Q = b Q b Q and η Q = b Q. Proposition 3 implies the corresponding bidirected valid inequality for B(T). r Q y(e + ) + x Q (A + \ S + ) + (1 r Q )y(e ) x Q (S ) r Q η Q, (17) 5. Concluding Remarks We examined the relationship between three separately-studied capacity models for network design to provide a unifying approach and showed how to translate valid inequalities from one to the others. The directed model is the most general one and, therefore, valid inequalities for it can be translated into bidirected and undirected models. It is shown that the projections of the undirected and bidirected models onto the capacity variables are the 7

same. We demonstrated that valid inequalities previously given for undirected and bidirected models can be seen as a consequence of the relationship between these models and the directed model. Acknowledgement A. Atamtürk is supported, in part, by grant FA9550-10-1-0168 from the Office of the Assistant Secretary of Defense for Research and Engineering. O. Günlük would like to thank the Numerical Analysis Group at Oxford Maths Institute for hosting him during this project. References [1] T. Achterberg and C. Raack. The MCF-separator: detecting and exploiting multicommodity flow structures in MIPs. Mathematical Programming Computation, :15 165, 010. [] Y. K. Agarwal. K-partition-based facets of the network design problem. Networks, 47: 13 139, 006. [3] A. Atamtürk. On capacitated network design cut set polyhedra. Mathematical Programming, 9:45 437, 00. [4] A. Atamtürk and O. Günlük. Network design arc set with variable upper bounds. Networks, 50:17 8, 007. [5] A. Atamtürk and D. Rajan. On splittable and unsplittable flow capacitated network design arc-set polyhedra. Mathematical Programming, 9:315 333, 00. [6] A. Atamtürk, G. L. Nemhauser, and M. W. P. Savelsbergh. Valid inequalities for problems with additive variable upper bounds. Mathematical Programming, 91:145 16, 001. [7] D. Bienstock and O. Günlük. Capacitated network design - Polyhedral structure and computation. INFORMS Journal on Computing, 8:43 59, 1996. [8] D. Bienstock, S. Chopra, O. Günlük, and C.-Y. Tsai. Minimum cost capacity installation for multicommodity networks. Mathematical Programming, 81:177 199, 1998. [9] O. Günlük. A branch-and-cut algorithm for capacitated network design problems. Mathematical Programming, 86:17 39, 1999. [10] Faiz Hamid and Yogesh K. Agarwal. Solving the two-facility network design problem with 3-partition facets. Networks, 66:11 3, 015. [11] T. L. Magnanti and P. Mirchandani. Shortest paths, single origin-destination network design, and associated polyhedra. Networks, 3:103 11, 1993. [1] T. L. Magnanti and R. T. Wong. Network design and transportation planning: Models and algorithms. Transportation Science, 18:1 55, 1984. [13] T. L. Magnanti, P. Mirchandani, and R. Vachani. The convex hull of two core capacitated network design problems. Mathematical Programming, 60:33 50, 1993. [14] T. L. Magnanti, P. Mirchandani, and R. Vachani. Modeling and solving the two facility capacitated network loading problem. Operations Research, 43:14 157, 1995. [15] P. Mirchandani. Projections of the capacitated network loading problem. European Journal of Operational Research, 1:534 560, 000. [16] C. Raack, A. M.C.A. Koster, S. Orlowski, and R. Wessäly. On cut-based inequalities for capacitated network design polyhedra. Networks, 57:141 156, 011. 8