• Tidak ada hasil yang ditemukan

SISTEM PERSAMAAN LINEAR PADA ALJABAR MIN-PLUS

N/A
N/A
Protected

Academic year: 2017

Membagikan "SISTEM PERSAMAAN LINEAR PADA ALJABAR MIN-PLUS"

Copied!
9
0
0

Teks penuh

(1)

SISTEM PERSAMAAN LINEAR PADA ALJABAR MIN-PLUS

Musthofa

Jurusan Pendidikan Matematika FMIPA UNY

musthofa@uny.ac.id

Abstrak

Himpunan semua bilangan real R ∪ {+∞} yang dilengkapi dengan operasi minimum sebagai operasi penjumlahan dan operasi penjumlahan sebagai operasi pergandaan membentuk struktur aljabar yang dinamakan semiring idempoten. Karena operasi penjumlahan pada semiring idempoten tidak mempunyai invers, maka metode yang digunakan pada lapangan atau ring untuk menentukan solusi persamaan ax = b tidak dapat diterapkan. Untuk itu, dalam makalah ini akan dibahas metode untuk menentukan solusi persamaan linear berbentuk AX = B atas aljabar min-plus.

Kata kunci: persamaan linear, semiring idempoten, aljabar min-plus

PENDAHULUAN

Aljabar min-plus, yaitu R ∪ {+∞} dengan R adalah himpunan semua bilangan real yang dilengkapi dengan operasi minimum dan operasi penjumlahan, memiliki beberapa aplikasi antara lain dalam memodelkan jaringan telekomunikasi, lalulintas dan video smoothing. Melalui aljabar min-plus masalah nonlinear dapat diselesaikan seperti masalah linear dalam aljabar linear. Sebagai contoh diketahui dua bis tranportasi umum berangkat dari terminal keberangkatan yang berbeda, tetapi menuju suatu terminal tujuan yang sama. Selanjutnya dari terminal tujuan ini, akan berangkat bis ke-tiga setelah salah satu dari dua bis tersebut tiba. Jika waktu keberangkatan kedua bis tersebut berturut-turut adalah adalah x1, x2 dan waktu perjalanan berturut-turut adalah a1 dan a2, maka waktu keberangkatan bis ke-tiga ( x3 ) dapat disajikan sebagai x3 = min ( x1 + a1, x2 + a2 ). Dalam aljabar min-plus, persamaan ini dapat disajikan sebagai x3 = (x1 ⊗a1 ) ⊕ ( x2 ⊗a2 ), dengan ⊕ menyatakan operasi minimum dan ⊗ menyatakan operasi penjumlahan. Persamaan tersebut analog dengan persamaan x3 = ax1 + a2x2 dalam aljabar linear.

Perbedaan yang cukup berarti dari struktur aljabar min-plus dengan struktur aljabar lain seperti lapangan atau ring terletak pada tidak adanya invers terhadap operasi ⊕ pada aljabar min-plus. Oleh karena itu, pada persamaan ax = ay, tidak dapat langsung disimpulkan x = y. Hal ini mengakibatkan metode untuk menyelesaikan persamaan ax = b pada aljabar min-plus sangat berbeda dengan metode menyelesaikan persamaan linear pada lapangan atau ring. Ditinjau dari struktur aljabar, R ∪ {+∞} terhadap operasi minimum merupakan monoid komutatif dengan elemen identitas {+∞}. Akibatnya untuk menyelesaikan persamaan ax = b pada aljabar min-plus digunakan konsep urutan pada lattice.

Selanjutnya persamaan ax = b dapat diperluas menjadi sistem persamaan linear,

misalnya 11 1 12 2 1

21 1 22 2 2

a x

a x

b

a x

a x

b

=

=

(1)

Dalam hal ini, symbol operasi ⊗ tidak dituliskan seperti halnya pada 2 × a yang ditulis sebagai 2a. Persamaan (1) dapat ditulis dalam bentuk matrik sebagai berikut:

11 12 1 1

21 22 2 2

a

a

x

b

a

a

x

b

  

 

=

  

 

(2)

1. Metode menentukan solusi persamaan Ax = b pada aljabar min-plus.

2. Cara menentukan ada tidaknya solusi persamaan Ax = b pada aljabar min-plus.

PEMBAHASAN 1. Aljabar Min-plus

Aljabar min-plus merupakan himpunan R ∪ {+∞}yang dilengkapi dengan operasi minimum, dinotasikan dengan ⊕, dan operasi penjumlahan yang dinotasikan dengan ⊗. Selanjutnya ( R∪ {+∞}, ⊕, ⊗ ) dinotasikan dengan Rmin. Jadi, dalam Rmin : 3 ⊕ 4 = min ( 3, 4 ) = 3 dan 3 ⊗ 4 = 3 + 4 = 7. Sifat –sifat yang berlaku dalam Rmin antara lain :

a) x⊕ ( yz ) = min ( x, min ( y, z)) = min(min ( x,y), z ) = (xy) ⊕z

b) x⊕ {+∞} = min ( x, +∞ ) = x

c) x⊗ {+∞} = x + {+∞} = {+∞} d) x⊗ 0 = x + 0 = x

e) x⊗ (yz) = x + ( y + z ) = ( x + y) + z = ( xy) ⊗z

f) xy = x + y = y + x = yx

g) x⊗ (-x) = x + (-x) = 0

h) x⊗ ( yz ) = x + ( min (y, z)) = min ( x + y, x + z) = ( xy) ⊕ ( xz )

Dari sifat –sifat di atas, terlihat bahwa {+∞} merupakan elemen netral terhadap operasi ⊕ dan 0 merupakan elemen netral terhadap operasi ⊗. Oleh karena itu, ditinjau dari struktur aljabar

Rmin merupakan semiring, yaitu :

i. ( R∪ {+∞}, ⊕ ) merupakan monoid komutatif dengan elemen netral {+∞} ii. ( R∪ {+∞}, ⊗ ) merupakan monoid dengan elemen netral 0

iii. Operasi ⊗ terhadap ⊕ bersifat distributif

iv. Elemen netral terhadap operasi ⊕, yaitu {+∞} bersifat menyerap terhadap operasi ⊗. Jadi

x⊗ {+∞} = {+∞} ⊗x = {+∞}, ∀xRmin Lebih khusus, Rmin merupakan semifield, yaitu :

i. Rmin merupakan semiring

ii. ( R, ⊗ ) merupakan grup komutatif

Selanjutnya karena operasi ⊕ bersifat idempotent, yaitu xx = x , untuk setiap xRmin, maka Rmin merupakan semifield idempotent. Dalam teorema di bawah ini ditunjukkan bahwa sifat idempotent mengakibatkan tidak adanya invers terhadap operasi tersebut.

Teorema 1.Jika pada suatu semiring S operasi pada bersifat idempotent, maka elemen invers terhadap operasi tidak ada.

Bukti :

Misalkan S semiring dengan elemen netral terhadap operasi ⊕ adalah ε. Ambil sebarang x≠ε∈S. Andaikan terdapat y ∈ S sehingga x ⊕ y = y ⊕ x. Karena ⊕ bersifat idempotent, maka

x = x⊕ε = x⊕ ( xy ) = (xx ) ⊕y = xy = ε . Kontradiksi dengan x≠ε.

2. Matriks atas Aljabar Min-plus

Dalam uraian di atas, telah dibahas bahwa aljabar min-plus ( R ∪ {+∞}, min, + ) merupakan semifeild idempotent. Selanjutnya seperti pada lapangan, jika diberikan suatu semifield idempotent Rmin, dapat dibentuk matriks dengan entri-entrinya elemen-elemen Rmin. Operasi ⊕ dan ⊗ pada matriks yang telah terbentuk didefinisikan sebagai berikut:

(3)

(2) ( )ij ( ik kj) k

AB = ⊕ AB

Contoh 2.

Jika 0 2 -2 1

A

=

dan

-2 3

1 2

B

=

, maka

0 2 -2 3 0 -2 2 3 -2 2

-2 1 1 2 -2 1 1 2 -2 1

A

⊕ =

B

=

=

dan

0 2 -2 3 (0+(-2) (2 1) (0+3) (2 2) -2 3

-2 1 1 2 (-2+(-2)) (1 1) (-2+3) (1 2) -4 1

A

⊗ =

B

 

 

⊕ +

⊕ +

=

⊕ +

⊕ +

 

Selanjutnya didefinisikan ( Rmin )n × nsebagai himpunan semua matriks berukuran n × n

dengan entri-entrinya elemen Rmin,. Elemen netral terhadap operasi ⊕ dan elemen netral terhadap

operasi ⊗ dalam ( Rmin )n × n berturut-turut adalah matriks E dengan ( ) 0, jika , jika ij

i

j

E

i

j

=

=

+∞

dan

matriks ε dengan (ε)ij = +∞,untuk setiap i dan j . Jadi ,

(1) ( EA ) = (AE ) = A untuk setiap A∈( Rmin)n × n ; (2) (ε⊕A ) = (A⊕ε ) = A, untuk setiap A∈ (Rmin)n × n.

Berikut ini beberapa sifat matriks atas aljabar min-plus :

Sifat 3.

Jika A, B, C

( Rmin )n × n

maka berlaku :

(1)

A

(

B

C

) = (

A

B

)

C

(2)

A

B

=

B

A

(3)

A

(

B

C

) = (

A

B

)

C

(4)

A

(

B

C

) = (

A

B

)

(

A

C

) (5) (

A

B

)

C

= (

A

C

)

(

B

C

) (6)

A

A

=

A

Bukti :

1. [A⊕ ( BC )]ij = Aij⊕ (BijCij) = (AijBij) ⊕Cij = [ (AB) ⊕C ]ij. 2. [AB]ij = AijBij = BijAij = [BA]ij.

3.

[

A⊗(BC)

]

ij =

1 1

n n

ik kl lj

k= A l= B C

 

⊕ ⊕ ⊗ 

 

= 1 1 n n

ik kl lj

k

⊕ ⊕

= =l

A

B

C

=

1 1

n n

ik kl lj

k= l= A B C

 

⊕ ⊕ ⊗ ⊗

 

=

[

(AB)⊗C

]

ij

4.

[

A⊗(BC)

]

ij =

(

)

1

n

ik kj kj

k

=

A

B

C

=

(

(

) (

)

)

1 n

ik kj ik kj

(4)

=

(

)

1 ik kj 1 ik kj

k⊕= AB ⊕ ⊕k= AC

   

   

=

[

( ) ( )

]

ij ABAC

5.

[

(AB)⊗C)

]

ij =

(

)

1

n

ik ik kj

k

=

A

B

C

=

(

(

) (

)

)

1 n

ik kj ik kj

k

=

A

C

B

C

=

(

)

(

)

1 1

n n

ik kj ik kj

k

=

A

C

⊕ ⊕

k=

B

C

=

[

( ) ( )

]

ij ACBC

6.

[

AA

]

ij= AijAij =Aij

Berdasarkan sifat-sifat di atas, ( Rmin)n × n bukan merupakan semifield, tetapi merupakan semiring idempotent.

3. Lattice

Lattice berkaitan dengan konsep tentang urutan. Konsep ini akan digunakan untuk menyelesaikan persamaan linear berbentuk ax = b pada aljabar min-plus.

Definisi 4. Diberikan E sebarang himpunan tak kosong dan ≤ relasi biner pada E. Relasi ≤

dikatakan relasi urutan parsial jika memenuhi: 1. x E, x ≤ x ( refleksif)

2. x,y E, jika x ≤ y dan y ≤ x, maka x = y ( antisimetris) 3. x,y,z E, jika x ≤ y dan y ≤ z, maka x ≤ z ( transitif)

Contoh 5.

1. Relasi “ = ” pada setiap himpunan merupakan relasi urutan parsial.

2. Relasi “ | “ pada = himpunan bilangan asli , yaitu ∀a,b ∈ , a | b, jika dan hanya jika

terdapat c ∈ , sehingga b = ac yang disebut dengan relasi keterbagian merupakan relasi urutan parsial.

3. Misal Mn × n( R ) menyatakan himpunan semua matriks berukuran n × n, dengan entri-entrinya di dalam R. Relasi ≤ pada Mn × n( R ) yang didefinisikan sebagai:

A,BMn × n( R ), ABaij bij ,untuk setiap i = 1,2,…,n dan j=1,2,…,n merupakan relasi urutan parsial.

Definisi 6. Suatu himpunan tak kosong E yang dilengkapi relasi urutan parsial “≤ “ pada E dinamakan Poset ( Partially Ordered Set) dandinotasikan dengan ( E, ≤).

Selanjutnya pada poset akan didefinisikan batas atas dan batas atas terkecil dari sebagai berikut.

Definisi 7.Diberikan ( E, ≤) posetdan { a,b} ⊆E. Suatu c E dinamakan batas atas dari {a,b}

jika a ≤ c dan b≤ c. suatu d E dinamakan batas atas terkecil dari {a,b} jika : (i) d merupakan batas atas dari {a,b} dan

(ii) jika c E batas atas dari {a,b} maka d ≤ c.

Selanjutnya batas atas terkecil dari {a,b} dinotasikan dengan a b.

Analog dengan batas atas, di bawah ini diberikan definisi batas bawah dan batas bawah terkecil.

(5)

(i) d merupakan batas bawah dari {a,b} dan

(ii) jika c E batas bawah dari {a,b} maka c ≤ d.

Selanjutnya batas bawah terbesar dari {a,b} dinotasikan dengan a b.

Contoh 9. Diketahui N = himpunan semua bilangan asli. Didefinisikan relasi ≤ pada N sebagai berikut: Untuk setiap a,bN, ab jika dan hanya jika a membagi habis b. Batas atas dari { 4,6} ⊂N antara lain 12, 24, dan 36. Dalam hal ini, 12 merupakan batas atas terkecil dari {4, 6}.

Berkaitan dengan batas bawah dan batas atas, di bawah ini diberikan definisi elemen maximal, elemen maximum dan elemen top.

Definisi 10.Diberikan (E, ≤) poset dan A E.

(i) Suatu a A sedemikian sehingga untuk setiap x A berakibat x ≤ a dinamakan elemen maximum dari A.

(ii) Suatu a A dinamakan elemen maximal dari A jika terdapat x A sehingga a ≤ x, maka a = x.

(iii) Suatu x E sehingga untuk setiap y E berlaku y ≤ x dinamakan elemen top dan dinotasikan dengan .

Elemen top pada poset (E, ≤), jika ada, maka elemen tersebut tunggal. Hal ini sebagai akibat dari sifat anti simetris, yaitu misalkan x dan y semuanya elemen top. Diperoleh xy dan y

x, sehingga menurut sifat anti simetris pada (E, ≤ ) berakibat x = y. Demikian juga jika terdapat elemen maximum pada AE, maka elemen maximum tersebut tunggal. Disamping itu, jika A = E, maka elemen top dari E adalah elemen maximum dari A.

Contoh 11. Misal S = { 1, 2, 3 } dan T = { A / AS }. Didefinisikan relasi ≤ pada T sebagai berikut : untuk setiap A, BT, AB jika dan hanya jika AB. Diperoleh {1,2}, {2,3} dan {1,3} semuanya merupakan elemen maximal. Dalam hal ini T tidak mempunyai elemen maximum.

Contoh 12. Misal E = { 1,2,3,4,5}. Jika didefinikan relasi ≤ pada E sebagai relasi urutan biasa, maka ( E, ≤ ) merupakan poset dengan elemen top adalah 5. Jika A = { 1,2,3 } ⊂E, maka elemen maximum dari ( A, ≤ ) adalah 3.

Definisi13.Suatu poset (L,≤ ) disebut lattice jika a b dan a b ada untuk setiap a,b L.

Contoh 14. Misal L = [0, 1] = { xR / 0 ≤x≤ 1 }. Jika ≤ didefinisikan sebagai relasi urutan biasa, maka ( L, ≤ ) merupakan poset. Lebih lanjut, untuk setiap {a, b}∈L, max(a, b) merupakan batas atas terkecil dari {a, b} dan min(a, b) merupakan batas bawah terbesar dari {a, b}. Jadi (L, ≤ ) merupakan lattice.

Selanjutnya di bawah ini akan diberikan suatu sifat bahwa pada sebarang semiring idempotent S dapat didefinisikan suatu relasi “ ≤ “ sehingga ( S, ≤ ) merupakan poset.

Teorema 15. Diketahui (S,⊕, ⋅ ) semiring idempoten. Jika ≤ merupakan relasi pada S yang didefinisikan dengan: untuk setiapa,bS, abjika dan hanya jikaab = b, maka ≤ merupakan relasi urutan parsial.

Bukti :

Akan ditunjukkan ≤ bersifat refleksif, antisimetris dan transitif. Karena ∀aS, aa = a, maka a

a, yaitu ≤ refleksif. Jika ab dan ba, maka ab = b dan ba = a. Sehingga diperoleh a =

b, yaitu ≤ antisimetris. Jika ab dan bc, maka ab = b dan bc = c. Akibatnya, ac = a

(6)

lattice. Untuk itu terlebih dahulu dibahas dua teorema di bawah ini.

Teorema 16. Jika (S,⊕, ⊗ ) semifield idempoten dan a-1 menyatakan invers dari a terhadap operasi , maka berlakua b b-1≤ a-1

Bukti :

abab = b

⇒ ( ab ) ⊗ ( a-1⊗b-1) = b⊗ ( a-1⊗b-1)

⇒ ( aa-1⊗b-1 ) ⊕ ( ba-1⊗b-1) = ba-1 ⊗b-1

b-1⊕a-1 = a-1

b-1≤a-1. É

Teorema17.Jika S semifield idempoten, maka pernyataan berikut ekuivalen: (1) abb-1≤a-1

(2) (a b)-1 = a-1 ∨b-1

(3) ( ab)-1 = a-1∧b-1

Bukti : (1) ⇒ (2)

Karena abb & aba, maka menurut (1) b-1≥ ( ab )-1 & a-1≥ ( ab)-1, sehingga a-1∨b-1

≥ ( ab)-1. Akibatnya, (a-1∨b-1)-1≤ [( ab)-1]-1 = ab (3) Karena a-1≤a-1∨b-1 dan b-1≤a-1∨b-1, maka (a-1∨b-1)-1≥a & (a-1∨b-1)-1≥b, sehingga

(a-1∨b-1)-1 ≥ab (4) Dari persamaan (3) dan (4 ) diperoleh (a-1∨b-1)-1 = ab, sehingga a-1∨b-1 = (ab)-1.

(2) ⇒ (3)

Karena (a b)-1 = a-1 ∨b-1, maka diperoleh ( a-1∧b-1)-1 = (a-1 )-1∨ (b-1 )-1 = ab. Diperoleh (ab)-1 = [( a-1∧b-1)-1]-1 = a-1∧b-1.

(3) ⇒ (1)

Diketahui ( ab)-1 = a-1∧b-1 dan misalkan ab. Akan ditunjukkan b-1≤a-1. Karena ab, maka

ab = b. Akibatnya (ab)-1 = a-1∧b-1 = b-1, yaitu b-1≤a-1. É

Teorema18.Jika S semifield idempoten, maka (S, ≤ ) merupakan lattice. Bukti :

Ambil sebarang a, bS. Diperoleh a⊕ ( ab) = ( aa) ⊕b = ab, dan b⊕ ( ab ) = b⊕ ( ba ) = (bb ) ⊕a = ba. Jadi aab dan bab, yaitu ab merupakan batas atas dari a dan b. Andaikan ada c sedemikian sehingga ac dan bc, maka ac = c dan bc = c. Sehingga (ab) ⊕c = c, yaitu abc. Jadi a b = a b. Karena S semifield, maka ( ab ) = ( a-1∨ b-1)-1 = ( a-1⊕b-1)-1 untuk a, b≠ε . Jika a atau b sama dengan nol ( ε ), maka ab = ε . Jadi terbukti S merupakan lattice. É

Berdasarkan teorema di atas, karena aljabar min-plus merupakan semifield idempotent, maka aljabar min-plus merupakan lattice. Berikut ini konsep yang akan digunakan untuk menyelesaikan persamaan linear pada aljabar min-plus.

Definisi 19.Suatu pemetaan f pada himpunan teurut parsial dikatakan isoton jika x ≤ y f(x) ≤ f(y)

Contoh 20.

f : Rmin→ Rmin dengan f(x) = x⊗ 10 merupakan pemetaan isoton, yaitu untuk setiap x, yRmin berlaku xyf(x) = x⊗ 10 = x + 5 ≤y + 10 = y⊗ 10 = f(y)

(7)

Contoh 22. Pada contoh 20 di atas, f merupakan pemetaan residuated , sebab untuk setiap

yRmin, {x/f(x) = x⊗ 10 ≤y }mempunyai elemen maximum, yaitu x = f#(y) = y-10.

Hubungan antara f dan f# seperti yang dibahas dalam Bacelli, dkk (2001) adalah sebagai berikut:

fοf#≤I (5)

f#οfI ( 6)

Selanjutnya residual dari f#(b) digunakan untuk menentukan ada tidaknya solusi dari persamaan

f(x) = b, dinyatakan dalam teorema sebagai berikut:

Teorema 23.Jika f : D E pemetaan residuated, maka persamaan f(x) = b mempunyai solusi jika dan hanya jika f ( f#(b)) = b.

Bukti : ( ⇐)

Diketahui f(f# (b)) = b, maka persamaan f(x) = b mempunyai solusi, yaitu x = f# (b) (⇒ )

Diketahui f(x) = b mempunyai solusi, misalkan x1 . Diperoleh f(x1) = b. Karena f# (b) adalah elemen maksimum dalam { x/ f(x) ≤b}, maka x1 ≤f# (b). Karena f isoton maka f(x1) ≤f( f# (b)). Menurut (1a), ff# (b) ≤b, akibatnya b = f(x1) ≤ff# (b) ≤b, yaitu f(f# (b)) = b.

4. Penyelesaian Persamaan Ax = b pada Aljabar Min-plus

Untuk menentukan solusi persamaan Ax = b pada aljabar min-plus, terlebih dahulu akan ditunjukkan bahwa pemetaan A : Rmin

n

Rmin n

, yaitu A ∈ ( Rmin)n × n merupakan pemetaan residuated.

Teorema 24.A : Rmin n

Rmin n

merupakan pemetaan residuated. Bukti :

Jika x∈ Rmin, maka

11 1 12 2 1

21 1 22 2 2

1 1 2 2

( ) ( ) ... ( ) ( ) ( ) ... ( ) ... ( ) ( ) ... ( ) n n n n

n n nn n

A x A x A x

A x A x A x

Ax

A x A x A x

⊕ ⊕ ⊕    ⊕ ⊕    =   ⊕ ⊕ ⊕     . Dibentuk 1 2 ( ) ( ) ( ) ... ( ) j j j j j j nj j A x A x f x A x       =       , maka ( ) 1 n

Ax f x

j j

j

= ⊕

= . Untuk setiap j, jika xjhxjk f xj( jh) f xj( jk)

.Oleh karena itu A

merupakan pemetaan isoton. Disamping itu untuk setiap j, { xj/ f xj( j)≤b }mempunyai elemen maksimum, yaitu x j = {b1 – A1j b2 – A2j bn – Anj }. Diperoleh A pemetaan residuated. Dengan kata lain, A dapat dipandang sebagai suatu pemetaan residuated dari Rminn ke Rminn . Berdasarkan uraian ini, yaitu karena xj = {b1 – A1j b2 – A2j bn – Anj }, maka residual dari

A adalah #

1

[ ( )] ( ) n

j j ij

i

A b b A

=

=

− .

Hasil di atas digunakan untuk menentukan solusi persamaan Ax = b pada aljabar min-plus sebagai berikut.

Teorema 25.JikaA ∈(Rmin)n × n , dan b R n

min , makapersamaan Ax = b mempunyai solusi jika dan hanya jika A(A#(b))= b.

Bukti : (⇐)

(8)

A#( b) merupakan elemen maksimum dalam { x/ Ax b ) maka x•≤A# (b). Diperoleh

A x•≤A ( A# (b ))⇔ b = A x•≤ A ( A\b) (7)

Selanjutnya menurut persamaan (5), A (A\b) b (8)

Dari persamaan (7) dan (8) diperoleh A ( A# (b)) = b.

Contoh 26. Tentukan apakah persamaan 1 2

1 0 0

2 3 0

x x       =      

    pada aljabar min-plus mepunyai solusi

atau tidak.

Penyelesaian :

Misal 1 0 2 3

A=

 dan b =

0 0      . 2 #

1 1 1 1 11 1 21

1

( ) ( i ) ( ) (0 1) (0 2) 1 2 1

i

A b b A b A b A

=

=

− = − ∧ − = − ∧ − = − ∧ − = −

2 #

2 2 2 2 12 2 22

1

( ) ( i ) ( ) (0 0) (0 3) 1 3 1

i

A b b A b A b A

=

=

− = − ∧ − = − ∧ − = − ∧ − = −

Diperoleh #( ) 1 1

A b =− 

 . Karena

1 0 1 1 0

2 3 1 1 0

− −

       

= ≠

       

       , maka persamaan di atas tidak

mempunyai solusi.

Contoh 27. Tentukan apakah persamaan 1 2

1 0 2

2 3 4

x x       =      

    pada aljabar min-plus mepunyai solusi

atau tidak.

Penyelesaian :

Misal 1 0 2 3

A=

 dan b =

2 4      . 2 #

1 1 1 1 11 1 21

1

( ) ( i ) ( ) (2 1) (4 2) 1 2 2

i

A b b A b A b A

=

=

− = − ∧ − = − ∧ − = ∧ =

2 #

2 2 2 2 12 2 22

1

( ) ( i ) ( ) (2 0) (4 3) 2 1 2

i

A b b A b A b A

=

=

− = − ∧ − = − ∧ − = ∧ =

Diperoleh #( ) 2 2

A b =  

 . Karena

1 0 2 2 2 3 2 4

      =      

     , maka persamaan di atas mempunyai solusi, yaitu

x1 = 2 dan x2 = 2. Solusi persamaan di atas tidaklah tunggal, yaitu terdapat solusi yang lain, antara

lain 3 , 4 , 2 2

            dan

5 2      

.

KESIMPULAN

Berdasarkan pembahasan di atas, dapat diperoleh kesimpulan sebagai berikut: 1. Aljabar min-plus merupakan semifield idempotent.

2. Matriks atas aljabar min-plus merupakan semiring idempotent.

3. Untuk setiap semiring idempotent dapat didefinisikan suatu relasi urutan parsial. 4. Setiap semified idempotent merupakan lattice.

5. Persamaan Ax = b, pada aljabar min-plus mempunyai solusi jika dan haya jika A#(b)

dengan #

1

[ ( )] ( ) n

j j ij

i

A b b A

=

(9)

DAFTAR PUSTAKA

Baccelli, F, Cohen, G, Olsder, G.J, Quadrat,J.P. 1992. Synchronization and Linearity.John Wiley and Sons, New York.

Blyth,T.S.2005. Lattices and Algebraic Ordered Structures. Springer,London.

Farhi, N, Goursat M, and Quadrat, J.P. Tanpa tahun. Road Traffic Models Using Petri Net and Min-plus Algebra. Inria. Perancis. Didownload pada tanggal 5 Mei 2011

Le Boudec, J.Y, Thiran, P. Tanpa tahun. Min-plus System Theory Applied to Communication Network. Swiss. Didownload pada tanggal 5 Mei 2011

Referensi

Dokumen terkait

Berdasarkan kurva pertumbuhan yang didapatkan pada Gambar 4.5, menunjukkan tiga daerah atau fase kurva pertumbuhan dan dapat dilihat bahwa kultur campuran tersebut tidak

Sinar Plywood Industry No. Nusa Wana Raya No. Riau Abadi Lestari No. Rimba Lazuardi No. Rimba Peranap Indah No. Rimba Seraya Utama No. Jebus Maju No. Limbah Kayu Utama No. Rimba

Hasil penelitian menyimpulkan bahwa secara simultan faktor-faktor yang mempengaruhi kinerja Sistem Informasi Akuntansi yang terdiri dari keterlibatan pemakai,

Tujuan: Tujuan dari penelitian ini adalah untuk mengetahui pengaruh substitusi tepung kacang hijau terhadap nilai gizi (serat dan karbohidrat) serta daya terima cookies ubi jalar

Disebelah belakang, simpai sendi tersebut diperkuat oleh ligamentum ischiofemorale yang berpangkal pada bagian iskial pinggiran acetabulum dan mengulir

governments areas “the Lagos-Abeokuta expressway links two state capital – Lagos and Abeokuta; secondly it divides four local government areas at different points; Agege and

Selain itu, dokumen LKjIP juga menyajikan dokumen perencanan dan kinerja lain seperti Rencana Strategis (Renstra), Indikator Kinerja Utama (IKU), Rencana Kinerja

Selain berpikir kritis indikator keterampilan berpikir tingkat tinggi juga harus mencakup keterampilan berpikir kreatif. Telah dijelaskan pada saat triangulasi sumber