Volume 2013, Article ID 697474,7pages http://dx.doi.org/10.1155/2013/697474
Research Article
An Approximate Quasi-Newton Bundle-Type Method for Nonsmooth Optimization
Jie Shen,
1Li-Ping Pang,
2and Dan Li
21School of Mathematics, Liaoning Normal University, Dalian 116029, China
2School of Mathematical Sciences, Dalian University of Technology, Dalian 116024, China
Correspondence should be addressed to Jie Shen; [email protected] Received 22 January 2013; Revised 31 March 2013; Accepted 1 April 2013 Academic Editor: Gue Lee
Copyright © 2013 Jie Shen et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
An implementable algorithm for solving a nonsmooth convex optimization problem is proposed by combining Moreau-Yosida regularization and bundle and quasi-Newton ideas. In contrast with quasi-Newton bundle methods of Mifflin et al. (1998), we only assume that the values of the objective function and its subgradients are evaluated approximately, which makes the method easier to implement. Under some reasonable assumptions, the proposed method is shown to have a Q-superlinear rate of convergence.
1. Introduction
In this paper we are concerned with the unconstrained min- imization of a real-valued, convex function𝑓 : 𝑅𝑛 → 𝑅, namely,
min 𝑓 (𝑥)
s.t. 𝑥 ∈ 𝑅𝑛, (1)
and in general𝑓is nondifferentiable. A number of attempts have been made to obtain convergent algorithms for solving (1). Fukushima and Qi [1] propose an algorithm for solving (1) under semismoothness and regularity assumptions. The proposed algorithm is shown to have a Q-superlinear rate of convergence. An implementable BFGS method for general nonsmooth problems is presented by Rauf and Fukushima [2], and global convergence is obtained based on the assump- tion of strong convexity. A superlinearly convergent method for (1) is proposed by Qi and Chen [3], but it requires the semismoothness condition. He [4] obtains a globally convergent algorithm for convex constrained minimization problems under certain regularity and uniform continuity assumptions. Among methods for nonsmooth optimization problems, some have superlinear rate of convergence, for instance, see Mifflin and Sagastiz´abal [5] and Lemar´echal et al. [6]. They propose two conceptual algorithms with superlinear convergence for minimizing a class of convex
functions, and the latter demands that the objective function 𝑓should be differentiable in a certain space𝑈(the subspace along which 𝜕𝑓(𝑝) has 0 breadth at a given point 𝑝), but sometimes it is difficult to decompose the space. Besides these methods mentioned above, there is a quasi-Newton bundle type method proposed by Mifflin et al. [7] it has superlinear rate of convergence, but the exact values of the objective function and its subgradients are required. In this paper, we present an implementable algorithm by using bundle and quasi-Newton ideas and Moreau-Yosida regularization, and the proposed algorithm can be shown to have a superlinear rate of convergence. An obvious advantage of the proposed algorithm lies in the fact that we only need the approximate values of the objective function and its subgradients.
It is well known that (1) can be solved by means of the Moreau-Yosida regularization𝐹 : 𝑅𝑛 → 𝑅of𝑓, which is defined by
𝐹 (𝑥) =min
𝑧∈𝑅𝑛{𝑓 (𝑧) + (2𝜆)−1‖𝑧 − 𝑥‖2} , (2) where𝜆is a fixed positive parameter and‖ ⋅ ‖denotes the Euclidean norm or its induced matrix norm on 𝑅𝑛×𝑛. The problem of minimizing𝐹(𝑥), that is,
min 𝐹 (𝑥)
s.t. 𝑥 ∈ 𝑅𝑛, (3)
is equivalent to (1) in the sense that𝑥 ∈ 𝑅𝑛solves (1) if and only if it solves (3), see Hiriart-Urruty and Lemar´echal [8].
The problem (3) has a remarkable feature that the objective function𝐹is a differentiable convex function, even though𝑓 is nondifferentiable. Moreover𝐹has a Lipschitz continuous gradient
𝐺 (𝑥) = 𝜆−1(𝑥 − 𝑝 (𝑥)) ∈ 𝜕𝑓 (𝑝 (𝑥)) , (4) where 𝑝(𝑥) is the unique minimizer of (2) and 𝜕𝑓 is the subdifferential mapping of𝑓. Hence, by Rademacher’s theorem,𝐺is differentiable almost everywhere and the set
𝜕𝐵𝐺 (𝑥) = {𝐷 ∈ 𝑅𝑛×𝑛| 𝐷 = lim
𝑥𝑘→ 𝑥∇𝐺 (𝑥𝑘) , where𝐺is differentiable at𝑥𝑘}
(5)
is nonempty and bounded for each 𝑥. We say 𝐺 is BD- regular at𝑥 if all matrices𝐷 ∈ 𝜕𝐵𝐺(𝑥)are nonsingular. It is reasonable to pay more attention to the problem (3) since 𝐹has such good properties. However, because the Moreau- Yosida regularization itself is defined through a minimization problem involving𝑓, the exact values of𝐹and its gradient 𝐺 at an arbitrary point 𝑥 are difficult or even impossible to compute in general. Therefore, we attempt to explore the possibility of utilizing the approximations of these values.
Several attempts have been made to combine quasi- Newton idea with Moreau-Yosida regularization to solve (1).
For related works on this subject, see Chen and Fukushima [9] and Mifflin [10]. In particular, Mifflin et al. [7] consider using bundle ideas to approximate linearly the values of𝑓in order to approximate𝐹in which the exact values of𝑓and one of its subgradients𝑔at some points are needed. In this paper we assume that for given𝑥 ∈ 𝑅𝑛and𝜀 ≥ 0, we can find some 𝑓 ∈ 𝑅̃ and𝑔𝑎(𝑥, 𝜀) ∈ 𝑅𝑛such that
𝑓 (𝑥) ≥ ̃𝑓 ≥ 𝑓 (𝑥) − 𝜀,
𝑓 (𝑧) ≥ ̃𝑓 + ⟨𝑔𝑎(𝑥, 𝜀) , 𝑧 − 𝑥⟩ , ∀ 𝑧 ∈ 𝑅𝑛, (6) which means that𝑔𝑎(𝑥, 𝜀) ∈ 𝜕𝜀𝑓(𝑥). This setting is realistic in many applications, see Kiwiel [11]. Let us see some examples.
Assume that𝑓is strongly convex with modulus𝜇 > 0, that is,
𝑓 (𝑥) + 𝑔(𝑥)𝑇(𝑧 − 𝑥) +𝜇
2‖𝑧 − 𝑥‖2≤ 𝑓 (𝑧) ,
∀𝑧, 𝑥 ∈ 𝑅𝑛, 𝑔 (𝑥) ∈ 𝜕𝑓 (𝑥) ,
(7)
and that𝑓(𝑥) = 𝑤(V(𝑥))withV : 𝑅𝑛 → 𝑅𝑚 continuously differentiable and𝑤 : 𝑅𝑚 → 𝑅convex. By the chain rule we have𝜕𝑓(𝑥) = {∑𝑚𝑖=1𝜉𝑖∇V𝑖(𝑥) | 𝜉 = (𝜉1, 𝜉2, . . . , 𝜉𝑛)𝑇 ∈
𝜕𝑤(V(𝑥))}. Now assume that we have an approximation
∇ℎV(𝑥)of∇V(𝑥)such that‖∇ℎV(𝑥)−∇V(𝑥)‖≤ 𝜅(ℎ), ℎ > 0. Such an approximation may be obtained by using finite differences.
In this case, typically𝜅(ℎ) → 0forℎ → 0. Let𝑔ℎ(𝑥) =
∑𝑚𝑖=1𝜉𝑖∇ℎV𝑖(𝑥), 𝜉 ∈ 𝜕𝑤(V(𝑥)). Then, we have 𝑓 (𝑥) + 𝑔ℎ(𝑥)𝑇(𝑧 − 𝑥)
≤ 𝑓 (𝑥) + 𝑔(𝑥)𝑇(𝑧 − 𝑥)
+ 𝜉∇ℎV(𝑥) − ∇V(𝑥) ‖𝑧 − 𝑥‖
≤ 𝑓 (𝑧) −𝜇
2‖𝑧 − 𝑥‖2+ 𝜅 (ℎ) 𝜉‖𝑧 − 𝑥‖
(8)
for all𝑥, 𝑧 ∈ 𝑅𝑛 and𝑔(𝑥) = ∑𝑚𝑖=1𝜉𝑖∇V𝑖(𝑥) ∈ 𝜕𝑓(𝑥). Some simple manipulations show that
−𝜇
2‖𝑧 − 𝑥‖2+ 𝜅 (ℎ) 𝜉‖𝑧 − 𝑥‖
≤ 1
2𝜇𝜉2𝜅(ℎ)2=: 𝜀ℎ, ∀ 𝑥, 𝑧 ∈ 𝑅𝑛. (9) By the definition of𝜉, the bound𝜀ℎdepends on𝑥, we obtain 𝑓 (𝑥) + 𝑔ℎ(𝑥)𝑇(𝑧 − 𝑥) ≤ 𝑓 (𝑧) + 𝜀ℎ, ∀ 𝑧 ∈ 𝑅𝑛. (10) From the local boundedness of𝜕𝑤(V(𝑥)), we infer that𝜀ℎ> 0 is locally bounded. Thus,𝑔ℎ(𝑥)is an𝜀ℎ-subgradient of𝑓at𝑥, see Hinterm¨uller [12]. As for the approximate function values, if𝑓is a max-type function of the form
𝑓 (𝑥) =sup{𝜙𝑢(𝑥) | 𝑢 ∈ 𝑈} , ∀ 𝑥 ∈ 𝑅𝑛, (11) where each𝜙𝑢 : 𝑅𝑛 → 𝑅 is convex and𝑈is an infinite set, then it may be impossible to calculate 𝑓(𝑥). However, for any positive𝜀one can usually find in finite time an 𝜀- solution to the maximization problem (11), that is, an element 𝑢𝜀 ∈ 𝑈 satisfying 𝜙𝑢𝜀 ≥ 𝑓(𝑥) − 𝜀. Then one may set 𝑓𝜀(𝑥) = 𝜙𝑢𝜀(𝑥). On the other hand, in some applications, calculating 𝑢𝜀 for a prescribed 𝜀 ≥ 0 may require much less work than computing 𝑢0. This is, for instance, the case when the maximization problem (11) involves solving a linear or discrete programming problem by the methods of Gabasov and Kirilova [13]. Some people have tried to solve (1) by assuming the values of the objective function, and its subgradients can only be computed approximately.
For example, Solodov [14] considers the proximal form of a bundle algorithm for (1), assuming the values of the function and its subgradients are evaluated approximately, and it is shown how these approximations should be controlled in order to satisfy the desired optimality tolerance. Kiwiel [15]
proposes an algorithm for (1), and the algorithm utilizes the approximation evaluations of the objective function and its subgradients; global convergence of the method is obtained. Kiwiel [11] introduces another method for (1); it requires only the approximate evaluations of 𝑓 and its 𝜀- subgradients, and this method converges globally. It is in evidence that bundle methods with superlinear convergence for solving (1) by using approximate values of the objective and its subgradients are seldom obtained. Compared with the methods mentioned above, the method proposed in this paper is not only implementable but also has a superlinear
rate of convergence under some additional assumptions, and it should be noted that we only use the approximate values of the objective function and its subgradients which makes the algorithm easier to implement.
Some notations are listed below for presenting the algo- rithm.
(i)𝜕𝑓(𝑥) = {𝜉 ∈ 𝑅𝑛| 𝑓(𝑧) ≥ 𝑓(𝑥) + 𝜉𝑇(𝑧 − 𝑥), ∀𝑧 ∈ 𝑅𝑛}, the subdifferential of𝑓at𝑥, and each such𝜉is called a subgradient of𝑓at𝑥.
(ii)𝜕𝜀𝑓(𝑥) = {𝜂 ∈ 𝑅𝑛| 𝑓(𝑧) ≥ 𝑓(𝑥) + 𝜂𝑇(𝑧 − 𝑥) − 𝜀}, the 𝜀-subdifferential of𝑓at𝑥, and each such𝜂is called an 𝜀-subgradient of𝑓at𝑥.
(iii)𝑝(𝑥) =arg min𝑧∈𝑅𝑛{𝑓(𝑧)+(2𝜆)−1‖𝑧−𝑥‖2}, the unique minimizer of (2).
(iv)𝐺(𝑥) = 𝜆−1(𝑥 − 𝑝(𝑥)), the gradient of𝐹at𝑥.
This paper is organized as follows: in Section 2, to approximate the unique minimizer𝑝(𝑥)of (2), we introduce the bundle idea, which uses approximate values of the objec- tive function and its subgradients. The approximate quasi- Newton bundle-type algorithm is presented inSection 3. In the last section, we prove the global convergence and, under additional assumptions, Q-superlinear convergence of the proposed algorithm.
2. The Approximation of 𝑝(𝑥)
Let𝑥 = 𝑥𝑘 and𝑠 = 𝑧 − 𝑥𝑘, where𝑥𝑘 is the current iterate point of AQNBT algorithm presented inSection 3, then (13) has the form
𝐹 (𝑥𝑘) =min
𝑠∈𝑅𝑛{𝑓 (𝑥𝑘+ 𝑠) + (2𝜆)−1‖𝑠‖2} . (12) Now we consider approximating𝑓(𝑥𝑘+𝑠)by using the bundle idea. Suppose we have a bundle 𝐽𝑘 generated sequentially starting from𝑥𝑘and possibly a subset of the previous set used to generate𝑥𝑘. The bundle includes the data(𝑧𝑖, ̃𝑓𝑖, 𝑔𝑎(𝑧𝑖, 𝜀𝑖)), 𝑖 ∈ 𝐽𝑘, where𝑧𝑖∈ 𝑅𝑛, ̃𝑓𝑖∈ 𝑅, and𝑔𝑎(𝑧𝑖, 𝜀𝑖) ∈ 𝑅𝑛satisfy
𝑓 (𝑧𝑖) ≥ ̃𝑓𝑖≥ 𝑓 (𝑧𝑖) − 𝜀𝑖,
𝑓 (𝑧) ≥ ̃𝑓𝑖+ ⟨𝑔𝑎(𝑧𝑖, 𝜀𝑖) , 𝑧 − 𝑧𝑖⟩ , ∀ 𝑧 ∈ 𝑅𝑛. (13) Suppose that the elements in𝐽𝑘can be arranged according to the order of their entering the bundle. Without loss of generality we may suppose𝐽𝑘 = {1, . . . , 𝑗}.𝜀𝑖is updated by the rule𝜀𝑖+1 = 𝛾𝜀𝑖,0 < 𝛾 < 1,𝑖 ∈ 𝐽𝑘. The condition (13) means𝑔𝑎(𝑧𝑖, 𝜀𝑖) ∈ 𝜕𝜀𝑖𝑓(𝑧𝑖),𝑖 ∈ 𝐽𝑘. By using the data in the bundle we construct a polyhedral function𝑓𝑎(𝑥𝑘+ 𝑠)defined by
𝑓𝑎(𝑥𝑘+ 𝑠) =max
𝑖∈𝐽𝑘 { ̃𝑓𝑖+ 𝑔𝑎(𝑧𝑖, 𝜀𝑖)𝑇(𝑥𝑘+ 𝑠 − 𝑧𝑖)} . (14) Obviously𝑓𝑎(𝑥𝑘+ 𝑠)is a lower approximation of𝑓(𝑥𝑘+ 𝑠), so 𝑓𝑎(𝑥𝑘+ 𝑠) ≤ 𝑓(𝑥𝑘+ 𝑠). We define a linearization error by
𝛼 (𝑥𝑘, 𝑧𝑖, 𝜀𝑖) = ̃𝑓𝑥𝑘− ̃𝑓𝑖− 𝑔𝑎(𝑧𝑖, 𝜀𝑖)𝑇(𝑥𝑘− 𝑧𝑖) , (15)
where𝑓̃𝑥𝑘 ∈ 𝑅satisfies
𝑓 (𝑥𝑘) ≥ ̃𝑓𝑥𝑘 ≥ 𝑓 (𝑥𝑘) − 𝜀𝑥𝑘, for given 𝜀𝑥𝑘≥ 0. (16) Then𝑓𝑎(𝑥𝑘+ 𝑠)can be written as
𝑓𝑎(𝑥𝑘+ 𝑠) = ̃𝑓𝑥𝑘+max
𝑖∈𝐽𝑘 {𝑔𝑎(𝑧𝑖, 𝜀𝑖)𝑇𝑠 − 𝛼 (𝑥𝑘, 𝑧𝑖, 𝜀𝑖)} . (17) Let
𝐹𝑎(𝑥𝑘) =min
𝑠∈𝑅𝑛{𝑓𝑎(𝑥𝑘+ 𝑠) + (2𝜆)−1‖𝑠‖2}
= ̃𝑓𝑥𝑘+min
𝑠∈𝑅𝑛{max
𝑖∈𝐽𝑘 {𝑔𝑎(𝑧𝑖, 𝜀𝑖)𝑇𝑠 − 𝛼 (𝑥𝑘, 𝑧𝑖, 𝜀𝑖)}
+ (2𝜆)−1𝑠𝑇𝑠} .
(18) The problem (18) can be dealt with by solving the following quadratic programming:
min V+ 𝜆(2)−1𝑠𝑇𝑠,
s.t. 𝑔𝑎(𝑧𝑖, 𝜀𝑖)𝑇𝑠 − 𝛼 (𝑥𝑘, 𝑧𝑖, 𝜀𝑖) ≤V ∀ 𝑖 ∈ 𝐽𝑘. (19) As iterations go along, the number of elements in bundle 𝐽𝑘 increases. When the size of the bundle becomes too big, it may cause serious computational difficulties in the form of unbounded storage requirement. To overcome these difficulties, it is necessary to compress the bundle and clean the model. Wolfe [16] and Lemar´echal [17], for the first time, introduce the aggregation strategy, which requires storing only a limited number of subgradients, see Kiwiel and Mifflin [18–20]. Aggregation strategy is the synthesis mechanism that condenses the essential information of the bundle into one single couple ( ̂𝑔̃𝑘𝜀, ̂𝛼̃𝑘) (defined below). The corresponding affine function, inserted in the model when there is com- pression, is called aggregate linearization (defined below).
This function summarizes all the information generated up to iteration𝑘. Suppose𝐽maxis the upper bound of the number of elements in𝐽𝑘,𝑘 = 1, 2, . . . .If|𝐽𝑘|reaches the prescribed𝐽max, two or more of those elements are deleted from the bundle𝐽𝑘; that is, two or more linear pieces in the constraints of (19) are discarded (notice that different selections of discarded linear pieces may result in different speed of convergence), and introduce the aggregate linearization associated with the aggregate𝜀-subgradient and linearization error into bundle.
Define the aggregate linearization as
𝑓𝑡(𝑥𝑘+ 𝑠) = ̃𝑓𝑥𝑘+ ⟨ ̂𝑔̃𝑘𝜀, 𝑠⟩ − ̂𝛼̃𝑘, (20) where ̂𝑔̃𝑘𝜀 = ∑𝑖∈𝐽𝑘𝜇𝑖𝑔𝑎(𝑧𝑖, 𝜀𝑖), ̂𝛼̃𝑘 = ∑𝑖∈𝐽𝑘𝜇𝑖𝛼(𝑥𝑘, 𝑧𝑖, 𝜀𝑖).
Multiplier𝜇 = (𝜇𝑖)𝑖∈𝐽𝑘is the optimal solution of dual problem for (19), see Solodov [14]. By doing so, the surrogate aggregate linearization maintains the information of the deleted linear
pieces and at the same time the problem (19) is manageable since the number of the elements in𝐽𝑘 is limited. Suppose 𝑠(𝑥𝑘)solves the problem (19), and let𝑝𝑎(𝑥𝑘) = 𝑥𝑘+ 𝑠(𝑥𝑘)be an approximation of𝑝(𝑥𝑘)and𝜀𝑝𝑎(𝑥𝑘)= 𝜀𝑗+1= 𝛾𝜀𝑗. Let
𝐹𝑎(𝑥𝑘) = ̃𝑓𝑝𝑎(𝑥𝑘)+ 𝜀𝑝𝑎(𝑥𝑘)+ (2𝜆)−1𝑠(𝑥𝑘)𝑇𝑠 (𝑥𝑘) , (21) where𝑓̃𝑝𝑎(𝑥𝑘)∈ 𝑅is chosen to satisfy
𝑓 (𝑝𝑎(𝑥𝑘)) ≥ ̃𝑓𝑝𝑎(𝑥𝑘)≥ 𝑓 (𝑝𝑎(𝑥𝑘)) − 𝜀𝑝𝑎(𝑥𝑘). (22) The results stated below are fundamental and useful in the subsequent discussions.
(P1)𝐹𝑎(𝑥𝑘) ≤ 𝐹(𝑥𝑘) ≤ 𝐹𝑎(𝑥𝑘).
(P2)𝐹𝑎(𝑥𝑘) = 𝐹(𝑥𝑘) if and only if𝑝𝑎(𝑥𝑘) = 𝑝(𝑥𝑘) and 𝑓̃𝑝𝑎(𝑥𝑘)= 𝑓(𝑝(𝑥𝑘)).
Note that𝑝(𝑥𝑘)is the unique minimizer of (2) and (P1) and (P2) can be obtained by the definitions of𝐹𝑎(𝑥𝑘),𝐹𝑎(𝑥𝑘), and 𝐹(𝑥𝑘).
(P3) (i) If we define𝐹𝑒𝑎(𝑥𝑘) = min𝑠∈𝑅𝑛{max𝑖∈𝐽𝑘{𝑓(𝑧𝑖) + 𝑔(𝑧𝑖)𝑇(𝑥𝑘+ 𝑠 − 𝑧𝑖)} + (2𝜆)−1𝑠𝑇𝑠}, where𝑔(𝑧𝑖) ∈
𝜕𝑓(𝑧𝑖), then𝐹𝑎(𝑥𝑘) → 𝐹𝑒𝑎(𝑥𝑘)as the new point 𝑧𝑗+1= 𝑥𝑘+ 𝑠(𝑥𝑘)is appended into the bundle𝐽𝑘 infinitely.
(ii) Let𝜀 =max𝑖∈𝐽𝑘{𝜀𝑖}. if𝑔𝑎(𝑧𝑖, 𝜀𝑖) = 𝑔(𝑧𝑖) ∈ 𝜕𝑓(𝑧𝑖), then𝐹𝑎(𝑥𝑘) ≥ 𝐹𝑒𝑎(𝑥𝑘) − 𝜀.
Because𝜀𝑖 → 0by the update rule𝜀𝑖+1 = 𝛾𝜀𝑖, 0 < 𝛾 < 1, we have𝑔𝑎(𝑧𝑖, 𝜀𝑖) → 𝑔(𝑧𝑖)and𝑓̃𝑖 → 𝑓(𝑧𝑖). Thus𝑓𝑎(𝑥𝑘+ 𝑠) → max𝑖∈𝐽𝑘{𝑓(𝑧𝑖) + 𝑔(𝑧𝑖)𝑇(𝑥𝑘+ 𝑠 − 𝑧𝑖)}, so𝐹𝑒𝑎(𝑥𝑘) → 𝐹𝑎(𝑥𝑘). It is easy to see that𝑓𝑎(𝑥𝑘+ 𝑠) =max𝑖∈𝐽𝑘{ ̃𝑓𝑖+ 𝑔𝑎(𝑧𝑖, 𝜀𝑖)𝑇(𝑥𝑘+ 𝑠 − 𝑧𝑖)} ≥ max𝑖∈𝐽𝑘{𝑓(𝑧𝑖) + 𝑔𝑎(𝑧𝑖, 𝜀𝑖)𝑇(𝑥𝑘 + 𝑠 − 𝑧𝑖) − 𝜀𝑖} ≥ max𝑖∈𝐽𝑘{𝑓(𝑧𝑖) + 𝑔(𝑧𝑖)𝑇(𝑥𝑘+ 𝑠 − 𝑧𝑖)} − 𝜀. Therefore,𝐹𝑎(𝑥𝑘) = min𝑠∈𝑅𝑛{𝑓𝑎(𝑥𝑘+ 𝑠) + (2𝜆)−1 ‖𝑠‖2} ≥ 𝐹𝑒𝑎(𝑥𝑘) − 𝜀.
Let
𝑎 (𝑥𝑘) = 𝐹𝑎(𝑥𝑘) − 𝐹𝑎(𝑥𝑘) . (23) We accept𝑝𝑎(𝑥𝑘)as an approximation of𝑝(𝑥𝑘)based on the following rule:
𝑎 (𝑥𝑘) < 𝑚 (𝑥𝑘)min{𝜆−2𝑠(𝑥𝑘)𝑇𝑠 (𝑥𝑘) , 𝐿} , (24) where𝑚(𝑥𝑘)and𝐿are given positive numbers and𝑚(𝑥𝑘)is fixed during one bundling process; that is,𝑚(𝑥𝑘)depends on 𝑥𝑘, seeStep 1in AQNBT algorithm presented inSection 3.
If (24) is not satisfied, we let𝑧𝑗+1 = 𝑥𝑘 + 𝑠(𝑥𝑘)and𝜀𝑗+1 = 𝛾𝜀𝑗, 0 < 𝛾 < 1, and take𝑓̃𝑗+1 = ̃𝑓𝑝𝑎(𝑥𝑘)and𝑔𝑎(𝑧𝑗+1, 𝜀𝑗+1) ∈ 𝑅𝑛satisfying
𝑓 (𝑧𝑗+1) ≥ ̃𝑓𝑗+1≥ 𝑓 (𝑧𝑗+1) − 𝜀𝑗+1,
𝑓 (𝑧) ≥ ̃𝑓𝑗+1+ ⟨𝑔𝑎(𝑧𝑗+1, 𝜀𝑗+1) , 𝑧 − 𝑧𝑗+1⟩ , ∀ 𝑧 ∈ 𝑅𝑛, (25)
and then append a new piece𝑓̃𝑗+1+ 𝑔𝑎(𝑧𝑗+1, 𝜀𝑗+1)𝑇(𝑥𝑘+ 𝑠 − 𝑧𝑗+1)to (14), replace𝑗by𝑗+1, and solve (19) for finding a new 𝑠(𝑥𝑘)and𝑎(𝑥𝑘)to be tested in (24). If this bundle process does not terminate, we have the following conclusion.
(P4) Suppose that𝑥𝑘is not the minimizer of𝑓. If (24) is never satisfied, then𝑎(𝑥𝑘) → 0as the new point𝑧𝑗+1 is appended into the bundle𝐽𝑘infinitely.
Suppose that |𝐽𝑘| = |{1, 2, . . . , 𝑗}| = 𝑗 < 𝐽max. Define the functions𝜙and𝜑𝑗+1, 𝑗 = 1, 2, . . .by
𝜙 (𝑧) = 𝑓 (𝑧) + (2𝜆)−1𝑧 − 𝑥𝑘2, 𝜑𝑗+1(𝑧) = max
𝑖∈𝐽𝑘={1,2,...,𝑗}{ ̃𝑓𝑖+ 𝑔𝑎(𝑧𝑖, 𝜀𝑖)𝑇(𝑧 − 𝑧𝑖)}
+ (2𝜆)−1𝑧 − 𝑥𝑘2.
(26)
Let 𝑧𝑗+1 be the unique minimizer of min𝑧∈𝑅𝑛𝜑𝑗+1(𝑧), and let𝑧𝑗+2 be the unique minimizer of min𝑧∈𝑅𝑛𝜑𝑗+2(𝑧), where 𝜑𝑗+2(𝑧) = max𝑖∈𝐽𝑘+1{ ̃𝑓𝑖+ 𝑔𝑎(𝑧𝑖, 𝜀𝑖)𝑇(𝑧 − 𝑧𝑖)} + (2𝜆)−1 ‖ 𝑧 − 𝑥𝑘‖2. Note that if |{1, 2, . . . , 𝑗 + 1}| = 𝑗 + 1 < 𝐽max, then let𝐽𝑘+1 = {1, 2, . . . , 𝑗 + 1}, so 𝜑𝑗+1(𝑧𝑗+1) ≤ 𝜑𝑗+2(𝑧𝑗+2); if
|{1, 2, . . . , 𝑗 + 1}| = 𝑗 + 1 = 𝐽max, delete at least two elements from{1, 2, . . . , 𝑗 + 1}, say𝑞1, 𝑞2, and𝑞1 ̸= 𝑗 + 1, 𝑞2 ̸= 𝑗 + 1, the order of the other elements in{1, 2, . . . , 𝑗 + 1} are left intact. Introduce an additional index̃𝑘associated with the aggregated 𝜀-subgradient and linearization error into 𝐽𝑘+1 and let𝐽𝑘+1= {1, 2, . . . , 𝑞1−1, 𝑞1+1, . . . , 𝑞2−1, 𝑞2+1, . . . , ̃𝑘, 𝑗+
1}, so |𝐽𝑘+1| = 𝑗 < 𝐽max. By adjusting 𝜆 appropriately, we can make sure that𝑧𝑗+1 and𝑧𝑗+2are not far away from 𝑥𝑘. According to the proof of Proposition 3, see Fukushima [21], we find that𝜙(𝑧𝑗)has limit, say𝜙∗, and𝜑𝑗+1(𝑧𝑗+1)also converges to𝜙∗as𝑗 → ∞. By the definitions of𝐹(𝑥𝑘)and 𝐹𝑎(𝑥𝑘)we have𝐹𝑎(𝑥𝑘) → 𝐹(𝑥𝑘)and𝐹𝑎(𝑥𝑘) → 𝐹(𝑥𝑘)as 𝑗 → ∞, so𝑎(𝑥𝑘) → 0as𝑗 → ∞.
In the next part we give the definition of𝐺𝑎(𝑥𝑘), which is the approximation of𝐺(𝑥𝑘),
𝐺𝑎(𝑥𝑘) = 𝜆−1(𝑥𝑘− 𝑝𝑎(𝑥𝑘)) = −𝜆−1𝑠 (𝑥𝑘) , (27) and some properties of𝐺𝑎(𝑥𝑘)are discussed. It is easy to see that the approximation of𝐺(𝑥𝑘)is associated with𝐹(𝑥𝑘):
(P5)‖𝐺(𝑥𝑘) − 𝐺𝑎(𝑥𝑘)‖ = ‖𝜆−1(𝑝(𝑥𝑘) − 𝑝𝑎(𝑥𝑘))‖ ≤
√2𝑎(𝑥𝑘)/𝜆.
By the strong convexity of 𝜙(𝑧), we have 𝜙(𝑝𝑎(𝑥𝑘)) ≥ 𝜙(𝑝(𝑥𝑘)) + (2𝜆)−1‖ 𝑝(𝑥𝑘) − 𝑝𝑎(𝑥𝑘)‖2. From the definitions of𝐹𝑎(𝑥𝑘)and𝑝(𝑥𝑘), we obtain𝐹𝑎(𝑥𝑘) = ̃𝑓𝑝𝑎(𝑥𝑘)+ 𝜀𝑝𝑎(𝑥𝑘)+ (2𝜆)−1‖𝑝𝑎(𝑥𝑘) − 𝑥𝑘‖2≥ 𝑓(𝑝𝑎(𝑥𝑘)) + (2𝜆)−1‖𝑝𝑎(𝑥𝑘) − 𝑥𝑘‖2= 𝜙(𝑝𝑎(𝑥𝑘)) ≥ 𝜙(𝑝(𝑥𝑘)) + (2𝜆)−1‖ 𝑝(𝑥𝑘) − 𝑝𝑎(𝑥𝑘)‖2= 𝐹(𝑥𝑘) + (2𝜆)−1‖𝑝(𝑥𝑘) − 𝑝𝑎(𝑥𝑘)‖2. By (P1), (P5) holds.
By (P4) and (P5), we have the following (P6). In fact, (P6) says that the bundle subalgorithm for finding 𝑠(𝑥𝑘) terminates in finite steps.
(P6) If 𝑥𝑘 does not minimize 𝑓, then we can find one solution𝑠(𝑥𝑘)of (18) such that (24) holds.
3. Approximate Quasi-Newton Bundle-Type Algorithm
For presenting the algorithm, we use the following notations:
𝑎𝑘 = 𝑎(𝑥𝑘), 𝑠𝑘 = 𝑠(𝑥𝑘), and 𝑚𝑘 = 𝑚(𝑥𝑘). Given positive numbers𝛿, 𝜐,𝛾, and𝐿 such that0 < 𝛿 < 1,0 < 𝜐 < 1, 0 < 𝛾 < 1, and one symmetric𝑛 × 𝑛positive definite matrix 𝑁.
Approximate Quasi-Newton Bundle-Type Algorithm (AQNBT Alg):
Step 1(initialization). Let𝑥1 be a starting point, and let𝐵1 be an𝑛 × 𝑛symmetric positive definite matrix. Let𝜀1and𝜆 be positive numbers. Choose a sequence of positive numbers {𝑚𝑘}∞𝑘=1such that∑∞𝑘=1𝑚𝑘 < ∞. Set𝑘 = 1. Find𝑠1 ∈ 𝑅𝑛and 𝑎1such that
𝑎1≤ 𝑚1min{𝜆−2(𝑠1)𝑇𝑠1, 𝐿} . (28)
Let𝐺𝑎(𝑥1) = −𝜆−1𝑠1,𝑧1 = 𝑥1, 𝑗 = 1, and𝑗be the running index of bundle subalgorithm.
Step 2(finding a search direction). If‖𝐺𝑎(𝑥𝑘)‖ = 0, stop with 𝑥𝑘optimal. Otherwise compute
𝑑𝑘= −𝐵−1𝑘 𝐺𝑎(𝑥𝑘) . (29)
Step 3(line search). Starting with𝑢 = 1, let𝑖𝑘be the smallest nonnegative integer𝑢such that
𝐹𝑎(𝑥𝑘+ 𝜐𝑢𝑑𝑘) ≤ 𝐹𝑎(𝑥𝑘) + 𝛿𝜐𝑢(𝑑𝑘)𝑇𝐺𝑎(𝑥𝑘) , (30)
where𝜀𝑢+1= 𝛾𝜀𝑢corresponds to the approximations𝐹𝑎(𝑥𝑘+ 𝜐𝑢𝑑𝑘)and 𝐹𝑎(𝑥𝑘 + 𝜐𝑢𝑑𝑘) of𝐹at𝑥𝑘 + 𝜐𝑢𝑑𝑘;𝐹𝑎(𝑥𝑘 + 𝜐𝑢𝑑𝑘) satisfies
𝐹𝑎(𝑥𝑘+ 𝜐𝑢𝑑𝑘) − 𝐹𝑎(𝑥𝑘+ 𝜐𝑢𝑑𝑘)
≤ 𝑚𝑘+1min{𝜆−2𝑠(𝑥𝑘+ 𝜐𝑢𝑑𝑘)𝑇𝑠 (𝑥𝑘+ 𝜐𝑢𝑑𝑘) , 𝐿} , (31)
and𝑠(𝑥𝑘+𝜐𝑢𝑑𝑘)is the solution of (19), in which𝑥𝑘is replaced by𝑥𝑘+ 𝜐𝑢𝑑𝑘, and the expression of𝐹𝑎(𝑥𝑘+ 𝜐𝑢𝑑𝑘)is similar to (21), but𝑥is replaced by𝑥𝑘+ 𝜐𝑢𝑑𝑘. Set𝑡𝑘= 𝜐𝑖𝑘and𝑥𝑘+1= 𝑥𝑘+ 𝑡𝑘𝑑𝑘.
Step 4 (computing the approximate gradient). Compute 𝐺𝑎(𝑥𝑘+1) = −𝜆−1𝑠𝑘+1.
Step 5 (updating 𝐵𝑘). Let Δ𝑥𝑘 = 𝑥𝑘+1 − 𝑥𝑘 and Δ𝑔𝑘 = 𝐺𝑎(𝑥𝑘+1) − 𝐺𝑎(𝑥𝑘). Set
𝐵𝑘+1
={{ {{ {
𝑁, if(Δ𝑥𝑘)𝑇Δ𝑔𝑘≤ 0,
(symmetric,positive definite
and satisfiesBk+1Δxk= Δgk) otherwise.
(32) Set𝑘 = 𝑘 + 1, and go toStep 2.
End of AQNBT algorithm.
4. Convergence Analysis
In this section we prove the global convergence of the algorithm described inSection 3, and furthermore under the assumptions of semismoothness and regularity, we show that the proposed algorithm has a Q-superlinear convergence rate.
Following the proof of Theorem 3, see Mifflin et al. [7], we can show that, at each iteration𝑘, 𝑖𝑘 is well defined, and hence the stepsize𝑡𝑘 > 0can be determined finitely inStep 4. We assume the proposed algorithm does not terminate in finite steps, so the sequence{𝑥𝑘}∞𝑘=1is an infinite sequence. Since the sequence{𝑚𝑘}∞𝑘=1 satisfies∑∞𝑘=1𝑚𝑘 < ∞, there exists a constant𝑊such that∑∞𝑘=1𝑚𝑘 ≤ 𝑊. Let𝐷𝑎 = {𝑥 ∈ 𝑅𝑛 | 𝐹(𝑥) ≤ 𝐹(𝑥1) + 2𝐿𝑊}. By making a slight change of the proof ofLemma 1, see Mifflin et al. [7], we have the following lemma.
Lemma 1. 𝐹(𝑥𝑘+1) ≤ 𝐹(𝑥𝑘)+𝐿(𝑚𝑘+𝑚𝑘+1) 𝑓𝑜𝑟 𝑎𝑙𝑙 𝑘 ≥ 1and 𝑥𝑘 ∈ 𝐷𝑎.
Theorem 2. Suppose𝑓is bounded below and there exists a constant𝛽such that
⟨𝐵𝑘 𝑑, 𝑑⟩ ≥ 𝛽‖𝑑‖2, ∀ 𝑑 ∈ 𝑅𝑛, ∀ 𝑘. (33) Then any accumulation point of{𝑥𝑘}is an optimal solution of problem(1).
Proof. According to the first part of the proof ofTheorem 3, see Mifflin et al., [7], we have lim𝑘 → ∞𝐹(𝑥𝑘) = 𝐹∗. Since 𝑚𝑘 → 0, from (P1) we obtain𝑎𝑘 → 0as𝑘 → ∞, and lim𝑘 → ∞𝐹𝑎(𝑥𝑘) =lim𝑘 → ∞𝐹𝑎(𝑥𝑘) = 𝐹∗. Thus
𝑘 → ∞lim𝑡𝑘(𝑑𝑘)𝑇𝐺𝑎(𝑥𝑘) = 0. (34) Let 𝑥 be an arbitrary accumulation point of {𝑥𝑘}, and let {𝑥𝑘}𝑘∈𝐾be a subsequence converging to𝑥. By (P5) we have
𝑘∈𝐾,𝑘 → ∞lim 𝐺𝑎(𝑥𝑘) = 𝐺 (𝑥) . (35) Since{𝐵−1𝑘 }is bounded, we may suppose
𝑘∈𝐾,𝑘 → ∞lim 𝑑𝑘= 𝑑 (36)
for some𝑑 ∈ 𝑅𝑛. Moreover we have
𝑘∈𝐾,𝑘 → ∞lim ⟨𝐺𝑎(𝑥𝑘) , 𝑑𝑘⟩ = ⟨𝐺 (𝑥) , 𝑑⟩ ≤ −𝛽𝑑2. (37) If lim inf𝑘 → ∞𝑡𝑘 > 0, then 𝑑 = 0. Otherwise, if lim inf𝑘 → ∞𝑡𝑘 = 0, by taking a subsequence if necessary we may assume𝑡𝑘 → 0for𝑘 ∈ 𝐾. The definition of𝑖𝑘in the line search rule gives
𝐹𝑎(𝑥𝑘+V𝑖𝑘−1𝑑𝑘) > 𝐹𝑎(𝑥𝑘) + 𝛿V𝑖𝑘−1(𝑑𝑘)𝑇𝐺𝑎(𝑥𝑘) , (38) whereV𝑖𝑘−1= 𝑡𝑘/V. So by (P1) we obtain
𝐹 (𝑥𝑘+ 𝜐𝑖𝑘−1𝑑𝑘) − 𝐹 (𝑥𝑘)
𝜐𝑖𝑘−1 > 𝛿(𝑑𝑘)𝑇𝐺𝑎(𝑥𝑘) . (39) By taking the limit in (39) on the subsequence𝑘 ∈ 𝐾, we have 𝑑𝑇𝐺 (𝑥) ≥ 𝛿𝑑𝑇𝐺 (𝑥) . (40) In view of (37), the last inequality also gives𝑑 = 0. Since 𝐺𝑎(𝑥) = −𝐵𝑘𝑑𝑘and𝐵𝑘is bounded, it follows from𝑑 = 0that
𝑘 → ∞,𝑘∈𝐾lim 𝐺𝑎(𝑥𝑘) = 𝐺 (𝑥) = 0. (41) Therefore,𝑥is an optimal solution of problem (1).
In the next part, we focus our attention on establishing Q-superlinear convergence of the proposed algorithm.
Theorem 3. Suppose that the conditions of Theorem 2 hold and𝑥is an optimal solution of(1). Assume that𝐺is BD-regular at𝑥. Then𝑥is the unique optimal solution of(1)and the entire sequence{𝑥𝑘}converges to𝑥.
Proof. By the convexity and BD-regularity of𝐺 at𝑥, 𝑥 is the unique optimal solution of (3); for the proof, see Qi and Womersley [22]. So 𝑥 is also the unique optimal solution of (1). This implies that both𝑓and 𝐹must have compact level sets. By Lemma 1{𝑥𝑘} has at least one accumulation point, and from Theorem 2 we know this accumulation point must be𝑥since𝑥is the unique solution of (1). Next following the proof of Theorem 5.1, see Fukushima and Qi [1], we can prove that the entire sequence{𝑥𝑘}converges to 𝑥.
The condition that the Lipschitz continuous gradient𝐺 of𝐹is semismooth at the unique optimal solution of (1) is required in the next theorem. This condition is identified if𝑓 is the maximum of several affine functions or𝑓satisfies the constant rank constraint qualification.
Theorem 4. Suppose that the conditions ofTheorem 3 hold and𝐺is semismooth at the unique optimal solution𝑥of (1).
Suppose further that (i)𝑎𝑘= 𝑜(‖𝐺(𝑥𝑘)‖2),
(ii) lim𝑘 → ∞dist(𝐵𝑘, 𝜕𝐵𝐺(𝑥𝑘)) = 0, (iii)𝑡𝑘≡ 1, for all large𝑘.
Then{𝑥𝑘}converges to𝑥Q-superlinearly.
Proof. Firstly we have{𝑥𝑘}converges to𝑥byTheorem 3. Then by condition (i) and (P5), we have
𝐺𝑎(𝑥𝑘) − 𝐺 (𝑥𝑘)
= 𝑂 (√𝑎𝑘) = 𝑜(𝐺(𝑥𝑘)) = 𝑜(𝑥𝑘− 𝑥). (42) By condition (ii), there is a𝐵𝑘∈ 𝜕𝐵𝐺(𝑥𝑘)such that
𝐵𝑘− 𝐵𝑘 = 𝑜 (1) . (43) Since𝐺is semismooth at𝑥, we have, according to Qi and Sun [13],
𝐺 (𝑥𝑘) − 𝐺 (𝑥) − 𝐵𝑘(𝑥𝑘− 𝑥) = 𝑜(𝑥𝑘− 𝑥). (44) Notice that‖ 𝐵−1𝑘 ‖= 𝑂(1), (42)–(44) and condition (iii), for all large𝑘, we have
𝑥𝑘+1− 𝑥
= 𝑥𝑘− 𝑥 − 𝐵−1𝑘 𝐺𝑎(𝑥𝑘)
= 𝐵−1𝑘 [𝐺𝑎(𝑥𝑘) − 𝐺 (𝑥𝑘) + 𝐺 (𝑥𝑘) − 𝐺 (𝑥)
−𝐵𝑘(𝑥𝑘− 𝑥) + (𝐵𝑘− 𝐵𝑘) (𝑥𝑘− 𝑥)]
≥𝐵𝑘−1 [𝐺𝑎(𝑥𝑘) − 𝐺 (𝑥𝑘)
+ 𝐺(𝑥𝑘) − 𝐺 (𝑥) − 𝐵𝑘(𝑥𝑘− 𝑥)
+ 𝐵𝑘− 𝐵𝑘𝑥𝑘− 𝑥].
(45)
This establishes Q-superlinear convergence of{𝑥𝑘}to𝑥.
Condition (i) can be replaced by a more realistic condi- tion𝑎𝑘 = 𝑜(‖ 𝐺(𝑥𝑘−1)‖2)without impairing the convergence result since𝑎𝑘is chosen before𝑥𝑘is generated. For condition (ii), Fukushima and Qi [1] suggest one of possible choices of 𝐵𝑘, we may expect𝐵𝑘to provide a reasonable approximation to an element in𝜕𝐵𝐺(𝑥𝑘), but it may be far from what we should approximate. There are some approaches to overcome this phenomenon, see Mifflin [10] and Qi and Chen [3]. For condition (iii) we can make sure that if the conditions of Theorem 4, except (iii), hold and0 < 𝛿 < 1/2, then condition (iii) holds automatically.
Acknowledgment
This research was partially supported by the National Natural Science Foundation of China (Grants no. 11171049 and no.
11171138).
References
[1] M. Fukushima and L. Qi, “A globally and superlinearly con- vergent algorithm for nonsmooth convex minimization,”SIAM Journal on Optimization, vol. 6, no. 4, pp. 1106–1120, 1996.
[2] A. I. Rauf and M. Fukushima, “Globally convergent BFGS method for nonsmooth convex optimization,”Journal of Opti- mization Theory and Applications, vol. 104, no. 3, pp. 539–558, 2000.
[3] L. Qi and X. Chen, “A preconditioning proximal Newton method for nondifferentiable convex optimization,”Mathemat- ical Programming, vol. 76, no. 3, pp. 411–429, 1997.
[4] Y. R. He, “Minimizing and stationary sequences of convex constrained minimization problems,”Journal of Optimization Theory and Applications, vol. 111, no. 1, pp. 137–153, 2001.
[5] R. Mifflin and C. Sagastiz´abal, “A VU-proximal point algorithm for minimization,” in Numerical Optimization, Universitext, Springer, Berlin, Germany, 2002.
[6] C. Lemar´echal, F. Oustry, and C. Sagastiz´abal, “The 𝑈- Lagrangian of a convex function,”Transactions of the American Mathematical Society, vol. 352, no. 2, pp. 711–729, 2000.
[7] R. Mifflin, D. Sun, and L. Qi, “Quasi-Newton bundle-type methods for nondifferentiable convex optimization,” SIAM Journal on Optimization, vol. 8, no. 2, pp. 583–603, 1998.
[8] J. B. Hiriart-Urruty and C. Lemar´echal,Convex Analysis and Minimization Algorithms, Springer, Berlin, Germany, 1993.
[9] X. Chen and M. Fukushima, “Proximal quasi-newton methods for nondifferentiable convex optimization,” Applied Mathemat- ics Report 95/32, School of Mathematics, The University of New South Wales, Sydney, Australia, 1995.
[10] R. Mifflin, “A quasi-second-order proximal bundle algorithm,”
Mathematical Programming, vol. 73, no. 1, pp. 51–72, 1996.
[11] K. C. Kiwiel, “Approximations in proximal bundle methods and decomposition of convex programs,”Journal of Optimization Theory and Applications, vol. 84, no. 3, pp. 529–548, 1995.
[12] M. Hinterm¨uller, “A proximal bundle method based on approx- imate subgradients,”Computational Optimization and Applica- tions, vol. 20, no. 3, pp. 245–266, 2001.
[13] R. Gabasov and F. M. Kirilova,Methods of Linear Programming, Part 3, SpecialProblems, Izdatel’Stov BGU, Minsk, Belarus, 1980 (Russian).
[14] M. V. Solodov, “On approximations with finite precision in bundle methods for nonsmooth optimization,”Journal of Opti- mization Theory and Applications, vol. 119, no. 1, pp. 151–165, 2003.
[15] K. C. Kiwiel, “An algorithm for nonsmooth convex minimiza- tion with errors,”Mathematics of Computation, vol. 45, no. 171, pp. 173–180, 1985.
[16] P. Wolfe, “A method of conjugate subgradients for minimizing nondifferentiable functions,”Mathematical Programming Study, vol. 3, pp. 145–173, 1975.
[17] C. Lemar´echal, “An extension of davidon methods to non differentiable problems,”Mathematical Programming Study, vol.
3, pp. 95–109, 1975.
[18] K. C. Kiwiel,A Variable Metric Method of Centres for Nonsmooth Minimization, International Institute for Applied Systems Anal- ysis, Laxemnburg, Austria, 1981.
[19] K. C. Kiwiel,Efficient algorithms for nonsmooth optimization and their applications [Ph.D. thesis], Department of Electronics, Technical University of Warsaw, Warsaw, Poland, 1982.
[20] R. Mifflin, “A modification and extension of Lemarechal’s algorithm for nonsmooth minimization,” Mathematical Pro- gramming Study, vol. 17, pp. 77–90, 1982.
[21] M. Fukushima, “A descent algorithm for nonsmooth convex optimization,”Mathematical Programming, vol. 30, no. 2, pp.
163–175, 1984.
[22] L. Q. Qi and R. S. Womersley, “An SQP algorithm for extended linear-quadratic problems in stochastic programming,”Annals of Operations Research, vol. 56, pp. 251–285, 1995.
Submit your manuscripts at http://www.hindawi.com
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Mathematics
Journal ofHindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Hindawi Publishing Corporation http://www.hindawi.com
Differential Equations
International Journal of
Volume 2014
Applied MathematicsJournal of
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Mathematical PhysicsAdvances in
Complex Analysis
Journal ofHindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Optimization
Journal ofHindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Combinatorics
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
International Journal of
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Journal of
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Function Spaces
Abstract and Applied Analysis
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
International Journal of Mathematics and Mathematical Sciences
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
The Scientific World Journal
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Discrete Dynamics in Nature and Society
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Discrete Mathematics
Journal ofHindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Stochastic Analysis
International Journal of