SlideShare a Scribd company logo
1 of 42
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

4 greedy methodnew
4 greedy methodnew4 greedy methodnew
4 greedy methodnewabhinav108
 
Simplifiaction of grammar
Simplifiaction of grammarSimplifiaction of grammar
Simplifiaction of grammarlavishka_anuj
 
3.3 Zeros of Polynomial Functions
3.3 Zeros of Polynomial Functions3.3 Zeros of Polynomial Functions
3.3 Zeros of Polynomial Functionssmiller5
 
Permutation and combination
Permutation and combinationPermutation and combination
Permutation and combinationSadia Zareen
 
2 evaluating functions
2 evaluating functions2 evaluating functions
2 evaluating functionsjoellerios48
 
Duality in Linear Programming Problem
Duality in Linear Programming ProblemDuality in Linear Programming Problem
Duality in Linear Programming ProblemRAVI PRASAD K.J.
 
Exponential Growth And Decay
Exponential Growth And DecayExponential Growth And Decay
Exponential Growth And DecayPhil Saraspe
 
8.4 properties of logarithms
8.4 properties of logarithms8.4 properties of logarithms
8.4 properties of logarithmsswartzje
 
Lesson 9: Gaussian Elimination
Lesson 9: Gaussian EliminationLesson 9: Gaussian Elimination
Lesson 9: Gaussian EliminationMatthew Leingang
 
26 the logarithm functions x
26 the logarithm functions x26 the logarithm functions x
26 the logarithm functions xmath260
 
Lesson 9: The Product and Quotient Rule
Lesson 9: The Product and Quotient RuleLesson 9: The Product and Quotient Rule
Lesson 9: The Product and Quotient RuleMatthew Leingang
 
Lesson 16: Exponential Growth and Decay
Lesson 16: Exponential Growth and DecayLesson 16: Exponential Growth and Decay
Lesson 16: Exponential Growth and DecayMatthew Leingang
 
Wzory na całki
Wzory na całkiWzory na całki
Wzory na całkitaskbook
 
4.6 Exponential Growth and Decay
4.6 Exponential Growth and Decay4.6 Exponential Growth and Decay
4.6 Exponential Growth and Decaysmiller5
 
8.2 Exploring exponential models
8.2 Exploring exponential models8.2 Exploring exponential models
8.2 Exploring exponential modelsswartzje
 
Linear function and slopes of a line
Linear function and slopes of a lineLinear function and slopes of a line
Linear function and slopes of a lineJerlyn Fernandez
 

What's hot (20)

4 greedy methodnew
4 greedy methodnew4 greedy methodnew
4 greedy methodnew
 
Simplifiaction of grammar
Simplifiaction of grammarSimplifiaction of grammar
Simplifiaction of grammar
 
The discriminant
The discriminantThe discriminant
The discriminant
 
3.3 Zeros of Polynomial Functions
3.3 Zeros of Polynomial Functions3.3 Zeros of Polynomial Functions
3.3 Zeros of Polynomial Functions
 
Permutation and combination
Permutation and combinationPermutation and combination
Permutation and combination
 
Functions
FunctionsFunctions
Functions
 
2 evaluating functions
2 evaluating functions2 evaluating functions
2 evaluating functions
 
Duality in Linear Programming Problem
Duality in Linear Programming ProblemDuality in Linear Programming Problem
Duality in Linear Programming Problem
 
Exponential Growth And Decay
Exponential Growth And DecayExponential Growth And Decay
Exponential Growth And Decay
 
8.4 properties of logarithms
8.4 properties of logarithms8.4 properties of logarithms
8.4 properties of logarithms
 
Lesson 9: Gaussian Elimination
Lesson 9: Gaussian EliminationLesson 9: Gaussian Elimination
Lesson 9: Gaussian Elimination
 
26 the logarithm functions x
26 the logarithm functions x26 the logarithm functions x
26 the logarithm functions x
 
Lesson 9: The Product and Quotient Rule
Lesson 9: The Product and Quotient RuleLesson 9: The Product and Quotient Rule
Lesson 9: The Product and Quotient Rule
 
Lesson 16: Exponential Growth and Decay
Lesson 16: Exponential Growth and DecayLesson 16: Exponential Growth and Decay
Lesson 16: Exponential Growth and Decay
 
Gauss jordan
Gauss jordanGauss jordan
Gauss jordan
 
Wzory na całki
Wzory na całkiWzory na całki
Wzory na całki
 
Domain and range
Domain and rangeDomain and range
Domain and range
 
4.6 Exponential Growth and Decay
4.6 Exponential Growth and Decay4.6 Exponential Growth and Decay
4.6 Exponential Growth and Decay
 
8.2 Exploring exponential models
8.2 Exploring exponential models8.2 Exploring exponential models
8.2 Exploring exponential models
 
Linear function and slopes of a line
Linear function and slopes of a lineLinear function and slopes of a line
Linear function and slopes of a line
 

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 MLAkashVerma639361
 
Management Science
Management ScienceManagement Science
Management Sciencelisa1090
 
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.pptSATHYARAJECE
 
06_finite_elements_basics.ppt
06_finite_elements_basics.ppt06_finite_elements_basics.ppt
06_finite_elements_basics.pptAditya765321
 
02 combinational logic
02 combinational logic02 combinational logic
02 combinational logicZainab 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 3Fabian Pedregosa
 
Calculus of variation problems
Calculus of variation   problemsCalculus of variation   problems
Calculus of variation problemsSolo Hermelin
 
DIFFERENTIATION Integration and limits (1).pptx
DIFFERENTIATION Integration and limits (1).pptxDIFFERENTIATION Integration and limits (1).pptx
DIFFERENTIATION Integration and limits (1).pptxOchiriaEliasonyait
 
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 equationsssuser53ee01
 
Operation research - Chapter 02
Operation research - Chapter 02Operation research - Chapter 02
Operation research - Chapter 022013901097
 
2012 mdsp pr13 support vector machine
2012 mdsp pr13 support vector machine2012 mdsp pr13 support vector machine
2012 mdsp pr13 support vector machinenozomuhamada
 

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
 
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
 
Operation research - Chapter 02
Operation research - Chapter 02Operation research - Chapter 02
Operation research - Chapter 02
 
Operations Research - Simplex Method Introduction
Operations Research - Simplex Method IntroductionOperations Research - Simplex Method Introduction
Operations Research - Simplex Method Introduction
 
Boyd chap10
Boyd chap10Boyd chap10
Boyd chap10
 
2012 mdsp pr13 support vector machine
2012 mdsp pr13 support vector machine2012 mdsp pr13 support vector machine
2012 mdsp pr13 support vector machine
 

Recently uploaded

AI as an Interface for Commercial Buildings
AI as an Interface for Commercial BuildingsAI as an Interface for Commercial Buildings
AI as an Interface for Commercial BuildingsMemoori
 
My Hashitalk Indonesia April 2024 Presentation
My Hashitalk Indonesia April 2024 PresentationMy Hashitalk Indonesia April 2024 Presentation
My Hashitalk Indonesia April 2024 PresentationRidwan Fadjar
 
Human Factors of XR: Using Human Factors to Design XR Systems
Human Factors of XR: Using Human Factors to Design XR SystemsHuman Factors of XR: Using Human Factors to Design XR Systems
Human Factors of XR: Using Human Factors to Design XR SystemsMark Billinghurst
 
Pigging Solutions in Pet Food Manufacturing
Pigging Solutions in Pet Food ManufacturingPigging Solutions in Pet Food Manufacturing
Pigging Solutions in Pet Food ManufacturingPigging Solutions
 
Beyond Boundaries: Leveraging No-Code Solutions for Industry Innovation
Beyond Boundaries: Leveraging No-Code Solutions for Industry InnovationBeyond Boundaries: Leveraging No-Code Solutions for Industry Innovation
Beyond Boundaries: Leveraging No-Code Solutions for Industry InnovationSafe Software
 
Unblocking The Main Thread Solving ANRs and Frozen Frames
Unblocking The Main Thread Solving ANRs and Frozen FramesUnblocking The Main Thread Solving ANRs and Frozen Frames
Unblocking The Main Thread Solving ANRs and Frozen FramesSinan KOZAK
 
Making_way_through_DLL_hollowing_inspite_of_CFG_by_Debjeet Banerjee.pptx
Making_way_through_DLL_hollowing_inspite_of_CFG_by_Debjeet Banerjee.pptxMaking_way_through_DLL_hollowing_inspite_of_CFG_by_Debjeet Banerjee.pptx
Making_way_through_DLL_hollowing_inspite_of_CFG_by_Debjeet Banerjee.pptxnull - The Open Security Community
 
Bun (KitWorks Team Study 노별마루 발표 2024.4.22)
Bun (KitWorks Team Study 노별마루 발표 2024.4.22)Bun (KitWorks Team Study 노별마루 발표 2024.4.22)
Bun (KitWorks Team Study 노별마루 발표 2024.4.22)Wonjun Hwang
 
Key Features Of Token Development (1).pptx
Key  Features Of Token  Development (1).pptxKey  Features Of Token  Development (1).pptx
Key Features Of Token Development (1).pptxLBM Solutions
 
My INSURER PTE LTD - Insurtech Innovation Award 2024
My INSURER PTE LTD - Insurtech Innovation Award 2024My INSURER PTE LTD - Insurtech Innovation Award 2024
My INSURER PTE LTD - Insurtech Innovation Award 2024The Digital Insurer
 
Unleash Your Potential - Namagunga Girls Coding Club
Unleash Your Potential - Namagunga Girls Coding ClubUnleash Your Potential - Namagunga Girls Coding Club
Unleash Your Potential - Namagunga Girls Coding ClubKalema Edgar
 
Install Stable Diffusion in windows machine
Install Stable Diffusion in windows machineInstall Stable Diffusion in windows machine
Install Stable Diffusion in windows machinePadma Pradeep
 
Swan(sea) Song – personal research during my six years at Swansea ... and bey...
Swan(sea) Song – personal research during my six years at Swansea ... and bey...Swan(sea) Song – personal research during my six years at Swansea ... and bey...
Swan(sea) Song – personal research during my six years at Swansea ... and bey...Alan Dix
 
Artificial intelligence in the post-deep learning era
Artificial intelligence in the post-deep learning eraArtificial intelligence in the post-deep learning era
Artificial intelligence in the post-deep learning eraDeakin University
 
Enhancing Worker Digital Experience: A Hands-on Workshop for Partners
Enhancing Worker Digital Experience: A Hands-on Workshop for PartnersEnhancing Worker Digital Experience: A Hands-on Workshop for Partners
Enhancing Worker Digital Experience: A Hands-on Workshop for PartnersThousandEyes
 
Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 365
Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 365Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 365
Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 3652toLead Limited
 
Pigging Solutions Piggable Sweeping Elbows
Pigging Solutions Piggable Sweeping ElbowsPigging Solutions Piggable Sweeping Elbows
Pigging Solutions Piggable Sweeping ElbowsPigging Solutions
 
Transcript: New from BookNet Canada for 2024: BNC BiblioShare - Tech Forum 2024
Transcript: New from BookNet Canada for 2024: BNC BiblioShare - Tech Forum 2024Transcript: New from BookNet Canada for 2024: BNC BiblioShare - Tech Forum 2024
Transcript: New from BookNet Canada for 2024: BNC BiblioShare - Tech Forum 2024BookNet Canada
 

Recently uploaded (20)

AI as an Interface for Commercial Buildings
AI as an Interface for Commercial BuildingsAI as an Interface for Commercial Buildings
AI as an Interface for Commercial Buildings
 
My Hashitalk Indonesia April 2024 Presentation
My Hashitalk Indonesia April 2024 PresentationMy Hashitalk Indonesia April 2024 Presentation
My Hashitalk Indonesia April 2024 Presentation
 
Human Factors of XR: Using Human Factors to Design XR Systems
Human Factors of XR: Using Human Factors to Design XR SystemsHuman Factors of XR: Using Human Factors to Design XR Systems
Human Factors of XR: Using Human Factors to Design XR Systems
 
Pigging Solutions in Pet Food Manufacturing
Pigging Solutions in Pet Food ManufacturingPigging Solutions in Pet Food Manufacturing
Pigging Solutions in Pet Food Manufacturing
 
Beyond Boundaries: Leveraging No-Code Solutions for Industry Innovation
Beyond Boundaries: Leveraging No-Code Solutions for Industry InnovationBeyond Boundaries: Leveraging No-Code Solutions for Industry Innovation
Beyond Boundaries: Leveraging No-Code Solutions for Industry Innovation
 
Unblocking The Main Thread Solving ANRs and Frozen Frames
Unblocking The Main Thread Solving ANRs and Frozen FramesUnblocking The Main Thread Solving ANRs and Frozen Frames
Unblocking The Main Thread Solving ANRs and Frozen Frames
 
Making_way_through_DLL_hollowing_inspite_of_CFG_by_Debjeet Banerjee.pptx
Making_way_through_DLL_hollowing_inspite_of_CFG_by_Debjeet Banerjee.pptxMaking_way_through_DLL_hollowing_inspite_of_CFG_by_Debjeet Banerjee.pptx
Making_way_through_DLL_hollowing_inspite_of_CFG_by_Debjeet Banerjee.pptx
 
Hot Sexy call girls in Panjabi Bagh 🔝 9953056974 🔝 Delhi escort Service
Hot Sexy call girls in Panjabi Bagh 🔝 9953056974 🔝 Delhi escort ServiceHot Sexy call girls in Panjabi Bagh 🔝 9953056974 🔝 Delhi escort Service
Hot Sexy call girls in Panjabi Bagh 🔝 9953056974 🔝 Delhi escort Service
 
Bun (KitWorks Team Study 노별마루 발표 2024.4.22)
Bun (KitWorks Team Study 노별마루 발표 2024.4.22)Bun (KitWorks Team Study 노별마루 발표 2024.4.22)
Bun (KitWorks Team Study 노별마루 발표 2024.4.22)
 
Key Features Of Token Development (1).pptx
Key  Features Of Token  Development (1).pptxKey  Features Of Token  Development (1).pptx
Key Features Of Token Development (1).pptx
 
My INSURER PTE LTD - Insurtech Innovation Award 2024
My INSURER PTE LTD - Insurtech Innovation Award 2024My INSURER PTE LTD - Insurtech Innovation Award 2024
My INSURER PTE LTD - Insurtech Innovation Award 2024
 
Unleash Your Potential - Namagunga Girls Coding Club
Unleash Your Potential - Namagunga Girls Coding ClubUnleash Your Potential - Namagunga Girls Coding Club
Unleash Your Potential - Namagunga Girls Coding Club
 
The transition to renewables in India.pdf
The transition to renewables in India.pdfThe transition to renewables in India.pdf
The transition to renewables in India.pdf
 
Install Stable Diffusion in windows machine
Install Stable Diffusion in windows machineInstall Stable Diffusion in windows machine
Install Stable Diffusion in windows machine
 
Swan(sea) Song – personal research during my six years at Swansea ... and bey...
Swan(sea) Song – personal research during my six years at Swansea ... and bey...Swan(sea) Song – personal research during my six years at Swansea ... and bey...
Swan(sea) Song – personal research during my six years at Swansea ... and bey...
 
Artificial intelligence in the post-deep learning era
Artificial intelligence in the post-deep learning eraArtificial intelligence in the post-deep learning era
Artificial intelligence in the post-deep learning era
 
Enhancing Worker Digital Experience: A Hands-on Workshop for Partners
Enhancing Worker Digital Experience: A Hands-on Workshop for PartnersEnhancing Worker Digital Experience: A Hands-on Workshop for Partners
Enhancing Worker Digital Experience: A Hands-on Workshop for Partners
 
Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 365
Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 365Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 365
Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 365
 
Pigging Solutions Piggable Sweeping Elbows
Pigging Solutions Piggable Sweeping ElbowsPigging Solutions Piggable Sweeping Elbows
Pigging Solutions Piggable Sweeping Elbows
 
Transcript: New from BookNet Canada for 2024: BNC BiblioShare - Tech Forum 2024
Transcript: New from BookNet Canada for 2024: BNC BiblioShare - Tech Forum 2024Transcript: New from BookNet Canada for 2024: BNC BiblioShare - Tech Forum 2024
Transcript: New from BookNet Canada for 2024: BNC BiblioShare - Tech Forum 2024
 

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