• Sonuç bulunamadı

A characterization of the optimal set of linear programs based on the augmented lagrangian

N/A
N/A
Protected

Academic year: 2021

Share "A characterization of the optimal set of linear programs based on the augmented lagrangian"

Copied!
11
0
0

Yükleniyor.... (view fulltext now)

Tam metin

(1)

Full Terms & Conditions of access and use can be found at

https://www.tandfonline.com/action/journalInformation?journalCode=tios20

Journal of Information and Optimization Sciences

ISSN: 0252-2667 (Print) 2169-0103 (Online) Journal homepage: https://www.tandfonline.com/loi/tios20

A characterization of the optimal set of linear

programs based on the augmented lagrangian

Mustafa C. Pinar

To cite this article: Mustafa C. Pinar (1999) A characterization of the optimal set of linear

programs based on the augmented lagrangian, Journal of Information and Optimization Sciences, 20:2, 299-308, DOI: 10.1080/02522667.1999.10699419

To link to this article: https://doi.org/10.1080/02522667.1999.10699419

Published online: 18 Jun 2013.

Submit your article to this journal

(2)

A characterization of the optimal set of linear programs based on the augmented lagrangian

Mustafa C. Pinar

Department of Industrial Engineering Bilkent University

TR-06533 Ankara Turkey

ABSTRACT

It is proved that in a certain neighborhood of the optimal set of multipliers, the set of minimizers of the augmented lagrangian nmction generates a new characterization of the optimal solution set of the linear program.

1. INTRODUCTION

The purpose of this note is to give a novel characterization of the optimal set of linear programs based on augmented lagrangians. The new characterization allows one to check optimality of the iterates of the proxiqial point (or, augmented lagrangian) method applied to linear programs in a novel way.

We consider the primal linear programming problem (P] minimize

s.t. Ax:::: b x?O

where x ERn, A is a m x n matrix, bERm and cERn, and the dual problem to [P]:

[D] maximize

Journal of Information & Optimization Sciences

Vol. 20 (1999), No.2, pp. 299-308

(3)

where y E Rm. For convenience in exposition, we apply the augmented Lagrangian algorithm (also known as the method of multipliers) to the dual. The method of multipliers applied to [D] consists of the unconstrained minimization phase:

y(t + 1)

=arg min {

bTy + 21

±

max{O, pit) + J..l(-Cj - aJy

))2j

(1) y J..l j=l

followed by multiplier updates

pit + 1) =max{O, J..l(-Cj - aJy(t + 1))}, for all j

=1, ... ,

n, (2) where J..l is a positive scalar and t is the iteration index. It is well­ known that the above iteration yields a primal-dual optimal pair to the linear program after a finite number of unconstrained minimization phases. A finite Newton-type method to carry out the unconstrained minimization (1) is given in [11]. Also well-known is the fact that the method of multipliers is "dual" to the proximal minimization algorithm since the dual to the minimization problem

(1) is:

minimize CTp +

2~

lip - pet))

II~

s.t. Ap b

p:2 O.

It can be shown that pet + 1) obtained from the multiplier iteration (2) is the unique optimal solution to the above problem.

There is an extensive literature on the method of multipliers. A detailed treatment can be found in the books by D. P. Bertsekas, and D. P. Bertsekas and J. N. Tsitsiklis [2, 3]. The method of multipliers was originally proposed for nonlinear programs. The origins go back to papers by M. R. Hestenes and M. J. D. Powell [9, 10]. T. R. Rockafellar [6, 7] and D. P. Bertsekas [2] also made very important contributions to the subject. For a bibliography that covers the developments until 1982, see the monograph by Bertsekas [2]. Two recent applications of the method to linear programs are given in the papers by O. GuIer [4] and S. J. Wright [5]. It is also possible to devise methods of multipliers based on non-quadratic functions (a.k.a. D-functions or Bregman functions) such as the entropy function; see

(4)

301 OPTIMAL SET OF LINEAR PROGRAMS

In the main result of the present paper, using a result by Bertsekas (Proposition 3 of [1]), it is shown (c.r. Theorem 3) that the optimal solution of the linear program can be generated using 'information from the set of minimizers of the augmented lagrangian for multiplier vectors contained in a certain neighborhood of the optimal set of multipliers. This result yields a new, easily implementable termination criterion for the method of multipliers applied to linear programs. It also gives a new sufficient condition for the optimal solution to be unique. The present study is related to our previous work on quadratic penalty functions [12] and the joint work on the Huber approximation of II problems [13, 14]. The main difference between the approach of these papers and the present is that in [12, 13, 14] continuation with respect to a scalar parameter is studied whereas in the present paper we view the multiplier vector as the continuation parameter itself.

2. STRUCTURE OF THE SET OF MINIMIZERS OF THE AUGMENTED LAGRANGIAN FUNCTION

In this section we examine the properties and structure of the set of minimizers of F.

For a f'lXed 11 and p we can cast the augmented Lagrangian function in the following quadratic form:

T 1 T

F(y,p, 11) == b y + 211 r (y,p)W(y,p)r(y,p), (3)

where r(y,p, 1l)=P +!lC-ATy c), and W is a diagonal m xm matrix with entries:

(4) otherwise.

We sometimes drop the argument y,p and 11 of W, F and r for notational convenience when there is no confusion. In the sequel we refer to W as a "partition matrix" by analogy to the partitioning of

Rm by the hyperplanes rj .

We use ai to denote column i of A. We denote by X and Y the

optimal solution sets of [P] and [D], respectively. The following is well known; see Proposition 4.1(a) of [3].

(5)

THEOREM 1. If [D] has a finite optimal value there exists a finite point that minimizes F(., p) for any p and positive scalar 11.

The gradient of the function F with respect to y is given by F '(y,p, 11)

=

-AW(y.p.l1)r(y,p. 11) + b. (5) We denote by U(P. 11) the set of minimizers of F for ftxed p and 11. Since p(t + 1) is the unique optimal solution to the dual program to (1), and p(t + 1) can be written as

p(t + 1) = [p(t) -11(ATy + c)]+

where [z]+ denotes the vector that is obtained from z by setting to zero its negative components. we have the following properties of the solution set U( p, 11).

LEMMA 2.1. For y E U(p, 11), if ri(Y,p, 11) > 0 then ri(z,p,l1) is constant for z E U( p, 11). Furthermore, W(z, p, 11) is constant for all

ZE U(p, 11).

Following the lemma we let W(U(p, ).1» = W(y,p, 11), y E U(p,).1)

as the partition matrix corresponding to the solution set. Now, we can use the previous result to characterize the solution set U( p, 11).

COROLLARY 2.1. U(p, 11) is a convex set which is contained in the set Cw(P,I1) ecl{y

I

W(y,p, Ji)::: W} where W W(U(p, ).1».

PROOF. This follows from the linearity of the problem and the previous lemma. 0

Now, deftne the set of indices Ow = {i E [1, ... , m]

I

Wu

=

O} and the set Vw(P,I1) lYE Rm l(p+I1(-ATy C»)i::;O "if iE ow},

COROLLARY 2.2. Let y E U(p, 11), and W W(U(P,I1». Let

'Xw

be the orthogonal complement of 'llw = span{ai

I

Wii 1}. Then

PROOF. It follows from (5) that F '(y +U, p) 0 if u E

'Xw

and

y + U E Vw(p, 11). Thus

U(p,).1) d (y +

'Xw)

Il tj)w(p, 11)·

If Z E U( p, 11) then ri(Y, p, 11) = r#, p, 11) for Wii 1, and hence

(6)

303

OPTIMAL SET OF LINEAR PROGRAMS

U( p, Il) ~(y + 9{.) n 'Dw( p, Il) which proves the result. 0

An important consequence of the previous characterization of U( p, Il) is a sufficient condition for the uniqueness of y E U( p, Il).

COROLLARY 2.3. Assume A has full rank. Let W W(U(p, Il». Then, y E U( p, Il) is unique

if

span{ai

I

Wit ::: 1} :::

am.

This condition is not necessary for uniqueness of solution as the following example demonstrates:

Example 1. Consider a linear program of the form [D] with the following data:

3 5 6 7 4 8 1 2

b (23/9, O)T, and c::: (0, 3, 4, 14, 15, 4)T. For Il:::; 1 and p::: 0, the unique minimizer of F occurs at y::: (-23/9, 13/9)T with r(y, p) :::; (23/9, -10/9, - 25/9, 119,0,

ol

where span {ai

I

Wii ::: I} ==

at.

3. NEW CHARACTERIZATION OF OPTIMAL SOLUTIONS Now, assume y E U(p, Il), and W:;:: W(U(p, Il». Then y satisfies the following identity:

b -AWr(y,p, Il) ==

o.

(6)

Now, consider the multiplier iteration (2). This iteration can be recast as follows:

pet + 1) ::: Wr(y(t + 1), pet»~. (7)

LEMMA 3.1. Let pE

an

with 1l>0 -with W:::;W(U(p,J.L» and y E U(p, Il). Let p' Wr(y,p, Il) and J.L' > O. Suppose W::: W(U(p, Il»::: W(U(p', J.L'». Then

U(p',

Jl')

== Sw n 'Dw(p',

Jl')

(8) where Sw is the set of solutions to

(7)

PROOF. Suppose that W(U(p, Il» = W(U(p',

Il'».

Let y E U(p, J!') and y' E U(p', Il'). This implies that

b AW(p + Il(-e _ATy» 0, (10)

and

b -AW(p' + Il'(-e _ATy'» = O. (11)

After straightforward algebraic manipulation it is easy to see that

y' satisfies the following linear system of equations: AWATy' -AWe.

Conversely, let y' be a solution to the system (9). If W(y',P',

Il')

=

W(y,p, Il), then we have the following: b -AW(p' + 11'(-e _ATy'»

= b AWp' + Il'AWe - ll'AWe

= b -AWp + IlAWe + IlAWATy = b -AW(p +11(-e - ATy»

=0.

Since WATy' is constant regardless of the choice of y' that solves (9), W(ATy ' +e) is constant. This completes the proof. 0

Remark 1. Lemma 3.1 has an immediate consequence of practical value. If for a given p anq 11, a minimizer y of F is at hand, then the new multiplier Nector p' is computed by the iteration (2), and by compt:ting a solution y' to (9), one can check whether the projected point y' satisfies W(y', p', J!') == W(y,p, 11). As a result of Lemma 3.1, y' is a minimizer of F(.,p',

Il')

if W(y',P',

Il')

=

W(y,p, Il)·

Now, define the dual functional g(x):

if Ax

=

b, and x 2 0

(12)

otherwise. Let y> 0 be a scalar such that

(8)

305 OfYl'IMAL SET OF LINEAR PROGRAMS

g(w) ~ ming(x) + yd(w, X), (13)

x

where d(w,X)

=

min

IIw

-xii and

11.11

denotes Euclidean norm. The

xeX

existence of such a scalar y is guaranteed by Lemma 1 of [1]. Now, we are in a position to quote the following result from [1] (see Proposition 3 of [1]).

THEOREM 2. Let p be any vector in Rn and let y E U( p, f.L) with W =: W(U(p, f.L». Let y> 0 be such that (13) holds. If

d(p, X) S; y f.L,

then the vector p' obtained from the multiplier iteration p' = Wr(y, p, f.L)

belongs to X and is in fact the orthogonal projection of p on X.

A more general form of this result is given in Proposition 4.1(d) pp. 233-242 of [3]. The result states that when p is sufficiently near the optimal set X of [P] (f.L is sufficiently large) one multiplier iteration suffices to produce an optimal multiplier vector. Similar results were established by Ferris in [15]. Ferris terms inequality (13) the sharp minimum property. Now, the main result can be given. This states that the optimal solution set Y of [DJ can be described entirely using information from the set of minimizers of F whenp is sufficiently near the optimal set X. In particular, the optimal set Y is expressed as the portion of the solution set of a linear system restricted to a particular polyhedral subset of the m-dimensional Euclidean space.

THEOREM 3. Let p be any vector in Rn and let y E U(p, f.L) with

W

=

W(U( p, f.L». Let y> 0 such that (13) holds. Suppose that d(p,X) s;yf.L.

If the vector p' is obtained from the multiplier iteration p'= Wr(y,p)

and ).1' is any positive scalar then

1. W(U( p', ).1'»

=

W, and Y= U(p', f.L'),

(9)

PROOF. Let y' E Y. Since p' E X from the previous theorem, and using the complementary slackness theorem of linear programming we have:

and p' ~

o.

(14)

Let r == p + f..!(-C - ATy). If ri > 0 then Wit == 1. This implies that Pi> 0 and (ATy' + c)t == 0 (by complementarity). Now, let Wu(y', p')

=

1 since

P;+f..!'(-ATy' C)i>O. IfriS;O, then Wii=O and pi O. By comple­

mentarity and feasibility, we have (ATy' + C)i ~ 0 which implies that

ip; + f..!'(- ATy' - C)i S; O. Hence, Wji(y', p', f..!')

=

0 for any f..!' > O. We have thus constructed a point y' with W(y',P', f..!') = W. Now, we have

b AW(p'+Jl(-c-ATy'»

b -AWr - IlAW(-c _ATy').

But, the term in the right-hand side is zero since b - AWr = 0

(y E U(p, f..!) and WW

=

W), and W(-c _ATy')

=

0 by construction.

Hence, we have shown that Y ~ U(p', Jl/) and W(U(p', f..!'» W using Lemma 2.1.

. To prove U( p') ~Y, let y' E Y complementarity W(ATy' T c) == O. Further

W(y', pi, f..!') and pi = Wr(y,p) we have

and more y E U( p). , since W Then, W(y,p, by f..!) = (15) But, WATy'

=

WATy for any y' that solves (15). Now, pick any

y' E U(p'). Since WATy'

=

WATy we have W(ATy' + c)

=

O. For the

indices i such that Wii 0, we clearly have (ATy' + c)i ~ O. Hence, y' is feasible in [D] and complementary to p'. This implies that U( pi) ~

Y. Therefore, Y == U( p'). This proves 1.

Part 2 now follows directly from Lemma 3.1. 0

Remark 2. From the previous theorE\m we deduce that whenever f..! is sufficiently large, not only p' obtained by the multiplier operation is optimal, but also any projected point y' where y' solves (9), may be optimal for [D]. Theorem 3 guarantees that y' will be partially complementary to p' (and partially feasible in [D]) since W(ATy' + c) = O. Hence it suffices to check the feasibility of y' and complementarity to p' to decide optimality. To decide optimality, one usually has to

(10)

307 OPl'IMAL SET OF LINEAR PROGRAMS

solve the minimization problem (1) withp', obtain a minimizer y' and check the optimality conditions. In this respect, the above theorem gives a way to short circuit the optimality test by possibly avoiding .another round of unconstrained minimization.

Remark 3. Notice that in Theorem 3 the set fj)w( p', J!') where

p' E X coincides with the set fj)w == { y E Rm

I

(ATy +C)i 2 0 'V i E Ow},

This implies that one could reiterate part 2 of the theorem using

fj)w .

Remark 4. In part 1 of the theorem we have shown that

y == U( p', J!') for any J.1' > 0 using the fact that W(U( p, J!»

=

W(U(p', J!'». The result Y== U(p', J!') is well-known; see Theorem 3.5 of [8]. The novelty of our Theorem 3 lies in the relation W(U(p, J!»

= W(U( pt,

Jl'»

which leads to the new characterization of Y based on Lemma 3.1.

The new characterization of Y yields a new sufficient condition for the optimal solution to [D] to be unique.

COROLLARY 3.1. Assume A has full rank. Let p be any vector in

an

and let y E U( P. J!) with W

=

W(U( P. J!». Let 'Y> 0 be such that (13)

holds. If

then Y is a singleton if Sw is a singleton.

REFERENCES

1. D. P. Bertsekas (1976), Newton's method for linear optimal control problems, in

Proceedings of the Symposium on Large Scale Systems (Udine, 1976), pp. 353-359.

2. D. P. Bertsekas (1982), Constrained Optimization and Lagrange Multiplier Methods, Academic Press, New York.

3. D. P. Bertsekas and J. N. Tsitsiklis (1989), Parallel and Distributed Computation:

Numerical Methods, Prentice-Hall, Englewood CliITs, New Jersey.

4. O. Gitler (1992), Augmented lagrangian algorithms for linear programming, J. Optim. Theory and Applies., Vol. 75, pp. 445·470.

5. S. J. Wright (1990), Implementing proximal point methods for linear programming, J. Optim. Theory and Applies., Vol. 65, pp. 531·551.

6. T. R. Rockafellar (1976), Augmented lagrangian.,and applications of proximal point algorithm in convex programming, Math. O.R., Vol. 1, pp. 97-116. 7. T. R. Rockafellar (1973), The multiplier method of Hestenes and Powell applied

(11)

8. T. R. Rockafellar (1973), A dual approach to solving nonlinear programming problems by tmconstrained optimization, Math, Programming, Vol. 5, pp. 354-373.

9. M, R. Hestenes (1969), Multiplier and gradient methods, J. Optim. Theory and Applies., Vol. 4, pp. 303-320.

10. M. J. D. Powell (1969), A method for nonlinear constraints in minimization ,problems, in Optimization, Edited by R. Fletcher, Academic Press, New York, pp.

283-298.

11. M. C. Pinar (1996), Minimization of the quadratic augmented lagrangian function in linear programming, Technical Report, Department of Industrial Engineering, Bilkent University, 06533, Bilkent, Ankara, Turkey.

12. M. C. Pinar (1994), Piecewise linear pathways to the optimal solution set in linear programming, Technical Report 94-01, Institute of Mathematical Modelling, Technical University of Denmark, revised August 1995 (to appear in J. Optim. Theory and Applies.).

13. K. Madsen, H. B. Nielsen and M. C. Pinar (1994), New characterizations of it solutions to overdetermined systems of linear equations, O.R. LeUers, VoL 16, pp.

159-166.

14. K. Madsen, H. B. Nielsen and M. C. Pinar (1996), A new finite continuation algorithm for linear programming, SlAM J. on Optimization, Vol. 6, August 1996.

15. M. C. Ferris (1991), Finite termination of the proximal point algorithm, Math. Programming, Vol. 50, pp. 359·366.

16. M: Teboulle (1992), Entropic proximal mappings with applications to nonlinear programming, Math. O.R., Vol. 17, pp. 670-690.

17. J. Eckstein (1993), Nonlinear proximal point algorithms using Bregman functions, with applications to convex programming, Math. O.R., Vol. 18, pp.

202-226.

18. Y. Censor and S. A. Zenios (1992), The proximal minimization algorithm with D-functions, J. Optim. Theory and Applies., Vol. 73, pp. 451-466.

19. P. Tseng and D. P. Bertsekas (1993), On the convergence of the exponential multiplier method for convex programming, Math. Programming, Vol. 60, pp. 1-19.

Referanslar

Benzer Belgeler

Pre-service teachers in Turkey do not spend as much time in schools; therefore, to increase pre-service teachers’ time in schools, a teacher training programme that included

Örneğin sanayi toplumu ortamında fabri- kanın kiri ve pası içerisinde yaşayan bir Batılı için özel olarak oluşturulmuş ye- şil alan kent kültürünün tamamlayıcı

Bazı Orchis türlerinin köklerinden mikorizal birliğe katılan 10 binükleat Rhizoctonia türü izole edilip morfolojik ve moleküler tanımlamalar sonucunda 7

Ding, Linear complexity of generalized cyclotomic binary sequences of order 2, Finite Fields Appl. Ding, Autocorrelation values of generalized cyclotomic sequences of order two,

Syringocystadenoma papilliferum (SCAP) is a benign hamartomatous adnexal tumor which usually develops in the form of nodules and plaques.. It has been reported to be

In particular, the mild condition, which states that the maximum-valued infinite state variable in any state does not change by more than one through any transition in these

Elazığ Vilayet Matbaası Müdürü ve Mektupçusu olan Ahmet Efendi’nin oğlu olarak 1894 yılında dünyaya gelmiş olan Arif Oruç, II. Meşrutiyetin ilanından vefat ettiği 1950

H 0 (13) : Uygulama öncesinde öğrencilerin bilgisayar tutumları ile ön-test başarı puanları arasında istatistiksel olarak anlamlı bir fark yoktur.. H 0 (14) : Deney ve