MASALAH VEKTOR EIGEN MATRIKS INVERS MONGE DI ALJABAR MAX-PLUS

Transkripsi

1 MASALAH VEKTOR EIGEN MATRIKS INVERS MONGE DI ALJABAR MAX-PLUS Farida Suwaibah, Subiono, Mahmud Yunus Jurusan Matematika FMIPA Institut Teknologi Sepuluh Nopember Surabaya,, ABSTRAK Pada penelitian ini akan dibahas masalah nilai eigen dan vektor eigen dari matriks invers Monge di Aljabar Max-Plus. Suatu matriks disebut matriks Monge jika entri-entrinya memenuhi:, untuk semua dan. Sedangkan matriks invers Monge atau sering juga disebut sebagai matriks anti Monge adalah matriks yang entri-entrinya memenuhi:, untuk semua dan. Dalam paper ini dibahas tentang path monoton. Dengan menggunakan sifat path yang monoton selanjutnya ditentukan matriks yang akan berguna dalam penentuan vektor eigen matriks invers Monge. Pada akhir pembahasan akan diterapkan satu Algoritma untuk mendapatkan nilai eigen dan vektor eigen dari matriks invers Monge Kata Kunci: Aljabar max- plus, Matriks invers Monge, Nilai eigen, Vektor eigen.. PENDAHULUAN Pada beberapa permasalahan, matriks digunakan untuk memodelkan suatu sistem dan sistem tersebut di selesaikan sehingga didapatkan solusinya. Dari sebuah matriks dapat ditentukan nilai eigen dan vektor eigen yang mana keduanya memainkan peranan yang sangat penting dalam suatu sistem. Peranan nilai eigen dan vektor eigen di Aljabar Max-Plus diantaranya menggambarkan kestabilan sistem dan menganalisis kedinamikan suatu sistem. Sebagai contoh adalah sistem produksi sederhana yang bisa dilihat di Subiono (00) dan analisis kedinamikan sistem pada masalah penjadwalan flow shop di Nur Shofianah dan Subiono (008). Seperti pada matriks biasa, matriks invers Monge juga mempunyai nilai eigen dan vektor eigen. Banyak permasalahan yang diakui dapat diselesaikan dengan mudah jika melibatkan matriks Monge atau matriks invers Monge. (Aleksey A. Imaev, Robert P.Judd, 00). Sebagai contoh pada klas travelling salesmen problem (TSP) dengan cost matrix merupakan matriks invers Monge maka akan didapatkan rute terpendek dengan pola tertentu. Sebuah problem spectral pada matriks Monge dan matriks invers Monge di Aljabar Max-Plus telah dipelajari di Gavalec dan Plavka. Di Gavalec dan J.Plavka (00) ditunjukkan bahwa nilai eigen dari suatu matriks invers Monge yang diberikan dapat ditentukan dengan mengambil nilai maximum dari elemen-elemen pada diagonal utama. Sedangkan di Aleksey, A. Imaev (009) ditunjukkan peran path monoton dalam menentukan yang digunakan untuk mendapatkan vektor eigen di Aljabar Max-Plus. Selanjutnya diterapkan Algoritma, yang dipakai untuk menentukan vektor eigen matriks invers Monge di Aljabar Max-Plus. Pada penelitian ini akan dibahas mengenai permasalahan yang diberikan oleh Aleksey A. Imaev dan Robert P. Judd yaitu : bagaimana menentukan vektor eigen matriks invers Monge di Aljabar Max-Plus dengan menerapkan satu algoritma.. ALJABAR MAX-PLUS. Aljabar max-plus merupakan contoh struktur aljabar yang disebut dioid (semiring idempotent). Aljabar max-plus adalah Himpunan dengan operasi dan yang dinyatakan dengan M-

2 Adapun struktur Aljabar dari, dimana dengan dan. dijelaskan dalam definisi berikut: Definisi. Struktur Aljabar (Bacelli, dkk, 99) Simbol menyatakan himpunan yang mempunyai dua operasi biner yaitu maksi mum yang dinotasikan dengan dan penjumlahan yang dinotasikan dengan. Sedemikian hingga untuk setiap berlaku : dan Pada operasi mempunyai elemen netral, karena untuk setiap berlaku: dan operasi mempunyai elemen satuan, karena. Himpunan semua matriks ukuran di Aljabar Max-Plus dinyatakan dengan. Dengan cara yang sama pada aljabar biasa, elemen pada matriks baris ke kolom ke ditulis, dimana dan. Sebagaimana biasa Matriks dapat ditulis sebagai: Operasi pada matriks adalah penjumlahan dan perkalian, seperti yang dijelaskan berikut ini: Penjumlahan matriks dinotasikan dengan dan didefinisikan sebagai:, dengan dan. Adapun perkalian Skalar dengan matriks, didefinisikan oleh =. Sedangkan Perkalian Matriks dengan Matriks, didefinisikan sebagai:, dan. Suatu matriks dapat direpresentasikan ke dalam bentuk graf dan sebaliknya dari suatu graf dapat dinyatakan ke dalam bentuk suatu matriks. dimana elemen-elemen matriks merupakan bobot busur dari graph, seperti disebutkan dalam defnisi berikut: Definisi. Communication Graph (Aleksey Imaev, 009) Untuk sebarang matriks dapat dikaitkan dengan sebuah graph ( yang dinotasikan dengan dan disebut dengan communication graph pada. mempunyai node dengan. Untuk sebarang dua node ada sebuah busur dengan bobot jika hanya jika Communication graph dinotasikan dengan Sebuah path di dapat dinyatakan sebagai urutan dari busur-busurnya yaitu : atau sebagai urutan nodenya yaitu: Suatu path dikatakan elementer jika tidak ada node terjadi dua kali. Sedangkan suatu sirkuit adalah suatu path dengan atau disebut path elementer tertutup. Dan suatu sirkuit yang mempunyai bobot rata-rata maksimum disebut sirkuit kritis. Pengertian panjang, bobot dan bobot rata-rata untuk suatu sirkuit sama seperti path. (Subiono, 00) M-

3 Panjang suatu path adalah banyaknya busur dalam suatu path yang dinyatakan dengan, sedangkan bobot dari suatu path dinyatakan dengan, yaitu jumlah bobot dari seluruh busur pada suatu path. Sedangkan bobot rata-rata dari path adalah. Suatu graph dikatakan strongly connected jika untuk sebarang dua node ada suatu path dari ke. Dan suatu matrik dikatakan irreducible jika communication graphnya adalah strongly connected. Selanjutnya nilai eigen dan vektor eigen dalam Aljabar Max-Plus diberikan melalui definisi sebagai berikut: Definisi. ( Aleksey, A.Imaev, 009) Penentuan suatu nilai dan suatu vektor yang memuat paling sedikit satu elemen berhingga sedemikian hingga memenuhi disebut suatu eigenproblem dari. Maka disebut nilai eigen dan adalah vektor eigen yang bersesuaian dengan nilai eigen. Interpretasi grafis nilai eigen dari matriks irreducible adalah sirkuit elemnter di yang mempunyai bobot rata-rata maksimum, atau dengan kata lain:, () dimana merupakan himpunan sirkuit elementer di. Selanjutnya, untuk sebarang didefinisikan beberapa hal sebagai berikut: A A,... A k A ( k )... k A k k. MATRIKS INVERS MONGE Definisi 4. (Aleksey, A.Imaev, 009) Suatu matriks berukuran disebut matriks Monge jika dan hanya jika memenuhi:, untuk () dan disebut matriks invers Monge jika memenuhi: untuk () Di Aljabar Max-Plus, suatu matriks disebut matriks invers Monge jika entri-entrinya memenuhi: Untuk mengetahui suatu matriks ukuran memenuhi matriks invers Monge atau matriks Monge, yaitu dengan memeriksa disetiap submatrik yang berukuran apakah memenuhi pertidaksamaan () atau pertidaksamaan ( ) (Gerhard J. Woeginger, 006). Pertidaksamaan () atau () berlaku untuk baris dan kolom yang berdekatan. Contoh : Matriks dengan ukuran, yaitu: M-

4 Ada 9 submatriks ukuran ( tersebut memenuhi (), yaitu: yang dapat diperiksa apakah masing-masing submatriks,,. PATH MONOTON Pada bagian ini akan dijelaskan pengertian suatu path monoton melalui satu definisi, dan beberapa contoh. Dari pengertian path yang monoton dapat di gunakan untuk menentukan dengan merupakan matriks invers Monge. Definisi 4.(Aleksey. A.Imaev, 009) Diberikan matriks dengan graf dari matriks adalah, selanjutnya di misalkan suatu path dalam yaitu:, Titik disebut sebagai puncak, jika dan. Sedangkan titik disebut sebagai lembah, jika dan Definisi 5. (Aleksey. A.Imaev, 009, hal 97) Suatu path elementer atau sirkuit elementer dalam graf dikatakan monoton, jika dalam path tersebut tidak terdapat puncak atau lembah. Dari definisi di atas, berikutnya diturunkan satu Teorema untuk mendapatkan matriks Teorema. (Aleksey, A.Imaev, 009) Misalkan merupakan matriks invers Monge dengan, maka: Dimana menyatakan himpunan semua path mono di dari titik ke Contoh : Diberikan matriks Matriks merupakan matriks invers Monge yang irreducible. Akan ditentukan matriks dengan memperhatikan path yang monoton di Pertama, merepresentasi matriks ke graf sebagai berikut: Gambar. Graf M-4

5 Seperti yang telah disebutkan pada bagian sebelumnya, bahwa eigenvalue untuk suatu matriks sebarang di Aljabar Max-Plus diperoleh dengan menentukan bobot rata-rata maksimum dari sebarang sirkuit di graf Adapun bobot rata-rata dari sebarang sirkuit di graf diberikan pada tabel berikut ini: Tabel (). Tabel sirkuit elementer dari Gambar. Cirkuit Panjang Bobot Bobot rata-rata Berdasarkan Tabel () di atas, nilai maksimum bobot rata-rata adalah 8, maka eigenvalue dari adalah 8. dan didapatkan yaitu: Selanjutnya untuk memperoleh dapat dilakukan dengan memperhatikan path mono dari Terlebih dahulu dibuat graf representasi dari yang ditunjukkan pada gambar berikut: Gambar. Graf Adapun path mono dari graf matriks diberikan pada tabel berikut: M-5

6 Tabel (). Tabel path monoton dari Gambar. Path Mono dari Panjang Bobot node ke node path mono path mono Bobot maksimum dari node ke node 0 0 Berdasarkan Tabel () diatas, diperoleh matriks 4. Eigenvalue dan Eigenvektor Matriks Invers Monge Matriks invers Monge seperti halnya matriks biasa juga mempunyai nilai eigen dan vektor eigen. Misalkan dan memenuhi matriks invers Monge maka nilai eigen dari yang dinotasikan dengan merupakan nilai maksimum dari elemen-elemen pada baris ke kolom ke, sebagaimna dijelaskan dalam teorema berikut: Teorema(): (Martin Gavalec, dkk, 00). Jika memenuhi matriks invers Monge maka: max in Sedangkan eigenvector dari matriks invers Monge diberikan melalui definisi berikut: Definisi 6. (Aleksey, A Imaev, 009, hal 0) Misalkan dimana adalah eigenvalue dari dan i misalkan merupakan bilangan bulat sedemikian hingga maka vektor kolom ke dari adalah eigenvector matriks dan, dengan kata lain: n Dari definisi diatas, eigenvector dari suatu matriks dapat ditentukan dengan memperhatikan kolom ke dari matriks yang memenuhi. Berikut ini diberikan satu teorema yang menjelaskan tentang suatu matriks invers Monge yang irreducible dengan. Teorema. (Aleksey, A.Imaev, 009) Misalkan Matriks irreducible dengan dan memenuhi matriks invers Monge, Maka:, untuk, M-6

7 i k j j k j untuk untuk Contoh : Dari Contoh telah didapatkan matriks. Berdasarkan Definisi 6 maka vektor eigen dari matriks adalah:. Selanjutnya, dalam menentukan vektor eigen matriks invers Monge di Aljabar Max-Plus diberikan Algoritma sebagai berikut: Algoritma Input : suatu matriks invers Monge irreducible Output: Eigenvalue dan eigenvector dari n : i : : Tentukan, sedemikian hingga 4: 5: 6: 7: for to do l 8: k c 9: end for 0: for to do c : k l : end for Contoh 4. Misalkan matriks invers Monge pada Contoh di atas, akan ditentukan eigenvalue dan eigenvector dari matriks. Karena matriks memenuhi matriks invers Monge maka dengan menggunakan Teorema () diperoleh eigenvalue dari adalah : i Dari Contoh diperoleh matriks, sehingga yang memenuhi adalah. Selanjutnya ditentukan eigenvector dari dengan menerapkan Algoritma di atas, melalui tahapan-tahapan sebagai berikut: Untuk, :, maka diperoleh, :, maka diperoleh Untuk M-7

8 l : k c, diperoleh: k Sehingga eigenvector dari adalah:. Hasil perhitungan dari menerapkan Algoritma ( ) di atas apabila di perhatikan menyatakan kolom ke- dari matriks 5. Kesimpulan. Vektor eigen di Aljabar Max-Plus memainkan peran penting dalam mempelajari perilaku steady state dari Sistem Event Diskret Deterministic Cyclic.. Path monoton memainkan peran dalam menentukan vektor eigen matriks invers Monge di Aljabar Max-Plus sehingga:, dimana yang memenuhi. Selanjutnya untuk mendapatkan vektor eigen digunakan Algoritma. M-8

9 6. DAFTAR PUSTAKA [] Baccelli, F., Cohen, G., Olsder, G.J. dan Quadrat, J.P. (99), Synchronization and Linearity An Algebra for Discrete Event Systems, John Wiley & Sons, New York. [] Gavalec, M.,Plavka J, An algorithm for maximum cycle mean of Monge matrices in Max-Algebra, Discrete Applied Mathematics 7(00) [] Imaev, A.A. (009). Hierarchical Modeling of Manufacturing Systems Using Max-Plus Algebra, Disertasi P.Hd,(4pp), Ohio University, Ohio. [4] Imaev, A.A., Judd, P.R, (00), Computing an eigenvector of an inverse Monge matrix in Max-Plus Algebra, Discrete Applied Mathematics 58 (00) Ohio university, Athens, OH 4570, United States. (70-707). [5] Subiono, (00), Te rapan Aljabar Max-Plus pada Sistem Produksi Sederhana serta Simulasinya dengan Menggunakan Matlab, Jurusan Matematika FMIPA ITS Surabaya [6] Subiono, (00), Aljabar Max-Plus Dan Terapannya, versi.00, Jurusan Matematika FMIPA ITS, Surabaya [7] Woeginger, G.J, (006), Some Problem Around Travelling Salesman Problem, T he Algorithmics Column by Gerhard J Woeginger, Departement of Mathematematics and Computer Science Eindhoven University of Technology M-9