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 a⊕x = a⊕y, tidak dapat langsung disimpulkan x = y. Hal ini mengakibatkan metode untuk menyelesaikan persamaan a⊕x = 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 a ⊕ x = b pada aljabar min-plus digunakan konsep urutan pada lattice.
Selanjutnya persamaan a ⊕ x = 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
=
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⊕ ( y⊕z ) = min ( x, min ( y, z)) = min(min ( x,y), z ) = (x⊕y) ⊕z
b) x⊕ {+∞} = min ( x, +∞ ) = x
c) x⊗ {+∞} = x + {+∞} = {+∞} d) x⊗ 0 = x + 0 = x
e) x⊗ (y⊗z) = x + ( y + z ) = ( x + y) + z = ( x⊗y) ⊗z
f) x⊗y = x + y = y + x = y⊗x
g) x⊗ (-x) = x + (-x) = 0
h) x⊗ ( y⊕z ) = x + ( min (y, z)) = min ( x + y, x + z) = ( x⊗y) ⊕ ( x⊗z )
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 = {+∞}, ∀x∈Rmin Lebih khusus, Rmin merupakan semifield, yaitu :
i. Rmin merupakan semiring
ii. ( R, ⊗ ) merupakan grup komutatif
Selanjutnya karena operasi ⊕ bersifat idempotent, yaitu x ⊕x = x , untuk setiap x∈Rmin, 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⊕ ( x⊕y ) = (x⊕x ) ⊕y = x⊕y = ε . 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:
(2) ( )ij ( ik kj) k
A⊗B = ⊕ A ⊗B
Contoh 2.
Jika 0 2 -2 1
A
=
dan-2 3
1 2
B
=
, maka0 2 -2 3 0 -2 2 3 -2 2
-2 1 1 2 -2 1 1 2 -2 1
A
⊕ =
B
⊕
=
⊕
⊕
=
⊕
⊕
dan0 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
=
=
+∞
≠
danmatriks ε dengan (ε)ij = +∞,untuk setiap i dan j . Jadi ,
(1) ( E⊗A ) = (A⊗E ) = 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 × nmaka 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⊕ ( B⊕C )]ij = Aij⊕ (Bij⊕Cij) = (Aij⊕Bij) ⊕Cij = [ (A⊕B) ⊕C ]ij. 2. [A⊕B]ij = Aij⊕Bij = Bij⊕Aij = [B⊕A]ij.
3.
[
A⊗(B⊗C)]
ij =1 1
n n
ik kl lj
k= A l= B C
⊕ ⊕ ⊗
= 1 1 n n
ik kl lj
k
⊕ ⊕
= =lA
⊗
B
⊗
C
=1 1
n n
ik kl lj
k= l= A B C
⊕ ⊕ ⊗ ⊗
=
[
(A⊗B)⊗C]
ij4.
[
A⊗(B⊕C)]
ij =(
)
1n
ik kj kj
k
⊕
=A
B
⊕
C
=
(
(
) (
)
)
1 n
ik kj ik kj
=
(
)
1 ik kj 1 ik kj
k⊕= A ⊗B ⊕ ⊕k= A ⊗C
=
[
( ) ( )]
ij A⊗B ⊕ A⊗C5.
[
(A⊕B)⊗C)]
ij =(
)
1n
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 A⊗C ⊕ B⊗C
6.
[
A⊕A]
ij= Aij⊕Aij =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,B∈Mn × n( R ), A≤B⇔aij ≤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.
(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,b∈N, a≤b 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 x≤y dan y≤
x, sehingga menurut sifat anti simetris pada (E, ≤ ) berakibat x = y. Demikian juga jika terdapat elemen maximum pada A⊆E, 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 / A ⊂ S }. Didefinisikan relasi ≤ pada T sebagai berikut : untuk setiap A, B∈T, A≤B jika dan hanya jika A⊂B. 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] = { x∈R / 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,b∈S, a≤bjika dan hanya jikaa⊕b = b, maka ≤ merupakan relasi urutan parsial.
Bukti :
Akan ditunjukkan ≤ bersifat refleksif, antisimetris dan transitif. Karena ∀a∈S, a⊕a = a, maka a
≤a, yaitu ≤ refleksif. Jika a≤b dan b≤a, maka a⊕b = b dan b⊕a = a. Sehingga diperoleh a =
b, yaitu ≤ antisimetris. Jika a≤b dan b≤c, maka a⊕b = b dan b⊕c = c. Akibatnya, a⊕c = a⊕
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 :
a≤b ⇒a⊕b = b
⇒ ( a⊕b ) ⊗ ( a-1⊗b-1) = b⊗ ( a-1⊗b-1)
⇒ ( a⊗a-1⊗b-1 ) ⊕ ( b⊗a-1⊗b-1) = b⊗a-1 ⊗b-1
⇒b-1⊕a-1 = a-1
⇒b-1≤a-1. É
Teorema17.Jika S semifield idempoten, maka pernyataan berikut ekuivalen: (1) a≤b⇒b-1≤a-1
(2) (a ∧ b)-1 = a-1 ∨b-1
(3) ( a∨b)-1 = a-1∧b-1
Bukti : (1) ⇒ (2)
Karena a∧b≤b & a∧b≤a, maka menurut (1) b-1≥ ( a∧b )-1 & a-1≥ ( a∧b)-1, sehingga a-1∨b-1
≥ ( a∧b)-1. Akibatnya, (a-1∨b-1)-1≤ [( a∧b)-1]-1 = a∧b (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 ≥a∧b (4) Dari persamaan (3) dan (4 ) diperoleh (a-1∨b-1)-1 = a∧b, sehingga a-1∨b-1 = (a∧b)-1.
(2) ⇒ (3)
Karena (a ∧ b)-1 = a-1 ∨b-1, maka diperoleh ( a-1∧b-1)-1 = (a-1 )-1∨ (b-1 )-1 = a∨b. Diperoleh (a∨b)-1 = [( a-1∧b-1)-1]-1 = a-1∧b-1.
(3) ⇒ (1)
Diketahui ( a∨b)-1 = a-1∧b-1 dan misalkan a≤b. Akan ditunjukkan b-1≤a-1. Karena a≤b, maka
a∨b = b. Akibatnya (a∨b)-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, b∈S. Diperoleh a⊕ ( a⊕b) = ( a⊕a) ⊕b = a⊕b, dan b⊕ ( a⊕b ) = b⊕ ( b⊕a ) = (b⊕b ) ⊕a = b⊕a. Jadi a≤a⊕b dan b≤a⊕b, yaitu a⊕b merupakan batas atas dari a dan b. Andaikan ada c sedemikian sehingga a≤c dan b≤c, maka a⊕c = c dan b⊕c = c. Sehingga (a⊕b) ⊕c = c, yaitu a⊕b≤c. Jadi a ⊕b = a ∨b. Karena S semifield, maka ( a∧b ) = ( a-1∨ b-1)-1 = ( a-1⊕b-1)-1 untuk a, b≠ε . Jika a atau b sama dengan nol ( ε ), maka a∧b = ε . 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, y ∈Rmin berlaku x≤y⇒f(x) = x⊗ 10 = x + 5 ≤y + 10 = y⊗ 10 = f(y)
Contoh 22. Pada contoh 20 di atas, f merupakan pemetaan residuated , sebab untuk setiap
y∈Rmin, {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#οf≥I ( 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 xjh ≤xjk 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 : (⇐)
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
.
KESIMPULANBerdasarkan 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
=
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