lecture 6: interior point method...motivation • simplex method works well in general, but suffers...

64
LECTURE 6: INTERIOR POINT METHOD 1. Motivation 2. Basic concepts 3. Primal affine scaling algorithm 4. Dual affine scaling algorithm

Upload: others

Post on 21-Mar-2021

2 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

LECTURE 6: INTERIOR POINT METHOD1. Motivation2. Basic concepts3. Primal affine scaling algorithm4. Dual affine scaling algorithm

Page 2: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Motivation• Simplex method works well in general, but suffers from

exponential-time computational complexity.• Klee-Minty example shows simplex method may have to

visit every vertex to reach the optimal one.• Total complexity of an iterative algorithm

= # of iterations x # of operations in each iteration• Simplex method

- Simple operations: Only check adjacent extreme points- May take many iterations: Klee-Minty example

Question: any fix?

Page 3: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Complexity of the simplex method

Page 4: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Worst case performance of the simplex methodKlee-Minty Example:• Victor Klee, George J. Minty, “How good is the simplex

algorithm?’’ in (O. Shisha edited) Inequalities, Vol. III (1972), pp. 159-175.

Page 5: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Klee-Minty Example

Page 6: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Klee-Minty Example

Page 7: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Karmarkar’s (interior point) approach• Basic idea: approach optimal solutions from the interior ofthe feasible domain

• Take more complicated operations in each iteration to find a better moving direction

• Require much fewer iterations

Page 8: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

General scheme of an interior point method

• An iterative method that moves inthe interior of the feasible domain

Page 9: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Interior movement (iteration)• Given a current interior feasible solution , we have

> 0

An interior movement has a general format

Page 10: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Key knowledge• 1. Who is in the interior?

- Initial solution

• 2. How do we know a current solution is optimal?- Optimality condition

• 3. How to move to a new solution?- Which direction to move? (good feasible direction)- How far to go? (step-length)

Page 11: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Q1 - Who is in the interior?• Standard for LP

• Who is at the vertex?• Who is on the edge?• Who is on the boundary?• Who is in the interior?

Page 12: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

What have learned before

Page 13: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Who is in the interior?• Two criteria for a point x to be an interior feasible solution:

1. Ax = b (every linear constraint is satisfied)2. x > 0 (every component is positive)

• Comments:1. On a hyperplane ,

every point is interior relative to H.2. For the first orthant K = ,

only those x > 0 are interior relative to K.

Page 14: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Example

Page 15: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

How to find an initial interior solution?• Like the simplex method, we have

- Big M method- Two-phase method

(to be discussed later!)

Page 16: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Key knowledge• 1. Who is in the interior?

- Initial solution

• 2. How do we know a current solution is optimal?- Optimality condition

• 3. How to move to a new solution?- Which direction to move? (good feasible direction)- How far to go? (step-length)

Page 17: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Q2 - How do we know a current solution is optimal?

• Basic concept of optimality:A current feasible solution is optimal if and only if “no feasible direction at this point is a good direction.”

• In other words, “every feasible direction is not a good direction to move!”

Page 18: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Feasible direction• In an interior-point method, a feasible direction at a current solution is a direction that allows it to take a small movement while staying to be interior feasible.

• Observations:

- There is no problem to stay interior if the step-length issmall enough.

- To maintain feasibility, we need

Page 19: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Good direction• In an interior-point method, a good direction at a current solution is a direction that leads it to a new solution with a lower objective value.

• Observations:

Page 20: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Optimality check• Principle:

“no feasible direction at this point is a good direction.”

Page 21: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Key knowledge• 1. Who is in the interior?

- Initial solution

• 2. How do we know a current solution is optimal?- Optimality condition

• 3. How to move to a new solution?- Which direction to move? (good feasible direction)- How far to go? (step-length)

Page 22: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Q3 – How to move to a new solution?1. Which direction to move?

- a good, feasible direction“Good” requires

“Feasible” requires

Question: any suggestion?

Page 23: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

A good feasible direction• Reduce the objective value

• Maintain feasibility

Page 24: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Projection mapping• A projection mapping projects the negative gradient vector

–c into the null space of matrix A

Page 25: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Q3 – How to move to a new solution?2. How far to go?

- To satisfy every linear constraintSince

the step-length can be real number.

- To stay to be an interior solution, we need

Page 26: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

How to choose step-length?• One easy approach

- in order to keep > 0

we may use the “minimum ratio test” to determine the step-length.

Observation: - when is close to the boundary, the step-length

may be very small.Question: then what?

Page 27: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Observations• If a current solution is near the center of the feasible

domain (polyhedral set), in average we can make adecently long move.

• If a current solution is not near the center, we need tore-scale its coordinates to transform it to become “near the center".

Question: but how?

Page 28: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Where is the center?• We need to know where is the “center” of the

non-negative/first orthant .-Concept of equal distanceto the boundary

Question: If not,what to do?

Page 29: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Concept of scaling• Scale• Define a diagonal scaling matrix

Page 30: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Transformation – affine scaling• Affine scaling transformation

• The transformation is1. one-to-one2. onto3. Invertible 4. boundary to boundary

5. interior to interior

Page 31: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Transformed LP

Page 32: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Step-length in the transformed space• Minimum ratio test in the y-space

Page 33: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Property 1• Iteration in the x-space

Page 34: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Property 2• Feasible direction in x-space

Page 35: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Property 3• Good direction in x-space

Page 36: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Property 4• Optimality check (Lemma 7.2)

Page 37: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Property 5• Well-defined iteration sequence (Lemma 7.3)

From properties 3 and 4, if the standard form LPis bounded below and is not a constant, thenthe sequenceis well-defined and strictly decreasing.

Page 38: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Property 6• Dual estimate, reduced cost and stopping ruleWe may define

Page 39: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Property 7• Moving direction and reduced cost

Page 40: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Primal affine scaling algorithm

Page 41: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Example

Page 42: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Example

Page 43: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

How to find an initial interior feasible solution?

• Big-M method Idea: add an artificialvariable with a big penalty

(big-M)

• Objective

Page 44: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Properties of (big-M) problem(1) It is a standard form LP with n+1 variables and m

constraints.

(2) e is an interior feasible solution of (big-M).

(3)

Page 45: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Two-phase method

Page 46: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Properties of (Phase-I) problem

Page 47: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Facts of the primal affine scaling algorithm

Page 48: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

More facts

Page 49: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Improving performance – potential push• Idea: (Potential push method)

- Stay away from the boundary by adding apotential push. Consider

Use

Page 50: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Improving performance – logarithmic barrier

• Idea: (Logarithmic barrier function method)Consider

Properties:

(2)

Page 51: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Dual affine scaling algorithm• Affine scaling method applied to the dual LP

• Idea:

Page 52: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Key knowledge• Dual scaling (centering) • Dual feasible direction• Dual good direction – increase the dual objective value• Dual step-length• Primal estimate for stopping rule

Page 53: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Observation 1• Dual scaling (centering)

Page 54: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Observation 2• Dual feasibility (feasible direction)

Page 55: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Observation 3• Increase dual objective function (good direction)

Page 56: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Observation 4• Dual step-length

Page 57: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Observation 5• Primal estimateWe define

Page 58: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Dual affine scaling algorithm

Page 59: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Find an initial interior feasible solution

Page 60: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Properties of (big-M) problem

Page 61: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Performance of dual affine scaling• No polynomial-time proof !• Computational bottleneck

• Less sensitive to primal degeneracy and numerical errors,but sensitive to dual degeneracy.

• Improves dual objective value very fast, but attains primalfeasibility slowly.

Page 62: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Improving performance1. Logarithmic barrier function method

Polynomial-time proof

Page 63: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Improving performance• Power series method

- Basic idea: following a higher order trajectory

Page 64: LECTURE 6: INTERIOR POINT METHOD...Motivation • Simplex method works well in general, but suffers from exponential-time computational complexity. • Klee-Minty example shows simplex

Power series expansion