1.3 Modeling with exponentially many constr.

Slides:



Advertisements
Similar presentations
Iterative Rounding and Iterative Relaxation
Advertisements

The Primal-Dual Method: Steiner Forest TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A A AA A A A AA A A.
Solving IPs – Cutting Plane Algorithm General Idea: Begin by solving the LP relaxation of the IP problem. If the LP relaxation results in an integer solution,
H.P. WILLIAMS LONDON SCHOOL OF ECONOMICS
C&O 355 Mathematical Programming Fall 2010 Lecture 22 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: A A A.
Greed is good. (Some of the time)
The 2 Period Travelling Salesman Problem Applied to Milk Collection in Ireland By Professor H P Williams,London School of Economics Dr Martin Butler, University.
Chapter 3 The Greedy Method 3.
Branch and Bound Searching Strategies
Approximation Algorithms: Combinatorial Approaches Lecture 13: March 2.
3 -1 Chapter 3 The Greedy Method 3 -2 The greedy method Suppose that a problem can be solved by a sequence of decisions. The greedy method has that each.
1 Optimization problems such as MAXSAT, MIN NODE COVER, MAX INDEPENDENT SET, MAX CLIQUE, MIN SET COVER, TSP, KNAPSACK, BINPACKING do not have a polynomial.
Approximation Algorithms
1 Branch and Bound Searching Strategies 2 Branch-and-bound strategy 2 mechanisms: A mechanism to generate branches A mechanism to generate a bound so.
Sandia is a multiprogram laboratory operated by Sandia Corporation, a Lockheed Martin Company, for the United States Department of Energy under contract.
Steiner trees Algorithms and Networks. Steiner Trees2 Today Steiner trees: what and why? NP-completeness Approximation algorithms Preprocessing.
NetworkModel-1 Network Optimization Models. NetworkModel-2 Network Terminology A network consists of a set of nodes and arcs. The arcs may have some flow.
1.3 Modeling with exponentially many constr.  Some strong formulations (or even formulation itself) may involve exponentially many constraints (cutting.
© The McGraw-Hill Companies, Inc., Chapter 3 The Greedy Method.
Network Models (2) Tran Van Hoai Faculty of Computer Science & Engineering HCMC University of Technology Tran Van Hoai.
Notes 5IE 3121 Knapsack Model Intuitive idea: what is the most valuable collection of items that can be fit into a backpack?
1 Steiner Tree Algorithms and Networks 2014/2015 Hans L. Bodlaender Johan M. M. van Rooij.
Chapter 1. Formulations 1. Integer Programming  Mixed Integer Optimization Problem (or (Linear) Mixed Integer Program, MIP) min c’x + d’y Ax +
Chap 10. Integer Prog. Formulations
1 1 © 2003 Thomson  /South-Western Slide Slides Prepared by JOHN S. LOUCKS St. Edward’s University.
CSE 589 Part VI. Reading Skiena, Sections 5.5 and 6.8 CLR, chapter 37.
11.5 Implicit Partitioning/Packing Problems  Given M = {1, …, m}, K implicitly described sets of feasible subsets of M. Find a maximum value packing or.
Agenda Review: –Planar Graphs Lecture Content:  Concepts of Trees  Spanning Trees  Binary Trees Exercise.
Branch-and-Cut Valid inequality: an inequality satisfied by all feasible solutions Cut: a valid inequality that is not part of the current formulation.
Integer Programming (정수계획법)
OR Chapter 8. General LP Problems Converting other forms to general LP problem : min c’x  - max (-c)’x   = by adding a nonnegative slack variable.
Chapter 2. Optimal Trees and Paths Combinatorial Optimization
8/14/04 J. Bard and J. W. Barnes Operations Research Models and Methods Copyright All rights reserved Lecture 6 – Integer Programming Models Topics.
Lecture 6 – Integer Programming Models Topics General model Logic constraint Defining decision variables Continuous vs. integral solution Applications:
1.3 Modeling with exponentially many constr. Integer Programming
::Network Optimization:: Minimum Spanning Trees and Clustering Taufik Djatna, Dr.Eng. 1.
Discrete Optimization MA2827 Fondements de l’optimisation discrète Material from P. Van Hentenryck’s course.
St. Edward’s University
Integer Programming An integer linear program (ILP) is defined exactly as a linear program except that values of variables in a feasible solution have.
Greedy Technique.
The minimum cost flow problem
6.5 Stochastic Prog. and Benders’ decomposition
Lectures on Network Flows
Chapter 5. Optimal Matchings
1.3 Modeling with exponentially many constr.
Autumn 2016 Lecture 11 Minimum Spanning Trees (Part II)
3.3 Applications of Maximum Flow and Minimum Cut
Chapter 6. Large Scale Optimization
Analysis of Algorithms
Autumn 2015 Lecture 11 Minimum Spanning Trees (Part II)
Integer Programming (정수계획법)
Chapter 6. Large Scale Optimization
András Sebő and Anke van Zuylen
Chapter 1. Formulations (BW)
2.2 Shortest Paths Def: directed graph or digraph
Integer Programming (정수계획법)
5.4 T-joins and Postman Problems
Chapter 6 Network Flow Models.
Flow Feasibility Problems
11.5 Implicit Partitioning/Packing Problems
11.5 Implicit Partitioning/Packing Problems
Part II General Integer Programming
Winter 2019 Lecture 11 Minimum Spanning Trees (Part II)
6.5 Stochastic Prog. and Benders’ decomposition
Chapter 1. Formulations.
Vehicle Routing John H. Vande Vate Fall,
Branch-and-Bound Algorithm for Integer Program
Chapter 6. Large Scale Optimization
Discrete Optimization
Autumn 2019 Lecture 11 Minimum Spanning Trees (Part II)
Presentation transcript:

1.3 Modeling with exponentially many constr. Some strong formulations (or even formulation itself) may involve exponentially many constraints (cutting plane method is used to solve the LP relaxations of them) The minimum spanning tree problem 𝐺=(𝑉,𝐸) undirected graph ( 𝑉 =𝑛, 𝐸 =𝑚). Every edge 𝑒∈𝐸 has cost 𝑐 𝑒 . Find a spanning tree (acyclic connected spanning subgraph of 𝐺) of minimum cost. Let 𝑆⊂𝑉, define 𝐸 𝑆 = 𝑖,𝑗 ∈𝐸:𝑖,𝑗∈𝑆 , 𝛿 𝑆 ={ 𝑖,𝑗 ∈𝐸: one end node of 𝑖,𝑗 is in 𝑆} (cut defined by 𝑆) Integer Programming 2018

Subtour elimination formulation min 𝑒∈𝐸 𝑐 𝑒 𝑥 𝑒 (𝑛−1 edges, no cycle) 𝑒∈𝐸 𝑥 𝑒 =𝑛−1, 𝑒∈𝐸(𝑆) 𝑥 𝑒 ≤ 𝑆 −1, 𝑆⊂𝑉, 𝑆≠∅, 𝑉, 𝑥 𝑒 ∈ 0,1 Cutset formulation min 𝑒∈𝐸 𝑐 𝑒 𝑥 𝑒 (𝑛−1 edges, connected) 𝑒∈𝛿(𝑆) 𝑥 𝑒 ≥1, 𝑆⊂𝑉, 𝑆≠∅, 𝑉, Thm 1.1 : (a) 𝑃 𝑠𝑢𝑏 ⊂ 𝑃 𝑐𝑢𝑡 , and there exist examples for which the inclusion is strict. (b) 𝑃 𝑐𝑢𝑡 can have fractional extreme points. Integer Programming 2018

It can be shown that LP relaxation of subtour elimination formulation gives integer optimal solutions. (polymatroid) Why consider IP formulation although there exist good algorithms (e.g., Kruskal, Prim)? Algorithms may fail if problem structure changed a little bit: degree constrained spanning tree problem, Shortest total path length spanning tree problem, Steiner tree problem, capacitated spanning tree problem, … Formulation of a basic problem may be used as part of a formulation for a larger complicated problem. Theoretical analysis, e.g. strength of 1-tree relaxation of TSP (Lagrangian relaxation). Integer Programming 2018

The traveling salesman problem 𝐺=(𝑉,𝐸) undirected graph. Every edge 𝑒∈𝐸 has cost 𝑐 𝑒 . Find a tour (a cycle that visits all nodes exactly once) of minimum cost. Cutset formulation minimize 𝑒∈𝐸 𝑐 𝑒 𝑥 𝑒 subject to 𝑒∈𝛿( 𝑖 ) 𝑥 𝑒 =2, 𝑖∈𝑉 𝑒∈𝛿(𝑆) 𝑥 𝑒 ≥2, 𝑆⊂𝑉, 𝑆≠∅, 𝑉, 𝑥 𝑒 ∈ 0,1 . Subtour elimination formulation 𝑒∈𝐸(𝑆) 𝑥 𝑒 ≤ 𝑆 −1, 𝑆⊂𝑉, 𝑆≠∅, 𝑉, LP relaxations of both formulations give the same solution set. Integer Programming 2018

Remarks For directed version of the problem, the following formulation is possible, which is smaller in size. But it is a bad formulation. (refer exercise 1.21 in text page 32) (Miller-Tucker-Zemlin (MTZ) formulation) 𝑢 𝑖 − 𝑢 𝑗 +𝑛 𝑦 𝑖𝑗 ≤𝑛−1, 𝑖,𝑗 ∈𝐴, 𝑖,𝑗≠1, 𝑖:(𝑖,𝑗)∈𝐴 𝑦 𝑖𝑗 =1, 𝑗∈𝑉 𝑗:(𝑖,𝑗)∈𝐴 𝑦 𝑖𝑗 =1, 𝑖∈𝑉 𝑦 𝑖𝑗 ∈ 0,1 , 𝑖,𝑗∈𝑉 Note that, 𝑢 𝑗 ′𝑠 are continuous variables in the above formulation (extended formulation). Undirected TSP is a special case of directed case, we may replace each edge by two directed arcs with opposite direction and having the same costs as the edge. Integer Programming 2018

Is the formulation correct? The formulation has 𝑢,𝑦 variables. If ( 𝑢 ∗ , 𝑦 ∗ ) feasible, we only read 𝑦 ∗ values ( projection of ( 𝑢 ∗ , 𝑦 ∗ ) to 𝑦 space) We need to show that (1) any tour solution 𝑦 ∗ satisfies the constraints and (2) any non-tour solution does not satisfy the constraints. (1) For any tour 𝑦 ∗ , if node 𝑖 is 𝑘−th node in the tour, assign 𝑢 𝑖 =𝑘. Note that, when 𝑦 𝑖𝑗 ∗ =1, should have 𝑢 𝑗 ≥ 𝑢 𝑖 +1. (may add 𝑢 1 =1 in the constraints) (2) If 𝑦 ∗ is 0,1 and satisfies degree constraints, it is either a tour or consists of subtours. If subtours exist, there is one that does not include node 1. Add the constraints 𝑢 𝑖 − 𝑢 𝑗 +𝑛 𝑦 𝑖𝑗 ≤𝑛−1 along the arcs in the subtour. Integer Programming 2018

Comparing the LP relaxation of the cutset formulation (A) (in directed case version) and the LP relaxation of the previous formulation (B): It can be shown that the projection of the polyhedron B onto y space gives a polyhedron which completely contains A (the inclusion can be strict), hence cutset formulation (or subtour elimination formulation) is stronger. Although the previous formulation is not strong, it can be an alternative to use if you only have a generic IP software to use, not the sophisticated one to handle the cutset constraints. If we include constraints for the arcs from/to node 1, feasible solutions are free of a directed cycle. (have applications) Integer Programming 2018

How to Solve the LP relaxation of the Cut-Set Formulation? (many constr.) Solve LP relaxation (w/o cut-set constraints) If 𝑥 ∗ is tour, stop. O/w find violated cut-set Solve LP after adding the Cut-set constraint.  violated cutset? Y N Stop Integer Programming 2018

TSP site: http://www.math.uwaterloo.ca/tsp/ Suppose we solved the LP relaxation and obtained a solution 𝑥 ∗ . To find a violated cutset constraint, we assign 𝑥 𝑒 ∗ as the capacity of edge 𝑒, and find min cut of the graph (or find min 𝑠𝑡−cut for all possible 𝑠,𝑡). If the capacity of min cut is < 2, we have found a violated cutset constraint. Otherwise, 𝑥 ∗ is optimal to the LP relaxation. Branching : If 𝑥 𝑒 ∗ ≠0,1 in an optimal solution, solve two subproblems after setting 𝑥 𝑒 =0, and 𝑥 𝑒 =1. Repeat the procedure. Branch-and-cut approach (checking the violation of cutset constraints is necessary in each B-and-B node) Ideas for TSP formulation can be used for various routing, sequencing problems. What can we do for the LP with many variables? For the LP with many vars. and constraints? TSP site: http://www.math.uwaterloo.ca/tsp/ Integer Programming 2018

The perfect matching problem Match 𝑛 persons into pairs perfectly. Cost 𝑐 𝑒 , 𝑒={𝑖,𝑗}, if person 𝑖 is matched with person 𝑗. Construct graph 𝐺=(𝑉,𝐸) with edge cost 𝑐 𝑒 ,𝑒={𝑖,𝑗} for all 𝑒∈𝐸. If {𝑖,𝑗}∉𝐸, 𝑖 and 𝑗 cannot be matched. minimize 𝑒∈𝐸 𝑐 𝑒 𝑥 𝑒 subject to 𝑒∈𝛿( 𝑖 ) 𝑥 𝑒 =1, 𝑖∈𝑉 𝑥 𝑒 ∈ 0,1 . 𝑃 𝑑𝑒𝑔𝑟𝑒𝑒 ≠𝑐𝑜𝑛𝑣(𝐹) (see Fig 1.7) Add 𝑒∈𝛿(𝑆) 𝑥 𝑒 ≥1, 𝑆⊂𝑉, 𝑆≠𝑉, 𝑆 odd or 𝑒∈𝐸(𝑆) 𝑥 𝑒 ≤( 𝑆 −1)/2, 𝑆⊂𝑉, 𝑆≠𝑉, 𝑆 odd Both have 𝑃 𝑚𝑎𝑡𝑐ℎ𝑖𝑛𝑔 =𝑐𝑜𝑛𝑣(𝐹). Integer Programming 2018

Cut covering problems General problem class that includes many problems on networks and graphs 𝐺= 𝑉,𝐸 , 𝑉 =𝑛, undirected graph 𝑓: 2 𝑉 → 𝑍 + , 𝐷⊆𝑉, costs 𝑐 𝑒 ≥0 for 𝑒∈𝐸 Cut covering problems minimize 𝑒∈𝐸 𝑐 𝑒 𝑥 𝑒 subject to 𝑒∈𝛿( 𝑖 ) 𝑥 𝑒 =𝑓 𝑖 , 𝑖∈𝐷⊆𝑉, 𝑒∈𝛿(𝑆) 𝑥 𝑒 ≥𝑓 𝑆 , 𝑆⊆𝑉, 𝑥 𝑒 ∈ 0,1 for all 𝑒∈𝐸. There exists an optimal solution which is minimal w.r.t. inclusion. ( 𝑐 𝑒 ≥0 ) Integer Programming 2018

subject to 𝑒∈𝛿( 𝑖 ) 𝑥 𝑒 =𝑓 𝑖 , 𝑖∈𝐷⊆𝑉, 𝑒∈𝛿(𝑆) 𝑥 𝑒 ≥𝑓 𝑆 , 𝑆⊆𝑉, minimize 𝑒∈𝐸 𝑐 𝑒 𝑥 𝑒 subject to 𝑒∈𝛿( 𝑖 ) 𝑥 𝑒 =𝑓 𝑖 , 𝑖∈𝐷⊆𝑉, 𝑒∈𝛿(𝑆) 𝑥 𝑒 ≥𝑓 𝑆 , 𝑆⊆𝑉, 𝑥 𝑒 ∈ 0,1 . The minimum spanning tree 𝐷=∅, 𝑓 𝑆 =1, for all 𝑆≠∅, 𝑉 The traveling salesman problem 𝐷=𝑉, 𝑓 𝑆 =2, for all 𝑆≠∅, 𝑉 The perfect matching problem 𝐷=𝑉, 𝑓 𝑆 =1, for all 𝑆≠∅, 𝑉 with 𝑆 odd The Steiner tree problem 𝑇⊂𝑉 needs to be connected by a tree possibly using nodes in 𝑉∖𝑇. 𝐷=∅, 𝑓 𝑆 =1, for all 𝑆 with 𝑆∩𝑇≠∅, 𝑇 =0, otherwise Integer Programming 2018

The survivable network design problem Costs 𝑐 𝑒 , for all 𝑒∈𝐸, requirements 𝑟 𝑖𝑗 for every pair of nodes 𝑖,𝑗∈𝑉 Select a set of edges from 𝐸 at minimum cost, so that between every pair of nodes 𝑖 and 𝑗 there are at least 𝑟 𝑖𝑗 paths that do not share any edges ( 𝑟 𝑖𝑗 edge-disjoint paths) 𝐷=∅, 𝑓 𝑆 = max 𝑖∈𝑆, 𝑗∈𝑉∖𝑆 𝑟 𝑖𝑗 , 𝑆≠∅, 𝑉 The vehicle routing problem Integer Programming 2018

Dircted vs. undirected formulations Steiner tree problem minimize 𝑒∈𝐸 𝑐 𝑒 𝑥 𝑒 subject to 𝑒∈𝛿(𝑆) 𝑥 𝑒 ≥1, ∀ 𝑆⊆𝑉, 𝑆∩𝑇≠∅, 𝑇, (1.8) 𝑥 𝑒 ∈ 0,1 . (a) 𝑉 𝑖 ∩𝑇≠∅, 𝑖=1,…,𝑝. (b) 𝑉 𝑖 ∩ 𝑉 𝑗 =∅, 𝑖,𝑗=1,…,𝑝, 𝑖≠𝑗. (c) 𝑖=1 𝑝 𝑉 𝑖 =𝑉 Let 𝛿( 𝑉 1 ,…, 𝑉 𝑝 ) be the set of edges, whose endpoints lie in different 𝑉 𝑖 . minimize 𝑒∈𝐸 𝑐 𝑒 𝑥 𝑒 subject to 𝑒∈𝛿( 𝑉 1 ,…, 𝑉 𝑝 ) 𝑥 𝑒 ≥𝑝−1, ( 𝑉 1 ,…, 𝑉 𝑝 ) satisfying (a)-(c) 𝑥 𝑒 ∈ 0,1 . (1.9) Integer Programming 2018

( 𝑖,𝑗 ∈𝐸 → 𝑡𝑤𝑜 𝑎𝑟𝑐𝑠 𝑖,𝑗 , (𝑗,𝑖)∈𝐴, 𝑐 𝑖𝑗 = 𝑐 𝑗𝑖 ≥0) Directed version 𝐺= 𝑉,𝐸 → 𝐺=(𝑉,𝐴) ( 𝑖,𝑗 ∈𝐸 → 𝑡𝑤𝑜 𝑎𝑟𝑐𝑠 𝑖,𝑗 , (𝑗,𝑖)∈𝐴, 𝑐 𝑖𝑗 = 𝑐 𝑗𝑖 ≥0) Find a minimum cost directed subtree that contains a directed path between some given root vertex 1 (1∈𝑇), and every other terminal in 𝑇. minimize (𝑖,𝑗)∈𝐴 𝑐 𝑖𝑗 𝑦 𝑖𝑗 subject to (𝑖,𝑗)∈ 𝛿 + (𝑆) 𝑦 𝑖𝑗 ≥1, ∀ 𝑆⊂𝑉, 1∈𝑆, 𝑇∖𝑆≠∅, (1.10) 𝑦 𝑖𝑗 + 𝑦 𝑗𝑖 ≤1, 𝑒= 𝑖,𝑗 ∈𝐸, 𝑦 𝑖𝑗 ∈{0,1}. can recover 𝑥 by setting 𝑥 𝑒 = 𝑦 𝑖𝑗 + 𝑦 𝑗𝑖 , for all 𝑒= 𝑖,𝑗 ∈𝐸, 𝑍 𝑠𝑡𝑒𝑖𝑛𝑒𝑟 (𝑇)≤ 𝑍 𝑝𝑎𝑟𝑡𝑖𝑡𝑖𝑜𝑛 (𝑇)≤ 𝑍𝐷 𝑠𝑡𝑒𝑖𝑛𝑒𝑟 (𝑇) (for linear relaxations) Integer Programming 2018

Assume that the root vertex 1∈ 𝑉 1 , and consider (1.8) is a special case of (1.9) with 𝑝=2. ⟹ 𝑍 𝑠𝑡𝑒𝑖𝑛𝑒𝑟 (𝑇)≤ 𝑍 𝑝𝑎𝑟𝑡𝑖𝑡𝑖𝑜𝑛 (𝑇) Assume that the root vertex 1∈ 𝑉 1 , and consider (𝑖,𝑗)∈ 𝛿 + (𝑉∖ 𝑉 𝑘 ) 𝑦 𝑖𝑗 ≥1, 𝑘=2,…,𝑝. Add above together with 𝑦 𝑗𝑖 ≥0 for 𝑗∈ 𝑉 𝑘 , 𝑘=2,…,𝑝 and 𝑖∈ 𝑉 1 ,(𝑖,𝑗)∈𝐸 ⟹ 𝑒∈𝛿( 𝑉 1 ,…, 𝑉 𝑝 ) ( 𝑦 𝑖𝑗 + 𝑦 𝑗𝑖 ) ≥𝑝−1. setting 𝑥 𝑒 = 𝑦 𝑖𝑗 + 𝑦 𝑗𝑖 , we get feasible 𝑥 for the linear relaxation of (1.9) ⟹ 𝑍 𝑝𝑎𝑟𝑡𝑖𝑡𝑖𝑜𝑛 (𝑇)≤ 𝑍𝐷 𝑠𝑡𝑒𝑖𝑛𝑒𝑟 (𝑇) There are examples such that 𝑍 𝑠𝑡𝑒𝑖𝑛𝑒𝑟 𝑇 < 𝑍𝐷 𝑠𝑡𝑒𝑖𝑛𝑒𝑟 (𝑇) For TSP, directed formulation has the same strength Integer Programming 2018

1.4 Modeling with exponentially many variables Column generation method Enumerate partial feasible solutions and represent their interactions in the master model. (Decomposition) Important modeling tool in applications The cutting stock problem Large rolls of paper of width 𝑊 (raw). Customer demand 𝑏 𝑖 rolls of width 𝑤 𝑖 (final), 𝑖=1,…,𝑚. ( 𝑤 𝑖 ≤𝑊) Minimize the number of large rolls used while satisfying customer demand. Cutting pattern 𝑗, 𝑎 1𝑗 ,…, 𝑎 𝑚𝑗 : produce 𝑎 𝑖𝑗 rolls of width 𝑤 𝑖 in 𝑗−th cutting pattern (number of possible cutting patterns can be enormous) A feasible cutting pattern 𝑗 must satisfy 𝑖=1 𝑚 𝑎 𝑖𝑗 𝑤 𝑖 ≤𝑊 and 𝑎 𝑖𝑗 is nonnegative integer. (integer knapsack constraint) Integer Programming 2018

subject to 𝑗=1 𝑛 𝑎 𝑖𝑗 𝑥 𝑗 =(≥) 𝑏 𝑖 , 𝑖=1,…,𝑚, 𝑥 𝑗 ∈ 𝑍 + , 𝑗=1,…,𝑛. Formulation minimize 𝑗=1 𝑛 𝑥 𝑗 subject to 𝑗=1 𝑛 𝑎 𝑖𝑗 𝑥 𝑗 =(≥) 𝑏 𝑖 , 𝑖=1,…,𝑚, 𝑥 𝑗 ∈ 𝑍 + , 𝑗=1,…,𝑛. 𝑥 𝑗 is the number of rolls of width 𝑊 (raw) cut by cutting pattern 𝑗. LP relaxation can be solved by column generation. Fractional optimal solution may be rounded down and a few more raws may be used to produce additional finals. (close to optimal) Integer Programming 2018

Combinatorial auctions 𝑁: set of bidders, 𝑀: set of items being auctioned 𝑏 𝑗 (𝑆) : bid that bidder 𝑗 is willing to pay for 𝑆⊆𝑀 Assume that if 𝑆⋂𝑇=∅, 𝑏 𝑗 𝑆 + 𝑏 𝑗 (𝑇)≤ 𝑏 𝑗 (𝑆∪𝑇) Bidders are allowed to bid on combinations of different items. Let 𝑏 𝑆 = max 𝑗∈𝑁 𝑏 𝑗 (𝑆) maximize 𝑆⊂𝑀 𝑏(𝑆) 𝑥 𝑠 subject to 𝑆:𝑖∈𝑆 𝑥 𝑆 ≤1, 𝑖∈𝑀, 𝑥 𝑆 ∈ 0,1 , 𝑆⊂𝑀 Integer Programming 2018

The vehicle routing problem transportation network: 𝐺= 𝑉,𝐸 , undirected, cost 𝑐 𝑒 , 𝑒∈𝐸. Node 0 is central depot. Node 𝑖∈𝑉 represents customers with demand 𝑑 𝑖 . Company has 𝑚 vehicles with capacities 𝑞 𝑘 , 𝑘=1,…,𝑚 Assume demand of each customer cannot be divided into several vehicles. Let 𝑥 𝑗 =1 if partial tour 𝑗 is used, and zero, otherwise (𝑗=1,…,𝑁) 𝑎 𝑖𝑗 : equals one if node 𝑖 is visited in partial solution 𝑗. 𝑐 𝑗 : cost of tour 𝑗 minimize 𝑐 ′ 𝑥 subject to 𝐴𝑥=𝑒 𝑥∈ 0,1 𝑁 . (may have additional constraint, 𝑥 𝑗 ≤𝑚 ) Integer Programming 2018