5.2 Mixed Integer Linear Programming

Slides:



Advertisements
Similar presentations
Integer Optimization Basic Concepts Integer Linear Program(ILP): A linear program except that some or all of the decision variables must have integer.
Advertisements

ENM 503 Lesson 7 – Discrete Models Combinatorial Problems and their Solutions I am very discrete.
Branch-and-Bound Technique for Solving Integer Programs
1 Chapter 11 Here we see cases where the basic LP model can not be used.
Pure, Mixed-Integer, Zero-One Models
DMOR Branch and bound. Integer programming Modelling logical constraints and making them linear: – Conjuction – Disjunction – Implication – Logical constraints.
1 1 Slides by John Loucks St. Edward’s University Modifications by A. Asef-Vaziri.
Water Resources Development and Management Optimization (Integer Programming) CVEN 5393 Mar 11, 2013.
Branch & Bound Algorithms
Applications of Stochastic Programming in the Energy Industry Chonawee Supatgiat Research Group Enron Corp. INFORMS Houston Chapter Meeting August 2, 2001.
Sensitivity analysis BSAD 30 Dave Novak
Branch and Bound Algorithm for Solving Integer Linear Programming
Review of Reservoir Problem OR753 October 29, 2014 Remote Sensing and GISc, IST.
Daniel Kroening and Ofer Strichman Decision Procedures An Algorithmic Point of View Deciding ILPs with Branch & Bound ILP References: ‘Integer Programming’
Integer programming Branch & bound algorithm ( B&B )
Decision Procedures An Algorithmic Point of View
Operations Research Assistant Professor Dr. Sana’a Wafa Al-Sayegh 2 nd Semester ITGD4207 University of Palestine.
Chapter 9 Integer Programming
Integer Programming Key characteristic of an Integer Program (IP) or Mixed Integer Linear Program (MILP): One or more of the decision variable must be.
1 Chapter 4: Integer and Mixed-Integer Linear Programming Problems 4.1 Introduction to Integer and Mixed-Integer Linear Programming 4.2 Solving Integer.
WOOD 492 MODELLING FOR DECISION SUPPORT
EASTERN MEDITERRANEAN UNIVERSITY Department of Industrial Engineering Non linear Optimization Spring Instructor: Prof.Dr.Sahand Daneshvar Submited.
1 Linear Programming (LP) 線性規劃 - George Dantzig, 1947.
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.
15.053Tuesday, April 9 Branch and Bound Handouts: Lecture Notes.
Integer Programming Li Xiaolei. Introduction to Integer Programming An IP in which all variables are required to be integers is called a pure integer.
Divide and Conquer Optimization problem: z = max{cx : x  S}
ENGM 631 Optimization Ch. 3: Introduction to Linear Programming.
Integer Programming Key characteristic of an Integer Program (IP) or Mixed Integer Linear Program (MILP): One or more of the decision variable must be.
Branch and Bound Algorithms Present by Tina Yang Qianmei Feng.
Integer Programming, Branch & Bound Method
Operations Research By: Saeed Yaghoubi 1 Graphical Analysis 2.
Chapter 6 Optimization Models with Integer Variables.
1 Chapter 6 Reformulation-Linearization Technique and Applications.
1 Chapter 5 Branch-and-bound Framework and Its Applications.
Solving IPs – Implicit Enumeration Similar to Binary IP Branch and Bound General Idea: Fixed variables – those for which a value has been fixed. Free Variable.
Water Resources Development and Management Optimization (Integer and Mixed Integer Programming) CVEN 5393 Mar 28, 2011.
Integer Programming An integer linear program (ILP) is defined exactly as a linear program except that values of variables in a feasible solution have.
5.3 Mixed-Integer Nonlinear Programming (MINLP) Models
The minimum cost flow problem
EMGT 6412/MATH 6665 Mathematical Programming Spring 2016
6.5 Stochastic Prog. and Benders’ decomposition
MBA 651 Quantitative Methods for Decision Making
CS137: Electronic Design Automation
Introduction to Operations Research
5.2 Mixed Integer Linear Programming
Manpower Planning: Task Scheduling
5.3 Mixed Integer Nonlinear Programming Models
Duality Theory and Sensitivity Analysis
Basic Linear Programming Concepts
Branch and Bound.
Integer Linear Programming
1.3 Modeling with exponentially many constr.
Constraint satisfaction problems
Chapter 6 Network Flow Models.
11.5 Implicit Partitioning/Packing Problems
Cynthia Phillips (Sandia National Laboratories)
11.5 Implicit Partitioning/Packing Problems
6.5 Stochastic Prog. and Benders’ decomposition
Brute force “Obvious” solution Enumerate all possibilities
Chapter 1. Formulations.
Branch-and-Bound Algorithm for Integer Program
Constraint satisfaction problems
Branch-and-Bound Technique for Solving Integer Programs
Integer Linear Programming
Basic Search Methods How to solve the control problem in production-rule systems? Basic techniques to find paths through state- nets. For the moment: -
5.2 Mixed Integer Linear Programming
Discrete Optimization
Presentation transcript:

5.2 Mixed Integer Linear Programming 5.2.2 Implicit Enumeration

Assignment Problem – LP Model

Assignment LP Problem  

Basic Concept The basic idea of implicit enumeration is to explicitly enumerate only a small subset of all possible solutions while concluding that it is not necessary to explicitly investigate the remaining solutions. This is because they are either infeasible or will result in an objective value that is inferior to the best integer solution already found.

Forward steps: o-1-2-3 Backtracking step: 3-2-4 Pendant nodes: 3,4,6,7,10,11,13,14

Search Rules A forward step is defined as the branching process of fixing a free variable to be 1. The backtracking step is defined as the process to trace back to the origin until encounter the 1st node with only one descending branch. At this node, the second descending branch is searched by changing the corresponding variable from 1 to 0. The search process is continued until all pendant nodes are fathomed and each non-pendant node has exactly 2 descending branches.

Additional Terminologies Completion: Given a node and a partial solution, a completion of the partial solution is a solution in which values are specified for all the remaining free variables. Fathom: A partial solution is fathomed by either (1) demonstrating that there are no improving feasible completions or (2) finding the best feasible solution.

Standard Form

Zero Completion Test

Infeasibility Test If no feasible completions (may or may not be zero completion), then the node should be fathomed.

Example

Subproblem P0 All variables are free.

  1

 

 

 

Backtracking!

 

4

 

 

 

 

 

Solution  

In a plant we have 2 production units designated as number 1 and 2, making product 1 and 2, respectively, from the 3 feed stocks (A, B and C). Unit 1 has a maximum capacity of 8000 lb/day, and unit 2 of 10000 lb/day. To make 1 lb of product 1 requires 0.4 lb of A and 0.6 lb of B; to make 1 lb of product 2 requires 0.3 lb of B and 0.7 lb of C. A maximum 6000 lb/day of B is available, but there are no limits on the available amounts of A and C.

Blending Products including Batch Sizes Assume the net revenue after expenses from the manufacture of product 1 is $0.16/lb, and of product 2 is $0.20/lb. How much of products 1 and 2 should be produced per day, assuming that each must be made in batches of 2000lb?