Next Article in Journal
Risk Assessment and Monitoring of Green Logistics for Fresh Produce Based on a Support Vector Machine
Previous Article in Journal
Consumer Valuation of Remanufactured Products: A Comparative Study of Product Categories and Business Models
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

The Lexicographic Tolerable Robustness Concept for Uncertain Multi-Objective Optimization Problems: A Study on Water Resources Management

1
Department of Mathematics, Faculty of Science, Naresuan University, Phitsanulok 65000, Thailand
2
Department of Management Science, Lancaster University Management School, Lancaster LA1 4YX, UK
3
Department of Mathematics, Faculty of Science and Engineering, Shimane University, Shimane 690-0823, Japan
4
Center of Excellence in Nonlinear Analysis and Optimization, Faculty of Science, Naresuan University, Phitsanulok 65000, Thailand
*
Author to whom correspondence should be addressed.
Sustainability 2020, 12(18), 7582; https://doi.org/10.3390/su12187582
Submission received: 31 July 2020 / Revised: 2 September 2020 / Accepted: 10 September 2020 / Published: 14 September 2020
(This article belongs to the Section Sustainable Management)

Abstract

:
In this study, we introduce a robust solution concept for uncertain multi-objective optimization problems called the lexicographic tolerable robust solution. This approach is advantageous for the practical implementation of problems in which the solution should satisfy priority levels in the objective function and the worst performance vector of the solution obtained by the proposed concept is close to a reference point of the considered problem, within an acceptable tolerance threshold. Important properties of the solution sets of this introduced concept as well as an algorithm for finding such solutions are presented and discussed. We provide the implementation of the proposed lexicographic tolerable robust solution to improve understanding for practitioners by relying on the data of the water resources master plan for Serbia from Simonovic, 2009. Moreover, we are also concerned with the method of updating a desirable solution for fitting with the preferences when compromising of the multiple groups of decision makers is needed.

1. Introduction

Water is an essential resource for all life on the planet. Consequently, one of the biggest concerns for our water-based resources in the future is the sustainability of the current and future water resources allocation, see [1]. As water becomes more scarce in the future, the importance of how it is managed grows vastly in this research area. Finding a balance between what is needed by humans and what is needed in the environment is an important step in the sustainability of water resources. Of course, the goals of water resource planning usually involve balancing water demands and available water resources, whereas many other objectives need to be achieved, depending on the particular water system structures. Due to conflicts between multiple goal requirements, multiple criteria decision-making techniques are useful tools to explore different management options. To handle these kind of water resources management planning, many researchers adopted the techniques of multi-objective optimization to solve the problem. One may see more details in [2,3,4,5,6]
Actually, there is much evidence that many real-world problems are multi-faceted, occurring with multiple objectives needing to be achieved and those multiple objectives often conflict with each other, as illustrated in [7,8]. At the same time, relevant input data can sometimes be imprecise and unreliable, suffering from measurement errors or involving unknown future values, see [9,10]. These two issues have been studied in the areas of multi-objective optimization and robust optimization, respectively. Since real world problems often involve both multiple objectives and imprecise input data concurrently, there is need for the development of a concept that can address combinations of multi-objective optimization problems and robust optimization problems. Some of the prominent examples of such combinations include water resources management planning, as in [11], timetable information systems [12,13,14], portfolio problems [15], and flight route planning, for an overview see [16,17].
Some of the first research done in the area of uncertain multi-objective optimization was the solution concept introduced by Deb and Gupta [18] in 2006. They replaced the objective vector in a given uncertain multi-objective optimization problem with the mean effective functions computed by averaging a representative set of neighboring solutions, thereby removing the uncertainly and converting the problem to just a deterministic multi-objective optimization problem. Then, an efficient solution for that deterministic multi-objective optimization problem is considered as a robust solution for the full original uncertain multi-objective optimization problem. On the other hand, instead of using the concept of mean effective functions, Kuroiwa and Lee [19] reformulated uncertain multi-objective optimization problems by replacing the objective vector in the original problem with a vector consisting of the worst case scenario of each respective component in order to obtain a deterministic multi-objective optimization problem. Kuroiwa and Lee’s approach is closely connected to the classical minmax robustness concept for single objective optimization problems, which was first introduced by Soyster [20] and subsequently extensively studied by Ben-Tal and Nemirovski [21], and Ben-Tal et al. [22]. Ehrgott et al. [23] provided another interpretation of Ben-Tal and Nemirovski’s robustness concept. In [23], for each feasible solution they looked at the set of objective vectors under all scenarios and compared those sets to each other, by using the concept of set relations to define minmax robustness for uncertain multi-objective optimization problems. A similar approach was introduced by Bokrantz and Fredriksson [24], who used set relations following Ehrgott’s work, but replaced the set of objective vectors of a feasible solution under all possible scenarios by its convex hull. We notice that the above three concepts are concerned with minmax robustness, since they hedge against the worst case scenarios. For more on survey and analysis of different concepts of robustness for uncertain multi-objective optimization, ones may see in [25].
On the other hand, in the single objective setting, there are various concepts which aim to overcome the limitations of strict conservativeness of the minmax concept. One such interesting concept has been introduced by Snyder [26], who investigated problems of facility location, the P-robustness solution. A solution is called P-robust if in each possible scenario, the objective value is close to the optimal value of that scenario up to P, where P is the acceptable percentage deviation from optimality. Recently, another alternative robustness concept has been proposed by Kalaï et al. [27], who came up with the concept of a lexicographic α -robust solution, which can be seen as a combination of P-robustness and minmax robustness. A lexicographic α -robust solution is a solution whose reordered cost vector with respect to scenarios is close to the ideal vector within a given threshold. We would like to notice that the concept of this solution reduces the degree of conservatism of minmax robustness by introducing the tolerance threshold and considers not only the value of the objective functions in the worst case scenario, but all scenarios, sorted from least to most wanted. For additional details the reader may see [10].
The current paper introduces a new concept of robustness, which begins with Kalaï et al.’s [27] lexicographic α -robust solution and extends it further, abandoning the single objective setting and utilizing instead a multiobjective setting, which is suitable for the uncertainty set which is modeled as discrete set. A solution according to this concept is called “lexicographic tolerable robust solution”. After introducing the fundamentals of this new concept, properties of the solution set and also an algorithm for finding this new kind of solution will be explained. The new concept will then be demonstrated on a problem of multi-objective optimization of water resources planning with an uncertainty situation. This water resources planning problem has been selected as an example because the problem’s structure is such that each of the multiple objectives carry a different priority.

2. Methodology

In this section, we introduce the concept of lexicographic tolerable robust solution for an uncertain multi-objective optimization problem.

2.1. Lexicographic Robust Solutions with Respect to the Tolerance Threshold for Uncertain Multi-Objective Optimization

An uncertain multi-objective optimization problem MP ( U ) is given as a family of { MP ( s ) | s U } of deterministic multi-objective optimization problems
( MP ( s ) ) min f ( x , s ) subject to x X
with the objective function f : R n × U R p , feasible set X R n , and uncertainty set U . An element s U indicates a particular value for the uncertain parameters belonging in an uncertainty set U . That is, uncertainty is in the objective only, not in the constraints or X .
Before we are going to the approach of lexicographic tolerable robust solution, let us recall the important definition of ordering the values nonincreasingly which will be used throughout this work. We note that the specific notations which will be used throughout this work are shown in Table A1 Notations.
Definition 1. 
The sort function, s o r t ( · ) : R p R p , is a function that reorders the component of each vector on R p in a nonincreasing way. That is,
s o r t ( y ) = ( y σ ( 1 ) , y σ ( 2 ) , , y σ ( p ) ) , f o r a l l y R p
where σ is a permutation on I p such that y σ ( 1 ) y σ ( 2 ) y σ ( p ) . In this case, we will write s o r t ( y ) = : ( s o r t 1 ( y ) , s o r t 2 ( y ) , , s o r t p ( y ) ) .
From now on, we let U = { s 1 , s 2 , , s q } be the finite set of possible scenarios and f : R n × U R p be the considered vector-valued function. For each x R n and for each i I p , we put
c ( i ) ( x ) : = ( f i ( x , s 1 ) , f i ( x , s 2 ) , , f i ( x , s q ) ) ,
where f i ( x , s j ) is the value of the objective function for an alternative solution x under scenario s j , for all j I q . Subsequently, we put
c ^ ( i ) ( x ) : = s o r t 1 ( c ( i ) ( x ) ) , s o r t 2 ( c ( i ) ( x ) ) , , s o r t q ( c ( i ) ( x ) ) ,
for each i I p and x R n . The notation c ^ ( i ) ( x ) is used to stand for the sorted vector of a vector c ( i ) ( x ) . For the sake of simply, here we will write
c ^ ( i ) ( x ) = : c ^ 1 ( i ) ( x ) , c ^ 2 ( i ) ( x ) , , c ^ q ( i ) ( x ) ,
for each i I p . Accordingly, for each j I q and x R n , based on the above notations (3)–(5), the worst performance vector can be determined as follows:
w o r s t j ( f ( x , U ) ) : = c ^ j ( 1 ) ( x ) , c ^ j ( 2 ) ( x ) , , c ^ j ( p ) ( x ) .
Now we will introduce the concept of lexicographic robust solutions with respect to a tolerance threshold set for the considered uncertain multi-objective optimization problem. To do this, we start by introducing the notation inf with lex A which is used to stand for the infimum of a set A in R p with respect to lexicographic order. That is, for A R p , we let
x inf : = inf with lex A if x inf l e x x , for all x A
where x inf R p and the notation l e x is defined as in Table A1.
Here, the concept of reference point is presented.
Definition 2. 
The vector c ^ 1 * , c ^ 2 * , , c ^ q * = : c ^ * R p × q is called the reference point of the problem MP ( U ) if
c ^ j * = inf with lex w o r s t j ( f ( x , U ) ) | x X ,
for each j I q .
We now present the solution concept of this paper.
Definition 3. 
Let MP ( U ) be an uncertain multi-objective optimization problem with the reference point c ^ 1 * , c ^ 2 * , , c ^ q * = : c ^ * R p × q . For each α : = ( α 1 , α 2 , , α q ) [ 0 , ) p × q , the set of lexicographic tolerable robust solutions with respect to the tolerance threshold α, which will be denoted by L R S ( α ) , is
L R S ( α ) : = j = 1 q x X | w o r s t j ( f ( x , U ) ) c ^ j * + α j R p .

2.2. Algorithm for L R S ( α )

We begin this section with results on the tolerance threshold, results have been obtained to help decision makers in finding acceptable threshold to guarantee the nonemptyness of the solution set. In doing so, for the sake of simplicity, we use the following notations:
max ( x ) : = max { x 1 , x 2 , , x n } ,
and
x + ε : = ( x 1 + ε , x 2 + ε , , x n + ε ) ,
where x = ( x 1 , x 2 , , x n ) R n , and ε R .
Proposition 1. 
Let X be a feasible set and MP ( U ) an uncertain multi-objective optimization problem with the corresponding reference point c ^ 1 * , c ^ 2 * , , c ^ q * = : c ^ * R p × q . Let α : = ( α 1 , α 2 , , α q ) R p × q where α j = ( α inf , α inf , , α inf ) R p , for all j I q , such that
α inf : = inf x X max Δ x ,
and Δ x = w o r s t 1 ( f ( x , U ) ) c ^ 1 * w o r s t 2 ( f ( x , U ) ) c ^ 2 * . . . w o r s t q ( f ( x , U ) ) c ^ q * R p q .
Then, for each ε > 0 , we have
(i)
L R S ( α + ε ) Ø , and
(ii)
L R S ( α ε ) = Ø .
Proof. 
See in Appendix B.1
The next theorem provides a threshold vector α such that the solution set L R S ( α ) is nonempty.
Theorem 1. 
(Nonemptyness) Let MP ( U ) be an uncertain multi-objective optimization problem with the corresponding reference point ( c ^ 1 * , c ^ 2 * , , c ^ q * ) : = c ^ * R p × q , and f i ( · , s 1 ) , f i ( · , s 2 ) , , f i ( · , s q ) be continuous functions, for all i I p . Let α : = ( α 1 , α 2 , , α q ) R p × q where α j = ( α inf , α inf , , α inf ) R p , for all j I q , such that a threshold value α inf is defined as (7). If X is a compact set then L R S ( α ) is nonempty.
Proof. 
See in Appendix B.2
By considering the Proposition 1 and Theorem 1, one can see that the tolerance threshold which is defined by (7) will be used to compute the best choice among the alternative solutions for the solution concept in Definition 3. In other words, the solution set due to Definition 3, for the considered uncertain multi-objective optimization problem MP ( U ) , is the set L R S ( α ) when α is computed by (7). The following Theorem 2 will lead to a method for computing an element in the such set L R S ( α ) .
Theorem 2. 
Let MP ( U ) be an uncertain multi-objective optimization problem with the corresponding reference point ( c ^ 1 * , c ^ 2 * , , c ^ q * ) : = c ^ * R p × q , where c ^ j * : = c ^ j * ( 1 ) , c ^ j * ( 2 ) , , c ^ j * ( p ) R p , for all j I q . Let α : = ( α 1 , , α q ) [ 0 , ) p × q be such that α j : = α j ( 1 ) , α j ( 2 ) , , α j ( p ) R p for all j I q . Then, we have
( i , j ) I p × I q L ( i , j ) L R S ( α ) ,
where L ( i , j ) = x X | c ^ j ( i ) ( x ) c ^ j * ( i ) + α j ( i ) for all i I p and j I q .
Proof. 
See in Appendix B.3
Based on Theorem 2, we now suggest a method for finding a solution to the problem MP ( U ) in the set L R S ( α ) .
Algorithm 1: Finding a solution of MP ( U ) .
Input: Uncertain multi-objective optimization problem MP ( U ) .
Step.1: For each fixed j I q , find the reference point c ^ j * .
Step.2: Compute a tolerance threshold valued α inf of the problem MP ( U ) as defined in the Equation (7) of Proposition 1.
Step.3: For each fixed i I p and j I q , compute the level set L ( i , j ) by
L ( i , j ) = x X | c ^ j ( i ) ( x ) c ^ j * ( i ) + α inf ,
where c ^ j * : = c ^ j * ( 1 ) , c ^ j * ( 2 ) , , c ^ j * ( p ) .
Step.4: Find an element x * in the set
( i , j ) I p × I q L ( i , j ) .
Output: x * is an element of L R S ( α ) , where α : = ( α 1 , α 2 , , α q ) R p × q , such that α j = ( α inf , α inf , , α inf ) R p , for all j I q .
Remark 1. 
(i)
For each j I q , the vector c ^ j * R p is found by finding the value of lexicographic optimization of the deterministic multi-objective mapping w o r s t j ( f ( · , U ) ) : R n R p . For information on methods for finding the reference point as in Definition 2, one may see [28].
(ii)
Observe that the computation of value α inf is finding the infimum of subset of real numbers. Thus, we can apply many elementary existing methods of finding this value.
(iii)
Under the assumptions of f i ( · , s j ) being continuous for all i I p and j I q , together with an assumption that the feasible set X is compact, by applying Proposition A1 (see the Appendix A.1), we have c ^ j ( i ) ( · ) is also continuous for all i I p and j I q . Thus, since c ^ j ( i ) ( · ) is continous, we have that the level set L ( i , j ) as defined by (8) is also a closed set. Thus, in order to finding a point in Formulation (8) and complete Step 4, we can apply many existing algorithms, we refer the reader to [29,30,31].

3. Case Study

In this study we consider data from [32] and solve the problem by using the lexicographic tolerlable robust solution concept. The original problem of Water Resources Master Plan for Serbia (WRMS) is to find a suitable plan for balancing water demands and available water resources. This problem is concerned with the six alternative solutions and eight objectives as follows:
Decision factors:
  • The need for municipal water supply ( d 1 )
  • The need for industrial water supply ( d 2 )
  • Irrigation needs ( d 3 )
  • Hydropower generation ( d 4 )
  • Flood protection ( d 5 )
  • Water quality control ( d 6 )
Objectives:
  • Regional political interest ( f 1 )
  • Local interest (communities) ( f 2 )
  • Negative effects on the resettlement of people ( f 3 )
  • System reliability ( f 4 )
  • Positive environmental effects ( f 5 )
  • Positive effects of alternative plans on water quality ( f 6 )
  • Total cost ( f 7 )
  • Energy consumption ( f 8 )
The modelling techniques of alternative solution and the measurement of the objective function, we refer the readers to see more details in Chapter 10 of [32]. Here, six alternative solutions were created by considering the above specific factors in the planning process for the WRMS problem. Thus, the decision space is X : = { x 1 , x 2 , x 3 , x 4 , x 5 , x 6 } R 6 where x k : = ( d 1 k , d 2 k , d 3 k , d 4 k , d 5 k , d 6 k ) for each k I 6 .
Looking at the above eight objectives, one can see that the five objectives f 1 , f 2 , f 4 , f 5 , and f 6 , relate to positive outcomes that the group of decision makers naturally wants to maximize. Meanwhile, the three objectives f 3 , f 7 , and f 8 relate to negative outcomes that they naturally want to minimize. Notice that the first six objectives are qualitative, while the remaining two are quantitative. The quality level of the first six objectives are divided by the relative scale into five levels from being bad to being excellent as 1 to 5.
In the solution selection process, the preferences of the decision makers were collected through a set of public meetings. Since the decision makers were not able or willing to express their preferences, the planning team have to generate a number of different sets of weights to cover a broad range of decision-making positions in accordance with the relative importance of the various objectives. Since the generation of weight sets in the WRMS is obtained from ranges of decision maker’s preferences, it means that the weight sets are imprecise data. Hence, these imprecise data can be seen as an uncertainty in the WRMS. So, it is reasonable to consider a robustness concept for the WRMS that is quite sensitive to preference changes of the decision makers. Six different weight sets had been presented in the WRMS, and here these six weight sets will be considered as scenarios. That is, the uncertainty set is:
U : = { s 1 , s 2 , , s 6 } R 8 .
Therefore, the WRMS problem is formulated as an uncertain multi-objective optimization problem MP ( U ) where MP ( U ) is given as a family of { MP ( s j ) | s j U } of deterministic multi-objective optimization problems:
( MP ( s j ) ) min f ( x k , s j ) subject to x k X
where f : X × U R 8 , X = { x 1 , x 2 , x 3 , x 4 , x 5 , x 6 } , and U = { s 1 , s 2 , s 3 , s 4 , s 5 , s 6 } . The primary data of the outcome for each alternative solution x k in the WRMS over all scenarios are shown in Table 1.

4. Result Analysis

We will classify the above eight objectives into three groups. Group 1 concerns people ( G 1 : = ( f 1 , f 2 , f 3 ) ) ; Group 2 concerns the environment ( G 2 : = ( f 4 , f 5 , f 6 ) ) ; Group 3 concerns financial matters ( G 3 : = ( f 7 , f 8 ) ) . In each group, we will also consider the priority of the objectives in the group, for example in the group G 1 , the regional interest ( f 1 ) is considered as the most important one, the local interest (communities) ( f 2 ) is considered as the second most important one, and the negative effects on the resettlement of people ( f 3 ) is considered as the least important one of the group G 1 . In this problem, we show the computation of the objective group ( G 1 , G 2 , G 3 ) . By applying Algorithm 1, we can obtain a lexicographic tolerable robust solution for the WRMS. Table 2 shows the information of function c ^ ( · ) ( x k ) of each alternative solution x k which is obtained from sorting the vector of component function c ^ ( i ) ( x k ) in nonincreasing way over all scenarios s j , for each i I p . Table 3 presents the j t h worst performance vector of all alternative solutions and the reference point of this problem is ( c ^ 1 * , c ^ 2 * , , c ^ 6 * ) R 8 × 6 . According to Theorem 1, we obtain the tolerance threshold α inf = 0 . Therefore, the resulting set of lexicographic robust solutions with respect to α : = ( α 1 , α 2 , , α 6 ) is:
L R S ( α ) = { x 3 } ,
where α j = ( α inf , α inf , , α inf ) R 8 , for all j I q .

4.1. Solution Sets of Different Objective Priorities

In Table 4, the solution sets of the problem which are corresponding to each group of the ordered objective function are presented. One may observe that, different values for the priorities yield different solution sets.
Remark 2. 
(i)
An important point to note is that by using the most robust compromise solution concept which was discussed in [32], the solution will be x 5 . This means that the output from the lexicographic tolerable robust solution and the output from the most robust compromise solution concept can be quite different. Furthermore, note that the solution set derived from the most robust compromise concept will remain the same, regardless of the permutations of the components of the objective function.
(ii)
Another solution concept is the robust efficiency, which was introduced by Ehrgott et al. [23]. Based on the data, which are considered in the WRMS problem, and following the concept of the robust efficiency concept we can see that the solution set is { x 1 , x 2 , x 3 , x 4 , x 5 , x 6 } = S . In fact, in [23], each element of the solution set S can be found by applying the weighted sum scalarization method:
( MP ( U ) ) w l min max j { 1 , 2 , , 6 } i = 1 8 w l ( i ) f i ( x k , s j ) s u b j e c t t o x k X ,
where w l : = ( w l ( 1 ) , w l ( 2 ) , , w l ( 8 ) ) R 8 . One may use the following weight sets to consider the above single objective optimization problem ( MP ( U ) ) w l :
w 1 = ( 691.0782 , 458.1161 , 165.2403 , 249.0968 , 91.5001 , 221.3457 , 484.6561 , 455.7014 ) ,
w 2 = ( 831.0456 , 43.0179 , 48.2109 , 258.1919 , 29.4128 , 526.5054 , 264.536 , 716.3191 ) ,
w 3 = ( 224.5293 , 605.5699 , 649.4945 , 864.5647 , 341.5705 , 106.62 , 8.2109 , 291.8441 ) ,
w 4 = ( 299.4271 , 397.7614 , 868.3355 , 286.74 , 781.3634 , 129.4872 , 9.4937 , 891.1759 ) ,
w 5 = ( 952.469 , 440.2029 , 336.5277 , 328.4372 , 902.203 , 627.7193 , 22.8332 , 125.6362 ) ,
w 6 = ( 733.3956 , 693.8117 , 796.0924 , 198.2816 , 8.0612 , 979.1434 , 37.3021 , 228.8411 ) , and find that the corresponding solutions of weights w 1 , w 2 , w 3 , w 4 , w 5 , and w 6 are x 1 , x 2 , x 3 , x 4 , x 5 , and x 6 , respectively.

4.2. Further Discussion

4.2.1. Ranking of Solution

In practice, the process of selecting a final solution for the considered problem usually involves multiple decision makers. Furthermore, there may occur the situation that some decision makers are not satisfied with the solution found by the lexicographic tolerable robust solution concept. Consequently, we may need to find more desirable solutions to offer those decision makers. Reasonably, in order to update the solution for fitting the preference or requirements of those decision makers, the monotonicity of the solution set is a vital property that the presented solution concept must satisfy. The following statement describes the monotonicity property of the solution set L R S ( α ) .
Property 1 
(Monotonicity). The set L R S ( α ) is monotonic in the tolerance threshold set. That is, for α : = ( α 1 , , α q ) , β : = ( β 1 , , β q ) R p × q such that α j β j , for all j I q , we have
L R S ( α ) L R S ( β ) .
Proof. 
The proof directly follows from Definition 3. □
Remark 3. 
Property 1 means that once the tolerance threshold set has been adjusted using small tolerance threshold values it will also function correctly with larger tolerance threshold values. In other words, a lexicographic robust solution correctly adjusted with low tolerance threshold values will remain a lexicographic robust solution even when the tolerance threshold values are high.
Continuing from above discussion, in order to update the solution sets, the ranking concept needs to be considered. Here, we consider the common natural idea for the ranking of different sets as we shall begin with computing the smallest tolerance threshold such that the set L R S ( α ) is nonempty (see Theorem 1) and define it to be a tolerance threshold set of the first ranking of solution set. After that, the next ranking of the solution set can be computed by removing all elements that belong to the first ranking of solution set from the feasible set. This mentioned idea is encouraged by the following Theorem 3, which we present in the suitation that the feasible solution set X is finite.
Theorem 3. 
Let X be a finite set and f i ( · , s 1 ) , f i ( · , s 2 ) , , f i ( · , s q ) be continuous functions for all i I p . For each m { 2 , 3 , , q } , let α m defined by
α m : = min x X L R S ( ( α m 1 , , α m 1 ) , , ( α m 1 , , α m 1 ) ) max ( Δ x ) ,
where α 1 : = min x X max ( Δ x ) . Then, for any β [ α m , α m + 1 ) , we have
L R S ( ( β , , β ) , , ( β , , β ) ) = L R S ( ( α m , , α m ) , , ( α m , , α m ) ) .
Proof. 
See in Appendix B.4
It should be noted that the lexicographic tolerable robust solution depending on the choice of tolerance threshold α . Theorem 3 provides a sufficient condition on how to choose the effective tolerance threshold for classifying the ranking on the solution set. The resulting solution set will remain the same set as the previous ranking of the solution set if a tolerance threshold does not reach to at least a value which was computed by (10). For more understanding on Theorem 3, we illustrate with the following remark.
Remark 4. 
Considering again the data of the WRMS problem and suppose the situation that the solution choice x 3 does not satisfy the group of decision makers. Note that the alternative solution x 3 is considered as the first ranking of solution set. The other rankings of solution set are presented in the following Table 5.
We now describe the computations for obtaining the results which are presented in Table 5. The value of the tolerance threshold for each ranking of solution set is computed according to Theorem 3. The tolerance threshold α j 2 ( j { 1 , 2 , , 6 } ) for computing the second ranking is
α j 2 = ( 1.3 , 1.3 , 1.3 , 1.3 , 1.3 , 1.3 , 1.3 , 1.3 ) R 8 , for all j { 1 , 2 , , 6 } .
Subsequently, the solution set that is associated to the tolerance threshold α 2 , where α 2 : = ( α 1 2 , α 2 2 , , α 6 2 ) R 8 × 6 is { x 3 , x 6 } . Thus, as discussed above, we will say that the solution set of the second ranking is { x 6 } .
Next, using again the Theorem 3, we can found that
α j 3 = ( 2 , 2 , 2 , 2 , 2 , 2 , 2 , 2 ) R 8 , for all j { 1 , 2 , , 6 } .
Furthermore, the corresponding solution set of this tolerance threshold is { x 3 , x 4 , x 5 , x 6 } . So, we say that the third ranking of solution set is { x 4 , x 5 } . By continuing this idea, the rest of rankings of solution set can be computed and obtained as showing in Table 5.

4.2.2. Refinement of the Tolerance Threshold

By choice of tolerance threshold α 3 , the corresponding solution set of the third ranking is { x 4 , x 5 } , which was shown in Table 5., one may wonder whether { x 4 , x 5 } are really in the same rank. Here, we consider the idea to sharpen the ranking of the solution.
It is worth to remind that the lexicographic robust solutions sets depend on the considered tolerance threshold. Moreover, by Theorem 3, it has been asserted that there is no solution set that properly lies between the L R S ( α i ) and L R S ( α i + 1 ) when these α i are computed by the method presented in Proposition 1. Here, the computation of tolerance threshold to determine a sub-rank among elements in the i t h ranking of the solution set is presented. The first sub-rank of the i t h ranking can be determined by computing the following formulation of the tolerance threshold:
α i 1 : = inf with lex ( α 1 i 1 ( x ) , α 2 i 1 ( x ) , , α q i 1 ( x ) ) R p × q | x L R S ( α i ) \ L R S ( α i 1 ) ,
where
α j i 1 ( x ) = max { c ^ j ( 1 ) ( x ) c ^ j * ( 1 ) , 0 } , max { c ^ j ( 2 ) ( x ) c ^ j * ( 2 ) , 0 } , , max { c ^ j ( p ) ( x ) c ^ j * ( p ) , 0 } R p ,
and c ^ j * : = c ^ j * ( 1 ) , c ^ j * ( 2 ) , , c ^ j * ( p ) R p , for all j I q . The resulting solution set L R S ( α i 1 ) corresponding to a tolerance threshold α i 1 is considered as a robust solution in the first sub-rank of the i t h ranking of the solution set.
The process of computing a tolerance threshold to determine the second sub-rank of the i t h ranking of the solution set will be continued if the remaining solution set L R S ( α i ) \ { L R S ( α i 1 ) L R S ( α i 1 ) } is nonempty. Consequently, the second sub-rank of the i t h ranking of the solution set can be determined by computing the following formulation of the tolerance threshold:
α i 2 : = inf with lex ( α 1 i 2 ( x ) , α 2 i 2 ( x ) , , α q i 2 ( x ) ) R p × q | x L R S ( α i ) \ { L R S ( α i 1 ) L R S ( α i 1 ) } ,
where
α j i 2 ( x ) = max { c ^ j ( 1 ) ( x ) c ^ j * ( 1 ) , 0 } , max { c ^ j ( 2 ) ( x ) c ^ j * ( 2 ) , 0 } , , max { c ^ j ( p ) ( x ) c ^ j * ( p ) , 0 } R p ,
where j I q . The resulting solution set L R S ( α i 2 ) corresponding to the tolerance threshold α i 2 is considered as a robust solution in the second sub-rank of the i t h ranking of the solution set.
We will continue this process of computing the third sub-rank if L R S ( α i ) \ { L R S ( α i 1 ) L R S ( α i 2 ) L R S ( α i 1 ) } is nonempty. The third sub-rank of the i t h ranking of the solution set is determined by the following tolerance threshold:
α i 3 : = inf with lex ( α 1 i 3 ( x ) , α 2 i 3 ( x ) , , α q i 3 ( x ) ) R p × q | x L R S ( α i ) \ { L R S ( α i 1 ) L R S ( α i 1 ) L R S ( α i 2 ) } ,
where
α j i 3 ( x ) = max { c ^ j ( 1 ) ( x ) c ^ j * ( 1 ) , 0 } , max { c ^ j ( 2 ) ( x ) c ^ j * ( 2 ) , 0 } , , max { c ^ j ( p ) ( x ) c ^ j * ( p ) , 0 } R p ,
where j I q . We do continue the process of computing the next sub-rank until there is m N such that
L R S ( α i ) = L R S ( α i 1 ) L R S ( α i 2 ) L R S ( α i m ) .
In general, the above formulation of computing the tolerance threshold to determine the k t h sub-rank of the i t h ranking can be expressed as follows:
α i k : = inf with lex ( α 1 i k ( x ) , α 2 i k ( x ) , , α q i k ( x ) ) R p × q | x L R S ( α i ) { L R S ( α i 1 ) L R S ( α i 1 ) L R S ( α i k 1 ) }
where
α j i k ( x ) = max { c ^ j ( 1 ) ( x ) c ^ j * ( 1 ) , 0 } , max { c ^ j ( 2 ) ( x ) c ^ j * ( 2 ) , 0 } , , max { c ^ j ( p ) ( x ) c ^ j * ( p ) , 0 } R p ,
where k N and j I q .
Remark 5. 
Observe that in Remark 4 by taking a tolerance threshold, α j 3 = ( 2 , 2 , 2 , 2 , 2 , 2 , 2 , 2 ) , for all j I q , there are two members in the third ranking of solution set that are x 4 and x 5 . By applying the formulation (14) to refine the tolerance threshold to classify the sub-rank between x 4 and x 5 , we obtain the corresponding sub-rank of the 3rd ranking of the solution set as follows:
L R S ( α 3 1 ) = { x 5 }
and
L R S ( α 3 2 ) = { x 4 } .
These imply that the alternative solution x 5 is considered as a robust solution in the first sub-rank and the alternative solution x 4 is considered as a robust solution in the second sub-rank of the third ranking of the solution set, respectively. This means that x 5 is more desirable than x 4 .
Observe that in Remark 5, the resulting solution sets with respect to the tolerance thresholds α 3 1 and α 3 2 which was computed by (14) are both singleton sets. This may raise an important question by the decision makers is that the refinement tolerance threshold as computed by (14) always provides a singleton solution set. The following example will provide an affirmative conclusion that this observation does not hold in general.
Example 1. 
Let X = { x 1 , x 2 , x 3 } , and the vector-valued function f under two possible scenarios s 1 and s 2 of each alternative solution x k be presented as Table 6.
The sort function of each component function f i and the j t h worst performance vector of each alternative solution x k are provided in Table 7.
According to Theorem 3, the first ranking of the solution set and the second ranking of the solution set are L R S ( α 1 ) = { x 1 } , and L R S ( α 2 ) = { x 2 , x 3 } , where α 1 : = ( ( 0 , 0 ) , ( 0 , 0 ) ) and α 2 : = ( ( 4 , 4 ) , ( 4 , 4 ) ) . To refine the tolerance threshold α 2 , we can now apply the formulation (14) and so the tolerance threshold for determining the first sub-rank of the 2nd ranking of the solution set is:
α 2 1 : = ( ( 1 , 0 ) , ( 1 , 4 ) ) .
Notice that
w o r s t 1 ( f ( x 2 , U ) ) ( c ^ 1 * + ( 1 , 0 ) ) + R 2 a n d w o r s t 2 ( f ( x 2 , U ) ) ( c ^ 2 * + ( 1 , 4 ) ) + R 2 ,
and
w o r s t 1 ( f ( x 3 , U ) ) ( c ^ 1 * + ( 1 , 0 ) ) + R 2 a n d w o r s t 2 ( f ( x 3 , U ) ) ( c ^ 2 * + ( 1 , 4 ) ) + R 2 .
This mean that the first sub-rank of the 2nd ranking of the solution set is the set L R S ( α 2 1 ) = { x 2 , x 3 } . Therefore, we can conclude that by using the tolerance threshold which is computed by the formulation (14), cannot guarantee the corresponding singleton solution set of the sub-rank.
The observation from Example 1 is that even we refine the tolerance threshold by using the formulation (14), the corresponding solution set with respect to such tolerance threshold can sometime be not singleton set. Indeed, the robust solutions which belong to the k t h sub-rank of the i t h ranking of the solution set are indifferent because the quality of these robust solutions which are computed by the lexicographic tolerable robust solution concept are the same, mean that the worst performance vectors of these robust solutions are located in an acceptable area corresponding to the tolerance threshold α i k .
Remark 6. 
Notice that by choice of α i and the formulation (14), of computing k t h sub-rank of the i t h ranking, we can see that α i k α i .

5. Conclusions

This research has extended the concept of lexicographic α -robustness proposed by Kalai et al. [27] from its original use for uncertain single objective optimization problems to new uses for uncertain multi-objective optimization problems. This new concept of lexicographic robust solution works in situations of uncertainty in which the uncertainty is modelled on a discrete set of scenarios. This new approach is introduced to overcome drawbacks of the minmax robustness approach in the sense of limiting the degree of conservatism of the minmax robustness approach by introducing a tolerance threshold α : = ( α 1 , α 2 , , α q ) . Accordingly, the resulting solution set is obtained from the proposed approach can be guaranteed the immunization of the solution when the decision-making facing of uncertainty and also each performance vector is close to the reference point within the acceptable tolerance threshold.
A numerical example, in water resources management planning based on [32] was shown to illustrate the implementation of a lexicographic tolerable robust approach to practical problems. This new approach of robust solution can be represent the actual needs of the decision makers by applying priorities to objectives, according to their priorities. Obviously, the solution sets obtained by the proposed approach depend on the order of the priority which we put on each objective. As we have seen in Section 2, the results derived from the implementation of different approaches to the same data are often provide different of solution sets.
In real world problems, the process of selecting a final solution is usually involves several decision makers. To obtain a satisfactory solution for all decision makers, the ranking of solution should be considered. Conceptually, the implementation of how to apply the mathematical formulation of computing and defining the ranking of solution set was shown in Section 4.2.1. This result of lexicographic tolerable robust solution approach could be helping the decision makers to obtain a cooperative solution in the discussions around negotiation table. In future research, it would be interesting to study the property and analysis of the performance of a lexicographic tolerable robust solution. Furthermore, the comparison between the proposed approach and other existing robustness approaches.

Author Contributions

P.B., M.E., D.K. and N.P. proposed the concept of this research; P.B. and N.P. wrote the whole manuscript; M.E., D.K. and N.P. provided overall guidance; P.B., M.E., D.K. and N.P. carried on the data analysis; P.B. and N.P. polished the manuscript and supported a part of the data processing. All authors have read and agreed to the published version of the manuscript.

Funding

This research was supported by the Thailand Research Fund through the Royal Golden Jubilee Ph.D. Program (Grant No. PHD/0046/2559) and Faculty of Science, Naresuan University (Grant No. R2563E044).

Conflicts of Interest

The authors declare no conflict of interest.

Appendix A

Table A1. Notations.
Table A1. Notations.
NotationMeaning
I p The index set { 1 , 2 , , p } , for each p N
R p The vector space with p dimension
N Set of natural numbers
XFeasible set in R n
U Set of uncertianty set
fObjective function
x R p A vector x with p coordinates, that is x = ( x 1 , x 1 , , x p )
x y x i y i for all i I p
x y x i y i for all i I p and x y
x y x i < y i for all i I p
x l e x y x m < y m where m = min { k | x k y k }
R p { x R p | x 0 }
R p { x R p | x 0 }
R p { x R p | x 0 }
R l e x p { x R p | x l e x 0 }
A R p A subset A of vector space R p
sup with lex A The supremum of a set A with respect to a lexicographic order;
x sup : = sup with lex A if x sup l e x x , for all x A .

Appendix A.1. The Mathematical Results

Proposition A1. 
Let U = { s 1 , s 2 , , s q } and f : R n × U R be a single objective function such that f ( · , s j ) : R n R is continuous on X, for each j I q . Then, for each j I q , the function c ^ j ( · ) : R n R is continuous on X .
Proof. 
We will prove by induction. The result is true for the case q = 2 , since c ^ 1 ( · ) = max { f ( · , s 1 ) , f ( · , s 2 ) } , and c ^ 2 ( · ) = min { f ( · , s 1 ) , f ( · , s 2 ) } .
Next, we assume that f ( · , s 1 ) , f ( · , s 2 ) , , f ( · , s k ) are also continuous functions on R n such that their corresponding sorting functions, c ^ 1 ( · ) , c ^ 2 ( · ) , , c ^ k ( · ) , are also continuous. Now, let f ( · , s k + 1 ) be a continuous function on R n .
Let us define the function g i : R n R by
g 1 ( · ) = max { c ^ 1 ( · ) , f ( · , s k + 1 ) } and g i ( · ) = max { c ^ i ( · ) , min { c ^ i 1 ( · ) , f ( · , s k + 1 ) } } , for each i { 2 , 3 , , k }
and
g k + 1 ( · ) = min { c ^ k ( · ) , f ( · , s k + 1 ) } .
Observe that we have
g 1 ( x ) g 2 ( x ) g k ( x ) g k + 1 ( x ) ,
for all x R n . This means { g 1 ( · ) , g 2 ( · ) , , g k ( · ) , g k + 1 ( · ) } is the set of sort functions for f ( · , s 1 ) , f ( · , s 2 ) , , f ( · , s k ) , f ( · , s k + 1 ) . Moreover, from the induction hypothesis together with the continuity of f ( · , s k + 1 ) , we have g i is a continuous function for all i { 1 , 2 , , k , k + 1 } . This completes the proof. □

Appendix B

Appendix B.1.

Proof of Proposition 1. 
(i) Let ε > 0 be given. By the definition of α inf , there exists x ε X such that
α inf max ( Δ x ε ) < α inf + ε .
For each j I q , we write c ^ j * = c ^ j * ( 1 ) , c ^ j * ( 2 ) , , c ^ j * ( p ) . It follows that,
max i I p c ^ j ( i ) ( x ε ) c ^ j * ( i ) < α inf + ε ,
for each j I q . Subsequently, for each j I q , we have
c ^ j ( i ) ( x ε ) c ^ j * ( i ) < α inf + ε , for all i I p .
This implies that,
w o r s t j ( f ( x ε , U ) ) c ^ j * + ( α j + ε ) , for all j I q .
This shows that, x ε L R S ( α + ε ) , and the item (i) is proved.
(ii) Let x X be arbitrary but fixed. By definition of α inf , we know that
α inf c ^ j ( i ) ( x ) c ^ j * ( i ) , for all j I q and i I p .
Thus, for each ε > 0 , we must have
α inf ε < c ^ j ( i ) ( x ) c ^ j * ( i ) ,
for all j I q and i I p . This implies that x L R S ( α ε ) . Since x is an arbitary element of X, we can conclude that the item (ii) is proved. □

Appendix B.2.

Proof of Theorem 1. 
n N be fixed. By choosing a threshold valued α inf as (7), we can find x n X such that
α inf max ( Δ x n ) < α inf + 1 n .
For each j I q , we write c ^ j * = c ^ j * ( 1 ) , c ^ j * ( 2 ) , , c ^ j * ( p ) . It follows that,
max i I p c ^ j ( i ) ( x n ) c ^ j * ( i ) < α inf + 1 n ,
for each j I q . Accordingly, for each j I q , we have
c ^ j ( i ) ( x n ) c ^ j * ( i ) < α inf + 1 n , for all i I p .
This means that,
w o r s t j ( f ( x n , U ) ) c ^ j * + ( α j + 1 n ) , for all j I q .
It follows that,
x n L R S ( α inf + 1 n ) , for all n N .
Moreover, since X is compact and { x n } X , we let x ˜ X and a subsequence { x n k } of { x n } be such that x n k x ˜ , as k .
Since, for each i I p , we have f i ( · , s 1 ) , f i ( · , s 2 ) , , f i ( · , s q ) are continuous functions, we know that c ^ j ( i ) ( · ) are also continuous functions, for each j I q (see; Appendix A.1 The Mathematical Results). These imply,
c ^ j ( i ) ( x n k ) c ^ j ( i ) ( x ˜ ) as k ,
for all i I p and j I q . Using this one together with the continuity of maximum function, in view of (A1), we have
max j I q max i I p c ^ j ( i ) ( x n k ) c ^ j * ( i ) α inf , as k .
Thus by (A2), we obtain that
max j I q max i I p c ^ j ( i ) ( x ˜ ) c ^ j * ( i ) = α inf .
This guarantees that x ˜ L R S ( α ) . This completes the proof. □

Appendix B.3.

Proof of Theorem 2. 
Let x ( i , j ) I p × I q L ( i , j ) . This means that,
x { z X | c ^ j ( i ) ( z ) c ^ j * ( i ) + α j ( i ) } , for all i I p and j I q .
This implies that,
x { z X | w o r s t j ( f ( z , U ) ) c ^ j * + α j } , for all j I q .
Thus, it follows directly that x L R S ( α ) and the theorem is proved. □

Appendix B.4.

Proof of Theorem 3. 
By the monotonicity of a solution set, the “⊇” inclusion is obvious. So, we need to show that
L R S ( ( β , , β ) , , ( β , , β ) ) L R S ( ( α m , , α m ) , , ( α m , , α m ) ) .
Suppose on the contrary, there is x ¯ L R S ( ( β , , β ) , , ( β , , β ) ) , but
x ¯ L R S ( ( α m , , α m ) , , ( α m , , α m ) ) .
It means that x ¯ X \ L R S ( ( α m , , α m ) , , ( α m , , α m ) ) and by the definition of α m + 1 ,
α m + 1 max ( Δ x ¯ ) .
This implies that, there are j 0 I q and i 0 I p such that
max ( Δ x ¯ ) = c ^ j 0 ( i 0 ) ( x ¯ ) c ^ j 0 * ( i 0 ) .
Since x ¯ L R S ( ( β , , β ) , , ( β , , β ) ) ,
w o r s t j 0 ( f ( x ¯ , U ) ) c ^ j 0 * + ( β , β , , β ) R p .
By the definition of R p , it follows that,
w o r s t j 0 ( f ( x ¯ , U ) ) c ^ j 0 * + ( β , β , , β ) .
This implies that, for any i I p ,
c ^ j 0 ( i ) ( x ¯ ) c ^ j 0 * ( i ) + β .
So, for fixed i 0 I p ,
c ^ j 0 ( i 0 ) ( x ¯ ) c ^ j 0 * ( i 0 ) + β .
From Equations (A3) and (A4), it follows that
α m + 1 c ^ j 0 ( i 0 ) ( x ¯ ) c ^ j 0 * ( i 0 ) β .
Which leads to a contradiction with the definition of β . Therefore, we obtain the inclusion and so
L R S ( ( β , , β ) , , ( β , , β ) ) = L R S ( ( α m , , α m ) , , ( α m , , α m ) ) .

References

  1. Walmsly, N.; Pearce, G. Towards Sustainable Water Resources Management: Bringing the Strategic Approach up-to-date. Drain. Syst. 2010, 24, 191–203. [Google Scholar] [CrossRef]
  2. Zhou, Y.; Yang, B.; Han, J.; Huang, Y. Robust Linear Programming and Its Application to Water and Environmental Decision-Making under Uncertainty. Sustainability 2019, 11, 33. [Google Scholar] [CrossRef] [Green Version]
  3. Nouiri, I.; Yitayew, M.; Maβmann, J.; Tarhouni, J. Multi-Objective Optimization Tool for Integrated Groundwater Management. Water Resour. Manag. 2015, 29, 5353–5375. [Google Scholar] [CrossRef]
  4. Xevi, E.; Khan, S. A Multi-objective Optimisation Approach to Water Management. Environ. Manag. 2005 77, 269–277. [CrossRef]
  5. Weber, E.; Rizzoli, A.; Soncini-Sessa, R.; Castelletti, A. Lexicographic Optimisation for Water Resources Planning: The Case of Lake Verbano, Italy. In Proceedings of the First Biennial Meeting of the International Environmental Modelling and Software, Lugano, Switzerland, 24–27 June 2002; pp. 235–240. [Google Scholar]
  6. Tecle, A.; Shrestha, B.; Duckstein, L. A Multiobjective Decision Support System for Multiresource Forest Management. Group Decis. Negot. 1998, 7, 23–40. [Google Scholar] [CrossRef]
  7. Shao, L.; Ehrgott, M. Approximately Solving Multiobjective Linear Programmes in Objective Space and Application in Radiotherapy Treatment Planning. Math. Medthods Oper. Res. 2008, 68, 257–276. [Google Scholar] [CrossRef]
  8. Syberfeldt, A. Multi-objective Optimization of a Real-world Manufacturing Process using Cuckoo Search. Cuckoo Search Firefly Algorithm 2013, 516, 179–193. [Google Scholar]
  9. Bersimas, D.; Brown, D.B.; Caramanis, C. Theory and Applications of Robust Optimization. Soc. Ind. Appl. Math. 2011, 53, 464–501. [Google Scholar]
  10. Bertsimas, D.; Sim, M. Robust Discrete Optimization and Network Flows. Math. Program. 2003, 98, 49–71. [Google Scholar] [CrossRef]
  11. Perelman, L.; Housh, M.; Ostfeld, A. Robust optimization for water distribution systems least cost design. Water Resour. Res. 2013, 49, 6795–6809. [Google Scholar] [CrossRef]
  12. Goerigk, M.; Heβe, S.; Müller-Hannemann, M.; Schmidt, M.; Schöbel, A. Recoverable Robust Timetable Information. In Proceedings of the ATMOS-13th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems, Sophia Antipolis, France, 5 September 2013; Frigioni, D., Stiller, S., Eds.; Dagstuhl: Wadern, Germany, 2013; pp. 1–14. [Google Scholar]
  13. Goerigk, M.; Knoth, M.; Müller-Hannemann, M.; Schmidt, M.; Schöbel, A. The Price of Strict and Light Robustness in Timetable Information. Transp. Sci. 2014, 48, 225–242. [Google Scholar] [CrossRef]
  14. Rajabighamchi, F.; Hajlou, E.M.H.; Hassannayebi, E. A Multi-objective Optimization Model for Robust Skip-stop Scheduling with Earliness and Tardiness Penalties. Urban Rail Transit 2019, 5, 172–185. [Google Scholar] [CrossRef] [Green Version]
  15. Zhou-Kangas, Y.; Miettinen, K. Decision Making in Multiobjective Optimization Problems under Oncertainty: Balancing between Robustness and Quality. OR Spectr. 2019, 41, 391–413. [Google Scholar] [CrossRef] [Green Version]
  16. Burke, E.K.; Causmaecker, P.D.; Maere, G.D.; Mulder, J.; Paelinck, M.; Berghe, G.V. A Multi-objective Approach for Robust Airline Scheduling. Comput. Oper. Res. 2010, 37, 822–832. [Google Scholar] [CrossRef] [Green Version]
  17. Prons-Prats, J.; Bugeda, G.; Zarate., F. Applying Multi-objective Robust Design Optimization Procedure to the Route Planning of Commercial Aircraft. In Computational Methods and Models for Transport; Computational Methods in Applied Sciences; Diez, P., Neittaanmäki, P., Periaux, J., Tuovinen, T., Bräysy, O., Eds.; Springer: Cham, Switzerland, 2017; Volume 45, pp. 147–167. [Google Scholar]
  18. Deb, K.; Gupta, H. Introducing Robustness in Multi-objective Optimization. Evol. Comput. 2006, 14, 463–494. [Google Scholar] [CrossRef]
  19. Kuroiwa, D.; Lee, G.M. On Robust Multiobjective Optimization. Vietnam J. Math. 2012, 40, 305–317. [Google Scholar]
  20. Soyster, A. Convex Programming with Set-inclusive Constraints and Applications to Inexact Linear Programming. Oper. Res. 1973, 21, 1154–1157. [Google Scholar] [CrossRef] [Green Version]
  21. Ben-tal, A.; Nemirovski, A. Robust Convex Optimization. Math. Oper. Res. 1998, 23, 769–805. [Google Scholar] [CrossRef]
  22. Ben-Tal, A.; Ghaoui, L.E.; Nemirovski, A. Robust Optimization; Princeton University Press: Princeton, NJ, USA, 2009. [Google Scholar]
  23. Ehrgott, M.; Ide, J.; Schöbel, A. Minmax Robustness for Multi-objective Optimization Problems. Eur. J. Oper. Res. 2014, 239, 13–17. [Google Scholar] [CrossRef]
  24. Bokrantz, R.; Fredriksson, A. Necessary and Sufficient Conditions for Pareto Efficiency in Robust Multiobjective Optimization. Eur. J. Oper. Res. 2017, 262, 682–692. [Google Scholar] [CrossRef] [Green Version]
  25. Ide, J.; Schöbel, A. Robustness for Uncertain Multi-objective Optimization: A Survey and Analysis of Different Concepts. OR Spectr. 2016, 38, 235–271. [Google Scholar] [CrossRef]
  26. Snyder, L. Facility Location Under Uncertainty: A Review. IIE Trans. 2006, 38, 537–554. [Google Scholar] [CrossRef]
  27. Kalaï, R.; Lamboray, C.; Vanderpooten, D. Lexicographic α-robustness: An Alternative to Min-max Criteria. Eur. J. Oper. Res. 2012, 220, 722–728. [Google Scholar] [CrossRef]
  28. Zykina, A.V. A Lexicographic Optimization Algorithm. Autom. Remote. Control. 2004, 65, 363–368. [Google Scholar] [CrossRef]
  29. Combettes, P.L.; Trussell, H.J. Method of Successive Projections for Finding a Common Point of Sets in Metric Spaces. J. Optim. Theory Appl. 1990, 67, 487–507. [Google Scholar] [CrossRef]
  30. Ginat, O. The Method of Alternating Projection. In Honour School of Mathematics: Part G; University of Oxford: Oxford, UK, 2018. [Google Scholar]
  31. Pang, C.H.J. Nonconvex Set Intersection Problems: From Projection Methods to the Newton Method for Super-regular Sets. arXiv 2015, arXiv:1506.08246. [Google Scholar]
  32. Simonovic, S.P. Managing Water Resources: Methods and Tools for a Systems Approachs; UNESCO: Paris, France; Earthscan Publishing: London, UK, 2009; pp. 583–584. [Google Scholar]
Samples of the compounds are available from the authors.
Table 1. The objective function f of each alternative solution x k under all scenarios s j .
Table 1. The objective function f of each alternative solution x k under all scenarios s j .
f ( · , s 1 ) f ( · , s 2 ) f ( · , s 3 ) f ( · , s 4 ) f ( · , s 5 ) f ( · , s 6 )
f ( x 1 , · ) 0.70 1.40 1.50 3.60 5.50 3.00 369.12 19.30 0.80 1.00 0.90 2.40 6.50 2.40 461.40 28.95 1.00 2.00 3.00 2.00 5.00 3.00 307.60 19.30 1.40 2.60 3.00 2.40 1.50 2.10 307.60 19.30 0.70 1.40 1.50 2.20 9.00 3.00 369.12 19.30 0.70 1.40 1.50 3.60 5.50 3.00 307.60 23.16
f ( x 2 , · ) 1.40 1.40 2.00 3.60 5.50 3.00 376.20 17.60 1.60 1.00 1.20 2.40 6.50 2.40 470.25 26.40 2.00 2.00 4.00 2.00 5.00 3.00 313.50 17.60 2.80 2.60 4.00 2.40 1.50 2.10 313.50 17.60 1.40 1.40 2.00 2.20 9.00 3.00 376.20 17.60 1.40 1.40 2.00 3.60 5.50 3.00 313.50 21.12
f ( x 3 , · ) 3.50 2.80 2.50 9.00 3.30 4.00 475.08 14.50 4.00 2.00 1.50 6.00 3.90 3.20 593.85 21.75 5.00 4.00 5.00 5.00 3.00 4.00 395.90 14.50 7.00 5.20 5.00 6.00 0.90 2.80 395.90 14.50 3.50 2.80 2.50 5.50 5.40 4.00 475.08 14.50 3.50 2.80 2.50 9.00 3.30 4.00 395.90 17.40
f ( x 4 , · ) 3.50 2.10 2.50 7.20 4.40 2.00 454.80 13.70 4.00 1.50 1.50 4.80 5.20 1.60 568.50 20.55 5.00 3.00 5.00 4.00 4.00 2.00 349.00 13.70 7.00 3.90 5.00 4.80 1.20 1.40 379.00 13.70 3.50 2.10 2.50 4.40 7.20 2.00 454.80 13.70 3.50 2.10 2.50 7.20 4.40 2.00 379.00 16.44
f ( x 5 , · ) 3.50 2.80 2.50 7.20 4.40 2.00 446.16 14.00 4.00 2.00 1.50 4.80 5.20 1.60 557.70 21.00 5.00 2.00 5.00 4.00 4.00 2.00 371.80 14.00 7.00 5.20 5.00 4.80 1.20 1.40 371.80 14.00 3.50 2.80 2.50 4.40 7.20 2.00 446.16 14.00 3.50 2.80 2.50 7.20 4.40 2.00 371.80 16.80
f ( x 6 , · ) 3.50 2.10 2.50 9.00 3.30 5.00 471.72 14.70 4.00 1.50 1.50 6.00 3.90 4.00 589.65 22.05 5.00 1.50 5.00 5.00 3.00 5.00 393.10 14.70 7.00 3.90 5.00 6.00 0.90 3.50 393.10 14.70 3.50 2.10 2.50 5.50 5.40 5.00 471.72 14.70 3.50 2.10 2.50 9.00 3.30 5.00 393.10 17.64
Table 2. The sorted vector, c ^ ( i ) ( · ) , of vector c ( i ) ( · ) .
Table 2. The sorted vector, c ^ ( i ) ( · ) , of vector c ( i ) ( · ) .
c ^ ( · ) ( x 1 ) c ^ ( · ) ( x 2 ) c ^ ( · ) ( x 3 ) c ^ ( · ) ( x 4 ) c ^ ( · ) ( x 5 ) c ^ ( · ) ( x 6 )
c ^ ( 1 ) ( · ) 0.70 0.70 0.70 0.80 1.00 1.40 1.40 1.40 1.40 1.60 2.00 2.80 3.50 3.50 3.50 4.00 5.00 7.00 3.50 3.50 3.50 4.00 5.00 7.00 3.50 3.50 3.50 4.00 5.00 7.00 3.50 3.50 3.50 4.00 5.00 7.00
c ^ ( 2 ) ( · ) 1.00 1.40 1.40 1.40 2.00 2.60 1.00 1.40 1.40 1.40 2.00 2.60 2.00 2.80 2.80 2.80 4.00 5.20 1.50 2.10 2.10 2.10 3.00 3.90 2.00 2.80 2.80 2.80 4.00 5.20 1.50 2.10 2.10 2.10 3.00 3.90
c ^ ( 3 ) ( · ) 0.90 1.50 1.50 1.50 3.00 3.00 1.20 2.00 2.00 2.00 4.00 4.00 1.50 2.50 2.50 2.50 5.00 5.00 1.50 2.50 2.50 2.50 5.00 5.00 1.50 2.50 2.50 2.50 5.00 5.00 1.50 2.50 2.50 2.50 5.00 5.00
c ^ ( 4 ) ( · ) 2.00 2.20 2.40 2.40 3.60 3.60 2.00 2.20 2.40 2.40 3.60 3.60 5.00 5.50 6.00 6.00 9.00 9.00 4.00 4.40 4.80 4.80 7.20 7.20 4.00 4.40 4.80 4.80 7.20 7.20 5.00 5.50 6.00 6.00 9.00 9.00
c ^ ( 5 ) ( · ) 1.50 5.00 5.50 5.50 6.50 9.00 1.50 5.00 5.50 5.50 6.50 9.00 0.90 3.00 3.30 3.30 3.90 5.40 1.20 4.00 4.40 4.40 5.20 7.20 1.20 4.00 4.40 4.40 5.20 7.20 0.90 3.00 3.30 3.30 3.90 5.40
c ^ ( 6 ) ( · ) 2.10 2.40 3.00 3.00 3.00 3.00 2.10 2.40 3.00 3.00 3.00 3.00 2.80 3.20 4.00 4.00 4.00 4.00 1.40 1.60 2.00 2.00 2.00 2.00 1.40 1.60 2.00 2.00 2.00 2.00 3.50 4.00 5.00 5.00 5.00 5.00
c ^ ( 7 ) ( · ) 461.40 369.12 369.12 307.60 307.60 307.60 470.25 376.20 376.20 313.50 313.50 313.50 593.85 475.08 475.08 395.90 395.90 395.90 568.50 454.80 454.80 379.00 379.00 379.00 557.70 446.16 446.16 371.80 371.80 371.80 589.65 471.72 471.72 393.10 393.10 393.10
c ^ ( 8 ) ( · ) 28.95 23.16 19.30 19.30 19.30 19.30 26.40 21.12 17.60 17.60 17.60 17.60 21.75 17.40 14.50 14.50 14.50 14.50 20.55 16.44 13.70 13.70 13.70 13.70 21.00 16.80 14.00 14.00 14.00 14.00 22.05 17.64 14.70 14.70 14.70 14.70
Table 3. The j t h worst performance vector of each alternative solution x k and the ideal point c ^ j * .
Table 3. The j t h worst performance vector of each alternative solution x k and the ideal point c ^ j * .
worst 1 ( f ( · , U ) ) worst 2 ( f ( · , U ) ) worst 3 ( f ( · , U ) ) worst 4 ( f ( · , U ) ) worst 5 ( f ( · ) , U ) ) worst 6 ( f ( · , U ) )
w o r s t ( · ) ( f ( x 1 , U ) ) 0.70 1.00 0.90 2.00 1.50 2.10 461.40 28.95 0.70 1.40 1.50 2.20 5.00 2.40 369.12 23.16 0.70 1.40 1.50 2.40 5.50 3.00 369.12 19.30 0.80 1.40 1.50 2.40 5.50 3.00 307.60 19.30 1.00 2.00 3.00 3.60 6.50 3.00 307.60 19.30 1.40 2.60 3.00 3.60 9.00 3.00 307.60 19.30
w o r s t ( · ) ( f ( x 2 , U ) ) 1.40 1.00 1.20 2.20 1.50 2.10 470.25 26.40 1.40 1.40 2.00 2.20 5.00 2.40 376.20 17.60 1.40 1.40 2.00 2.40 5.50 3.00 376.20 17.60 1.60 1.40 2.00 2.40 5.50 3.00 313.50 17.60 2.00 2.00 4.00 3.60 6.50 3.00 313.50 17.60 2.80 2.60 4.00 3.60 9.00 3.00 313.50 17.60
w o r s t ( · ) ( f ( x 3 , U ) ) 3.50 2.00 1.50 5.00 0.90 2.80 593.85 21.75 3.50 2.80 2.50 5.50 3.00 3.20 475.08 17.40 3.50 2.80 2.50 6.00 3.30 4.00 475.08 14.50 4.00 2.80 2.50 6.00 3.30 4.00 395.90 14.50 5.00 4.00 5.00 9.00 3.90 4.00 395.90 14.50 7.00 5.20 5.00 9.00 5.40 4.00 395.90 14.50
w o r s t ( · ) ( f ( x 4 , U ) ) 3.50 1.50 1.50 4.00 1.20 1.40 568.50 20.55 3.50 2.10 2.50 4.40 4.00 1.60 454.80 16.44 3.50 2.10 2.50 4.80 4.40 2.00 454.80 13.70 4.00 2.10 2.50 4.80 4.40 2.00 379.00 13.70 5.00 3.00 5.00 7.20 5.20 2.00 379.00 13.70 7.00 3.90 5.00 7.20 7.20 2.00 379.00 13.70
w o r s t ( · ) ( f ( x 5 , U ) ) 3.50 2.00 1.50 4.00 1.20 1.40 557.70 21.00 3.50 2.80 2.50 4.40 4.00 1.60 444.16 16.80 3.50 2.80 2.50 4.80 4.40 2.00 446.16 14.00 4.00 2.80 2.50 4.80 4.40 2.00 371.80 14.00 5.00 4.00 5.00 7.20 5.20 2.00 371.80 14.00 7.00 5.20 5.00 7.20 7.20 2.00 371.80 14.00
w o r s t ( · ) ( f ( x 6 , U ) 3.50 1.50 1.50 5.00 0.90 3.50 589.65 22.05 3.50 2.10 2.50 5.50 3.00 4.00 471.72 17.64 3.50 2.10 2.50 6.00 3.30 5.00 471.72 14.70 4.00 2.10 2.50 6.00 3.30 5.00 393.10 14.70 5.00 3.00 5.00 9.00 3.90 5.00 393.10 14.70 7.00 3.90 5.00 9.00 5.40 5.00 393.10 14.70
c ^ j * 3.50 2.00 1.50 5.00 0.90 2.80 593.85 21.75 3.50 2.80 2.50 5.50 3.00 3.20 475.08 17.40 3.50 2.80 2.50 6.00 3.30 4.00 475.08 14.50 4.00 2.80 2.50 6.00 3.30 4.00 395.90 14.50 5.00 4.00 5.00 9.00 3.90 4.00 395.90 14.50 7.00 5.20 5.00 9.00 5.40 4.00 395.90 14.50
Table 4. The L R S ( α ) solution set for the WRMS problem in each ordered objective group where α : = ( α 1 , α 2 , , α 6 ) and α j = ( α inf , α inf , , α inf ) R 8 for all j I q .
Table 4. The L R S ( α ) solution set for the WRMS problem in each ordered objective group where α : = ( α 1 , α 2 , , α 6 ) and α j = ( α inf , α inf , , α inf ) R 8 for all j I q .
The Ordered Objective GroupsThe LRS ( α ) Solution
( G 1 , G 2 , G 3 ) x 3
( G 1 , G 3 , G 2 ) x 5
( G 2 , G 1 , G 3 ) x 6
( G 2 , G 3 , G 1 ) x 6
( G 3 , G 1 , G 2 ) x 1
( G 3 , G 2 , G 1 ) x 1
Table 5. The set L R S ( α i ) for the ( G 1 , G 2 , G 3 ) objective group with respect to different tolerence threshold sets where α i : = ( α 1 i , α 2 i , , α 6 i ) .
Table 5. The set L R S ( α i ) for the ( G 1 , G 2 , G 3 ) objective group with respect to different tolerence threshold sets where α i : = ( α 1 i , α 2 i , , α 6 i ) .
Tolerence Threshold Set LRS ( α i )
{ α j 1 = ( 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 ) | j = 1 , , 6 } { x 3 }
{ α j 2 = ( 1.3 , 1.3 , 1.3 , 1.3 , 1.3 , 1.3 , 1.3 , 1.3 ) | j = 1 , , 6 } { x 3 } { x 6 }
{ α j 3 = ( 2 , 2 , 2 , 2 , 2 , 2 , 2 , 2 ) | j = 1 , , 6 } { x 3 } { x 6 } { x 4 , x 5 }
{ α j 4 = ( 5.4 , 5.4 , 5.4 , 5.4 , 5.4 , 5.4 , 5.4 , 5.4 ) | j = 1 , , 6 } { x 3 } { x 6 } { x 4 , x 5 } { x 2 }
{ α j 5 = ( 7.2 , 7.2 , 7.2 , 7.2 , 7.2 , 7.2 , 7.2 , 7.2 ) | j = 1 , , 6 } { x 3 } { x 6 } { x 4 , x 5 } { x 2 } { x 1 }
Table 6. The objective function f = ( f 1 , f 2 ) for each alternative solution x k under all scenarios s j .
Table 6. The objective function f = ( f 1 , f 2 ) for each alternative solution x k under all scenarios s j .
Objective Function
Alternatives f 1 ( · , s 1 ) f 1 ( · , s 2 ) f 2 ( · , s 1 ) f 2 ( · , s 2 )
x 1 56112
x 2 7686
x 3 6767
Table 7. The function c ^ ( i ) ( · ) and w o r s t j ( f ( · , U ) ) .
Table 7. The function c ^ ( i ) ( · ) and w o r s t j ( f ( · , U ) ) .
Alternatives c ^ ( 1 ) ( · ) c ^ ( 2 ) ( · ) worst 1 ( f ( · , U ) ) worst 2 ( f ( · , U ) )
x 1 ( 6 , 5 ) ( 11 , 2 ) ( 6 , 11 ) ( 5 , 2 )
x 2 ( 7 , 6 ) ( 8 , 6 ) ( 7 , 8 ) ( 6 , 6 )
x 3 ( 7 , 6 ) ( 7 , 6 ) ( 7 , 7 ) ( 6 , 6 )
c ^ j * c ^ 1 * = ( 6 , 11 ) c ^ 2 * = ( 5 , 2 )

Share and Cite

MDPI and ACS Style

Boriwan, P.; Ehrgott, M.; Kuroiwa, D.; Petrot, N. The Lexicographic Tolerable Robustness Concept for Uncertain Multi-Objective Optimization Problems: A Study on Water Resources Management. Sustainability 2020, 12, 7582. https://doi.org/10.3390/su12187582

AMA Style

Boriwan P, Ehrgott M, Kuroiwa D, Petrot N. The Lexicographic Tolerable Robustness Concept for Uncertain Multi-Objective Optimization Problems: A Study on Water Resources Management. Sustainability. 2020; 12(18):7582. https://doi.org/10.3390/su12187582

Chicago/Turabian Style

Boriwan, Pornpimon, Matthias Ehrgott, Daishi Kuroiwa, and Narin Petrot. 2020. "The Lexicographic Tolerable Robustness Concept for Uncertain Multi-Objective Optimization Problems: A Study on Water Resources Management" Sustainability 12, no. 18: 7582. https://doi.org/10.3390/su12187582

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop