1 Integrality constraints Integrality constraints are often crucial when modeling optimizayion problems as linear programs. We have seen that if our linear.

Slides:



Advertisements
Similar presentations
Introduction to Algorithms 6.046J/18.401J/SMA5503
Advertisements

Introduction to Algorithms NP-Complete
1 Material to Cover  relationship between different types of models  incorrect to round real to integer variables  logical relationship: site selection.
1 LP Duality Lecture 13: Feb Min-Max Theorems In bipartite graph, Maximum matching = Minimum Vertex Cover In every graph, Maximum Flow = Minimum.
Reducibility Class of problems A can be reduced to the class of problems B Take any instance of problem A Show how you can construct an instance of problem.
1 The TSP : Approximation and Hardness of Approximation All exact science is dominated by the idea of approximation. -- Bertrand Russell ( )
MS&E 211 Minimum Cost Flow LP Ashish Goel. Minimum Cost Flow (MCF) Need to ship some good from “supply” nodes to “demand” nodes over a network – Example:
Optimization Problems 虞台文 大同大學資工所 智慧型多媒體研究室. Content Introduction Definitions Local and Global Optima Convex Sets and Functions Convex Programming Problems.
Discrete Optimization Shi-Chung Chang. Discrete Optimization Lecture #1 Today: Reading Assignments 1.Chapter 1 and the Appendix of [Pas82] 2.Chapter 1.
Computability and Complexity 23-1 Computability and Complexity Andrei Bulatov Search and Optimization.
1 State of the art for TSP TSP instances of thousand of cities can be consistently solved to optimality. Instances of up to cities have been solved:
TSP Travelling Salesperson Problem (TSP) Very famous problem Many practical applications Very easy to describe Very difficult to solve (Curse of.
1 Linear Programming Jose Rolim University of Geneva.
1 Polynomial Church-Turing thesis A decision problem can be solved in polynomial time by using a reasonable sequential model of computation if and only.
Branch and Bound Similar to backtracking in generating a search tree and looking for one or more solutions Different in that the “objective” is constrained.
1 dKS, Spring Some practical information Lecturers: Kristoffer Arnsfelt Hansen and Peter Bro Miltersen. Homepage:
Introduction to Linear and Integer Programming Lecture 7: Feb 1.
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.
1 Polynomial Church-Turing thesis A decision problem can be solved in polynomial time in a reasonable sequential model of computation if and only if it.
Math443/543 Mathematical Modeling and Optimization
1 Optimization Spring 2007 (Third Quarter). 2 Some practical remarks Homepage: Exam: Written, 3 hours. There.
1 Traveling Salesman Problem (TSP) Given n £ n positive distance matrix (d ij ) find permutation  on {0,1,2,..,n-1} minimizing  i=0 n-1 d  (i),  (i+1.
1 Maximum matching Max Flow Shortest paths Min Cost Flow Linear Programming Mixed Integer Linear Programming Worst case polynomial time by Local Search.
The Theory of NP-Completeness
The max flow problem
EAs for Combinatorial Optimization Problems BLG 602E.
Sandia is a multiprogram laboratory operated by Sandia Corporation, a Lockheed Martin Company, for the United States Department of Energy under contract.
Objectives: Set up a Linear Programming Problem Solve a Linear Programming Problem.
1 The Min Cost Flow Problem. 2 Flow Networks with Costs Flow networks with costs are the problem instances of the min cost flow problem. A flow network.
CS541 Advanced Networking 1 Introduction to Optimization Neil Tang 2/23/2009.
1 Ford-Fulkerson method Ford-Fulkerson(G) f = 0 while( 9 simple path p from s to t in G f ) f := f + f p output f Runs in time O(|f max | |E|) where f.
1 The Min Cost Flow Problem. 2 The Min Cost Flow problem We want to talk about multi-source, multi-sink flows than just “flows from s to t”. We want to.
Lecture: 5 Optimization Methods & Heuristic Strategies Ajmal Muhammad, Robert Forchheimer Information Coding Group ISY Department.
1.1 Chapter 1: Introduction What is the course all about? Problems, instances and algorithms Running time v.s. computational complexity General description.
Complexity Classes Kang Yu 1. NP NP : nondeterministic polynomial time NP-complete : 1.In NP (can be verified in polynomial time) 2.Every problem in NP.
Hon Wai Leong, NUS (CS6234, Spring 2009) Page 1 Copyright © 2009 by Leong Hon Wai CS6234 Lecture 1 -- (14-Jan-09) “Introduction”  Combinatorial Optimization.
NP-Complete Problems CSC 331: Algorithm Analysis NP-Complete Problems.
Branch & Bound UPPER =  LOWER = 0.
Network Models (2) Tran Van Hoai Faculty of Computer Science & Engineering HCMC University of Technology Tran Van Hoai.
Nattee Niparnan. Easy & Hard Problem What is “difficulty” of problem? Difficult for computer scientist to derive algorithm for the problem? Difficult.
Great Theoretical Ideas in Computer Science.
Search Methods An Annotated Overview Edward Tsang.
EMIS 8373: Integer Programming NP-Complete Problems updated 21 April 2009.
1 Short Term Scheduling. 2  Planning horizon is short  Multiple unique jobs (tasks) with varying processing times and due dates  Multiple unique jobs.
and 6.855J Lagrangian Relaxation I never missed the opportunity to remove obstacles in the way of unity. —Mohandas Gandhi.
CSE 589 Part VI. Reading Skiena, Sections 5.5 and 6.8 CLR, chapter 37.
§1.4 Algorithms and complexity For a given (optimization) problem, Questions: 1)how hard is the problem. 2)does there exist an efficient solution algorithm?
Traveling Salesman Problem IEOR 4405 Production Scheduling Professor Stein Sally Kim James Tsai April 30, 2009.
Exhaustive Search. Brute Force Methods  guarantee best fitness value is found  feasible for ‘small’ data sets only.
CSE 421 Algorithms Richard Anderson Lecture 27 NP-Completeness and course wrap up.
Master Tour Routing Vladimir Deineko, Warwick Business School.
8/14/04 J. Bard and J. W. Barnes Operations Research Models and Methods Copyright All rights reserved Lecture 6 – Integer Programming Models Topics.
LINEAR PROGRAMMING 3.4 Learning goals represent constraints by equations or inequalities, and by systems of equations and/or inequalities, and interpret.
Lecture 6 – Integer Programming Models Topics General model Logic constraint Defining decision variables Continuous vs. integral solution Applications:
Sullivan Algebra and Trigonometry: Section 12.9 Objectives of this Section Set Up a Linear Programming Problem Solve a Linear Programming Problem.
Great Theoretical Ideas in Computer Science.
EMIS 8373: Integer Programming Combinatorial Optimization Problems updated 27 January 2005.
Approximation algorithms
SAT problem SAT – Boolean satisfiability problem
EMIS 8373: Integer Programming
Integer Programming An integer linear program (ILP) is defined exactly as a linear program except that values of variables in a feasible solution have.
Optimization problems such as
Graph Theory and Algorithm 02
Traveling Salesman Problem
Richard Anderson Lecture 28 Coping with NP-Completeness
Richard Anderson Lecture 30 NP-Completeness
Lecture 19 Linear Program
Richard Anderson Lecture 27 Survey of NP Complete Problems
1.6 Linear Programming Pg. 30.
Lecture 24 Vertex Cover and Hamiltonian Cycle
Presentation transcript:

1 Integrality constraints Integrality constraints are often crucial when modeling optimizayion problems as linear programs. We have seen that if our linear program expresses a network flow problem, we may rephrase it so that such integrality constraints are guaranteed to be satisfied by the solution found. What do we do if we want integrality constraints but our linear program does not express a network flow problem?

2 Mixed Integer Linear Programs (MILP) Find x 2 R n minimizing or maximizing a linear form h x,c i =  i c i x i (the objective function) so that a given set of linear non-strict inequalities and integrality constraints x i 2 Z are satisfied. A feasible solution to the program is a point x satisfying the inequalities and integrality constraints.

3 Integer Linear Programs (ILP) Find x 2 Z n minimizing or maximizing a linear form h x,c i =  i c i x i (the objective function) so that a given set of linear non-strict inequalities are satisfied. A feasible solution to the program is a point x satisfying the inequalities.

4

5 Power of ILP 0-1 variables may be interpreted as Boolean variables. Logical constraints on Boolean variables may be expressed by inequalities. Consequence (to be seen in the course “Combinatorial Search”): ILP is a universal language. It can express any “simple” search/optimization problem.

6

7

8 Traveling Salesman Problem (TSP) Given n cities on a map, find the shortest tour visiting all cities and ending up where it started.

9

10

11 Traveling Salesman Problem (TSP) Given n £ n distance matrix (d ij ) find permutation  of {0,1,2,..,n-1} minimizing The special case of d ij being actual distances on a map is called the Euclidean TSP.

12 TSP as ILP, first attempt

13 TSP as ILP, correct formulation

14 TSP as ILP, compact formulation

15 Maximum matching Max Flow Shortest paths Min Cost Flow Linear Programming Mixed Integer Linear Programming Polynomial time (easy) by Local Search Exponential time (hard). = reduction TSP NP-completeness … …

16 Maximum matching Max Flow Shortest paths Min Cost Flow Linear Programming Mixed Integer Linear Programming Polynomial time (easy) by Local Search Exponential time (hard). = reduction TSP… NP-completeness

17 …. This doesn’t mean that we should give up solving concrete ILP or TSP instances! There is a java program finding the solution below in less than a minute.