Professional Documents
Culture Documents
Abstract:
This paper deals with the multiple objective linear programming problems with fuzzy rough
coefficients. We consider the problem by incorporating fuzzy rough coefficients into a multiple objective
linear programming framework. A solution concept that is attractive from the stand points of feasibility
and rough efficiency is specified. A necessary and sufficient condition for such a solution is established.
A numerical example is also included for the sake of illustration.
2
(1) A = B ⇔ AL = BL , AU = BU ; Definition 2.12
(2) A ⊂ B ⇔ AL ⊂ BL , AU ⊂ BU ;
A fuzzy rough set A = ( AL , AU ) which is
(3) A ∪ B = ( AL ∪ B L , AU ∪ BU );
continuous, convex and normalized is said to be a
(4) A ∩ B = ( AL ∩ BL , AU ∩ BU ). fuzzy rough number.
3
3.2. α-Fuzzy Rough Feasible, β-Fuzzy Rough Definition 3.2.3
Efficient and satisfying solution for (p1). x 0 ∈ X is an (α,β) satisfying solution for (p1) if
and only if x 0 is β-fuzzy rough efficient for the
Definition 3.2.1 [α-Fuzzy Rough Feasible] program
( P3 ) : max (c 1 x, c 2 x,..., c k x) ,
Consider α = (α 1 , α 2 ,..., α m ), α i ∈ [0,1].
x∈ Xα
x ∈ X = {x ∈ R n : x ≥ 0} is said to be α-fuzzy
where X α denotes the set of all α-fuzzy rough
rough feasible for ( P1 ) if feasible actions for ( P1 ) .
µ F~i ( FiL ) ≥ α i , µ F~i ( FiU ) ≥ α i .
L U
Consider now the following mathematical intervals that will be denoted as [C isj (λ ), C im
j (θ )]
program; and given by
[(1 − λ ) c j u + λ c j L , (1 − θ ) c j L + θ c j U ],0 ≤ λ , θ ≤ 1
is is im im
( P2 ) : max (c 1 x, c 2 x,..., c k x) ,
.
x ∈ D ⊂ X = {x ∈ R n : x ≥ 0}
Let now φ β (λ ,θ ) be the set of all k × n rough
Definition 3.2.2 [β-Fuzzy Rough Efficient] real matrices C (λ , θ ) = (cij (λ ,θ )) with,
cij (λ ,θ ) ∈ [(1 − λ ) c is
j u + λ c j L,
is
∀ c(λ , θ ) ∈ φ β (λ ,θ ),
L
max
L L L
cx
µ c~ (cU ) = sup min ( µ C (cU1 ), µ C (cU2 ),..., µ C (cUk )) ≥ β
1 2 k
x∈ Xα
U U U U
.
Now we are going to give the following result.
4
Theorem 4.1 where,
x 0 is an (α,β)-satisfying solution for ( P1 ) if and
Tst = {(c1 ,..., c k ) ∈ R nk | c1 x 2 ≥ c1 x 0 ,..., c s −1 x 2 ≥ c s −1 x 0 , c s x 2 > c s x 0 ,
only if x 0 is an rough efficient solution for ( P4 ) .
c s +1 x 2 ≥ c s +1 x 0 ,..., c k x 2 ≥ c k x 0 }, t = L,U
Proof.
By using the extension principle then, we have
Suppose that x 0 is an (α,β) -satisfying solution
for ( P1 ) then by definition, x 0 is α-fuzzy rough Sup min ( µ c 1 (c 1L ), µ c 2 (c L2 ),..., µ c k (c Lk )) ≥ β ,
feasible and β- fuzzy rough efficient for ( P3 ) . L L L
and
Assume now that x 0 is not efficient for ( P4 ) . (3)
Then there is Sup min ( µ c 1 (cU1 ), µ c 2 (cU2 ),..., µ c k (cUk )) ≥ β .
x1 ∈ X α , (c1, c 2 ,..., c k ) with ci ∈ (c i ) β ;
U U U
min ( µ c 1 (c ), µ c 2 (c ),..., µ c k (c )) ≥ β
1 2 k min
( µ c 1 ( p ), µ c 2 ( p ),..., µ c k ( p k )) < β , then,
1 2
U U U
(2) U U U
Sup min
By (1),(2) we have ( µ c 1 ( p 1 ), µ c 2 ( p 2 ),..., µ c s −1 ( p s −1 ), µ c s ( p s ), µ c s +1 ( p s +1 ),..., µ c k ( p k )) < β ,
L L L L L L
Sup min
sup 1 2 min(µ 1 (c1), µ 2 (c 2 ),..., µ k (c k )) = µ ~ L (c1x1 ≥ c1x 0 , ( µ c 1 ( p 1 ), µ c 2 ( p 2 ),..., µ c s −1 ( p s −1 ), µ c s ( p s ), µ c s +1 ( p s +1 ),..., µ c k ( p k )) < β ,
(c ,c ,...,c k )∈T L cL cL cL c
i0 U U U U U U
i −1 i −1 i i i +1 i +1
..., c 0 x1 ≥ c 0 x 0 , c 0 x1 > c 0 x 0 , c 0 x1 ≥ c 0 x 0 ,..., c k x1 ≥ c k x 0 ) ≥ β ,
sup 1 2 min(µ 1 (c1), µ 2 (c 2 ),..., µ k (c k )) = µ ~U (c1x1 ≥ c1x 0 , Contradicting (3). There is then ( p 1 , p 2 ,..., p k )
(c ,c ,...,c k )∈T U c
U
c
U cU c
i0
i −1 i −1 i i i +1 i +1
satisfying (4) such that
..., c 0 x1 ≥ c 0 x 0 , c 0 x1 > c 0 x 0 , c 0 x1 ≥ c 0 x 0 ,..., c k x1 ≥ c k x 0 ) ≥ β .
min ( µ c 1 ( P ),..., µ c K ( P )) ≥ β ,
1 K
L L
i −1 i −1 i i
(5)
Tit = {(c1,..., c k ) ∈ R nk | (c1x1 ≥ c1x 0 ,..., c 0 x1 ≥ c 0 x 0 , c 0 x1 > c 0 x 0 ,
0 By (5), µ c i ( p i ) ≥ β , i = 1,2,..., k
i +1 i +1
c 0 x1 ≥ c 0 x 0 ,..., c k x1 ≥ c k x 0}, t = L, U .
i.e. p i ∈ (c i ) β , i = 1,2,..., k
0
This contradicts the β-rough efficiency of x for
(6)
( P3 ) and the if part of the theorem is established.
(4) and (6) contradict the efficiency of x 0 for (p4)
To show the only if part, suppose x 0 is efficient and we have done.
for ( P4 ) and not (α,β) -satisfying solution for
( P1 ) . Then there is x 2 ∈ X α ; S ∈ {1,2,..., k} such 5. A Solution for (p4)
that
The following notations will facilitate further
µ c~L (c L ) ≥ β , µ c~U (cU ) ≥ β
discussions.
where M β (λ ,θ ) denotes the subset of φ β (λ ,θ )
composed by matrices C (λ , θ ) having elements of
µ ~c t (c1 x 2 ≥ c1 x 0 ,..., c s −1 x 2 ≥ c s −1 x 0 , c s x 2 > c s x 0 ,
each column at the upper bound or at the lower
c s +1 x 2 ≥ c s +1 x 0 ,..., c k x 2 ≥ c k x 0 ) ≥ β , t = L, U bound.
i.e. i.e. if C (λ , θ ) ∈ M β (λ , θ ) then either
sup ( c1 ,c 2 ,...,c k )∈T t min(µ c~ t (c 1 ),..., µ c~ t (c k )) ≥ β .
s
5
⎛ c sj1 (λ ) ⎞ ⎛ c mj1 (θ ) ⎞ ( P6 ) max ( c 1 x, c 2 x )
⎜ ⎟ ⎜ ⎟
⎜ c sj 2 (λ ) ⎟ ⎜ c mj 2 (θ ) ⎟ such that
C sj (λ ) = ⎜ ⎟ or C mj (θ ) = ⎜ ⎟ x1 + x 2 ≥ 250,
⎜# ⎟ ⎜# ⎟
⎜⎜ sn ⎟⎟ ⎜⎜ mn ⎟⎟ x1 ≤ 200,
⎝ c j (λ ) ⎠ ⎝ c j (θ ) ⎠ 2 x 2 ≤ 200,
where c sij (λ ) and c mi j (θ ) are the left and the right 2 x1 + 1.5 x 2 ≤ 480,
~i
end point of (C j (λ , θ )) β respectively. 3x1 + 4 x 2 ≤ 900; x1 , x 2 ≥ 0.
6
(c11 ) β = [0(1 − λ ) + 1λ ,2(1 − θ ) + 3θ ] = [λ , θ + 2],
As well as the system
(c12 ) β = [0(1 − λ ) + 1λ ,1(1 − θ ) + 2θ ] = [λ ,θ + 1],
⎛ 2 1⎞ ⎛V12 ⎞ ⎛ 4.4 ⎞
(c 21 ) β = [−2(1 − λ ) + 0λ ,0(1 − θ ) + 2θ ] = [2λ − 2,2θ ], ⎜⎜ ⎟⎟ ⎜⎜ 2 ⎟⎟ = ⎜⎜ ⎟⎟
⎝ 0 1 ⎠ ⎝ V 2 ⎠ ⎝ 2 .9 ⎠
(c 22 ) β = [−3(1 − λ ) + 1λ ,1(1 − θ ) + 2θ ] = [4λ − 3,θ + 1]. has positive solutions given by
and 0 ≤ λ ,θ ≤ 1
By putting λ = 1 , θ = 0 then we get ⎛V11 ⎞ ⎛ 1.5 ⎞ ⎛V12 ⎞ ⎛ 0.75 ⎞
⎜ 1 ⎟ = ⎜⎜ ⎟⎟ , ⎜ 2 ⎟ = ⎜⎜ ⎟⎟ .
(c11 ) β = [1,2], (c12 ) β = {1} = (c 22 ) β , (c 21 ) β = {0}. ⎜V ⎟ ⎜ ⎟
⎝ 2 ⎠ ⎝ 2 .9 ⎠ ⎝ V 2 ⎠ ⎝ 2 .9 ⎠
The subset M β of φ β is composed of the matrices respectively.
⎛ 1 1⎞ ⎛ 2 1⎞ As constraints are crisp, the set X of points of R 2
⎜⎜ ⎟⎟ , ⎜⎜ ⎟⎟ . satisfying ( P6 ) is nothing but the set of 1-fuzzy
⎝ 0 1 ⎠ ⎝ 0 1 ⎠
rough actions. By the corollary, the program max
⎛ 4.4 ⎞
For q 0 = ⎜⎜ ⎟⎟ the system (q 0 x | x ∈ X α ) yields a (1,0)-satisfying solution
⎝ 2.9 ⎠ for ( P6 ) .
⎛ 1 1⎞ ⎛V11 ⎞ ⎛ 4.4 ⎞
⎜⎜ ⎟⎟ ⎜⎜ 1 ⎟⎟ = ⎜⎜ ⎟⎟
⎝ 0 1 ⎠ ⎝ V 2 ⎠ ⎝ 2 .9 ⎠ Solving this linear program, we obtain the
solution ( x1 , x 2 ) = (150,100) .
µC 11
Fig 1-a
7
µC 12
1
0 C12s U C12s L C12mCU m
12L 2 R
Fig 1-b
µC 21
Fig 1-c
8
µC 22
-3 C 22s U 0 C 22s L 1 C 22
m m
C 22 2
L U
R
Fig 1-d
µC 11 L
R
1 2
Fig 2-a
9
µC
12 L
0 R
1
Fig 2-b
µC 21L
0 R
Fig 2-c
µC 22 L
0 1 R
Fig 2-d
10
µC
11U
0 1 2 3 R
Fig 3-a
µC
12U
2
0 1 R
Fig 3-b
µC 21U
-2 0 2 R
Fig 3-c
11
µC 22U
-3 0 1 2 R
Fig 3-d
12
[14] M. Roubens, Comparison of flat fuzzy
numbers, in : N. Badler, A. Kandel (Eds.),
Proc. NAFIPS Vol. 86, pp. 462-476, 1986.
[15] K. Tamura and S. Miura, On linear vector
maximization problems, J. Oper. Res. Sci.
Japan Vol. 20, pp. 139-149, 1977.
[16] H. Tanaka and K. Asai, Fuzzy linear
programming based on fuzzy functions, Bull.
Univ. Osaka Perfect. Ser. A Vol. 29, pp.113-
125, 1980.
[17] J. Vangeldere, Pareto weak minimality and
various connected properties, in W. Oettli and
F. Steffans (Eds.), Proc. Third Sympos. On
Operations Research, Band 31, University of
Mannheim, Mannheim pp. 663-676, 1978.
[18] L. A. Zadeh, Optimality and nonscalar-valued
performance criteria, IEEE Trans. Automatic
control, A C-8 ,pp. 59-61, 1963. [19] L. A.
Zadeh, Fuzzy sets, Information and Control
Vol. 8, pp. 338-353, 1965.
13