15
Introduction to the pooling problem Formulations for general networks Branch–And–Bound Column Generation Conclusion A Path Formulation for the Generalized Pooling Problem Mohammed Alfaki 3rd Nordic Optimization Symposium, Stockholm, KTH March 13, 2009 Mohammed Alfaki A Path Formulation for the Generalized Pooling Problem

A Path Formulation for the Generalized Pooling Problemmohammeda/publications/stockholm.pdf · Branch{And{Bound Column Generation Conclusion A Path Formulation for the Generalized

  • Upload
    others

  • View
    4

  • Download
    0

Embed Size (px)

Citation preview

Page 1: A Path Formulation for the Generalized Pooling Problemmohammeda/publications/stockholm.pdf · Branch{And{Bound Column Generation Conclusion A Path Formulation for the Generalized

Introduction to the pooling problemFormulations for general networks

Branch–And–BoundColumn Generation

Conclusion

A Path Formulation for the GeneralizedPooling Problem

Mohammed Alfaki

3rd Nordic Optimization Symposium, Stockholm, KTH

March 13, 2009

Mohammed Alfaki A Path Formulation for the Generalized Pooling Problem

Page 2: A Path Formulation for the Generalized Pooling Problemmohammeda/publications/stockholm.pdf · Branch{And{Bound Column Generation Conclusion A Path Formulation for the Generalized

Introduction to the pooling problemFormulations for general networks

Branch–And–BoundColumn Generation

Conclusion

Outline

1 Introduction to the pooling problemWhat is the pooling problem?State of the art in global methodsGeneralization and important applications

2 Formulations for general networksArc and path–oriented formulations

3 Branch–And–BoundLinear relaxation

4 Column GenerationColumn Generation–General ideaHow it works here?

5 Conclusion

Mohammed Alfaki A Path Formulation for the Generalized Pooling Problem

Page 3: A Path Formulation for the Generalized Pooling Problemmohammeda/publications/stockholm.pdf · Branch{And{Bound Column Generation Conclusion A Path Formulation for the Generalized

Introduction to the pooling problemFormulations for general networks

Branch–And–BoundColumn Generation

Conclusion

What is the pooling problem?State of the art in global methodsGeneralization and applications

What is the pooling problem?

Example

Blending problem:

Mohammed Alfaki A Path Formulation for the Generalized Pooling Problem

Page 4: A Path Formulation for the Generalized Pooling Problemmohammeda/publications/stockholm.pdf · Branch{And{Bound Column Generation Conclusion A Path Formulation for the Generalized

Introduction to the pooling problemFormulations for general networks

Branch–And–BoundColumn Generation

Conclusion

What is the pooling problem?State of the art in global methodsGeneralization and applications

What is the pooling problem?

Example

Pooling problem:

Mohammed Alfaki A Path Formulation for the Generalized Pooling Problem

Page 5: A Path Formulation for the Generalized Pooling Problemmohammeda/publications/stockholm.pdf · Branch{And{Bound Column Generation Conclusion A Path Formulation for the Generalized

Introduction to the pooling problemFormulations for general networks

Branch–And–BoundColumn Generation

Conclusion

What is the pooling problem?State of the art in global methodsGeneralization and applications

NP–hardness

Definitions

Mixing raw materials in pools

Two stage blending problem

The model is non–linear

Many local optima

Hard to find global optimum

Theorem

The pooling problem is NP-hardeven in the case of single-layer ofpools.Proof: A poly reduction from the3-dimensinal matching problem tothe single-layered pooling problem.

Mohammed Alfaki A Path Formulation for the Generalized Pooling Problem

Page 6: A Path Formulation for the Generalized Pooling Problemmohammeda/publications/stockholm.pdf · Branch{And{Bound Column Generation Conclusion A Path Formulation for the Generalized

Introduction to the pooling problemFormulations for general networks

Branch–And–BoundColumn Generation

Conclusion

What is the pooling problem?State of the art in global methodsGeneralization and applications

State of the art in global methods

The mathematical models for the pooling problem based onnon–linear formulation

Nonlinearity appears in two type of constraints1 Quality balance at pools2 Quality bound at the terminals (products)

Two formulations exist:1 p–formulation (Haverly 1978): consists of flow and quality

variables2 q–formulation (Ben–Tal et al. 1994): replacing the quality

variables with variable representing flow proportions.

q–formulation is tighter than p–formulation

Tawarmalani & Sahinidis 2005 gave the pq–formulation,which is even tighter

Mohammed Alfaki A Path Formulation for the Generalized Pooling Problem

Page 7: A Path Formulation for the Generalized Pooling Problemmohammeda/publications/stockholm.pdf · Branch{And{Bound Column Generation Conclusion A Path Formulation for the Generalized

Introduction to the pooling problemFormulations for general networks

Branch–And–BoundColumn Generation

Conclusion

What is the pooling problem?State of the art in global methodsGeneralization and applications

Generalization and important applications

The pq–formulation is not applicablewhen we have multi–layered of pools

Important application do exist fo themulti–layered pooling problem:

1 Pipeline transportation of dry gas2 Multi–period inventory model

Mohammed Alfaki A Path Formulation for the Generalized Pooling Problem

Page 8: A Path Formulation for the Generalized Pooling Problemmohammeda/publications/stockholm.pdf · Branch{And{Bound Column Generation Conclusion A Path Formulation for the Generalized

Introduction to the pooling problemFormulations for general networks

Branch–And–BoundColumn Generation

Conclusion

Arc and path–oriented formulations

Arc–oriented formulation

G = (N, A) is DAGParameters:

1 qi , i ∈ S ∪ T , k ∈ K2 ui node capacity of i ∈ N3 cij unit cost of (i , j) ∈ A

Variables:1 wi S quality leaving i ∈ Q2 vij the flow along (i , j) ∈ A

Minimize the cost

Sulfur Quality balance

wi =∑j∈N−i

wjvji

∑j∈N−ivji

, i ∈ Q

Mohammed Alfaki A Path Formulation for the Generalized Pooling Problem

Page 9: A Path Formulation for the Generalized Pooling Problemmohammeda/publications/stockholm.pdf · Branch{And{Bound Column Generation Conclusion A Path Formulation for the Generalized

Introduction to the pooling problemFormulations for general networks

Branch–And–BoundColumn Generation

Conclusion

Arc and path–oriented formulations

Path–oriented formulation

Variables:1 vij the flow along (i , j) ∈ A2 v s

ij flow originating from s ∈ S3 xp flow along path p ∈ P4 y s

i proportion of flow at pool icoming from s ∈ S

Minimize the cost

Propostion variables:

y si =

v sij

vij, s ∈ S , i ∈ Q, (i , j) ∈ A

legal flow:

v sij − ∑

p∈Psij

xp = 0, s ∈ S , (i , j) ∈ A

P: set of directed paths from some source to some sink

Ps ⊆ P: set of paths start with source s ∈ S

Pij ⊆ P: set of paths intersecting (i , j) ∈ A

Psij = Ps ∩ Pij

Mohammed Alfaki A Path Formulation for the Generalized Pooling Problem

Page 10: A Path Formulation for the Generalized Pooling Problemmohammeda/publications/stockholm.pdf · Branch{And{Bound Column Generation Conclusion A Path Formulation for the Generalized

Introduction to the pooling problemFormulations for general networks

Branch–And–BoundColumn Generation

Conclusion

Linear relaxation

Linear relaxation

The idea based on B&B algorithms forinteger programming

Subproblem: linear relaxation

Solve the relaxed problem at eachnode to get upper or lower bounds

Prune: by bound, infeasibility,optimality

Stop when the tree is empty

Mohammed Alfaki A Path Formulation for the Generalized Pooling Problem

Page 11: A Path Formulation for the Generalized Pooling Problemmohammeda/publications/stockholm.pdf · Branch{And{Bound Column Generation Conclusion A Path Formulation for the Generalized

Introduction to the pooling problemFormulations for general networks

Branch–And–BoundColumn Generation

Conclusion

Linear relaxation

Convex and concave envelopes

Sutting ζ = yv the convex andconcave envelopes on rectangleC = [y , y ]× [v , v ] are:

max{yv + yv − yv , yv + yv − y v}

min{yv + yv − yv , yv + yv − yv}

Replacing the bilinear constraintswith ζs

ij − v sij = 0

Adding the above bounds to givelinear relaxation problem R

Mohammed Alfaki A Path Formulation for the Generalized Pooling Problem

Page 12: A Path Formulation for the Generalized Pooling Problemmohammeda/publications/stockholm.pdf · Branch{And{Bound Column Generation Conclusion A Path Formulation for the Generalized

Introduction to the pooling problemFormulations for general networks

Branch–And–BoundColumn Generation

Conclusion

Column Generation–General ideaHow it works here?

Column Generation–General idea

Column generation helpful in problems with manyvariables/columns but relatively few constraints

Exclude some of the variables

The master problem: original problem with only a subset ofvariables

The subproblem: to identify whether there is excluded columnthat reduces the objective function value

Mohammed Alfaki A Path Formulation for the Generalized Pooling Problem

Page 13: A Path Formulation for the Generalized Pooling Problemmohammeda/publications/stockholm.pdf · Branch{And{Bound Column Generation Conclusion A Path Formulation for the Generalized

Introduction to the pooling problemFormulations for general networks

Branch–And–BoundColumn Generation

Conclusion

Column Generation–General ideaHow it works here?

How it works here?

The master problem R ′ will be the problem R with onlyP ′ ⊆ P

The idea is to solve R ′, and whenever we detect that the costcan be reduced by sending flow along any path p ∈ P \ P ′, weaugment P ′ by p

We are looking for a path that reduces the cost

The subproblem will be the Shortest–Path problem, which issolvable in polynomial time, since G is DAG

Mohammed Alfaki A Path Formulation for the Generalized Pooling Problem

Page 14: A Path Formulation for the Generalized Pooling Problemmohammeda/publications/stockholm.pdf · Branch{And{Bound Column Generation Conclusion A Path Formulation for the Generalized

Introduction to the pooling problemFormulations for general networks

Branch–And–BoundColumn Generation

Conclusion

Column Generation–General ideaHow it works here?

Algorithm for solving R

At each node in the B&B tree we will solve the following:

repeatsolve the master problem R ′

for (∀ s ∈ S) dodefine arc lengthsp ← shortest path from s to some t ∈ T in Gif (length(p) < 0) then

P ′ ← P ′ ∪ {p}end

enduntil (no path of length < 0 found)

Mohammed Alfaki A Path Formulation for the Generalized Pooling Problem

Page 15: A Path Formulation for the Generalized Pooling Problemmohammeda/publications/stockholm.pdf · Branch{And{Bound Column Generation Conclusion A Path Formulation for the Generalized

Introduction to the pooling problemFormulations for general networks

Branch–And–BoundColumn Generation

Conclusion

Conclusion

This is work in progress.

The pooling problem is NP–hard

The path–oriented formulation is equivalent to thepq–formulation, when we have one layer of pools

Generalization of the strongest known formulation forone–layer instances

Outlook

Experimental evaluation

Mohammed Alfaki A Path Formulation for the Generalized Pooling Problem