Introduction

Bi-level programming is recognized as a powerful mathematical apparatus for modeling decentralized decisions with two decision makers (DMs) in a large hierarchical organization. Bi-level programming problems (BLPPs) have the following common features: the first-level decision maker (FLDM) or the leader and the second-level decision maker (SLDM) or the follower independently controls a set of decision variables; each DM tries to maximize his/her own interest, but the decision of each DM is affected by the action and reaction of the other DM; each DM should have an intention to cooperate each other in the decision-making situation. Bi-level programming has been applied to model real-world problems regarding flow shop scheduling (Karlof and Wang 1996), bio-fuel production (Bard et al. 2000), natural gas cash-out (Dempe et al. 2005), logistics (Huijun et al. 2008), pollution emission price (Wang et al. 2011), etc. Lai (1996) introduced the concept of tolerance membership function of fuzzy set theory to multi-level programming problems (MLPPs) for satisfactory decisions. Shih et al. (1996) extended Lai’s satisfactory solution concept and proposed a supervised search approach to MLPPs based on max–min aggregation operator. Shih and Lee (2000) further extended Lai’s satisfactory solution concept and presented a solution methodology for MLPPs using compensatory fuzzy operator. Sinha (2003a, b) developed an alternative fuzzy mathematical programming to MLPPs where the decision of lower-level DM is most important and the decision power of lower-level DM dominates the FLDM. Sakawa et al. (1998) developed interactive fuzzy programming algorithm to solve MLPPs by deleting the fuzzy goals for the decision variables to overcome the problem in the methods of Lai (1996). Pramanik and Roy (2007) proposed a methodology based on fuzzy goal programming (FGP) approach to MLPPs by considering the relaxation of decision of the FLDM and solved the problem by minimizing the negative deviational variables. In this article, we have considered linear fractional bi-level multi-objective decision-making (BL-MODM) problem where each level DM possesses multiple linear fractional objective functions with common linear constraints. However, in contrast to linear BLPPs, only some methodological developments for fuzzy linear fractional BLPPs/decentralized BLPPs have appeared in the literature (Sakawa and Nishizaki 2002, 2001; Ahlatcioglu and Tiryaki 2007; Mishra 2007; Toksarı 2010; Pramanik and Dey 2011b; Pramanik et al. 2012). Baky (2009) presented an algorithm to solve decentralized BL-MODM problem by extending the FGP approach incorporated by Mohamed (1997) and the proposed approach is also extended for solving linear fractional decentralized BL-MODM problem. Abo-Sinna and Baky (2010) presented a FGP procedure to linear fractional BL-MODM problem using the method of variable change on the negative and positive deviational variables.

In the field of multi-attribute decision-making, Hwang and Yoon (1981) introduced the concept of technique for order preference by similarity to ideal solution (TOPSIS) for obtaining compromise solution. TOPSIS is based upon the principle that the chosen alternative should have the minimum distance from positive ideal solution (PIS) and maximum distance from negative ideal solution (NIS). In real-life decision-making situation, a DM desires to obtain a decision that not only offers as much return as possible but also reduces as much risk as possible. Generally, TOPSIS converts M number of conflicting and non commensurable objectives (criteria) into two commensurable and most of time conflicting objectives (the minimum distance from PIS and the maximum distance from NIS) (Abo-Sinna and Amer 2005). Lai et al. (1994) presented a methodology based on the extended TOPSIS method for solving multi-objective decision-making (MODM) problem. Chen (2000) extended the concept of TOPSIS in order to formulate a methodology for solving multi-person multi-criteria decision-making (MCDM) problems in fuzzy environment. Abo-Sinna and Amer (2005) and Abo-Sinna et al. (2008) studied the extensions of TOPSIS for solving multi-objective large-scale non-linear programming problems with block angular structure. Recently, Baky and Abo-Sinna (2013) proposed a fuzzy TOPSIS algorithm for solving non-linear BL-MODM problems. In their approach, they extended the TOPSIS to first (upper)-level MODM problem for obtaining the satisfying solution for FLDM. Then the linear membership functions of variables under the control of the FLDM are formulated. Finally, max–min decision model of the BL-MODM problem is solved in order to generate the satisfactory solution of the problem.

In this paper, the TOPSIS approach to solve linear fractional BL-MODM problem based on FGP technique is extended. In the proposed approach, fuzzy TOPSIS models for both level DMs are developed and satisfactory solutions for both levels are obtained. Possible relaxations on decisions for both levels are considered. Thereafter, FGP models are formulated and the linear fractional BL-MODM problem is solved by minimizing the negative deviational variables.

Rest of the paper is organized as follows: In the Sect. “Problem formulation”, we present the formulation of BL-MODM problem. Some basic concepts of the distance measures of ‘closeness’ and its normalization are provided in the subsequent sections. TOPSIS approaches for first-level DM and second-level DM are discussed in the next two sections, respectively. Section “Preference bounds for FLDM and SLDM” briefly discusses the necessity for providing preference upper and lower bounds for both level DMs. In the Sect. “FGP approach for BL-MODM problem”, we have formulated the FGP models for BL-MODM problem. The next section presents the TOPSIS algorithm for BL-MODM problem based on FGP procedure. Section “Selection of optimal compromise solution” provides the selection criteria in order to achieve optimal compromise solution of the problem. In the Sect. “Numerical example”, a numerical example is solved to illustrate the proposed methodology. Finally, the last section concludes the paper with future direction of research.

Materials and methods

Problem formulation

Assume that there are two levels in a hierarchy structure with a FLDM at the first level and a SLDM at the second level. The FLDM controls the decision vector x 1 = ( x 1 1 , x 1 2 , , x 1 N 1 ) R N 1 and the SLDM controls the decision vector x 2 = ( x 2 1 , x 2 2 , , x 2 N 2 ) R N 2 , where N = N1 + N2. Also we assume that Z1 (x1, x2): R N 1 × R N 2 R M i , i = 1, 2.

The linear fractional BL-MODM problem of maximization-type objective function at each level can be formulated as:

[First level]

Max x 1 Z 1 x = Max x 1 Z 1 x 1 , x 2 = Max x 1 z 1 1 x 1 , x 2 , z 1 2 x 1 , x 2 , , z 1 M 1 x 1 , x 2
(1)

[Second level]

Max x 2 Z 2 x = Max x 2 Z 2 x 1 , x 2 = Max x 2 z 2 1 x 1 , x 2 , z 2 2 x 1 , x 2 , , z 2 M 2 x 1 , x 2
(2)

Subject to

x S = x = x 1 , x 2 R N | A 1 x 1 + A 2 x 2 = b , x 0 , b R M ,
(3)

where z i j x 1 , x 2 = C i j x + ρ i j D i j x + δ i j , ( i = 1 , 2 ; j = 1 , 2 , , M i ) .

Here, S is the non-empty convex constraint set, M1 and M2 are the number of objective functions of FLDM and SLDM, respectively, and M is the number of constraints. Also, Ai is the M × N i matrix, (i = 1, 2); Cij, D ij R N ; ρ i j , δ i j , ( i = 1 , 2 ; j = 1 , 2 , , M i ) are scalars. We also assume that D i j x + δ i j > 0 , ( i = 1 , 2 ; j = 1 , 2 , , M i ) for all x S .

Some basic concepts regarding distance measures

Some basis concepts related to distance measure are presented in this section, for further details see Abo-Sinna and Amer (2005) and Abo-Sinna et al. (2008). Let Z(x) = (z1 (x), z2 (x), …, zM (x)) be the vector of the objective functions. Suppose that Z + = z 1 + , z 2 + , , z M + be the ideal solution or PIS of the vector of the objective functions such that z j + = Max x S z j x , ( j = 1 , 2 , , M ) . Also, let ( Z - = z 1 - , z 2 - , , z M - ) be the anti-ideal solution or NIS of the vector of the objective functions such that z j - = Min x S z j x , (j = 1, 2, …, M). Now LQ-metric is employed in order to achieve the measure of “closeness”. LQ-metric defines the distance between Z (x) and Z+ as follows:

d q = j = 1 M α j q z j + - z j ( x ) q 1 q , q = 1 , 2 , , .
(4)

Here, α j q (j = 1, 2, …, M; q = 1, 2, …, ∞) represents the relative weight of the jth objective function. However, if the objective function z j (x), (j = 1, 2, …, M) is not expressed in commensurable unit, then the following metric can be utilized:

d q = j = 1 M α j q z j + - z j ( x ) z j + - z j - q 1 q , q = 1 , 2 , , .
(5)

The compromise solution is defined as the solution, which is nearest to the ideal solution by some distance measure (Abo-Sinna and Amer 2005). We are now interested in obtaining the compromise solution of the following MODM problem:

Max Z x = z 1 x , z 2 x , , z M x
(6)

Subject to

x S = x R N | A x = b , x 0 , b R M .

Different multi-objective methods such as global criterion method, goal programming method, fuzzy programming method, and interactive method utilize the distance family (4) and (5) in order to yield the compromise solution of a MODM problem when the ideal solution ( Z + = z 1 + , z 2 + , , z M + ) is the reference point. According to Lai et al. (1994), the problem (6) reduces to the following auxiliary problem:

Min d q = j = 1 M α j q z j + - z j ( x ) z j + - z j - q 1 q , ( q = 1 , 2 , , )
(7)

Subject to

x S = x R N | A x = b , x 0 , b R M

Here, the parameter q represents the ‘balancing factor’ between the group benefit and maximal individual regret. As the value of q increases, the group benefit, i.e., d q decreases. When q = 1, then an equal importance or weight is given to each deviation and when q = 2, then each deviation is weighted proportionately with the maximum deviation with the maximum importance or weight (Lai et al. 1994).

TOPSIS method for first-level MODM problem

Consider the linear fractional BL-MODM problem of FLDM as follows:

Max x 1 Z 1 x = Max x 1 Z 1 x 1 , x 2 = Max x 1 ( z 11 x 1 , x 2 , z 12 x 1 , x 2 , , z 1 M 1 x 1 , x 2 )
(8)

Subject to

x S = x = x 1 , x 2 R N | A 1 x 1 + A 2 x 2 = b , x 0 , b R M

TOPSIS model for FLDM can be presented as follows:

Min d q PIS( F ) x
(9)
Max d q NIS( F ) x

Subject to

x S = x = x 1 , x 2 R N | A 1 x 1 + A 2 x 2 = b , x 0 , b R M ,

where d q PIS( F ) x = j = 1 M 1 α j q z 1 j + - z 1 j ( x ) z 1 j + - z 1 j - q 1 q and d q NIS( F ) x = j = 1 M 1 α j q z 1 j ( x ) - z 1 j - z 1 j + - z 1 j - q 1 q .

Here, z 1 j + = Max x S z 1 j x and z 1 j - = Min x S z 1 j x , (j = 1, 2, …, M1) are the PIS and NIS for FLDM, respectively.

Let d q PIS( F ) ( x ) + = Min x S d q PIS( F ) x and

d q PIS( F ) ( x ) - = Max x S d q PIS( F ) x ;
d q NIS( F ) ( x ) + = Max x S d q NIS( F ) x and
d q NIS( F ) ( x ) - = Min x S d q NIS( F ) x

The membership functions for d q PIS( F ) (x) and d q NIS( F ) (x) (see Fig. 1) can be formulated as:

Fig. 1
figure 1

The membership functions of μ d q PIS ( x ) , μ d q NIS ( x ) (Lai et al. 1994)

μ d q PIS( F ) ( x ) = 0 , i f d q PIS( F ) ( x ) - d q PIS( F ) ( x ) d q PIS( F ) ( x ) - - d q PIS( F ) ( x ) d q PIS( F ) ( x ) - - d q PIS( F ) ( x ) + , i f d q PIS( F ) ( x ) + d q PIS( F ) ( x ) d q PIS( F ) ( x ) - , 1 , i f d q PIS( F ) ( x ) d q PIS( F ) ( x ) +
μ d q NIS( F ) ( x ) = 0 , i f d q NIS( F ) ( x ) d q NIS( F ) ( x ) - d q NIS( F ) ( x ) - d q NIS( F ) ( x ) - d q NIS( F ) ( x ) + - d q NIS( F ) ( x ) - , i f d q NIS( F ) ( x ) - d q NIS( F ) ( x ) d q NIS( F ) ( x ) + 1 , i f d q NIS( F ) ( x ) d q NIS( F ) ( x ) +

Now we transform the non-linear membership functions μ d q PIS ( F ) ( x ) and μ d q NIS ( F ) ( x ) into equivalent linear membership functions μ ^ d q PIS ( F ) ( x ) and μ ^ d q NIS ( F ) ( x ) , respectively, through first-order Taylor polynomial series as follows:

μ d q PIS( F ) ( x ) = μ d q PIS( F ) ( x PIS ( F ) ) + j = 1 N 1 ( x 1 j - x 1 j PIS( F ) ) μ d q PIS( F ) ( x ) x 1 j at x = x PIS ( F ) + j = 1 N 2 ( x 2 j - x 2 j PIS( F ) ) μ d q PIS( F ) ( x ) x 2 j at x = x PIS ( F ) = μ ^ d q PIS( F ) ( x ) ,
(10)

where x PIS ( F ) = ( x 1 PIS( F ) , x 2 PIS( F ) ) is such that μ d q PIS( F ) ( x PIS ( F ) ) = Max x S μ d q PIS( F ) ( x )

μ d q NIS ( F ) ( x ) = μ d q NIS ( F ) ( x NIS ( F ) ) + j = 1 N 1 ( x 1 j - x 1 j NIS ( F ) ) μ d q NIS ( F ) ( x ) x 1 j a t x = x NIS ( F ) + j = 1 N 2 ( x 2 j - x 2 j NIS ( F ) ) μ d q NIS ( F ) ( x ) x 2 j a t x = x NIS ( F ) = μ ^ d q NIS ( F ) ( x ) ,
(11)

where x NIS ( F ) = ( x 1 NIS( F ) , x 2 NIS( F ) ) is such that μ d q NIS( F ) ( x NIS ( F ) ) = Max x S μ d q NIS( F ) ( x )

We now normalize μ ^ d q PIS( F ) ( x ) and μ ^ d q NIS( F ) ( x ) according to Stanojević (2013) as follows:

μ ¯ d q PIS( F ) ( x ) = μ ^ d q PIS( F ) ( x ) - a PIS( F ) b PIS( F ) - a PIS( F ) ,

μ ¯ d q NIS( F ) ( x ) = μ ^ d q NIS( F ) ( x ) - a NIS( F ) b NIS( F ) - a NIS( F ) , where a PIS( F ) and b PIS( F ) are the minimal and maximal values of μ ^ d q PIS( F ) ( x ) ; a NIS( F ) and b NIS( F ) are the minimal and maximal values of μ ^ d q NIS( F ) ( x ) , respectively, subject to the system constraints.

Then to obtain the satisfactory solution of FLDM, we solve the following max–min decision model, according to Bellman and Zadeh (1970) and Zimmermann (1978) as follows:

μ d q F ( x ) = Max x S { Min ( μ ¯ d q PIS( F ) ( x ) , μ ¯ d q NIS( F ) ( x ) ) } .

If β = Min ( μ ¯ d q PIS ( F ) ( x ) , μ ¯ d q NIS ( F ) ( x ) , then the above model is equivalent to the Tchebycheff model (Lai et al. 1994), which is also equivalent to the following model:

Max β
(12)

Subject to

μ ¯ d q PIS( F ) ( x ) β , μ ¯ d q NIS( F ) ( x ) β , 0 β 1 ,
x S = x = x 1 , x 2 R N | A 1 x 1 + A 2 x 2 = b , x 0 , b R M ,

where β represents the satisfactory level for both criteria of the minimal distance from the PIS and maximal distance from the NIS. Let x F = ( x 1 F , x 2 F ) be the satisfactory solution of the FLDM.

TOPSIS method for second-level MODM problem

Consider the linear fractional BL-MODM problem of SLDM as follows:

Max x 2 Z 2 x = Max x 2 Z 2 x 1 , x 2 = Max x 2 ( z 21 x 1 , x 2 , z 22 x 1 , x 2 , , z 2 M 2 x 1 , x 2 )
(13)

Subject to

x S = x = x 1 , x 2 R N | A 1 x 1 + A 2 x 2 = b , x 0 , b R M .

TOPSIS model for SLDM can be represented as:

Min d q PIS( S ) x
(14)
Max d q NIS( S ) x

Subject to

x S = x = x 1 , x 2 R N | A 1 x 1 + A 2 x 2 = b , x 0 , b R M ,

where d q PIS( S ) x = j = 1 M 2 α j q z 2 j + - z 2 j ( x ) z 2 j + - z 2 j - q 1 q and d q NIS( S ) x = j = 1 M 2 α j q z 2 j ( x ) - z 2 j - z 2 j + - z 2 j - q 1 q .

Here, z 2 j + = Max x S z 2 j x and z 2 j - = Min x S z 2 j x , (j = 1, 2, …, M2) are the positive ideal solutions and negative ideal solutions for SLDM, respectively.

Let d q PIS( S ) ( x ) + = Min x S d q PIS( S ) x and

d q PIS( S ) ( x ) - = Max x S d q PIS( S ) x ;
d q NIS( S ) ( x ) + = Max x S d q NIS( S ) x and
d q NIS( S ) ( x ) - = Min x S d q NIS( S ) x

The membership functions of d q PIS( S ) x and d q NIS( S ) x can be formulated as follows:

μ d q PIS( S ) ( x ) = 0 , i f d q PIS( S ) ( x ) - d q PIS( S ) ( x ) d q PIS( S ) ( x ) - - d q PIS( S ) ( x ) d q PIS( S ) ( x ) - - d q PIS( S ) ( x ) + , i f d q PIS( S ) ( x ) + d q PIS( S ) ( x ) d q PIS( S ) ( x ) - , 1 , i f d q PIS( S ) ( x ) d q PIS( S ) ( x ) +
μ d q NIS( S ) ( x ) = 0 , i f d q NIS( S ) ( x ) d q NIS( S ) ( x ) - d q NIS( S ) ( x ) - d q NIS( S ) ( x ) - d q NIS( S ) ( x ) + - d q NIS( S ) ( x ) - , i f d q NIS( S ) ( x ) - d q NIS( S ) ( x ) d q NIS( S ) ( x ) + 1 , i f d q NIS( S ) ( x ) d q NIS( S ) ( x ) +

We again transform the non-linear membership functions μ d q PIS( S ) ( x ) and μ d q NIS( S ) ( x ) into equivalent linear membership functions μ ^ d q PIS( S ) ( x ) and μ ^ d q NIS( S ) ( x ) , respectively, via first-order Taylor polynomial series as follows:

μ d q PIS ( S ) ( x ) = μ d q PIS ( S ) ( x PIS ( S ) ) + j = 1 N 1 ( x 1 j - x 1 j PIS ( S ) ) μ d q PIS ( S ) ( x ) x 1 j a t x = x PIS ( S ) + j = 1 N 2 ( x 2 j - x 2 j PIS ( S ) ) μ d q PIS ( S ) ( x ) x 2 j a t x = x PIS ( S ) = μ ^ d q PIS ( S ) ( x ) ,
(15)

where x PIS ( S ) = ( x 1 PIS( S ) , x 2 PIS( S ) ) is such that μ d q PIS ( S ) ( x PIS ( S ) ) = Max x S μ d q PIS ( S ) ( x ) .

μ d q NIS ( S ) ( x ) = μ d q NIS ( S ) ( x NIS ( S ) ) + j = 1 N 1 ( x 1 j - x 1 j NIS ( S ) ) μ d q NIS ( S ) ( x ) x 1 j a t x = x NIS ( S ) + j = 1 N 2 ( x 2 j - x 2 j NIS ( S ) ) μ d q NIS ( S ) ( x ) x 2 j a t x = x NIS ( S ) = μ ^ d q NIS ( S ) ( x ) ,
(16)

where x NIS ( S ) = ( x 1 NIS( S ) , x 2 NIS( S ) ) is such that μ d q NIS ( S ) ( x NIS ( S ) ) = Max x S μ d q NIS ( S ) ( x ) .

We normalize (Stanojević 2013) μ ^ d q PIS ( S ) ( x ) and μ ^ d q NIS ( S ) ( x ) as follows:

μ ¯ d q PIS ( S ) ( x ) = μ ^ d q PIS ( S ) ( x ) - a PIS ( S ) b PIS ( S ) - a PIS ( S ) ,

μ ¯ d q NIS ( S ) ( x ) = μ ^ d q NIS ( S ) ( x ) - a NIS ( S ) b NIS ( S ) - a NIS ( S ) , where a PIS( S ) and b PIS( S ) are the minimal and maximal values of μ ^ d q PIS ( S ) ( x ) , respectively, and a NIS( S ) and b NIS( S ) are the minimal and maximal values of μ ^ d q NIS ( S ) ( x ) , respectively, over the system constraints.

Now in order to achieve the satisfactory solution of SLDM, we solve the following max–min decision model:

Max λ
(17)

Subject to

μ ¯ d q PIS ( S ) ( x ) λ , μ ¯ d q NIS ( S ) ( x ) λ , 0 λ 1 ,
x S = x = x 1 , x 2 R N | A 1 x 1 + A 2 x 2 = b , x 0 , b R M ,

where λ represents the satisfactory level for both criteria of the minimal distance from the PIS and maximal distance from the NIS for SLDM. Let x S = ( x 1 S , x 2 S ) be the maximizing solution of the model (17) and also the satisfactory solution of the SLDM.

Preference bounds for FLDM and SLDM

In a BLPP, the objectives or goals of both level DMs are often conflicting in nature. So, cooperation between both level DMs is necessary for a hierarchical organization in order to sustain in the open and increasing competitive markets. For the smooth functioning and the benefit of the organization, FLDM and SLDM should provide some relaxations on their decisions to reach at a satisfactory solution (Pramanik and Dey 2011a; Mishra 2007). Let t 1 m L F and t 1 m R ( F ) , (m = 1, 2, …, N1) be the lower and upper tolerance values on the decision vector considered by FLDM, where x 1 F  = ( x 11 F , x 12 F , …, x 1 N 1 F ) such that

x 1 m F - t 1 m L ( F ) x 1 m x 1 m F + t 1 m R ( F ) , m = 1 , 2 , , N 1 .

Also let t 2 n L ( S ) and t 2 n R ( S ) , (n = 1, 2,…, N2) be the lower and upper tolerance values on the decision vector considered by SLDM, where x 2 S  = ( x 21 S , x 22 S , …, x 2 N 2 S ) such that

x 2 n S - t 2 n L ( F ) x 2 n x 2 n S + t 2 n R ( S ) , n = 1 , 2 , , N 2 .

Here we consider that both level decision makers provide relaxation on their decision. This happens in real decision-making situation. For example, when FLDM needs extra time duty (overtime duty) from SLDM to produce more production to meet the urgent market demands (because of festivals like Durga puja, Id or other reasons), then it depends upon the decision of the SLDM whether he/she relaxes his decision to perform extra duties. If SLDM relaxes his/her decision to perform overtime duty, it gives the organization opportunity to run smoothly and compete with other organizations. So the relaxation of SLDM is justified.

FGP approach for BL-MODM problem

Now the crisp BL-MODM problem defined in the ‘problem formulation’ section is reduced to the following fuzzy BL-MODM problem as follows:

Max μ ¯ d q PIS ( F ) ( x ) , μ ¯ d q NIS ( F ) ( x ) , μ ¯ d q PIS ( S ) ( x ) , μ ¯ d q NIS ( S ) ( x )
(18)

Subject to

x S = x = x 1 , x 2 R N | A 1 x 1 + A 2 x 2 = b , x 0 , b R M ,
x 1 m F - t 1 m L ( F ) x 1 m x 1 m F + t 1 m R ( F ) , m = 1 , 2 , , N 1
x 2 n S - t 2 n L ( F ) x 2 n x 2 n S + t 2 n R ( S ) , n = 1 , 2 , , N 2 .

In fuzzy decision-making environment, the objective of each level DM is to obtain maximum possible membership value (one) of the corresponding fuzzy goal. Now, for the defined membership goals in (18), the flexible membership goals according to Pramanik and Roy (2007) with aspiration level one can be formulated as:

μ ¯ d q PIS ( F ) ( x ) + d PIS ( F ) - 1 ,
μ ¯ d q NIS ( F ) ( x ) + d NIS ( F ) - 1 ,
μ ¯ d q PIS ( S ) ( x ) + d PIS ( S ) - 1 ,
μ ¯ d q NIS ( S ) ( x ) + d NIS ( S ) - 1 .

where d PIS( F ) - , d NIS( F ) - , d PIS( S ) - and d NIS( S ) - (≥0) are the negative deviational variables.

However, Pramanik and Dey (2011a) imposed restriction on the negative deviational variable.

Therefore, the new FGP formulation according to Pramanik and Dey (2011a) for BL-MODM problem can be formulated as follows:

Model (I):

Minimize γ = w 1 d PIS( F ) - + w 2 d NIS( F ) - + w 3 d PIS( S ) - + w 4 d NIS( S ) -
(19)

Subject to

μ ¯ d q PIS ( F ) ( x ) + d PIS ( F ) - = 1 ,
μ ¯ d q NIS ( F ) ( x ) + d NIS ( F ) - = 1 ,
μ ¯ d q PIS ( S ) ( x ) + d PIS ( S ) - = 1 ,
μ ¯ d q NIS ( S ) ( x ) + d NIS ( S ) - = 1 ,
0 d PIS( F ) - 1 , 0 d NIS( F ) - 1 ,
0 d PIS( S ) - 1 , 0 d NIS( S ) - 1 ,
x S = x = x 1 , x 2 R N | A 1 x 1 + A 2 x 2 = b , x 0 , b R M ,
x 1 m F - t 1 m L ( F ) x 1 m x 1 m F + t 1 m R ( F ) , m = 1 , 2 , , N 1
x 2 n S - t 2 n L ( F ) x 2 n x 2 n S + t 2 n R ( S ) , n = 1 , 2 , , N 2 .

Here, the DMs can take the normalized weight, i.e., i = 1 4 w i = 1 with w i  = 1/4 or any preference weight in the decision-making environment.

Model (II):

Minimize σ
(20)

Subject to

μ ¯ d q PIS ( F ) ( x ) + d PIS ( F ) - = 1
μ ¯ d q NIS ( F ) ( x ) + d NIS ( F ) - = 1 ,
μ ¯ d q PIS ( S ) ( x ) + d PIS ( S ) - = 1 ,
μ ¯ d q NIS ( S ) ( x ) + d NIS ( S ) - = 1 ,
0 d PIS( F ) - 1 , 0 d NIS( F ) - 1 ,
0 d PIS( S ) - 1 , 0 d NIS( S ) - 1 ,
σ d PIS( F ) - , σ d NIS( F ) - ,
σ d PIS( S ) - , σ d NIS( S ) - ,
x S = x = x 1 , x 2 R N | A 1 x 1 + A 2 x 2 = b , x 0 , b R M ,
x 1 m F - t 1 m L ( F ) x 1 m x 1 m F + t 1 m R ( F ) , m = 1 , 2 , , N 1
x 2 n S - t 2 n L ( F ) x 2 n x 2 n S + t 2 n R ( S ) , n = 1 , 2 , , N 2 .

Selection of optimal compromise solution

To obtain the optimal compromise solution of problem, the family of distance functions (Zeleny 1982) is defined as follows:

L r ( τ , k ) = k = 1 K τ k r ( 1 - ω k ) r 1 1 r r
(21)

Here, ω k (k = 1, 2, …, K) denotes the degree of closeness of the preferred compromise solution to the optimal compromise solution vector with respect to kth objective function. Also, τ = ( τ 1 , τ 2 ,…, τ K ) represents the vector of attribute level τ k such that k = 1 K τ k  = 1. If all the attribute levels τ k are same, then τ k  = 1/K for k = 1, 2, …, K. Here, r ( 1 = r = ) denotes the distance parameter.

Now for r = 2, the family of distance functions become

L 2 ( τ , k ) = k = 1 K τ k 2 ( 1 - ω k ) 2 1 1 2 2
(22)

For minimization type problem, ω k  = (the individual best solution/the preferred compromise solution) and maximization type of problem ω k  = (the preferred compromise solution/the individual best solution). The solution for which L 2 ( τ , k ) = k = 1 K τ k 2 ( 1 - ω k ) 2 1 1 2 2 will be minimal would be the optimal compromise solution for the problem.

The TOPSIS algorithm for solving linear fractional BL-MODM problem

We now present the TOPSIS algorithm for solving linear fractional BL-MODM problem based on FGP technique by the following steps:

Step 1: Determine the individual maximum and minimum values of all the objective functions for both level DMs subject to the system constraints.

Step 2: Identify the positive ideal solution and negative ideal solution for FLDM and construct d q PIS ( F ) x and d q NIS ( F ) x for FLDM.

Step 3: Ask the DMs to select q (q = 1, 2, …, ∞).

Step 4: Calculate the maximum and minimum values of d q PIS ( F ) x and d q NIS ( F ) x subject to the system constraints.

Step 5: Formulate the membership functions μ d q PIS ( F ) ( x ) and μ d q NIS ( F ) ( x ) .

Step 6: Linearize the non-linear membership functions μ d q PIS ( F ) ( x ) and μ d q NIS ( F ) ( x ) into equivalent linear membership functions μ ^ d q PIS ( F ) ( x ) and μ ^ d q NIS ( F ) ( x ) , respectively, using first-order Taylor polynomial series.

Step 7: Normalize μ ^ d q PIS ( F ) ( x ) and μ ^ d q NIS ( F ) ( x ) .

Step 8: Formulate the model (12) and solve the model to find the satisfactory solution x F = ( x 1 F , x 2 F ) of FLDM.

Step 9: FLDM provides the negative and positive tolerance values t 1 m L ( F ) and t 1 m R ( F ) (m = 1, 2, …, N1), respectively, on the decision vector x 1 F = ( x 11 F , x 12 F , , x 1 N 1 F ) .

Step 10: Find the positive ideal solution and negative ideal solution for SLDM and construct d q PIS ( S ) x and d q NIS ( S ) x for SLDM.

Step 11: Calculate the maximum and minimum values of d q PIS ( S ) x and d q NIS ( S ) x subject to the system constraints.

Step 12: Construct the membership functions μ d q PIS ( S ) ( x ) and μ d q NIS ( S ) ( x ) .

Step 13: Linearize the non-linear membership functions μ d q PIS ( S ) ( x ) and μ d q NIS ( S ) ( x ) into equivalent linear membership functions μ ^ d q PIS ( S ) ( x ) and μ ^ d q NIS ( S ) ( x ) , respectively, by utilizing first-order Taylor polynomial series.

Step 14: Normalize μ ^ d q PIS ( S ) ( x ) and μ ^ d q NIS ( S ) ( x ) .

Step 15: Formulate the model (17) and solve the model to obtain the satisfactory solution x S = ( x 1 S , x 2 S ) of SLDM.

Step 16: SLDM presents the negative and positive tolerance values t 2 n L ( S ) and t 2 n R ( S ) , n = 1 , 2 , , N 2 , respectively, on the decision vector x 2 S = ( x 21 S , x 22 S , , x 2 N 2 S ) .

Step 17: Formulate the FGP models (19) and (20) for linear fractional BL-MODM problem.

Step 18: Solve the FGP models (19) and (20) to obtain the compromise solution of the BL-MODM problem.

Step 19: Distance function L2 (τ, k) is utilized in order to recognize the optimal compromise solution of the problem.

Step 20: If the solution is acceptable to both level DMs then stop. Otherwise, modify the lower and upper preference values of both level DMs and go to Step 17.

Results and discussion

Numerical example

Consider the following numerical example studied by Dey et al. (2013) with some changes in the first objective function of SLDM in order to clarify the proposed procedure.

[First level]

Max x 1 z 11 x = 5 x 1 + 2 x 2 + 3 2 x 1 - x 2 + 3 , z 12 x = 2 x 1 + 5 x 2 + 3 x 1 + 4 x 2 + 4

[Second level]

Max x 2 z 21 x = 3 x 1 + 2 x 2 x 1 + 5 x 2 + 1 , z 22 x = - x 1 + 4 x 2 + 3 x 1 + 2 x 2

Subject to

2 x 1 + x 2 5 , - x 1 + 3 x 2 3 , x 1 + x 2 1 , x 1 0 , x 2 0 .

First-level MODM problem:

Max x 1 z 11 x = 5 x 1 + 2 x 2 + 3 2 x 1 - x 2 + 3 , z 12 x = 2 x 1 + 5 x 2 + 3 x 1 + 4 x 2 + 4

Subject to

2 x 1 + x 2 5 , - x 1 + 3 x 2 3 , x 1 + x 2 1 , x 1 0 , x 2 0 .

The individual best (maximum) solution (PIS) of the objective functions subject to the constraints is z 11 +  = 3.029 at (1.714, 1.571) and z 12 +  = 1.231 at (2.5, 0) and the individual worst (minimum) solution (NIS) of the objective functions subject to the constraints is z 11 -  = 1.6 at (1, 0) and z 12 -  = 1 at (0.251, 0.749).

Let us assume that α 1  =  α 2  = 0.5, and q = 2.

d 2 PIS ( F ) ( x ) = ( 0.5 ) 2 3.029 - 5 x 1 + 2 x 2 + 3 2 x 1 - x 2 + 3 3.029 - 1.6 2 + ( 0.5 ) 2 1.231 - 2 x 1 + 5 x 2 + 3 x 1 + 4 x 2 + 4 1.231 - 1 2 1 1 2 2 ,
d 2 NIS ( F ) ( x ) = ( 0.5 ) 2 5 x 1 + 2 x 2 + 3 2 x 1 - x 2 + 3 - 1.6 3.029 - 1.6 2 + ( 0.5 ) 2 2 x 1 + 5 x 2 + 3 x 1 + 4 x 2 + 4 - 1 1.231 - 1 2 1 1 2 2 .

Also we determine: d 2 PIS ( F ) ( x ) + = Min x S d 2 PIS ( F ) x = 0.087 at (1.723, 1.554); d 2 PIS ( F ) ( x ) - = Max x S d 2 PIS ( F ) x = 0.707 at (1, 0); d 2 NIS ( F ) ( x ) + = Max x S d 2 NIS ( F ) x = 0.648 at (1.714, 1.571); d 2 NIS ( F ) ( x ) - = Min x S d 2 NIS ( F ) x = 0 at (1, 0).

The membership functions of d 2 PIS( F ) (x) and d 2 NIS( F ) (x) can be formulated as follows:

μ d 2 PIS ( F ) ( x ) = 0 , i f 0.707 d 2 PIS ( F ) ( x ) 0.707 - d 2 PIS ( F ) ( x ) 0.707 - 0.087 , i f 0.087 d 2 PIS ( F ) ( x ) 0.707 1 , i f d 2 PIS ( F ) ( x ) 0.087 ,
μ d 2 NIS ( F ) ( x ) = 0 , i f d 2 NIS ( F ) ( x ) 0 d 2 NIS ( F ) ( x ) - 0 0.648 - 0 , i f 0 d 2 NIS ( F ) ( x ) 0.648 1 , i f d 2 N I S ( F ) ( x ) 0.648

Transform the non-linear membership functions μ d 2 PIS ( F ) ( x ) and μ d 2 NIS ( F ) ( x ) into equivalent linear membership functions μ ^ d 2 PIS ( F ) ( x ) and μ ^ d 2 NIS ( F ) ( x ) , respectively, by applying first-order Taylor polynomial series as follows:

μ d 2 PIS ( F ) ( x ) = μ d 2 PIS ( F ) (1.723, 1.554) + (x1 − 1.723) μ d 2 PIS ( F ) ( x ) x 1 a t x = ( 1.723 , 1.554 )  + (x2 − 1.554) μ d 2 PIS ( F ) ( x ) x 2 a t x = ( 1.723 , 1.554 ) = μ ^ d 2 PIS ( F ) ( x )  = 1 + (x1 − 1.723) × 0.226 + (x2 − 1.554) × 0.113, where Max x S μ d 2 PIS ( F ) ( x )  = 1 at x PIS ( F )  = (1.723, 1.554),

μ d 2 NIS ( F ) ( x ) = μ d 2 NIS ( F ) (1.714, 1.571) + (x1 − 1.714) μ d 2 NIS ( F ) ( x ) x 1 a t x = ( 1.714 , 1.571 )  + (x2 − 1.571) μ d 2 NIS ( F ) ( x ) x 2 a t x = ( 1.714 , 1.571 ) = μ ^ d 2 NIS ( F ) ( x )  = 1 + (x1 − 1.714) × 0.053 + (x2 − 1.571) × 0.474, where Max x S μ d 2 NIS( F ) ( x )  = 1 at x NIS ( F )  = (1.714, 1.571).

Normalize μ ^ d 2 PIS( F ) ( x ) and μ ^ d 2 NIS( F ) ( x ) :

μ ¯ d 2 PIS( F ) ( x ) = μ ^ d 2 PIS( F ) ( x ) - a PIS( F ) b PIS( F ) - a PIS( F ) , where b PIS ( F ) = Max x S μ ^ d 2 PIS ( F ) ( x ) = 1 and a PIS ( F ) = Min x S μ ^ d 2 PIS ( F ) ( x ) = 0.548;

μ ¯ d 2 NIS ( F ) ( x ) = μ ^ d 2 NIS ( F ) ( x ) - a NIS ( F ) b NIS ( F ) - a NIS ( F ) , where
b NIS( F ) = Max x S μ ^ d 2 NIS( F ) ( x ) = 1 and
a NIS( F ) = Min x S μ ^ d 2 NIS( F ) ( x ) = 0.218 .

Solve the following model in order to get the satisfactory solution of FLDM:

Max β

Subject to

μ ¯ d 2 PIS ( F ) ( x ) β , μ ¯ d 2 NIS ( F ) ( x ) β , 0 β 1 , 2 x 1 + x 2 5 , - x 1 + 3 x 2 3 , x 1 + x 2 1 , x 1 0 , x 2 0 .

We get the satisfactory solution of the FLDM as x F  = ( x 1 F , x 2 F ) = (1.714, 1.571) with β = 1. Suppose that the FLDM decides x 1 F  = 1.714 with upper tolerance t 1 R ( F )  = 0.286 and lower tolerance t 1 L ( F )  = 0.214 such that 1.714 − 0.214 ≤ x1 ≤1.714 + 0.286.

Second-level MODM problem:

Max x 2 z 21 x = 3 x 1 + 2 x 2 x 1 + 5 x 2 + 1 , z 22 x = - x 1 + 4 x 2 + 3 x 1 + 2 x 2

Subject to

2 x 1 + x 2 5 , - x 1 + 3 x 2 3 , x 1 + x 2 1 , x 1 0 , x 2 0 .

The individual best solution of the objective functions of SLDM subject to the constraints is z 21 +  = 2.143 at (2.5, 0) and z 22 +  = 3.5 at (0, 1) and the individual worst solution of the objective functions of SLDM subject to the constraints is z 21 -  = 0.333 at (0, 1) and z 22 -  = 0.2 at (2.5, 0).

d 2 PIS ( S ) ( x ) = ( 0.5 ) 2 2.143 - 3 x 1 + 2 x 2 x 1 + 5 x 2 + 1 2.143 - 0.333 2 + ( 0.5 ) 2 3.5 - - x 1 + 4 x 2 + 3 x 1 + 2 x 2 3.5 - 0.2 2 1 1 2 2
d 2 NIS ( S ) ( x ) = ( 0.5 ) 2 3 x 1 + 2 x 2 x 1 + 5 x 2 + 1 - 0.333 2.143 - 0.333 2 + ( 0.5 ) 2 - x 1 + 4 x 2 + 3 x 1 + 2 x 2 - 0.2 3.5 - 0.2 2 1 1 2 2

Also we calculate: d 2 PIS( S ) ( x ) + = Min x S d 2 PIS( S ) x = 0.288 at (1, 0); d 2 PIS( S ) ( x ) - = Max x S d 2 PIS( S ) x = 0.477 at (1.714, 1.571); d 2 NIS( S ) ( x ) + = Max x S d 2 NIS( S ) x = 0.5 at (0, 1); d 2 NIS( S ) ( x ) - = Min x S d 2 NIS( S ) x = 0.238 at (1.847, 1.305).

The membership functions of d 2 PIS( S ) (x) and d 2 NIS( S ) (x) can be constructed as:

μ d 2 PIS( S ) ( x ) = 0 , i f 0.4 7 7 d 2 PIS( S ) ( x ) 0.477 - d 2 PIS( S ) ( x ) 0.477 - 0.288 i f , 0.288 d 2 PIS( S ) ( x ) 0.477 1 , i f d 2 PIS( S ) ( x ) 0.288 ,
μ d 2 NIS( S ) ( x ) = 0 , i f d 2 NIS( S ) ( x ) 0.238 d 2 NIS( S ) ( x ) - 0.238 0.5 - 0.238 , i f , 0.238 d 2 NIS( S ) ( x ) 0.5 1 , i f d 2 NIS( S ) ( x ) 0.5

We also transform the non-linear membership functions μ d 2 PIS( S ) ( x ) and μ d 2 NIS( S ) ( x ) into equivalent linear membership functions μ ^ d 2 PIS( S ) ( x ) and μ ^ d q NIS( S ) ( x ) , respectively, using first-order Taylor polynomial series as:

μ d 2 PIS( S ) ( x ) = μ d 2 PIS( S ) 1 , 0 + x 1 - 1
μ d 2 PIS( S ) ( x ) x 1 at x = ( 1 , 0 ) + x 2 - 0 μ d 2 PIS( S ) ( x ) x 2 at x = ( 1 , 0 ) = μ ^ d q PIS( S ) ( x )

=1 + (x1 − 1) × (−1.22) + (x2 − 0) × (−2.474), where

Max x S μ d 2 PIS( S ) ( x ) = 1 at x PIS ( S ) = 1 , 0 ,
μ d 2 NIS( S ) ( x ) = μ d q NIS( F ) 0 , 1 + x 1 - 0
μ d 2 NIS( S ) ( x ) x 1 at x = ( 0 , 1 ) + x 2 - 0 μ d 2 NIS( S ) ( x ) x 2 at x = ( 0 , 1 )

= μ ^ d 2 NIS( S ) ( x ) = 1 + x 1 - 0 × - 1.1 5 6 + x 2 - 1 × - 0.8 6 7 , where Max x S μ d 2 PIS( S ) ( x ) = 1 at x PIS ( S ) = 0 , 1 .

Normalize μ ^ d 2 PIS( S ) ( x ) and μ ^ d 2 NIS( S ) ( x ) :

μ ¯ d 2 PIS( S ) ( x ) = μ ^ d 2 PIS( S ) ( x ) - a PIS( S ) b PIS( S ) - a PIS( S ) , where
b PIS( S ) = Max x S μ ^ d 2 PIS( S ) ( x ) = 1 and
a PIS( S ) = Min x S μ ^ d 2 PIS( S ) ( x ) = - 3.759 ;
μ ¯ d 2 NIS( S ) ( x ) = μ ^ d 2 NIS( S ) ( x ) - a NIS( S ) b NIS( S ) - a NIS( S ) , where
b NIS( S ) = Max x S μ ^ d 2 NIS( S ) ( x ) = 1 and
a NIS( S ) = Min x S μ ^ d 2 NIS( S ) ( x ) = - 1.477 .

Solve the following model in order to get the satisfactory solution of SLDM:

Max λ

Subject to

μ ¯ d q PIS( S ) ( x ) , λ , μ ¯ d q NIS( S ) ( x ) λ , 0 λ 1 ,
2 x 1 + x 2 5 , - x 1 + 3 x 2 3 , x 1 + x 2 1 , x 1 0 , x 2 0 .

We obtain the satisfactory solution of the SLDM as x S = ( x 1 S , x 2 S ) = 0.693 , 0.307 with λ = 0.919 . Also let the SLDM decides x 2 S = 0.307 with upper tolerance t 2 R ( S ) = 0.693 and lower tolerance t 2 L ( S ) = 0.057 such that 0.307 − 0.057 ≤ x2 ≤ 0.307 + 0.693.

Finally, the FGP models for solving linear fractional BL-MODM problem are presented as follows:

Model (I):

Minimize γ = 1 / 4 ( d PIS( F ) - + d NIS( F ) - + d PIS( S ) - + d NIS( S ) - )

Subject to

1 + x 1 - 1.7 2 3 × 0.2 2 6 + x 2 - 1.5 5 4 × 0.1 1 3 - 0.5 4 8 ) / 0.452 + d PIS( F ) - = 1 ,
1 + x 1 - 1.7 1 4 × 0.0 5 3 + x 2 - 1.5 7 1 × 0.4 7 4 - 0.2 1 8 / 0.782 + d NIS( F ) - = 1 ,
1 + x 1 - 1 × - 1.22 + x 2 - 0 × - 2.474 + 3.759 / 4.759 + d PIS ( S ) - = 1 ,
1 + x 1 - 0 × - 1.1 5 6 + x 2 - 1 × - 0.8 6 7 + 1.4 7 7 ) / 2.477 + d NIS( S ) - = 1 ,
0 d PIS( F ) - 1 , 0 d NIS( F ) - 1 , 0 d PIS( S ) - 1 , 0 d NIS( S ) - 1 ,
2 x 1 + x 2 5 , - x 1 + 3 x 2 3 , x 1 + x 2 1 ,
1.714 - 0.214 x 1 1.714 + 0.286 ,
0.307 - 0.057 x 2 0.307 + 0.693 ,
x 1 0 , x 2 0 .

The solution of the FGP model (I) is presented in Table 1.

Table 1 Comparison of distance for the compromise solution of the problem based on different approaches

Model (II):

Minimize σ

Subject to

1 + x 1 - 1.7 2 3 × 0.2 2 6 + x 2 - 1.5 5 4 × 0.1 1 3 - 0.5 4 8 1 + x 1 - 1.7 2 3 × 0.2 2 6 + x 2 - 1.5 5 4 × 0.1 1 3 - 0.5 4 8 0.4 5 2 + d PIS( F ) - = 1 , 0.4 5 2 + d PIS( F ) - = 1 ,
1 + x 1 - 1.7 1 4 × 0.0 5 3 + x 2 - 1.5 7 1 × 0.4 7 4 - 0.2 1 8 1 + x 1 - 1.7 1 4 × 0.0 5 3 + x 2 - 1.5 7 1 × 0.4 7 4 - 0.2 1 8 0.7 8 2 + d NIS( F ) - = 1 , 0.7 8 2 + d NIS( F ) - = 1 ,
1 + x 1 - 1 × - 1.2 2 + x 2 - 0 × - 2.4 7 4 + 3.7 5 9 1 + x 1 - 1 × - 1.2 2 + x 2 - 0 × - 2.4 7 4 + 3.7 5 9 4.7 5 9 + d PIS( S ) - = 1 , 4.7 5 9 + d PIS( S ) - = 1 ,
( 1 + x 1 - 0 × - 1.1 5 6 + x 2 - 1 × - 0.8 6 7 + 1.4 7 7 ( 1 + x 1 - 0 × - 1.1 5 6 + x 2 - 1 × - 0.8 6 7 + 1.4 7 7 2.4 7 7 + d NIS( S ) - = 1 , 2.4 7 7 + d NIS( S ) - = 1 ,
0 d PIS( F ) - 1 , 0 d NIS( F ) - 1 , 0 d PIS( S ) - 1 , 0 d NIS( S ) - 1 ,
σ d PIS( F ) - , σ d NIS( F ) - , σ d PIS( S ) - , σ d NIS( S ) - ,
2 x 1 + x 2 5 , - x 1 + 3 x 2 3 , x 1 + x 2 1 ,
1.714 - 0.214 x 1 1.714 + 0.286 ,
0.307 - 0.057 x 2 0.307 + 0.693 ,
x 1 0 , x 2 0 .

The solution offered by the FGP model (II) is presented in Table 1.

On comparing the distance function (see the Table 1), we observe that our proposed FGP Model (II) offers better compromise optimal solution than the solution obtained by Dey et al. (2013) and Baky and Abo-Sinna (2013). Therefore, the compromise optimal solution of the problem is obtained as x1 = 1.5, x2 = 0.645.

Note 1: Solutions of the problem are obtained using software Lingo version 6.

Conclusion

We have presented a new approach for dealing with linear fractional BL-MODM problem. In the paper, we have studied TOPSIS approach for solving linear fractional BL-MODM problem, which is a hybrid model of TOPSIS and fuzzy goal programming. In the proposed approach, first the membership functions of distance functions from PIS and NIS of first and second levels are formulated. Linearization technique is used in order to transform the non-linear membership functions into equivalent linear membership functions using first-order Taylor series approximation and normalization technique (Stanojević 2013) is employed to normalize them. Thereafter, max–min models are formulated in order to obtain the satisfactory decision for each level DM. Both level DMs consider a possible relaxation on their decision for the benefit of the hierarchical organization. The FGP models are then developed in order to achieve highest degree of the membership goals of both level DMs by minimizing negative deviational variables. Distance functions are also utilized to identify optimal compromise solution. Finally, an illustrative numerical example is provided to demonstrate the effectiveness of the proposed TOPSIS approach. We hope that the proposed methodology can be effective in dealing with the non-linear BL-MODM, multi-level MODM problems and other real-world decision-making problems.