• Nie Znaleziono Wyników

What happened last week?

N/A
N/A
Protected

Academic year: 2021

Share "What happened last week?"

Copied!
5
0
0

Pełen tekst

(1)

Consider a standard problem:

minimize c · x

subject to Ax = b

x � 0.

We are at some vertex x ∈ P connected with a basis B(1), . . . , B(m) (of columns of A).

We pick some nonbasic coordinate j and try to find a new vertex of the form y = x + θd, where the direction d satisfies

dj = 1,

dB = −B−1Aj,

1

(2)

How does this influence the objective function?

c· y − c · x = c · (x + θd) − c · c = θc · d, so we lowered the objective function if c · d < 0.

Conclusion: It was a good idea to move to the vertex y if and only if c · d < 0.

So we better calculate the value of c · d before we determine the direction d.

c· d = cB · dB + cj = cj − cB · (B−1Aj).

Definition 13.

cj = cj − cB · (B−1Aj)

is called the reduced cost of the jth variable.

(3)

Reduced costs

Lemma 14. If f, g : P → R are two functions on some sem P and f − g is constant then f and g attain their minima ate the same points (if this happens at all).

Coming back to our standard problem (SP)

minimize c · x

subject to Ax = b

x � 0.

denote by a1, . . . , am the rows of the matrix A

Theorem 15. If we consider another problem (SP’) by changing the cost vector c to

c = c + m

i=1λiai,

then (SP) and (SP’) have the same solutions.

(4)

Test for optimality

Recall the formula for reduced costs cj = cj − cB · (B−1Aj)

c = c − B−1A

Note that if we apply it to the coordinate from the basis then cj = 0.

Note also that c is a result of adding to c some linear combination of rows of the matrix A.

Theorem 16. If the vector of reduced costs has nonnega- tive coordinates then the vertex x (we are at) is optimal.

(5)

The non-degenerate case

Theorem 17. If the vector of reduced costs c satisfies ci < 0 for some (necessarily non-basuc) coordinate j and the BFS solution x we consider is non-degenerate then x is not optimal.

Cytaty

Powiązane dokumenty

[r]

The theorem im- plies that if there exist counterexamples to the conjecture in C 2 then those of the lowest degree among them fail to satisfy our assumption on the set {f m = 0} (it

To generalise the Fox fundamental trope or the Artin–Mazur fundamental pro-group of a space we consider a fun- damental pro-groupoid π crs(X) and a category pro(π crs(X), Sets) which

Thus eigenfunctions of the Fourier transform defined by the negative definite form −x 2 in one variable are the same as eigenfunctions of the classical in- verse Fourier

To study various properties of continuous subadditive processes we gen- eralize some old definitions including those of central, singular and global exponents (Definition 2.4) and

(e) Comment on

A general discussion for balanced domains of holomorphy (like the above for n-circled domains) is still lacking.... Proof of

She is pleased to thank the Department of Mathematics of Wesleyan University for generous hospitality during the spring semester of 1992.. The second author is pleased to thank