Thoughts About Integer Programming University of Montreal, January 26, 2007.

Slides:



Advertisements
Similar presentations
Forty Years of Corner Polyhedra. Two Types of I.P. All Variables (x,t) and data (B,N) integer. Example: Traveling Salesman Some Variables (x,t) Integer,
Advertisements

Corner Polyhedra and 2-Dimensional Cuttimg Planes George Nemhauser Symposium June
Integer Programming Kusdhianto Setiawan Gadjah Mada University.
Linear Inequalities and Linear Programming Chapter 5 Dr.Hayk Melikyan/ Department of Mathematics and CS/ Linear Programming in two dimensions:
Learning Objectives for Section 5.3
Algorithmic Problems in Algebraic Structures Undecidability Paul Bell Supervisor: Dr. Igor Potapov Department of Computer Science
Linear Equations in Linear Algebra
D Nagesh Kumar, IIScOptimization Methods: M7L1 1 Integer Programming All Integer Linear Programming.
1 Linear Programming Supplements (Optional). 2 Standard Form LP (a.k.a. First Primal Form) Strictly ≤ All x j 's are non-negative.
LP formulation of Economic Dispatch
Prof. D. Zhou UT Dallas Analog Circuits Design Automation 1.
Algebra II w/ trig. Substitution Method: 1. Solve an equation for x or y 2. Substitute your result from step 1 into the other equation and solve for the.
LINEAR ALGEBRA A toy manufacturer makes airplanes and boats: It costs $3 to make one airplane and $2 to make one boat. He has a total of $60. The many.
Two key suggestions that came from the various focus groups across Ontario were:
Surprises in high dimensions Martin Lotz Galois Group, April 22, 2015.
1.3 The Intersection Point of Lines System of Equation A system of two equations in two variables looks like: – Notice, these are both lines. Linear Systems.
Systems of Inequalities in Two Variables Sec. 7.5a.
1 Lifting Procedures Houston Chapter of INFORMS 30 May 2002 Maarten Oosten.
To accompany Quantitative Analysis for Management, 8e by Render/Stair/Hanna 11-1 © 2003 by Prentice Hall, Inc. Upper Saddle River, NJ Chapter 11.
Section 7.1 Solving Linear Systems by Graphing. A System is two linear equations: Ax + By = C Dx + Ey = F A Solution of a system of linear equations in.
§ 3.6 Solving Quadratic Equations by Factoring. Martin-Gay, Developmental Mathematics 2 Zero Factor Theorem Quadratic Equations Can be written in the.
Branch-and-Cut Valid inequality: an inequality satisfied by all feasible solutions Cut: a valid inequality that is not part of the current formulation.
1.8 Solving Absolute Value Equations and Inequalities Objectives: Write, solve, and graph absolute value equations and inequalities in mathematical and.
Copyright © Cengage Learning. All rights reserved. 2 SYSTEMS OF LINEAR EQUATIONS AND MATRICES Read pp Stop at “Inverse of a Matrix” box.
D Nagesh Kumar, IIScOptimization Methods: M7L2 1 Integer Programming Mixed Integer Linear Programming.
AIM: How can we solve a system using addition or subtraction? Topic: Solving systems by adding or subtracting.
Surface Area and Volume of Similar Figures Section 12.7.
1.4 Solving Equations Honors Algebra II Goals: ~Solving Equations ~Solving Word Problems with Equations.
Differential equations. Many applications of mathematics involve two variables and a relation between them is required. This relation is often expressed.
Advanced Algebra Notes Section 3.4: Solve Systems of Linear Equations in Three Variables A ___________________________ x, y, and z is an equation of the.
Solving Quadratic Equations by Factoring. Martin-Gay, Developmental Mathematics 2 Zero Factor Theorem Quadratic Equations Can be written in the form ax.
2.1 – Linear and Quadratic Equations Linear Equations.
Section 3-5: Lines in the Coordinate Plane Goal 2.02: Apply properties, definitions, and theorems of angles and lines to solve problems and write proofs.
Linear Functions Section 1-1 Points Lines Objective: To find the intersection of two lines and to find the length and the coordinates of the midpoint of.
Sullivan Algebra and Trigonometry: Section 12.9 Objectives of this Section Set Up a Linear Programming Problem Solve a Linear Programming Problem.
October 7, 2015 Warm-Up:Warm-Up:. Homework Worksheet 4.2.
3.5 Perform Basic Matrix Operations Add Matrices Subtract Matrices Solve Matric equations for x and y.
Algebra Review. Systems of Equations Review: Substitution Linear Combination 2 Methods to Solve:
Algorithmic Problems in Algebraic Structures Undecidability Paul Bell Supervisor: Dr. Igor Potapov Department of Computer Science
1.8 Solving Absolute Value Equations and Inequalities Objectives: Write, solve, and graph absolute value equations and inequalities in mathematical and.
College Algebra Chapter 2 Functions and Graphs Section 2.4 Linear Equations in Two Variables and Linear Functions.
3.1 Solve Linear Systems by Graphing Algebra II. Definition A system of two linear equations in two variables x and y, also called a linear system, consists.
Surface Area and Volume of Similar Figures
Solving Linear Systems
Warm-up October 14, ) Write an algebraic expression for the area AND perimeter of the rectangle. 8 x + 6 Make sure to simplify both expressions.
Entry Task   by.
Lines in the Coordinate Plane
Module 1 Review ( ) Rewrite the following equations in slope-intercept form (solve for y), then graph on the coordinate plane.
3-2 Graphs of Linear Equations in 2 Variables
1.8 Solving Absolute Value Equations and Inequalities
Take Out Paper for Notes!
Chapter 3 Graphs and Functions
College Algebra Chapter 2 Functions and Graphs
Preview Linear Systems Activity (on worksheet)
Chapter 6. Large Scale Optimization
Solving Systems of Three Equations
Solving Equations with variables on each side
3-5 Linear Equations in Three Dimensions Warm Up Lesson Presentation
Matteo Fischenders, University of Padova
2. Generating All Valid Inequalities
Cutting Stock Problem Problem of cutting an unlimited number of pieces of material (paper rolls, for instance) of length l to produce ni pieces of length.
Chapter 3 Graphs and Functions.
Three Variables We extend the general form of a linear equation to make room for a third variable. Ax + By + Cz = D where A, B, C, D are some real numbers.
What is a constant function?
Part II General Integer Programming
2 Chapter Chapter 2 Equations, Inequalities and Problem Solving.
Algebra.
Solving Systems of Three Equations
Chapter 6. Large Scale Optimization
Ch. 4 Vocabulary continued (4-3)
Presentation transcript:

Thoughts About Integer Programming University of Montreal, January 26, 2007

Integer Programming Max c x Ax=b Some or All x Integer

Why Does Integer Prrogramming Matter? Navy Task Force Patterns in Stock Cutting Economies of Scale in Industries Trade Theory – Conflicting National Interests

CUTS WASTE Roll of Paper at Mill

The Effect of the Number of Industries (8)

The Effect of the Number of Industries (3)

The Effect of the Number of Industries (2)

How Do You Solve I.Ps? Branch and Bound, Cutting Planes

L.P.,I.P.and Corner Polyhedron

I.P. and Corner Polyhedron Integer Programs – Complex, no obvious structure Corner Polyhedra – Highly Structured We use Corner Polyhedra to generate cutting planes

Equations

T-Space

Corner Polyhedra and Groups

Structure of Corner Polyhedra I

Structure of Corner Polyhedra II

Shooting Theorem:

Concentration of Hits Ellis Johnson and Lisa Evans

Cutting Planes From Corner Polyhedra

Why Does this Work?

Equations 2

Why π(x) Produces the Equality It is subadditive: π(x) + π(y) π(x+y) It has π(x) =1 at the goal point x=f 0

Cutting Planes are Plentiful Hierarchy: Valid, Minimal, Facet

Hierarchy

Example: Two Facets

Low is Good - High is Bad

Example 3

Gomory-Johnson Theorem

3-Slope Example

Continuous Variables t

Origin of Continuous Variables Procedure

Integer versus Continuous Integer Variables Case More Developed But all of the more developed cutting planes are weaker than the Gomory Mixed Integer Cut with respect to continuous variables

Comparing

The Continuous Problem and A Theorem

Cuts Provide Two Different Functions on the Real Line

Start with Continuous Case

Direction Create continuous facets Turn them into facets for the integer problem

Helpful Theorem Theorem(?) If is a facet of the continous problem, then (kv)=k (v). This will enable us to create 2-dimensional facets for the continuous problem.

Creating 2D facets

The triopoly figure

This corresponds to

The related periodic figure

This Corresponds To

Results for a Very Small Problem

Gomory Mixed Integer Cuts

2D Cuts Added

Summary Corner Polyhedra are very structured There is much to learn about them It seems likely that that structure can can be exploited to produce better computations

Challenges Generalize cuts from 2D to n dimensions Work with families of cutting planes (like stock cutting) Introduce data fuzziness to exploit large facets and ignore small ones Clarify issues about functions that are not piecewise linear.

END

References Some Polyhedra Related to Combinatorial Problems, Journal of Linear Algebra and Its Applications, Vol. 2, No. 4, October 1969, pp Some Continuous Functions Related to Corner Polyhedra, Part I with Ellis L. Johnson, Mathematical Programming, Vol. 3, No. 1, North-Holland, August, 1972, pp Some Continuous Functions Related to Corner Polyhedra, Part II with Ellis L. Johnson, Mathematical Programming, Vol. 3, No. 3, North-Holland, December 1972, pp T-space and Cutting Planes Paper, with Ellis L. Johnson, Mathematical Programming, Ser. B 96: Springer-Verlag, pp (2003).