SlideShare a Scribd company logo
Outline




relationship among topics
secrets
LP with upper bounds


by Simplex method




by Simplex method for bounded variables




extended basic feasible solution (EBFS)

optimality conditions for bounded variables




basic feasible solution (BFS)

ideas of the proof

examples



Example 1 for ideas but inexact
Example 2 for the exact procedure
1
A Depot for Multiple Products
 multi-product

by a fleet of trucks
Possible Formulation:
objective function
common constraints, e.g., trucks,
DC capacity, etc.
network
constraints for
type-1 product
network
constraints for
type-1 product

....

depot

network
constraints for
type-1 product

non-negativity constraints

2
A General Type
of Optimization Problems


structure of many problems:






network constraints: easy
other constraints: hard

objective function
network constraints
hard constraints
non-negativity constraints

making use of the easy constraints to solve the problems
solution methods: large-scale optimization



column generation, Lagrangian relaxation, Dantzig-Wolfe
decomposition …
basis: linear programming, network optimization (and also
non-linear optimization, integer optimization, combinatorial
optimization)

3
Relationship of Solution Techniques
 two

directions of theoretical development
for network programming

linear prog.

 from

special structures of networks

 from

linear programming

network prog.

 ideal:

understanding
development in both directions
non-linear prog.
dynamic prog.
…

int. prog.

4
Relationship of Solution Techniques
minimum cost flow
network
algorithms

shortest-path
algorithms

column generation, DantzigWolfe decomposition

network
simplex

revised simplex method

simplex method

linear algebra

Lagrangian
relaxation
non-linear
optimization
5
Our Topics


simplex method for bounded variables





minimum cost algorithms








linkage between LP and network simplex
optimality conditions for minimum cost flow networks
standard, and successive shortest path
equivalence among network and LP optimality conditions

revised simplex
column generation
Dantzig-Wolfe decomposition
Lagrangian relaxation

It takes more than one
semester to cover these
topics in detail! We will
only cover the ideas.
6
Secrets

7
The Most Beautiful …

8
Maybe the Most Beautiful of All…
 linear

algebra
geometric
properties

algebraic
properties

matrix
properties

9
LP with Upper Bounds

10
LP with Upper Bounds
 upper

bounds: common in network problems,
e.g., an arc with finite capacity

 quite

some theory of network optimization
being from LP
max
s.t.

T

c x
Ax b
0 x u
11
To Solve LP with Upper Bounds
 incorporate

the upper-bound constraints into
the set of functional constraints and solve
accordingly
max
s.t.

cT x
Ax b
0 x u

max
s.t.

cT x
A
x
I
0

b
u
x

12
To Solve LP with Upper Bounds
 In

the simplex method the lower bound
constraints 0 x do not appear in A.

 Is

it possible to work only with A even with
upper-bound constraints?

 Yes.

max
s.t.

cT x
Ax b
0 x u

max
s.t.

cT x
A
x
I
0

b
u
x
13
BFS for Standard LP max
 Am n,

m

 basic

feasible solution (BFS) x of LP, i.e.,

 feasible:

n, of rank m

s.t.

cT x
Ax b
0 x

Ax

b, 0

x

 basic
 non-basic

variables: (at least) n-m variables = 0

 basic

variables: m non-negative variables with linearly
independent columns

14
Extended Basic Feasible Solution of
LP with Bounded Variables
 Am n,

m

n, of rank m

 extended

basic feasible solution ( EBFS ) x of
LP with bounded variables, i.e., max cT x
 feasible:
 basic

Ax

b, 0

x

u

s.t.

Ax b
0 x u

solution

 non-basic

variables: (at least) n-m variables = 0, or =
their upper bounds

 Basic

variables: m variables of the form 0
linearly independent columns

xi

ui, with

15
Optimality Conditions
of Standard LP


Maximum Conditions: BFS x is maximal if




0 for all non-basic variable xj = 0

Minimum Conditions: BFS x is minimal if




cj
cj

0 for all non-basic variable xj = 0

intuition


c j : increase of the objective function by unit increase

in xj
 maximum condition: no good to increase non-basic xj
 minimum condition: no good to decrease non-basic xj
16
Optimality Conditions
of LP with Bounded Variables
 Maximum

Conditions: EBFS x is maximal if

 cj

0 for all non-basic variable xj = 0, and

 cj

0 for all non-basic variable xj = uj

 Minimum

Conditions: EBFS x is minimal if

 cj

0 for all non-basic variable xj = 0, and

 cj

0 for all non-basic variable xj = uj

17
How to Prove?

18
General Idea
 optimality

conditions of the EBFS

 from

duality theory and complementary slackness
conditions

19
Complementary Slackness
Conditions
 primal-dual

pair

max
s.t.

cT x
Ax b
0 x

min

bT y

s.t.

y T A cT
y

 Theorem

1 (Complementary Slackness
Conditions)
 if

x primal feasible and y dual feasible
 then x primal optimal and y dual optimal iff
xj(yTA j cj) = 0 for all j, and yi(bi Ai x) = 0 for all i
20
Complementary Slackness
Conditions
 primal-dual

pair

max
s.t.

cT x
Ax b
0 x

min

bT y

s.t.

y T A cT
y

 Theorem

2 (Necessary and Sufficient
Condition)
 if

x primal feasible
 then x primal optimal iff there exists dual feasible
y such that x and y satisfy the Complementary
Slackness Conditions
21
Complementary Slackness Conditions
for LP with Bounded Variables
max
s.t.

cT x
Ax b
x u
0 x

bT y + uT

min

yT A +

s.t.

T

cT

y

 by

Theorem 2, primal feasible x and dual
feasible (yT, T) are optimal iff
 xj(yTA j
 yi(bi


j(uj

+

j

- cj-) = 0,

j

- Ai x) = 0,

i

- xj-) = 0,

j
22
General Idea of the Proof


optimality conditions of the EBFS
 from

duality theory and complementary slackness
conditions



ideas of the proof
 given

an EBFS x satisfying the upper-bound optimality
conditions
possible to find dual feasible variables (yT, T)T
such that x and (yT, T)T satisfy the complementary
slackness conditions

 then

23
Example 1. Upper-Bound Constraints
as Functional Constraints
 max

2x + 5y,

min

2x

5y,

 s.t.

x + 2y





20,

2x + y
0

x

16,
2, 0

y

8.

24
Examples of LP with
Bounded Variables

25
Example 1. Upper-Bound Constraints
as Functional Constraints


min



2x

5y,

s.t.



x + 2y

20,



2x + y

16,



0

x

2, 0

y

8.



max. value = 44



x* = 2 and y* = 8

26
The following procedure is not exactly
the Simplex Method for Bounded
Variables. It primarily brings out the
ideas of the exact method.

27
Example 1. Upper-Bound Constraints
by Optimality Conditions of Bounded Variables

-5



y as the entering variable
 2y

+ s1 = 20
 y + s2 = 16
y 8

min 2x 5y,
s.t.
x + 2y 20,
2x + y 16,
0 x 2, 0 y
8.
28
Example 1. Upper-Bound Constraints
by Optimality Conditions of Bounded Variables




mark the non-basic variable y at its upper bound
for y = 8





obj. fun.: -2x – 5y – z = 0
eqt. (1): x + 2y + s1 = 20
eqt. (2): 2x + y + s2 = 16

-2x - z = 40
x + s1 = 4
2x + s2 = 8
29
Example 1. Upper-Bound Constraints
by Optimality Conditions of Bounded Variables



x as the entering variable
x

+ s1 = 4

 2x
x

+ s2 = 8
2

min 2x 5y,
s.t.
x + 2y 20,
2x + y 16,
0 x 2, 0 y
8.
30
Example 1. Upper-Bound Constraints
by Optimality Conditions of Bounded Variables



for x at its upper bound 2, mark x, and
 obj.

fun.: -2x – z = 40

-z = 44

 eqt.

(1): x + s1 = 4

s1 = 2

 eqt.

(2): 2x + s2 = 8

s2 = 4

min 2x 5y,
s.t.
x + 2y 20,
2x + y 16,
0 x 2, 0 y

8.
31
Example 1. Upper-Bound Constraints
by Optimality Conditions of Bounded Variables



satisfying the optimality condition for bounded
variables


0 for all non-basic variable xj = 0, and





cj
cj

0 for all non-basic variable xj = uj

z* = -44, with x* = 2 and y* = 8
32
Example 1 Being Too Specific


in general, variables swapping among all sorts
of status
 non-basic

at 0

 basic

at 0
 basic between 0 and upper bound
 basic at upper bound
 non-basic at upper bound


Simplex method for bounded variables: a
special algorithm to record all possibilities
33
The following example follows the
exact procedure of the Simplex
Method for Bounded Variables.

34
Example 2
 max

3x1 + 5x2 + 2x3

min 3x1

5x2

2x3,

 s.t.


x1 + x2 + 2x3

7,



2x1 + 4x2 + 3x3

15,



0

x1

4, 0

x2

3, 0

x3

3.

35
Example 2 by Simplex Method
for Bounded Variables

 potential

entering variable: x2

 bounded

by upper bound 3

 define x2

= u2-x2 = 3-x2

min 3x1 5x2 2x3,
s.t.
x1 + x2 + 2x3
2x1 + 4x2 + 3x3
0 x1 4, 0 x2

7,
15,
3, 0

x3

36

3.
Example 2 by Simplex Method
for Bounded Variables

37
Example 2 by Simplex Method
for Bounded Variables

 x1
 s2


as the (potential) entering variable
as the leaving variable

min 3x1 5x2 2x3,
s.t.
x1 + x2 + 2x3
2x1 + 4x2 + 3x3
0 x1 4, 0 x2
3.

7,
15,
3, 0

a pivot operation as in standard Simplex Method
38

x3
Example 2 by Simplex Method
for Bounded Variables

 which

can be an entering variable? x2

 can s1

be a leaving variable? Yes

 can x1

be a leaving variable? Yes

min 3x1 5x2 2x3,
s.t.
x1 + x2 + 2x3
2x1 + 4x2 + 3x3
0 x1 4, 0 x2
3.

7,
15,
3, 0

39

x3
Example 2 by Simplex Method
for Bounded Variables





when x2 = 1.25, x1 reaches its upper bound 4
replace x1 by x1 , and x1 is a basic variable = 0
min 3x
result x1 2 x2 1.5 x3 0.5s2 1.5
s.t.

1

(u1 x1 ) 2 x2 1.5 x3 0.5s2 1.5

5x2

2x3,

x1 + x2 + 2x3
2x1 + 4x2 + 3x3
0 x1 4, 0 x2

7,
15,
3, 0

x1 2 x2 1.5 x3 0.5s2 1.5 u1
40

x3

3.
Example 2 by Simplex Method
for Bounded Variables

x
 . 2 entering and x1 leaving
a

min 3x1 5x2 2x3,
s.t.
x1 + x2 + 2x3
2x1 + 4x2 + 3x3
0 x1 4, 0 x2
3.

7,
15,
3, 0

x3

“normal” pivot operation with aij < 0
41
Example 2 by Simplex Method
for Bounded Variables

 minimum


min 3x1 5x2 2x3,
s.t.
x1 + x2 + 2x3
2x1 + 4x2 + 3x3
0 x1 4, 0 x2
3.

7,
15,
3, 0

x3

z* = -20.75, x1* = 4, x2* = 1.75, x3* = 0

42

More Related Content

What's hot

Persamaan linear dan matriks
Persamaan linear dan matriksPersamaan linear dan matriks
Persamaan linear dan matriks
yulika usman
 
Peluang SMP
Peluang SMPPeluang SMP
Peluang SMP
Fitri Puzpita
 
Materi Kubus dan Balok
Materi Kubus dan BalokMateri Kubus dan Balok
Materi Kubus dan Balok
Khoiriyah1
 
Presentasi interpolasi polinomial
Presentasi interpolasi polinomialPresentasi interpolasi polinomial
Presentasi interpolasi polinomial
Muhammad Kennedy Ginting
 
Lkpd soal.matematika
Lkpd soal.matematikaLkpd soal.matematika
Lkpd soal.matematika
antiantika
 
LKPD materi relasi dan fungsi
LKPD materi relasi dan fungsiLKPD materi relasi dan fungsi
LKPD materi relasi dan fungsi
Nety24
 
Presentasi 3.2
Presentasi 3.2Presentasi 3.2
Presentasi 3.2
Enos Lolang
 
RPP - Menyelesaikan SPLDV
RPP - Menyelesaikan SPLDVRPP - Menyelesaikan SPLDV
RPP - Menyelesaikan SPLDV
matematikauntirta
 
Matriks eselon baris
Matriks eselon barisMatriks eselon baris
Matriks eselon baris
agung8463
 
Persoalan interpolasi Polinom
Persoalan interpolasi PolinomPersoalan interpolasi Polinom
Persoalan interpolasi Polinom
sur kuati
 
Ring(gelanggang)
Ring(gelanggang)Ring(gelanggang)
Ring(gelanggang)
Andesva dansi
 
Smart solution un matematika sma 2013 (skl 2.15 fungsi eksponen atau logaritma)
Smart solution un matematika sma 2013 (skl 2.15 fungsi eksponen atau logaritma)Smart solution un matematika sma 2013 (skl 2.15 fungsi eksponen atau logaritma)
Smart solution un matematika sma 2013 (skl 2.15 fungsi eksponen atau logaritma)
Catur Prasetyo
 
Rencana Pelaksanaan Pembelajaran Pola Bilangan
Rencana Pelaksanaan Pembelajaran Pola BilanganRencana Pelaksanaan Pembelajaran Pola Bilangan
Rencana Pelaksanaan Pembelajaran Pola Bilangan
Amyarimbi
 
Modul turunan-fungsi
Modul turunan-fungsiModul turunan-fungsi
Modul turunan-fungsi
smkbhb
 
Perbandingan trigonometri
Perbandingan trigonometriPerbandingan trigonometri
Perbandingan trigonometri
Ratna Dewi
 
LKS Penerapan Sistem Persamaan Linear Dua Variabel (SPLDV) SMP Kelas VIII
LKS Penerapan Sistem Persamaan Linear Dua Variabel (SPLDV) SMP Kelas VIIILKS Penerapan Sistem Persamaan Linear Dua Variabel (SPLDV) SMP Kelas VIII
LKS Penerapan Sistem Persamaan Linear Dua Variabel (SPLDV) SMP Kelas VIII
Yoshiie Srinita
 
Matematika Diskrit - 06 relasi dan fungsi - 02
Matematika Diskrit - 06 relasi dan fungsi - 02Matematika Diskrit - 06 relasi dan fungsi - 02
Matematika Diskrit - 06 relasi dan fungsi - 02
KuliahKita
 
Pencerminan geser fix
Pencerminan geser fixPencerminan geser fix
Pencerminan geser fix
Nia Matus
 
Relasi rekursif linier homogen koefisien konstan
Relasi rekursif linier homogen koefisien konstanRelasi rekursif linier homogen koefisien konstan
Relasi rekursif linier homogen koefisien konstan
Lutfi Nursyifa
 
Modul matematika-kelas-xi-trigonometri
Modul matematika-kelas-xi-trigonometriModul matematika-kelas-xi-trigonometri
Modul matematika-kelas-xi-trigonometri
Adrian Rama Putra
 

What's hot (20)

Persamaan linear dan matriks
Persamaan linear dan matriksPersamaan linear dan matriks
Persamaan linear dan matriks
 
Peluang SMP
Peluang SMPPeluang SMP
Peluang SMP
 
Materi Kubus dan Balok
Materi Kubus dan BalokMateri Kubus dan Balok
Materi Kubus dan Balok
 
Presentasi interpolasi polinomial
Presentasi interpolasi polinomialPresentasi interpolasi polinomial
Presentasi interpolasi polinomial
 
Lkpd soal.matematika
Lkpd soal.matematikaLkpd soal.matematika
Lkpd soal.matematika
 
LKPD materi relasi dan fungsi
LKPD materi relasi dan fungsiLKPD materi relasi dan fungsi
LKPD materi relasi dan fungsi
 
Presentasi 3.2
Presentasi 3.2Presentasi 3.2
Presentasi 3.2
 
RPP - Menyelesaikan SPLDV
RPP - Menyelesaikan SPLDVRPP - Menyelesaikan SPLDV
RPP - Menyelesaikan SPLDV
 
Matriks eselon baris
Matriks eselon barisMatriks eselon baris
Matriks eselon baris
 
Persoalan interpolasi Polinom
Persoalan interpolasi PolinomPersoalan interpolasi Polinom
Persoalan interpolasi Polinom
 
Ring(gelanggang)
Ring(gelanggang)Ring(gelanggang)
Ring(gelanggang)
 
Smart solution un matematika sma 2013 (skl 2.15 fungsi eksponen atau logaritma)
Smart solution un matematika sma 2013 (skl 2.15 fungsi eksponen atau logaritma)Smart solution un matematika sma 2013 (skl 2.15 fungsi eksponen atau logaritma)
Smart solution un matematika sma 2013 (skl 2.15 fungsi eksponen atau logaritma)
 
Rencana Pelaksanaan Pembelajaran Pola Bilangan
Rencana Pelaksanaan Pembelajaran Pola BilanganRencana Pelaksanaan Pembelajaran Pola Bilangan
Rencana Pelaksanaan Pembelajaran Pola Bilangan
 
Modul turunan-fungsi
Modul turunan-fungsiModul turunan-fungsi
Modul turunan-fungsi
 
Perbandingan trigonometri
Perbandingan trigonometriPerbandingan trigonometri
Perbandingan trigonometri
 
LKS Penerapan Sistem Persamaan Linear Dua Variabel (SPLDV) SMP Kelas VIII
LKS Penerapan Sistem Persamaan Linear Dua Variabel (SPLDV) SMP Kelas VIIILKS Penerapan Sistem Persamaan Linear Dua Variabel (SPLDV) SMP Kelas VIII
LKS Penerapan Sistem Persamaan Linear Dua Variabel (SPLDV) SMP Kelas VIII
 
Matematika Diskrit - 06 relasi dan fungsi - 02
Matematika Diskrit - 06 relasi dan fungsi - 02Matematika Diskrit - 06 relasi dan fungsi - 02
Matematika Diskrit - 06 relasi dan fungsi - 02
 
Pencerminan geser fix
Pencerminan geser fixPencerminan geser fix
Pencerminan geser fix
 
Relasi rekursif linier homogen koefisien konstan
Relasi rekursif linier homogen koefisien konstanRelasi rekursif linier homogen koefisien konstan
Relasi rekursif linier homogen koefisien konstan
 
Modul matematika-kelas-xi-trigonometri
Modul matematika-kelas-xi-trigonometriModul matematika-kelas-xi-trigonometri
Modul matematika-kelas-xi-trigonometri
 

Similar to Bounded variables new

Linearprog, Reading Materials for Operational Research
Linearprog, Reading Materials for Operational Research Linearprog, Reading Materials for Operational Research
Linearprog, Reading Materials for Operational Research
Derbew Tesfa
 
lecture on support vector machine in the field of ML
lecture on support vector machine in the field of MLlecture on support vector machine in the field of ML
lecture on support vector machine in the field of ML
AkashVerma639361
 
Management Science
Management ScienceManagement Science
Management Science
lisa1090
 
2_Simplex.pdf
2_Simplex.pdf2_Simplex.pdf
2_Simplex.pdf
ThanoonQasem
 
Chapter four
Chapter fourChapter four
Chapter four
Mohamed Daahir
 
102_2_digitalSystem_Chap_2_part_1.ppt
102_2_digitalSystem_Chap_2_part_1.ppt102_2_digitalSystem_Chap_2_part_1.ppt
102_2_digitalSystem_Chap_2_part_1.ppt
SATHYARAJECE
 
06_finite_elements_basics.ppt
06_finite_elements_basics.ppt06_finite_elements_basics.ppt
06_finite_elements_basics.ppt
Aditya765321
 
5994944.ppt
5994944.ppt5994944.ppt
5994944.ppt
ssuserc1ed5e
 
Chapter 2. Constrained Optimization lecture note.pdf
Chapter 2. Constrained Optimization lecture note.pdfChapter 2. Constrained Optimization lecture note.pdf
Chapter 2. Constrained Optimization lecture note.pdf
almazwmbashira
 
02 combinational logic
02 combinational logic02 combinational logic
02 combinational logic
Zainab Noor
 
Random Matrix Theory and Machine Learning - Part 3
Random Matrix Theory and Machine Learning - Part 3Random Matrix Theory and Machine Learning - Part 3
Random Matrix Theory and Machine Learning - Part 3
Fabian Pedregosa
 
Calculus of variation problems
Calculus of variation   problemsCalculus of variation   problems
Calculus of variation problems
Solo Hermelin
 
DIFFERENTIATION Integration and limits (1).pptx
DIFFERENTIATION Integration and limits (1).pptxDIFFERENTIATION Integration and limits (1).pptx
DIFFERENTIATION Integration and limits (1).pptx
OchiriaEliasonyait
 
Tutorial APS 2023: Phase transition for statistical estimation: algorithms an...
Tutorial APS 2023: Phase transition for statistical estimation: algorithms an...Tutorial APS 2023: Phase transition for statistical estimation: algorithms an...
Tutorial APS 2023: Phase transition for statistical estimation: algorithms an...
Marc Lelarge
 
Chapter 3 solving systems of linear equations
Chapter 3 solving systems of linear equationsChapter 3 solving systems of linear equations
Chapter 3 solving systems of linear equations
ssuser53ee01
 
Duality
DualityDuality
05_AJMS_332_21.pdf
05_AJMS_332_21.pdf05_AJMS_332_21.pdf
05_AJMS_332_21.pdf
BRNSS Publication Hub
 
Operations Research - Simplex Method Introduction
Operations Research - Simplex Method IntroductionOperations Research - Simplex Method Introduction
Operations Research - Simplex Method Introduction
Hisham Al Kurdi, EAVA, DMC-D-4K, HCCA-P, HCAA-D
 
Operation research - Chapter 02
Operation research - Chapter 02Operation research - Chapter 02
Operation research - Chapter 02
2013901097
 
Boyd chap10
Boyd chap10Boyd chap10
Boyd chap10
Koki Isokawa
 

Similar to Bounded variables new (20)

Linearprog, Reading Materials for Operational Research
Linearprog, Reading Materials for Operational Research Linearprog, Reading Materials for Operational Research
Linearprog, Reading Materials for Operational Research
 
lecture on support vector machine in the field of ML
lecture on support vector machine in the field of MLlecture on support vector machine in the field of ML
lecture on support vector machine in the field of ML
 
Management Science
Management ScienceManagement Science
Management Science
 
2_Simplex.pdf
2_Simplex.pdf2_Simplex.pdf
2_Simplex.pdf
 
Chapter four
Chapter fourChapter four
Chapter four
 
102_2_digitalSystem_Chap_2_part_1.ppt
102_2_digitalSystem_Chap_2_part_1.ppt102_2_digitalSystem_Chap_2_part_1.ppt
102_2_digitalSystem_Chap_2_part_1.ppt
 
06_finite_elements_basics.ppt
06_finite_elements_basics.ppt06_finite_elements_basics.ppt
06_finite_elements_basics.ppt
 
5994944.ppt
5994944.ppt5994944.ppt
5994944.ppt
 
Chapter 2. Constrained Optimization lecture note.pdf
Chapter 2. Constrained Optimization lecture note.pdfChapter 2. Constrained Optimization lecture note.pdf
Chapter 2. Constrained Optimization lecture note.pdf
 
02 combinational logic
02 combinational logic02 combinational logic
02 combinational logic
 
Random Matrix Theory and Machine Learning - Part 3
Random Matrix Theory and Machine Learning - Part 3Random Matrix Theory and Machine Learning - Part 3
Random Matrix Theory and Machine Learning - Part 3
 
Calculus of variation problems
Calculus of variation   problemsCalculus of variation   problems
Calculus of variation problems
 
DIFFERENTIATION Integration and limits (1).pptx
DIFFERENTIATION Integration and limits (1).pptxDIFFERENTIATION Integration and limits (1).pptx
DIFFERENTIATION Integration and limits (1).pptx
 
Tutorial APS 2023: Phase transition for statistical estimation: algorithms an...
Tutorial APS 2023: Phase transition for statistical estimation: algorithms an...Tutorial APS 2023: Phase transition for statistical estimation: algorithms an...
Tutorial APS 2023: Phase transition for statistical estimation: algorithms an...
 
Chapter 3 solving systems of linear equations
Chapter 3 solving systems of linear equationsChapter 3 solving systems of linear equations
Chapter 3 solving systems of linear equations
 
Duality
DualityDuality
Duality
 
05_AJMS_332_21.pdf
05_AJMS_332_21.pdf05_AJMS_332_21.pdf
05_AJMS_332_21.pdf
 
Operations Research - Simplex Method Introduction
Operations Research - Simplex Method IntroductionOperations Research - Simplex Method Introduction
Operations Research - Simplex Method Introduction
 
Operation research - Chapter 02
Operation research - Chapter 02Operation research - Chapter 02
Operation research - Chapter 02
 
Boyd chap10
Boyd chap10Boyd chap10
Boyd chap10
 

Recently uploaded

How to Interpret Trends in the Kalyan Rajdhani Mix Chart.pdf
How to Interpret Trends in the Kalyan Rajdhani Mix Chart.pdfHow to Interpret Trends in the Kalyan Rajdhani Mix Chart.pdf
How to Interpret Trends in the Kalyan Rajdhani Mix Chart.pdf
Chart Kalyan
 
AWS Cloud Cost Optimization Presentation.pptx
AWS Cloud Cost Optimization Presentation.pptxAWS Cloud Cost Optimization Presentation.pptx
AWS Cloud Cost Optimization Presentation.pptx
HarisZaheer8
 
JavaLand 2024: Application Development Green Masterplan
JavaLand 2024: Application Development Green MasterplanJavaLand 2024: Application Development Green Masterplan
JavaLand 2024: Application Development Green Masterplan
Miro Wengner
 
Introduction of Cybersecurity with OSS at Code Europe 2024
Introduction of Cybersecurity with OSS  at Code Europe 2024Introduction of Cybersecurity with OSS  at Code Europe 2024
Introduction of Cybersecurity with OSS at Code Europe 2024
Hiroshi SHIBATA
 
FREE A4 Cyber Security Awareness Posters-Social Engineering part 3
FREE A4 Cyber Security Awareness  Posters-Social Engineering part 3FREE A4 Cyber Security Awareness  Posters-Social Engineering part 3
FREE A4 Cyber Security Awareness Posters-Social Engineering part 3
Data Hops
 
A Comprehensive Guide to DeFi Development Services in 2024
A Comprehensive Guide to DeFi Development Services in 2024A Comprehensive Guide to DeFi Development Services in 2024
A Comprehensive Guide to DeFi Development Services in 2024
Intelisync
 
Choosing The Best AWS Service For Your Website + API.pptx
Choosing The Best AWS Service For Your Website + API.pptxChoosing The Best AWS Service For Your Website + API.pptx
Choosing The Best AWS Service For Your Website + API.pptx
Brandon Minnick, MBA
 
Skybuffer AI: Advanced Conversational and Generative AI Solution on SAP Busin...
Skybuffer AI: Advanced Conversational and Generative AI Solution on SAP Busin...Skybuffer AI: Advanced Conversational and Generative AI Solution on SAP Busin...
Skybuffer AI: Advanced Conversational and Generative AI Solution on SAP Busin...
Tatiana Kojar
 
System Design Case Study: Building a Scalable E-Commerce Platform - Hiike
System Design Case Study: Building a Scalable E-Commerce Platform - HiikeSystem Design Case Study: Building a Scalable E-Commerce Platform - Hiike
System Design Case Study: Building a Scalable E-Commerce Platform - Hiike
Hiike
 
Public CyberSecurity Awareness Presentation 2024.pptx
Public CyberSecurity Awareness Presentation 2024.pptxPublic CyberSecurity Awareness Presentation 2024.pptx
Public CyberSecurity Awareness Presentation 2024.pptx
marufrahmanstratejm
 
June Patch Tuesday
June Patch TuesdayJune Patch Tuesday
June Patch Tuesday
Ivanti
 
Fueling AI with Great Data with Airbyte Webinar
Fueling AI with Great Data with Airbyte WebinarFueling AI with Great Data with Airbyte Webinar
Fueling AI with Great Data with Airbyte Webinar
Zilliz
 
zkStudyClub - LatticeFold: A Lattice-based Folding Scheme and its Application...
zkStudyClub - LatticeFold: A Lattice-based Folding Scheme and its Application...zkStudyClub - LatticeFold: A Lattice-based Folding Scheme and its Application...
zkStudyClub - LatticeFold: A Lattice-based Folding Scheme and its Application...
Alex Pruden
 
Nordic Marketo Engage User Group_June 13_ 2024.pptx
Nordic Marketo Engage User Group_June 13_ 2024.pptxNordic Marketo Engage User Group_June 13_ 2024.pptx
Nordic Marketo Engage User Group_June 13_ 2024.pptx
MichaelKnudsen27
 
GNSS spoofing via SDR (Criptored Talks 2024)
GNSS spoofing via SDR (Criptored Talks 2024)GNSS spoofing via SDR (Criptored Talks 2024)
GNSS spoofing via SDR (Criptored Talks 2024)
Javier Junquera
 
Main news related to the CCS TSI 2023 (2023/1695)
Main news related to the CCS TSI 2023 (2023/1695)Main news related to the CCS TSI 2023 (2023/1695)
Main news related to the CCS TSI 2023 (2023/1695)
Jakub Marek
 
Azure API Management to expose backend services securely
Azure API Management to expose backend services securelyAzure API Management to expose backend services securely
Azure API Management to expose backend services securely
Dinusha Kumarasiri
 
Overcoming the PLG Trap: Lessons from Canva's Head of Sales & Head of EMEA Da...
Overcoming the PLG Trap: Lessons from Canva's Head of Sales & Head of EMEA Da...Overcoming the PLG Trap: Lessons from Canva's Head of Sales & Head of EMEA Da...
Overcoming the PLG Trap: Lessons from Canva's Head of Sales & Head of EMEA Da...
saastr
 
TrustArc Webinar - 2024 Global Privacy Survey
TrustArc Webinar - 2024 Global Privacy SurveyTrustArc Webinar - 2024 Global Privacy Survey
TrustArc Webinar - 2024 Global Privacy Survey
TrustArc
 
“Temporal Event Neural Networks: A More Efficient Alternative to the Transfor...
“Temporal Event Neural Networks: A More Efficient Alternative to the Transfor...“Temporal Event Neural Networks: A More Efficient Alternative to the Transfor...
“Temporal Event Neural Networks: A More Efficient Alternative to the Transfor...
Edge AI and Vision Alliance
 

Recently uploaded (20)

How to Interpret Trends in the Kalyan Rajdhani Mix Chart.pdf
How to Interpret Trends in the Kalyan Rajdhani Mix Chart.pdfHow to Interpret Trends in the Kalyan Rajdhani Mix Chart.pdf
How to Interpret Trends in the Kalyan Rajdhani Mix Chart.pdf
 
AWS Cloud Cost Optimization Presentation.pptx
AWS Cloud Cost Optimization Presentation.pptxAWS Cloud Cost Optimization Presentation.pptx
AWS Cloud Cost Optimization Presentation.pptx
 
JavaLand 2024: Application Development Green Masterplan
JavaLand 2024: Application Development Green MasterplanJavaLand 2024: Application Development Green Masterplan
JavaLand 2024: Application Development Green Masterplan
 
Introduction of Cybersecurity with OSS at Code Europe 2024
Introduction of Cybersecurity with OSS  at Code Europe 2024Introduction of Cybersecurity with OSS  at Code Europe 2024
Introduction of Cybersecurity with OSS at Code Europe 2024
 
FREE A4 Cyber Security Awareness Posters-Social Engineering part 3
FREE A4 Cyber Security Awareness  Posters-Social Engineering part 3FREE A4 Cyber Security Awareness  Posters-Social Engineering part 3
FREE A4 Cyber Security Awareness Posters-Social Engineering part 3
 
A Comprehensive Guide to DeFi Development Services in 2024
A Comprehensive Guide to DeFi Development Services in 2024A Comprehensive Guide to DeFi Development Services in 2024
A Comprehensive Guide to DeFi Development Services in 2024
 
Choosing The Best AWS Service For Your Website + API.pptx
Choosing The Best AWS Service For Your Website + API.pptxChoosing The Best AWS Service For Your Website + API.pptx
Choosing The Best AWS Service For Your Website + API.pptx
 
Skybuffer AI: Advanced Conversational and Generative AI Solution on SAP Busin...
Skybuffer AI: Advanced Conversational and Generative AI Solution on SAP Busin...Skybuffer AI: Advanced Conversational and Generative AI Solution on SAP Busin...
Skybuffer AI: Advanced Conversational and Generative AI Solution on SAP Busin...
 
System Design Case Study: Building a Scalable E-Commerce Platform - Hiike
System Design Case Study: Building a Scalable E-Commerce Platform - HiikeSystem Design Case Study: Building a Scalable E-Commerce Platform - Hiike
System Design Case Study: Building a Scalable E-Commerce Platform - Hiike
 
Public CyberSecurity Awareness Presentation 2024.pptx
Public CyberSecurity Awareness Presentation 2024.pptxPublic CyberSecurity Awareness Presentation 2024.pptx
Public CyberSecurity Awareness Presentation 2024.pptx
 
June Patch Tuesday
June Patch TuesdayJune Patch Tuesday
June Patch Tuesday
 
Fueling AI with Great Data with Airbyte Webinar
Fueling AI with Great Data with Airbyte WebinarFueling AI with Great Data with Airbyte Webinar
Fueling AI with Great Data with Airbyte Webinar
 
zkStudyClub - LatticeFold: A Lattice-based Folding Scheme and its Application...
zkStudyClub - LatticeFold: A Lattice-based Folding Scheme and its Application...zkStudyClub - LatticeFold: A Lattice-based Folding Scheme and its Application...
zkStudyClub - LatticeFold: A Lattice-based Folding Scheme and its Application...
 
Nordic Marketo Engage User Group_June 13_ 2024.pptx
Nordic Marketo Engage User Group_June 13_ 2024.pptxNordic Marketo Engage User Group_June 13_ 2024.pptx
Nordic Marketo Engage User Group_June 13_ 2024.pptx
 
GNSS spoofing via SDR (Criptored Talks 2024)
GNSS spoofing via SDR (Criptored Talks 2024)GNSS spoofing via SDR (Criptored Talks 2024)
GNSS spoofing via SDR (Criptored Talks 2024)
 
Main news related to the CCS TSI 2023 (2023/1695)
Main news related to the CCS TSI 2023 (2023/1695)Main news related to the CCS TSI 2023 (2023/1695)
Main news related to the CCS TSI 2023 (2023/1695)
 
Azure API Management to expose backend services securely
Azure API Management to expose backend services securelyAzure API Management to expose backend services securely
Azure API Management to expose backend services securely
 
Overcoming the PLG Trap: Lessons from Canva's Head of Sales & Head of EMEA Da...
Overcoming the PLG Trap: Lessons from Canva's Head of Sales & Head of EMEA Da...Overcoming the PLG Trap: Lessons from Canva's Head of Sales & Head of EMEA Da...
Overcoming the PLG Trap: Lessons from Canva's Head of Sales & Head of EMEA Da...
 
TrustArc Webinar - 2024 Global Privacy Survey
TrustArc Webinar - 2024 Global Privacy SurveyTrustArc Webinar - 2024 Global Privacy Survey
TrustArc Webinar - 2024 Global Privacy Survey
 
“Temporal Event Neural Networks: A More Efficient Alternative to the Transfor...
“Temporal Event Neural Networks: A More Efficient Alternative to the Transfor...“Temporal Event Neural Networks: A More Efficient Alternative to the Transfor...
“Temporal Event Neural Networks: A More Efficient Alternative to the Transfor...
 

Bounded variables new

  • 1. Outline    relationship among topics secrets LP with upper bounds  by Simplex method   by Simplex method for bounded variables   extended basic feasible solution (EBFS) optimality conditions for bounded variables   basic feasible solution (BFS) ideas of the proof examples   Example 1 for ideas but inexact Example 2 for the exact procedure 1
  • 2. A Depot for Multiple Products  multi-product by a fleet of trucks Possible Formulation: objective function common constraints, e.g., trucks, DC capacity, etc. network constraints for type-1 product network constraints for type-1 product .... depot network constraints for type-1 product non-negativity constraints 2
  • 3. A General Type of Optimization Problems  structure of many problems:     network constraints: easy other constraints: hard objective function network constraints hard constraints non-negativity constraints making use of the easy constraints to solve the problems solution methods: large-scale optimization   column generation, Lagrangian relaxation, Dantzig-Wolfe decomposition … basis: linear programming, network optimization (and also non-linear optimization, integer optimization, combinatorial optimization) 3
  • 4. Relationship of Solution Techniques  two directions of theoretical development for network programming linear prog.  from special structures of networks  from linear programming network prog.  ideal: understanding development in both directions non-linear prog. dynamic prog. … int. prog. 4
  • 5. Relationship of Solution Techniques minimum cost flow network algorithms shortest-path algorithms column generation, DantzigWolfe decomposition network simplex revised simplex method simplex method linear algebra Lagrangian relaxation non-linear optimization 5
  • 6. Our Topics  simplex method for bounded variables    minimum cost algorithms       linkage between LP and network simplex optimality conditions for minimum cost flow networks standard, and successive shortest path equivalence among network and LP optimality conditions revised simplex column generation Dantzig-Wolfe decomposition Lagrangian relaxation It takes more than one semester to cover these topics in detail! We will only cover the ideas. 6
  • 9. Maybe the Most Beautiful of All…  linear algebra geometric properties algebraic properties matrix properties 9
  • 10. LP with Upper Bounds 10
  • 11. LP with Upper Bounds  upper bounds: common in network problems, e.g., an arc with finite capacity  quite some theory of network optimization being from LP max s.t. T c x Ax b 0 x u 11
  • 12. To Solve LP with Upper Bounds  incorporate the upper-bound constraints into the set of functional constraints and solve accordingly max s.t. cT x Ax b 0 x u max s.t. cT x A x I 0 b u x 12
  • 13. To Solve LP with Upper Bounds  In the simplex method the lower bound constraints 0 x do not appear in A.  Is it possible to work only with A even with upper-bound constraints?  Yes. max s.t. cT x Ax b 0 x u max s.t. cT x A x I 0 b u x 13
  • 14. BFS for Standard LP max  Am n, m  basic feasible solution (BFS) x of LP, i.e.,  feasible: n, of rank m s.t. cT x Ax b 0 x Ax b, 0 x  basic  non-basic variables: (at least) n-m variables = 0  basic variables: m non-negative variables with linearly independent columns 14
  • 15. Extended Basic Feasible Solution of LP with Bounded Variables  Am n, m n, of rank m  extended basic feasible solution ( EBFS ) x of LP with bounded variables, i.e., max cT x  feasible:  basic Ax b, 0 x u s.t. Ax b 0 x u solution  non-basic variables: (at least) n-m variables = 0, or = their upper bounds  Basic variables: m variables of the form 0 linearly independent columns xi ui, with 15
  • 16. Optimality Conditions of Standard LP  Maximum Conditions: BFS x is maximal if   0 for all non-basic variable xj = 0 Minimum Conditions: BFS x is minimal if   cj cj 0 for all non-basic variable xj = 0 intuition  c j : increase of the objective function by unit increase in xj  maximum condition: no good to increase non-basic xj  minimum condition: no good to decrease non-basic xj 16
  • 17. Optimality Conditions of LP with Bounded Variables  Maximum Conditions: EBFS x is maximal if  cj 0 for all non-basic variable xj = 0, and  cj 0 for all non-basic variable xj = uj  Minimum Conditions: EBFS x is minimal if  cj 0 for all non-basic variable xj = 0, and  cj 0 for all non-basic variable xj = uj 17
  • 19. General Idea  optimality conditions of the EBFS  from duality theory and complementary slackness conditions 19
  • 20. Complementary Slackness Conditions  primal-dual pair max s.t. cT x Ax b 0 x min bT y s.t. y T A cT y  Theorem 1 (Complementary Slackness Conditions)  if x primal feasible and y dual feasible  then x primal optimal and y dual optimal iff xj(yTA j cj) = 0 for all j, and yi(bi Ai x) = 0 for all i 20
  • 21. Complementary Slackness Conditions  primal-dual pair max s.t. cT x Ax b 0 x min bT y s.t. y T A cT y  Theorem 2 (Necessary and Sufficient Condition)  if x primal feasible  then x primal optimal iff there exists dual feasible y such that x and y satisfy the Complementary Slackness Conditions 21
  • 22. Complementary Slackness Conditions for LP with Bounded Variables max s.t. cT x Ax b x u 0 x bT y + uT min yT A + s.t. T cT y  by Theorem 2, primal feasible x and dual feasible (yT, T) are optimal iff  xj(yTA j  yi(bi  j(uj + j - cj-) = 0, j - Ai x) = 0, i - xj-) = 0, j 22
  • 23. General Idea of the Proof  optimality conditions of the EBFS  from duality theory and complementary slackness conditions  ideas of the proof  given an EBFS x satisfying the upper-bound optimality conditions possible to find dual feasible variables (yT, T)T such that x and (yT, T)T satisfy the complementary slackness conditions  then 23
  • 24. Example 1. Upper-Bound Constraints as Functional Constraints  max 2x + 5y, min 2x 5y,  s.t. x + 2y    20, 2x + y 0 x 16, 2, 0 y 8. 24
  • 25. Examples of LP with Bounded Variables 25
  • 26. Example 1. Upper-Bound Constraints as Functional Constraints  min  2x 5y, s.t.  x + 2y 20,  2x + y 16,  0 x 2, 0 y 8.  max. value = 44  x* = 2 and y* = 8 26
  • 27. The following procedure is not exactly the Simplex Method for Bounded Variables. It primarily brings out the ideas of the exact method. 27
  • 28. Example 1. Upper-Bound Constraints by Optimality Conditions of Bounded Variables -5  y as the entering variable  2y + s1 = 20  y + s2 = 16 y 8 min 2x 5y, s.t. x + 2y 20, 2x + y 16, 0 x 2, 0 y 8. 28
  • 29. Example 1. Upper-Bound Constraints by Optimality Conditions of Bounded Variables   mark the non-basic variable y at its upper bound for y = 8    obj. fun.: -2x – 5y – z = 0 eqt. (1): x + 2y + s1 = 20 eqt. (2): 2x + y + s2 = 16 -2x - z = 40 x + s1 = 4 2x + s2 = 8 29
  • 30. Example 1. Upper-Bound Constraints by Optimality Conditions of Bounded Variables  x as the entering variable x + s1 = 4  2x x + s2 = 8 2 min 2x 5y, s.t. x + 2y 20, 2x + y 16, 0 x 2, 0 y 8. 30
  • 31. Example 1. Upper-Bound Constraints by Optimality Conditions of Bounded Variables  for x at its upper bound 2, mark x, and  obj. fun.: -2x – z = 40 -z = 44  eqt. (1): x + s1 = 4 s1 = 2  eqt. (2): 2x + s2 = 8 s2 = 4 min 2x 5y, s.t. x + 2y 20, 2x + y 16, 0 x 2, 0 y 8. 31
  • 32. Example 1. Upper-Bound Constraints by Optimality Conditions of Bounded Variables  satisfying the optimality condition for bounded variables  0 for all non-basic variable xj = 0, and   cj cj 0 for all non-basic variable xj = uj z* = -44, with x* = 2 and y* = 8 32
  • 33. Example 1 Being Too Specific  in general, variables swapping among all sorts of status  non-basic at 0  basic at 0  basic between 0 and upper bound  basic at upper bound  non-basic at upper bound  Simplex method for bounded variables: a special algorithm to record all possibilities 33
  • 34. The following example follows the exact procedure of the Simplex Method for Bounded Variables. 34
  • 35. Example 2  max 3x1 + 5x2 + 2x3 min 3x1 5x2 2x3,  s.t.  x1 + x2 + 2x3 7,  2x1 + 4x2 + 3x3 15,  0 x1 4, 0 x2 3, 0 x3 3. 35
  • 36. Example 2 by Simplex Method for Bounded Variables  potential entering variable: x2  bounded by upper bound 3  define x2 = u2-x2 = 3-x2 min 3x1 5x2 2x3, s.t. x1 + x2 + 2x3 2x1 + 4x2 + 3x3 0 x1 4, 0 x2 7, 15, 3, 0 x3 36 3.
  • 37. Example 2 by Simplex Method for Bounded Variables 37
  • 38. Example 2 by Simplex Method for Bounded Variables  x1  s2  as the (potential) entering variable as the leaving variable min 3x1 5x2 2x3, s.t. x1 + x2 + 2x3 2x1 + 4x2 + 3x3 0 x1 4, 0 x2 3. 7, 15, 3, 0 a pivot operation as in standard Simplex Method 38 x3
  • 39. Example 2 by Simplex Method for Bounded Variables  which can be an entering variable? x2  can s1 be a leaving variable? Yes  can x1 be a leaving variable? Yes min 3x1 5x2 2x3, s.t. x1 + x2 + 2x3 2x1 + 4x2 + 3x3 0 x1 4, 0 x2 3. 7, 15, 3, 0 39 x3
  • 40. Example 2 by Simplex Method for Bounded Variables    when x2 = 1.25, x1 reaches its upper bound 4 replace x1 by x1 , and x1 is a basic variable = 0 min 3x result x1 2 x2 1.5 x3 0.5s2 1.5 s.t. 1 (u1 x1 ) 2 x2 1.5 x3 0.5s2 1.5 5x2 2x3, x1 + x2 + 2x3 2x1 + 4x2 + 3x3 0 x1 4, 0 x2 7, 15, 3, 0 x1 2 x2 1.5 x3 0.5s2 1.5 u1 40 x3 3.
  • 41. Example 2 by Simplex Method for Bounded Variables x  . 2 entering and x1 leaving a min 3x1 5x2 2x3, s.t. x1 + x2 + 2x3 2x1 + 4x2 + 3x3 0 x1 4, 0 x2 3. 7, 15, 3, 0 x3 “normal” pivot operation with aij < 0 41
  • 42. Example 2 by Simplex Method for Bounded Variables  minimum  min 3x1 5x2 2x3, s.t. x1 + x2 + 2x3 2x1 + 4x2 + 3x3 0 x1 4, 0 x2 3. 7, 15, 3, 0 x3 z* = -20.75, x1* = 4, x2* = 1.75, x3* = 0 42