Models in I.E. Lectures 22-23 Introduction to Optimization Models: Shortest Paths.

Slides:



Advertisements
Similar presentations
Analysis of Algorithms
Advertisements

NP-Hard Nattee Niparnan.
Outline LP formulation of minimal cost flow problem
Approximation Algorithms
Introduction to Algorithms
1 NP-completeness Lecture 2: Jan P The class of problems that can be solved in polynomial time. e.g. gcd, shortest path, prime, etc. There are many.
1 The TSP : Approximation and Hardness of Approximation All exact science is dominated by the idea of approximation. -- Bertrand Russell ( )
DMOR Networks. Graphs: Koenigsberg bridges Leonard Euler problem (1736)
Lecture 10: Integer Programming & Branch-and-Bound
Management Science 461 Lecture 2b – Shortest Paths September 16, 2008.
Introduction to Linear and Integer Programming
Computability and Complexity 23-1 Computability and Complexity Andrei Bulatov Search and Optimization.
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.
Math443/543 Mathematical Modeling and Optimization
The Theory of NP-Completeness
Computability and Complexity 24-1 Computability and Complexity Andrei Bulatov Approximation.
CSE 421 Algorithms Richard Anderson Lecture 27 NP Completeness.
Online Data Gathering for Maximizing Network Lifetime in Sensor Networks IEEE transactions on Mobile Computing Weifa Liang, YuZhen Liu.
Minimum Cost Flow Lecture 5: Jan 25. Problems Recap Bipartite matchings General matchings Maximum flows Stable matchings Shortest paths Minimum spanning.
Lecture 20: April 12 Introduction to Randomized Algorithms and the Probabilistic Method.
CSE 550 Computer Network Design Dr. Mohammed H. Sqalli COE, KFUPM Spring 2007 (Term 062)
Optimization from Prof. Goldsman’s lecture notes.
Randomized Algorithms Morteza ZadiMoghaddam Amin Sayedi.
1.3 Modeling with exponentially many constr.  Some strong formulations (or even formulation itself) may involve exponentially many constraints (cutting.
Bold Stroke January 13, 2003 Advanced Algorithms CS 539/441 OR In Search Of Efficient General Solutions Joe Hoffert
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.
Tonga Institute of Higher Education Design and Analysis of Algorithms IT 254 Lecture 8: Complexity Theory.
1 Minimum Cost Flows Goal: Minimize costs to meet all demands in a network subject to capacities (combines elements of both shortest path and max flow.
Great Theoretical Ideas in Computer Science.
CSE332: Data Abstractions Lecture 24.5: Interlude on Intractability Dan Grossman Spring 2012.
1 1 © 2003 Thomson  /South-Western Slide Slides Prepared by JOHN S. LOUCKS St. Edward’s University.
Data Structures & Algorithms Graphs
CSE 589 Part VI. Reading Skiena, Sections 5.5 and 6.8 CLR, chapter 37.
Integer Programming (정수계획법)
Pipelining and Retiming
CSE 589 Part V One of the symptoms of an approaching nervous breakdown is the belief that one’s work is terribly important. Bertrand Russell.
1 An Arc-Path Model for OSPF Weight Setting Problem Dr.Jeffery Kennington Anusha Madhavan.
Lagrangean Relaxation
DEPARTMENT/SEMESTER ME VII Sem COURSE NAME Operation Research Manav Rachna College of Engg.
Lecture. Today Problem set 9 out (due next Thursday) Topics: –Complexity Theory –Optimization versus Decision Problems –P and NP –Efficient Verification.
Graphs Definition: a graph is an abstract representation of a set of objects where some pairs of the objects are connected by links. The interconnected.
C&O 355 Lecture 19 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: A A A A A A A A A A.
TU/e Algorithms (2IL15) – Lecture 12 1 Linear Programming.
The NP class. NP-completeness Lecture2. The NP-class The NP class is a class that contains all the problems that can be decided by a Non-Deterministic.
Great Theoretical Ideas in Computer Science.
::Network Optimization:: Minimum Spanning Trees and Clustering Taufik Djatna, Dr.Eng. 1.
Section 7.5 Linear Programming Math in Our World.
Lecture 20. Graphs and network models 1. Recap Binary search tree is a special binary tree which is designed to make the search of elements or keys in.
ICS 353: Design and Analysis of Algorithms NP-Complete Problems King Fahd University of Petroleum & Minerals Information & Computer Science Department.
The NP class. NP-completeness
NP-completeness Ch.34.
Chapter 10 NP-Complete Problems.
St. Edward’s University
Graph Theory and Optimization
The minimum cost flow problem
Graph Theory and Algorithm 02
CS223 Advanced Data Structures and Algorithms
1.3 Modeling with exponentially many constr.
ICS 353: Design and Analysis of Algorithms
Analysis of Algorithms
Integer Programming (정수계획법)
Introduction Basic formulations Applications
Lecture 19-Problem Solving 4 Incremental Method
1.3 Modeling with exponentially many constr.
Integer Programming (정수계획법)
Chapter 5 Transportation, Assignment, and Transshipment Problems
Chapter 1. Formulations.
REVIEW FOR EXAM 1 Chapters 3, 4, 5 & 6.
Lecture 24 Vertex Cover and Hamiltonian Cycle
Presentation transcript:

Models in I.E. Lectures Introduction to Optimization Models: Shortest Paths

Shortest Paths: Outline Shortest Path Examples: – Distances – Times Definitions More Examples – Costs – Reliability Optimization Models

Example: Distances Shortest Auto Travel Routes

Example: Times Routing messages on the internet

Shortest Path: Definitions Graph G= (V,E) –V: vertex set, contains special vertices s and t –E: edge set Costs Cij on edges (i,j) in E –Cij >= 0: The model we are studying –no cycles with negative total cost –arbitrary costs (rarely used: too hard to solve) Cost of a path = sum of edge costs Objective: find min cost path from s to t

Shortest Path Shortest Path is a particular kind of math problem, as is ``finding the roots of a quadratic polynomial’’ or ``maximizing a differentiable function in one variable’’. Shortest Path is an Optimization Problem. It has –A set of possible solutions (paths from s to t) –An objective function (minimize the sum of edge costs)

Shortest path as an optimization problem Shortest path has something else, which makes it useful... An algorithm that correctly and quickly solves cases of the shortest path problem, provided that –the instances satisfy Cij >= 0 –the instances are not too huge

Shortest path: More examples

Goal: have use of a car for 4 years at minimum cost

Auto use example Vertices of graph need not represent physical locations –V= {0,1,2,3,4} –time 0, 1,...,4 in years Seek least expensive path from 0 to 4 Edge cost from i to j: cost of buying a car at time i, using it, and selling it at time j –for each edge, pick cheapest alternative (new or used)

Auto use: shortest path

Example: Reliability Send a packet on a network from s to t Transmission fails if any arc on path fails Arc ij successfully transmits a packet with probability Pij. Probabilities are independent. Problem: what path on the network has the highest probability of successful transmission from s to t?

Reliable Paths Reliability of a path = product of Pij for edges ij on path Maximizing a product instead of minimizing a sum -- doesn’t seem to fit shortest path model Method (trick used more than once): set Cij = - log Pij

How we use optimization models Real problem Math Problem (Optimization Model) Solution to Math Problem Data Algorithm

How we use optimization models Real problem Math Problem (Optimization Model) Solution to Math Problem Data Algorithm Conceptual Model

To use a model successfully We need TWO things The model must fit the real problem We must be able to solve the model Realism or Generality Solvability or Tractability

To use a model successfully We need TWO things The model must fit the real problem We must be able to solve the model T E N S I O N

Spectrum of Optimization Models Less General Easier to solve Can solve larger cases and/or can solve cases more quickly More general Applies to more problems but harder to solve, especially to solve large cases

Modeling Modeling is almost always a tradeoff between realism and solvability Good modelers know –computational limits of different models –how to make a model fit a wider range of real problems –how to make a real problem fit into a model Advanced modelers know –how to solve a wider range of models –how to extend the range of cases that can be solved with software tools

How to make a model fit a wider range of real problems I. Mathematical agility –example: taking logs to convert max product to min sum –example: robot cleanup, minimax assignment II. Conceptual agility –example: Shortest path model for automobile use. Realizing that nodes on a graph need not represent physical locations or objects. –example: Shortest path model for stocking paper rolls at a cardboard box manufacturer

How to make a real problem fit into a model JUDGEMENT (how to teach???) –Cutting corners –Approximating if your data are inexact.... –Aggregating –Simplifying Example: in automobile problem, we could decide to sell and purchase at any time, not just at start of year. But a continuous time decision model is more complex.

modeling When you have a choice between two models, both of which “capture” the same information about the problem, use the model that is easier to solve

Spectrum of Optimization Models Networks Networks+ LP Convex QP IP NLP Shortest Path Min Span Tree Max Flow Assignment Transportation Min Cost Flow portfolio optimization chemical processes materials design blending planning logistics scheduling production/distribution flow of materials

Preparation for Next Class We will concentrate on LP (linear programming) formulation Read the problems posted before class. We will not have time to read them during lecture.