You are on page 1of 6

Innovative Systems Design and Engineering www.iiste.

org
ISSN 2222-1727 (Paper) ISSN 2222-2871 (Online)
Vol 3, No 2, 2012


1

An Implicit Partial Pivoting Gauss Elimination Algorithm for
Linear System of Equations with Fuzzy Parameters
Kumar Dookhitram
1*
Sameer Sunhaloo
2
Muddun Bhuruth
3

1. Department of Applied Mathematical Sciences, School of Innovative Technologies and
Engineering, University of Technology, Mauritius, La Tour Koenig, Pointe-aux-Sables, Republic
of Mauritius
2. School of Innovative Technologies and Engineering, University of Technology, Mauritius, La Tour
Koenig, Pointe-aux-Sables, Republic of Mauritius
3. Department of Mathematics, Faculty of Science, University of Mauritius, Rduit, Republic of
Mauritius
* E-mail of the corresponding author: kevtrish@gmail.com, kdookhitram@umail.utm.ac.mu

Abstract
This paper considers the solution of fully fuzzy linear system (FFLS) by first reducing the system to crisp
linear system. The novelty of this article lies in the application of Gauss elimination procedure with implicit
partial pivoting to FFLS. The method is presented in detail and we use the Matlab

software for
implementing the algorithm. Numerical examples are illustrated to demonstrate the efficiency of the variant
of Gauss elimination method for solving FFLS.
Keywords: fully fuzzy linear system, fuzzy number, gauss elimination, partial pivoting, implicit

1. Introduction
System of linear equations plays a crucial role in various areas such as physics, statistics, operational
research, engineering and social sciences. When information is imprecise and only some vague knowledge
about the actual values of the parameters is available, it is convenient to make use of fuzzy numbers (L.
Zadeh 1965).
One of the major applications of fuzzy number arithmetic is in solving linear systems whose parameters are
all or partially represented by fuzzy numbers. In this paper, the term fuzzy matrix is of the most importance
concept, and we follow the definition proposed by D. Dubois & H. Prade (1980), that is, a matrix with
fuzzy numbers as its elements. Friedman et al. (1998) introduced a general model for solving fuzzy linear
system whose coefficient matrix is crisp and the right hand vector to be an arbitrary fuzzy vector. Friedman
and his colleagues solved the fuzzy linear system by first reducing it to a crisp linear system. Review about
some methods for solving these systems can be found in (M. Matinfar et al. 2008).
Here we consider another kind of fuzzy linear systems where all the parameters include fuzzy numbers and
are named fully fuzzy linear systems (FFLS). Recently, M. Dehghan et al. (2006) and M. Dehghan & B.
Hashemi (2006) proposed computational methods such as Cramers rule, Gaussian elimination method, LU
decomposition method and Adomian decomposition method for solving FFLS. Iterative techniques for the
solution of FFLS is presented in (M. Dehghan et al. 2007), whereby techniques such as Richardson, Jacobi,
Jacobi over relaxation, Gauss-Seidel, successive over relaxation, accelerated over relaxation, symmetric
and unsymmetrical successive over relaxation and extrapolated modified Aitken are studied. For other
methods to solve FFLS, one may refer to A. Kumar et al. (2010).
In this paper, to cater for rounding errors in the Gauss elimination process, we intend to solve the FFLS by
implicit partial pivoting of the Gauss elimination method. This paper is structured as follows: In the next
section, we give some preliminaries concerning fuzzy sets theory. In section 3, the new procedure based on
Innovative Systems Design and Engineering www.iiste.org
ISSN 2222-1727 (Paper) ISSN 2222-2871 (Online)
Vol 3, No 2, 2012


2

the partial pivoting is introduced. Numerical examples are presented in section 4 to illustrate the method.

2. Preliminaries
In this section, we present some backgrounds and notions of fuzzy sets theory (D. Dubois & H. Prade 1980;
M. Matinfar et al. 2008).

2.1 Definitions
Definition 2.1. Assume X to be a universal set, and then a fuzzy subset A
~
of X is defined by its
membership function
], 1 , 0 [ : ~ X
A


where the value of
) ( ~ x
A


at x shows the grade of membership of x in
A
~
. A fuzzy subset
A
~
can be characterized as a set of ordered
pairs of element x and grade
) ( ~ x
A

and is often written as


}. : )) ( , {(
~
~ X x x x A
A
=

Definition 2.2. A fuzzy set A
~
in X is said to be normal if there exist X x such that 1 ) ( ~ = x
A
.
Definition 2.3. A fuzzy number A
~
is called positive (negative), denoted by
) 0
~
( 0
~
< > A A
, if its membership
function
0 ) ( ~ = x
A

,
) 0 ( 0 > < x x
.
Definition 2.4. A triangular fuzzy number, symbolically written as
) , , (
~
m A =
, has the following
membership function

> +

> <

=
. , 0
, 0 , , 1
, 0 , , 1
) ( ~
otherwise
m x m
m x
m x m
x m
x
A


Definition 2.5. A triangular fuzzy number
) , , (
~
m A =
is positive if and only if 0 m .
Definition 2.6. Two triangular fuzzy numbers
) , , (
~
m A =
and
) , , (
~
n B =
are said to be equal if and only
if
= = = , , n m
.
Definition 2.7. A matrix A
~
is called a fuzzy matrix if each of its elements is a fuzzy number. The matrix is
positive if each of its elements is positive. The n n fuzzy matrix A
~
may be represented as
) , , (
~
N M A A =
,
where
) (
ij
a A =
,
) (
ij
M =
and
) (
j i
N =
are three n n crisp matrices.

2.2 Arithmetic operations on fuzzy numbers
In this section, we present arithmetic operations of triangular fuzzy numbers. Let
) , , (
~
m A =
and
) , , (
~
n B =
be two triangular fuzzy numbers, then the following rules are valid:
1)
) , , ( ) , , ( ) , , (
~ ~
+ + + = = n m n m B A
.
2)
) , , ( ) , , (
~
m m A = =
.
3) If 0
~
> A and 0
~
> B then
) , , ( ) , , ( ) , , (
~ ~
m n m n mn n m B A + + = =
.
4) If is any scalar then A
~
is defined as
Innovative Systems Design and Engineering www.iiste.org
ISSN 2222-1727 (Paper) ISSN 2222-2871 (Online)
Vol 3, No 2, 2012


3

<

=
. 0 ), , , (
, 0 ), , , ( ~

m
m
A


3. A New Method for Solving FFLS
Consider the n n fully fuzzy linear system of the form (M. Dehghan et al. 2006; M. Matinfar et al. 2008)
,
~
~
~
b x A =
(1)
with
n j i a A
ij
= , 1 ),
~
(
~
and
) (
~
,
~
R F b x
j j

, where
) (R F
is the set of all fuzzy numbers. In extended form
(1) can be expressed as

=
=
=
.
~
)
~ ~
( ... )
~ ~
( )
~ ~
(
...
,
~
)
~ ~
( ... )
~ ~
( )
~ ~
(
,
~
)
~ ~
( ... )
~ ~
( )
~ ~
(
2 2 1 1
2 2 2 22 1 21
1 1 2 12 1 11
n n nn n n
n n
n n
b x a x a x a
b x a x a x a
b x a x a x a

Here we are trying to solve for a positive solution of the FFLS (1). Let
0
~
) , , (
~
> = N M A A
,
0
~
) , , (
~
> = g h b b

and
0
~
) , , (
~
> = z y x x
. Thus we have
). , , ( ) , , ( ) , , ( g h b z y x N M A =


Therefore using the multiplication rule 3 of Section 2.2 followed by Definition 2.6, we obtain the following
crisp system

= +
= +
=
.
,
,
g Nx Az
h Mx Ay
b Ax
(2)
From (2), we observe that once a solution to x, say x
sol
, is obtained, solution to y and z may be derived by
solving the crisp linear systems

=
=
.
,
sol
sol
Nx g Az
Mx h Ay
(3)
We further note that the coefficient matrix for the linear system remains the same for all x, y and z. Next
section we present a method for the solution of the crisp linear system of equations.

3.1 Gauss Elimination Method with Partial Pivoting
Consider the crisp linear system of the form
), ( ,
j i
a A b Ax = =
(4)
where the matrix A is of order n, and x = (x
1
, x
2
,, x
n
)
T
and b = (b
1
, b
2
,, b
n
)
T
are column vectors of length
n. One of the methods for solving (1) is the Gauss elimination procedure which can be summarized by the
following statement.
Theorem 3.1 (A. Gourdin & M. Boumahrat 2003): If A is an arbitrary non-singular matrix of order n then
there exists an invertible matrix S such that SA=U, where U is an upper triangular matrix.
The triangularization process of Theorem 3.1 can be obtained by pre-multiplying elementary matrices (S.
Innovative Systems Design and Engineering www.iiste.org
ISSN 2222-1727 (Paper) ISSN 2222-2871 (Online)
Vol 3, No 2, 2012


4

Lipschutz 2005) (whereby there may be row exchange operations) with the augmented matrix [A | b]. At
each step in the triangularization process, an assumption is made that the term a
kk
is non zero. This term is
called the pivot which is used to eliminate x
k
from the rows (k + 1) to n. In terms of floating point
arithmetic, dividing by small pivots should be avoided to minimize rounding errors. The partial pivoting is
a well-known strategy to cater for that drawback.
Next we present the Gauss elimination with partial pivoting algorithm where p
k
is the k
th
pivot found in the
row l
k
for k = 1, 2, , n. We note the algorithm is an implicit approach as there is no exchange of the rows
or columns of the augmented matrix.
Algorithm 3.1: Input Non-singular matrix A and vector b
Output Vector x
For k = 1:n - 1,
1. For i = 1:n with i l
1
, l
2
, , l
k-1
select the pivot element p
k
as p
k
= max{a
ik
}.
2. For i l
1
, l
2
, , l
k
and j = k, k + 1, , n + 1, triangularize the augmented matrix
by using the formula
. / ) (
k j l ik ij ij
p a a a a
k
=
3. Solve for x by using the formulae
, / ) (
1 n n l n
p a x
n
+
=
. 1 ..., ), 1 ( , / ) (
1
1
= =

+ =
+
n i p x a a x
i
n
i j
j j l n l i
i i


4. Numerical examples
In this section, we apply Algorithm 3.1 for solving fully fuzzy linear system. We implement the algorithm
in the Matlab

software and for the first example we illustrate as well the resulting matrix when eliminating
the x
i
variable from the remaining equations of the system (3).

4.1 Example 1
Consider the following FFLS (M. Dehghan et al. 2006):
.
514) 297, (316,
257) 139, (142,
) 60 , 30 , 58 (
~
) 24 , 19 , 20 ( ) 30 , 30 , 32 ( ) 34 , 10 , 24 (
) 10 , 8 , 8 ( ) 15 , 12 , 14 ( ) 20 , 8 , 12 (
) 1 , 2 , 3 ( ) 2 , 2 , 5 ( ) 4 , 1 , 6 (
|
|
|

\
|
=
(
(
(

x

The augmented matrix for the system (4) of order 3 is
.
316
142
58
|
|
|
20 32 24
8 14 12
3 5 6
(
(
(


Using Algorithm 3.1, we found that when k =1, p
1
= 24, l
1
= 3 and the resulting matrix when eliminating the
x
1
variable from the remaining equations is given as
Innovative Systems Design and Engineering www.iiste.org
ISSN 2222-1727 (Paper) ISSN 2222-2871 (Online)
Vol 3, No 2, 2012


5

.
316
16
21
|
|
|
20 32 24
2 2 0
2 3 0
(
(
(




When k = 2, p
2
= -2, l
2
= 2 and the resulting matrix when eliminating the x
2
variable from the remaining
equation is
.
316
16
3
|
|
|
20 32 24
2 2 0
1 0 0
(
(
(



In a similar procedure, we obtain the third pivot element p
3
=1 and l
3
= 1. So with the implicit row exchange
operation we have
x = (x
1
, x
2
, x
3
)
T
= (4, 5, 3)
T
.
Thus using (3) and Algorithm 3.1, we get
y = (y
1
, y
2
, y
3
)
T
= (1, 0.5, 0.5)
T
,
and
z = (z
1
, z
2
, z
3
)
T
= (3, 2, 1)
T
.
Therefore the fuzzy solution of the problem is
,
) 1 , 5 . 0 , 3 (
) 2 , 5 . 0 , 5 (
) 3 , 1 , 4 (
~
|
|
|

\
|
= x

the same solution with LU decomposition method as given in (M. Dehghan et al. 2006)

4.2 Example 2
Consider the following FFLS (M. Dehghan & B. Hashemi 2006):
.
) 9 . 31 1 , 3 . 8 8 (535.5,
) 3 . 09 1 , 2 . 76 (434.5,
) 36.2 5 , 27.7 4 , 1897 (
~
) 1 . 0 , 1 . 0 , 5 . 4 ( ) 3 . 0 , 1 . 0 , 2 ( ) 2 . 0 , 1 . 0 , 2 (
) 2 . 0 , 2 . 0 , 5 . 1 ( ) 4 . 0 , 1 . 0 , 4 ( ) 1 . 0 , 1 . 0 , 2 (
) 2 . 0 , 5 . 0 , 6 ( ) 5 . 1 , 5 . 1 , 12 ( ) 1 , 1 , 19 (
|
|
|

\
|
=
(
(
(

x

The augmented matrix for the system (4) of order 3 is
.
5 . 535
5 . 434
1897
|
|
|
5 . 4 2 2
1 . 0 1 . 0 2
6 12 19
(
(
(


So using Algorithm 3.1, we have x = (37, 62, 75)
T
, y = (7, 5.5, 10.2)
T
and x = (13.3016, 4.5794, 13.9196)
T
.
Thus the fuzzy solution is
.
) 9196 . 13 , 2 . 10 , 75 (
) 5794 . 4 , 5 . 5 , 62 (
) 3016 . 13 , 7 , 37 (
~
|
|
|

\
|
= x


Innovative Systems Design and Engineering www.iiste.org
ISSN 2222-1727 (Paper) ISSN 2222-2871 (Online)
Vol 3, No 2, 2012


6

5. Conclusion
In this paper, a new method is applied to compute the solution of fully fuzzy linear system. Here, an
implicit partial pivoting Gauss elimination procedure is used as solver and the validity of the proposed
algorithm is examined with two numerical examples which were used in (M. Dehghan et al. 2006) and (M.
Dehghan & B. Hashemi 2006).

References
Dehghan M., Hashemi B. & Ghatee M. (2006), Computational methods for solving fully fuzzy linear
systems, Applied Mathematics and Computation 179, 328-343.
Dehghan M. & Hashemi B. (2006), Solution of the fully fuzzy linear system using the decomposition
procedure, Applied Mathematics and Computation 182, 1568-1580.
Dehghan M., Hashemi B. & Ghatee M. (2007), Solution of the fully fuzzy linear system using iterative
techniques, Chaos, Solitons and Fractals 34, 316-336.
Dubois D. & Pradeh H. (1980), Fuzzy sets and systems: Theory and Applications, Academic Press, New
York, NY.
Friedman M., Ming M. & Kandel A. (1998), Fuzzy linear systems, Fuzzy Sets and Systems 96, 201-209.
Gourdin A. & Boumahrat M. (2003), Applied numerical methods, Prentice Hall of India Private Limited,
New Delhi.
Kumar A., Neetu & Bansal A. (2010), A new method to solve fully fuzzy linear system with trapezoidal
fuzzy numbers, Canadian Journal on Science and Engineering Mathematics 1(3), 45-56.
Lipschutz S. (2005), Shaums outline of theory and problems of linear algebra, (3
rd
ed.), McGraw Hill Book
Company, New York, NY.
Matinfar M., Nasseri S. H. & Sohrabi M. (2008), Solving fuzzy linear system of equations by using
Householder decomposition method, Applied Mathematical Sciences 51, 2569-2575.
Zadeh L. A. (1965), Fuzzy sets, Information and Control 8, 338-353.

You might also like