Integer Programming Key characteristic of an Integer Program (IP) or Mixed Integer Linear Program (MILP): One or more of the decision variable must be.

Slides:



Advertisements
Similar presentations
Algorithm Design Methods Spring 2007 CSE, POSTECH.
Advertisements

Integer Optimization Basic Concepts Integer Linear Program(ILP): A linear program except that some or all of the decision variables must have integer.
1 Material to Cover  relationship between different types of models  incorrect to round real to integer variables  logical relationship: site selection.
Branch-and-Bound Technique for Solving Integer Programs
BU Decision Models Integer_LP1 Integer Optimization Summer 2013.
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,
1 Cutting Plane Technique for Solving Integer Programs.
Lecture 10: Integer Programming & Branch-and-Bound
Progress in Linear Programming Based Branch-and-Bound Algorithms
Water Resources Development and Management Optimization (Integer Programming) CVEN 5393 Mar 11, 2013.
Introduction to Linear and Integer Programming
Branch and Bound Searching Strategies
Solving Integer Programs. Natural solution ideas that don’t work well Solution idea #1: Explicit enumeration: Try all possible solutions and pick the.
Computational Methods for Management and Economics Carla Gomes
Previously in Chapter 4 Assignment Problems Network Flow Problems Sequential Decision Problems Vehicle Routing Problems Transportation Problems Staffing.
Linear Programming Integer Linear Models. When Variables Have To Be Integers Example – one time production decisions –Fractional values make no sense.
Sandia is a multiprogram laboratory operated by Sandia Corporation, a Lockheed Martin Company, for the United States Department of Energy under contract.
IP modeling techniques II
Review of Reservoir Problem OR753 October 29, 2014 Remote Sensing and GISc, IST.
1 Contents college 3 en 4 Book: Appendix A.1, A.3, A.4, §3.4, §3.5, §4.1, §4.2, §4.4, §4.6 (not: §3.6 - §3.8, §4.2 - §4.3) Extra literature on resource.
Cutting Planes II. The Knapsack Problem Recall the knapsack problem: n items to be packed in a knapsack (can take multiple copies of the same item). The.
LP formulation of Economic Dispatch
Daniel Kroening and Ofer Strichman Decision Procedures An Algorithmic Point of View Deciding ILPs with Branch & Bound ILP References: ‘Integer Programming’
Linear programming. Linear programming… …is a quantitative management tool to obtain optimal solutions to problems that involve restrictions and limitations.
Introduction to Mathematical Programming OR/MA 504 Chapter 5 Integer Linear Programming.
1 Lecture 4 Maximal Flow Problems Set Covering Problems.
Integer programming Branch & bound algorithm ( B&B )
Decision Procedures An Algorithmic Point of View
Spreadsheet Modeling & Decision Analysis:
Operations Research Assistant Professor Dr. Sana’a Wafa Al-Sayegh 2 nd Semester ITGD4207 University of Palestine.
Chapter 9 Integer Programming
Types of IP Models All-integer linear programs Mixed integer linear programs (MILP) Binary integer linear programs, mixed or all integer: some or all of.
Spreadsheet Modeling and Decision Analysis, 3e, by Cliff Ragsdale. © 2001 South-Western/Thomson Learning. 6-1 Integer Linear Programming Chapter 6.
Integer Programming Each year CrossChek decides which lines of golf clubs and clothing it will market. Consider that each line of golf clubs is expected.
Workforce scheduling – Days off scheduling 1. n is the max weekend demand n = max(n 1,n 7 ) Surplus number of employees in day j is u j = W – n j for.
Notes 5IE 3121 Knapsack Model Intuitive idea: what is the most valuable collection of items that can be fit into a backpack?
Logical Topology Design
1 Chapter 4: Integer and Mixed-Integer Linear Programming Problems 4.1 Introduction to Integer and Mixed-Integer Linear Programming 4.2 Solving Integer.
Chapter 1. Formulations 1. Integer Programming  Mixed Integer Optimization Problem (or (Linear) Mixed Integer Program, MIP) min c’x + d’y Ax +
WOOD 492 MODELLING FOR DECISION SUPPORT
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.
Branch-and-Cut Valid inequality: an inequality satisfied by all feasible solutions Cut: a valid inequality that is not part of the current formulation.
Divide and Conquer Optimization problem: z = max{cx : x  S}
Integer Programming (정수계획법)
Integer LP In-class Prob
Integer Programming Key characteristic of an Integer Program (IP) or Mixed Integer Linear Program (MILP): One or more of the decision variable must be.
8/14/04 J. Bard and J. W. Barnes Operations Research Models and Methods Copyright All rights reserved Lecture 6 – Integer Programming Models Topics.
Integer Programming, Branch & Bound Method
Lecture 6 – Integer Programming Models Topics General model Logic constraint Defining decision variables Continuous vs. integral solution Applications:
IE 312 Review 1. The Process 2 Problem Model Conclusions Problem Formulation Analysis.
-114- HMP654/EXECMAS Linear Programming Linear programming is a mathematical technique that allows the decision maker to allocate scarce resources in such.
Chapter 6 Optimization Models with Integer Variables.
Discrete Optimization MA2827 Fondements de l’optimisation discrète Material from P. Van Hentenryck’s course.
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.
Lecture 11: Tree Search © J. Christopher Beck 2008.
Heuristics Definition – a heuristic is an inexact algorithm that is based on intuitive and plausible arguments which are “likely” to lead to reasonable.
MIP Tools Branch and Cut with Callbacks Lazy Constraint Callback
Integer Programming (정수계획법)
Instructors: Fei Fang (This Lecture) and Dave Touretzky
Chapter 1. Formulations (BW)
Integer Programming (정수계획법)
Algorithm Design Methods
Linear Programming Integer Linear Models.
Chapter 1. Formulations.
We have the following incomplete B&B tree:
Branch-and-Bound Technique for Solving Integer Programs
Integer Linear Programming
Presentation transcript:

Integer Programming Key characteristic of an Integer Program (IP) or Mixed Integer Linear Program (MILP): One or more of the decision variable must be integer. In some cases a problem that requires an Integer solution can be solved as a Linear program. When? When rounding off a real number to an integer number has no “effect” on your solution.

Integer Programming LP OPTIMUM FOUND AT STEP 2 ! Homework 7-2) ! ! x1 - model 1 ovens ! x2 - model 2 ovens max 12 x1 + 8.5 x2 st x1 <= 300 x2 <= 100 2.3 x1 + 1.6 x2 <= 500 end free x1 LP OPTIMUM FOUND AT STEP 2 OBJECTIVE FUNCTION VALUE 1) 2623.913 VARIABLE VALUE REDUCED COST X1 147.826080 0.000000 X2 100.000000 0.000000 You cannot manufacture 147.82608 model 1 ovens. Simply rounding off to 147 model 1 ovens is an acceptable solution.

Integer Programming - Example Classic Knapsack Problem: You want to maximize the value of items you can pack into a single suitcase (or knapsack). However, you are limited to a weight of 50 lbs. xi = 0 if not chosen = 1 if put in knapsack Item Value ($) Weight (lbs) A 15 18 B 20 10 C 21 D 13 11 E 12

Integer Programming - Example Classic Knapsack Problem: If integer constraint relaxed - LP OPTIMUM FOUND AT STEP 4 OBJECTIVE FUNCTION VALUE 1) 60.42857 VARIABLE VALUE REDUCED COST XA 0.000000 0.428571 XB 1.000000 0.000000 XC 0.857143 0.000000 XD 1.000000 0.000000 XE 1.000000 0.000000

Integer Programming - Example Classic Knapsack Problem: With integer constraint - OBJECTIVE FUNCTION VALUE 1) 60.00000 VARIABLE VALUE REDUCED COST XA 1.000000 -15.000000 XB 1.000000 -20.000000 XC 0.000000 -18.000000 XD 1.000000 -13.000000 XE 1.000000 -12.000000

Integer Programming - Example Classic Knapsack Problem: How would you modify this formulation if you realized that you could not select item A without selecting item D? Add constraint: xA <= xD How would you modify if you could select at most 3 items? Add constraint: xA + xB + xC + xD + xE <= 3

Integer Programming - Example Other examples of formulating problems: see handouts

Solving IPs and MIPs Approaches: Solve to Optimality Branch and Bound – lesson 6 Implicit Enumeration – lesson 6 Cutting Plane Method – lesson 7 Good and sometimes Optimal Solutions Heuristics (problem specific) – lesson 7 Meta-Heuristics – lesson 8 & 9

Solving IPs – Branch and Bound See Branch and Bound On-Line Example

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 – variables which whose values are unspecified. Completion – when all variables have been assigned a value. Upper Bound (minimization problem) – Best feasible solution found thus far. Lower Bound (minimization problem) – Optimal solution for a relaxed problem at a given node (e.g. some variables fixed, some free).

Solving IPs – Implicit Enumeration Example Sequencing Problem: Sequence a series of jobs to minimize the maximum lateness (Lmax) for a set of jobs to be processed on a single machine. Each job belongs to a given part family. Jobs are denoted with an (i,j) subscript indicating the jth job from family i. Lmax = Max{Lij} Lij = Cij – dij Cij is the completion time of job ij. Family (i) Job (j) Processing Time (pij) Due Date (dij) 1 3 5 2 7 4 6 9 10

Solving IPs – Implicit Enumeration Example Sequencing Problem cont: Also, when starting the processing of a new family, a family setup time is incurred. All jobs are ready to be scheduled at time 0. Family (i) Setup TIme 1 2 3 Optimality Condition: All jobs within a family must be sequenced in earliest due date order (EDD).

Solving IPs – Implicit Enumeration Step 1 – Find an initial Upper bound What is a good upper bound? Step 2 – Perform implicit enumeration. Start building partial sequences and fathom nodes if lower bound for partial sequence exceeds upper bound. Update upper bound whenever a better value is found for a completion. What is a good lower bounding scheme?

Solving IPs – Implicit Enumeration Insert Hand Slides For Example Problem

Solving IPs – Using Lindo Statements – INT and GIN INT – forces binary solution (1 or 0) for decision variable. GIN – forces non-negative integer (0,1,2,3,4…) for decision variable. Knapsack problem: max 15xa + 20xb + 18xc + 13xd + 12xe st 18xa + 10xb + 21xc + 11xd + 11xe <= 50 end int xa int xb int xc int xd int xe