LAPORAN AKHIR PENELITIAN DOSEN INTERNAL PT
Transcript of LAPORAN AKHIR PENELITIAN DOSEN INTERNAL PT
LAPORAN AKHIR
PENELITIAN DOSEN INTERNAL PT
NILAI EIGEN, VEKTOR EIGEN, DAN EIGENMODE DARI
MATRIKS TEREDUKSI DAN APLIKASINYA
EIGENVALUE, EIGENVECTOR, AND EIGENMODE OF REDUCIBLE
MATRIX AND ITS APPLICATION
Pelaksana:
Himmatul Mursyidah, S.Si., M.Si., NIDN: 0711029101
Dr. Subiono, M.S., NIDN: 0011045706
UNIVERSITAS MUHAMMADIYAH SURABAYA
2017
Judul
Peneliti/Pelal<sanaNama Ketua :
Perguruan Tinggi ..
NIDN :
Jabatan Fungsional :
Program Studi :
Alamat surel (e-mail) :
Nama Anggota (l) :
Peryuruan Tinggi :
MDN :
Jabatan Fungsional :
Prograrn Studi :
Nama Mahasiswa (1) :
Perguruan Tinggi :
Program Studi :
Nama Mahasiswa (2) : Cruschi tal-evyana ZylvyP_erguruan Tinggi : Universitas Muhammadiyah SurabayaNIM : 20141112002Program Studi : pendidikan Matemalika
Institusi Mitra (Jika ada)Nama Institusi Mitra : -Alamat : -PenanggungJawab : -Tahun Pelaksanaan : 2016 -2017Biaya Keseluruhan : Rp 10.000.000
ul,Keguruan Ilmu Pendidikan
HALAMAN PENGESAHAN
Nilai Eigen, Vehor Eigen, dan Eigenmode dari MatriksTereduksi dan Aplikasinya @igmvalue, Eigenvector, andEigenmode oJ-Reducible Matrix and lts Apptication)
Himmatul Mursyidah, S.Si., M.Si.Universitas Muhammadilah Surabaya071 1029101
Pendidikan Matematika085646626056himmatul.pen&[email protected]
Dr. Subiono, M.S.In-stitut Teknologi Sepuluh Nopember Surabaya001 1045706Lektor KepalaMatematika
Hadi HariantoUniversitas Muhammadiyah Surabaya20131t12020Pendidikan Matematika
endarwati, , M.Pd.)012.02.t .t97 s.12.06t
Surabaya, 19 Juni 2017
Ketua,
(Himmatul Mursfldah, S.Si , M.Si.)NIK. 012.02.1. | 991.16.208
UMSurabaya,
, M.Pd.)
e
o
yetujui,
z?
Ina s
Men
1965.90 004
ll
iii
RINGKASAN
. Terdapat tiga komponen penting dari matriks yang harus diketahui dan dipahami
dalam proses menyelesaikan masalah penjadwalan menggunakan aljabar max-plus.
Komponen tersebut meliputi nilai eigen, vektor eigen, dan eigenmode. Hasil penelitian
menunjukkan bahwa matriks tereduksi tidak harus memiliki nilai eigen. Jika matriks
memiliki nilai eigen, maka nilai eigen tidak harus tunggal dengan nilai-nilai yang
berhingga. Adapun vektor eigen yang bersesuaian dengan nilai eigen dari matriks tereduksi
juga tidak harus tunggal, dan memuat paling tidak satu elemen berhingga. Lebih lanjut,
eigenmode dari matriks tereduksi regular tidak tunggal, dengan semua elemen berhingga.
iv
KATA PENGANTAR
Puji syukur kehadirat Allah SWT yang telah memberikan rahmat, nikmat, dan
petunjuk-Nya sehingga laporan akhir Penelitian Dosen Internal PT yang dibiayai oleh
Universitas Muhammadiyah Surabaya dengan judul “Nilai Eigen, Vektor Eigen, dan
Eigenmode dari Matriks Tereduksi dan Aplikasinya (Eigenvalue, Eigenvector, and
Eigenmode of Reducible Matrix and Its Application)”, dapat terselesaikan dengan baik dan
lancar tanpa ada halangan suatu apapun. Meskipun berada pada home base pendidikan
matematika Universitas Muhammadiyah Surabaya (UMSurabaya), peneliti bersyukur
mendapat dukungan dari pihak universitas sehingga dapat melakukan penelitian pada
lingkup matematika murni dan aplikasinya bekerjasama dengan peneliti dari institusi lain.
Pada penelitian ini, peneliti juga dibantu oleh mahasiswa pendidikan matematika yang
mengambil kosentrasi matematika murni dan ilmu komputer.
Luaran dari penelitian ini adalah berupa hasil kajian teori, contoh pengaplikasian
teori matematika terkait aljabar max-plus pada kehidupan sehari-hari yang ditulis dalam
karya ilmiah (artikel) dan dipublikasikan dalam seminar internasional dan prosiding
international terindeks bereputasi. Tersusunnya Laporan akhir ini tidak terlepas dari
bantuan berbagai pihak, terutama Lembaga Penelitian dan Pengabdian Masyarakat (LPPM)
UMSurabaya dan semua pihak yang tidak dapat disebutkan satu persatu, kiranya penulis
sampaikan terima kasih.
Menyadari bahwa seiring perkembangan zaman, sebuah karya akan mengalami
perkembangan. Penulis selalu mengharapkan kritik dan saran yang dapat memberikan
motivasi bagi peneliti. Pembaca dapat menjadikan artikel yang telah disusun sebagai bahan
kajian maupun sebagai bahan acuan daftar pustaka.
v
DAFTAR ISI
HALAMAN SAMPUL ....................................................................................................... i
HALAMAN PENGESAHAN ............................................................................................ ii
RINGKASAN ..................................................................................................................... iii
KATA PENGANTAR ........................................................................................................ iv
DAFTAR ISI ...................................................................................................................... v
BAB I PENDAHULUAN ................................................................................................. 1
A. Latar Belakang ........................................................................................................ 1
B. Fokus Penelitian ...................................................................................................... 2
BAB II TINJAUAN PUSTAKA ....................................................................................... 3
A. Aljabar Max-Plus ..................................................................................................... 3
B. Graf dalam Aljabar Max-Plus ................................................................................. 4
C. Nilai Eigen, Vektor Eigen, dan Eigenmode dalam Aljabar Max-Plus .................... 6
D. Algoritma untuk Menentukan Nilai Eigen, Vektor Eigen, dan Eigenmode dalam
Aljabar Max-Plus .................................................................................................... 7
BAB III TUJUAN DAN MANFAAT PENELITIAN .................................................... 9
A. Tujuan Penelitian .................................................................................................... 9
B. Manfaat Penelitian ................................................................................................... 9
BAB IV METODE PENELITIAN .................................................................................. 10
BAB V HASIL DAN LUARAN YANG DICAPAI ........................................................ 12
A. Hasil yang Dicapai .................................................................................................. 12
B. Luaran yang Dicapai ............................................................................................... 12
BAB V KESIMPULAN DAN SARAN ............................................................................ 13
A. Kesimpulan .............................................................................................................. 13
B. Saran ....................................................................................................................... 13
DAFTAR PUSTAKA ......................................................................................................... 14
LAMPIRAN ....................................................................................................................... 15
Lampiran 1 Artikel yang Telah Diseminarkan.............................................................. 15
Lampiran 2 Sertifikat Seminar International................................................................. 26
Lampiran 3 Copyright Transfer Agreement Artikel...................................................... 27
1
BAB I
PENDAHULUAN
A. Latar Belakang
Salah satu aplikasi aljabar max-plus adalah untuk menyelesaikan masalah
sistem penjadwalan. Suatu sistem dapat dipandang sebagai kumpulan dari
beberapa sumber yang dapat digunakan oleh banyak pengguna untuk mencapai
tujuan bersama (Subiono, 2012). Aktivitas dari masing-masing sumber dapat
ditentukan awal dan akhirnya dengan menggunakan aljabar max-plus, sehingga
dapat dilakukan sinkronisasi dan konkurensi untuk berbagai sumber pada suatu
sistem.
Aplikasi aljabar max-plus berkaitan dengan suatu graf berarah 𝒢 = 𝒩,𝒟 ,
dengan 𝒩 adalah suatu himpunan dari seluruh titik dan 𝒟 adalah himpunan dari
beberapa pasangan terurut (tidak harus berbeda) dari titik-titik, yang selanjutnya
disebut arc. Dalam suatu sistem, sumber dapat dipandang sebagai titik, dan proses
perpindahan dari satu sumber ke sumber yang lain dapat dipandang sebagai suatu
arc. Untuk melakukan sinkronisasi dan konkurensi sumber-sumber yang ada,
perlu ditentukan lama dari masing-masing proses. Lebih lanjut, lama dari masing-
masing proses dapat disebut sebagai bobot dari arc. Terdapat dua jenis graf dalam
aljabar max-plus, yaitu graf terhubung kuat dan graf tidak terhubung kuat. Suatu
graf dikatakan terhubung kuat jika untuk setiap titik terhubung (communicate)
satu sama lain. Matriks representasi dari suatu graf terhubung kuat disebut matriks
tidak tereduksi (Heidergott, Olsder, & van der Woude, 2006). Sementara itu,
ketika terdapat suatu titik yang tidak terhubung (tidak communicate) dengan titik
lain, graf tersebut merupakan graf tidak terhubung kuat dan matriks
representasinya disebut sebagai matriks tereduksi.
Dalam proses menyelesaikan masalah penjadwalan dengan menggunakan
aljabar max-plus, terdapat komponen-komponen penting yang berhubungan
dengan matriks, yaitu nilai eigen, vektor eigen, dan eigenmode. Nilai eigen
merepresentasikan keperiodikan dari suatu sistem. Vektor eigen
merepresentasikan waktu awal untuk setiap sumber dari suatu sistem. Adapun
eigenmode menunjukkan perilaku periodik dari suatu sistem.
2
Selama ini, penelitian mengenai nilai eigen, vektor eigen, dan eigenmode
dalam aljabar max-plus banyak terfokus pada algoritma untuk memperoleh
komponen-komponen tersebut. Hal tersebut dapat dilihat dalam (Konigsberg,
2009) dan (Zuliyanto, Siswanto, & Muslich, 2012), keduanya membahas tentang
hasil penelitian algoritma eigenmode tergeneralisasi untuk matriks tereduksi
regular dalam aljabar max-plus. Sedangkan untuk mengimplementasikan
algoritma tersebut, perlu memahami karakter tiga komponen sesuai dengan jenis
representasi matriks terlebih dahulu.
Berdasarkan peran penting nilai eigen, vektor eigen, dan eigenmode, serta
penelitian yang telah dilakukan. Perlu dilakukan penelitian mengenai karakterisasi
nilai eigen, vektor eigen, dan metode eigen terutama untuk matriks tereduksi.
Selain karakterisasi dari ketiga komponen, juga perlu dilakukan penelitian
mengenai contoh aplikasi penggunaan hasil karakterisasi ketiga komponen
tersebut dalam menyelesaikan permasalahan pada kehidupan sehari-sehari, salah
satunya pada masalah antrian.
B. Fokus Penelitian
Fokus dalam penelitian ini adalah melakukan karakterisasi nilai eigen, vektor
eigen, dan eigenmode dari matriks tereduksi dalam aljabar max-plus. Selanjutnya,
dari hasil karakterisasi tersebut dilakukan penelitian kegunaan hasil karakterisasi
dalam menyelesaikan permasalahan antrian pada kehidupan sehari-hari.
3
BAB II
TINJAUAN PUSTAKA
A. Aljabar Max-Plus
Pada bagian ini diberikan konsep yang berhubungan dengan aljabar max-
plus, yang meliputi definisi, operasi, dan sifat-sifat dari aljabar max-plus, graf
dalam aljabar max-plus, nilai eigen, vektor eigen, dan eigenmode dalam alajabr
max-plus, serta algoritma untuk menentukan ketiga komponen tersebut.
Definisi 1 (Baccelli, Cohen, & Olsder, 2001) Aljabar max-plus adalah suatu
himpunan tidak kosong ℝε ≔ ℝ∪ ε dengan ℝ adalah himpunan bilagan
real, ε ≔ −∞, dan dua operasi biner didefinisikan sebagai berikut:
1. Operasi ⊕, yaitu ∀𝑥, 𝑦 ∈ ℝε memenuhi
𝑥 ⊕ 𝑦 ≔ max 𝑥 , 𝑦
2. Operasi ⊗, yaitu ∀𝑥, 𝑦 ∈ ℝε memenuhi
𝑥 ⊗ 𝑦 ≔ 𝑥 + 𝑦.
Aljabar max-plus dinotasikan dengan ℝε ,⊕,⊗ atau secara ringkas dapat
ditulis ℝmax adalah semiring (Subiono, 2012). Himpunan matriks berukuran
𝑛 × 𝑚 pada ℝmax dinotasikan dengan ℝmaxn×m . Suatu matriks pada ℝmax
n×m disebut
regular jika matriks tersebut memuat sedikitnya satu elemen berbeda dari ε untuk
setiap baris. Terdapat dua bentuk matriks dalam ℝmaxn×m yang harus dipahami, yaitu
matriks ℇ 𝑛, 𝑚 dan 𝐸 𝑛,𝑚 . Matriks ℇ 𝑛, 𝑚 adalah matriks berukuran 𝑛 × 𝑚
dengan seluruh elemen-elemennya sama dengan ε. Adapun matriks 𝐸 𝑛, 𝑚
adalah matriks berukuran 𝑛 × 𝑚 dengan
𝐸 𝑛,𝑚 𝑖 ,𝑗 ≔ 𝑒 untuk 𝑖 = 𝑗,ε untuk 𝑖 ≠ 𝑗.
dan 𝑒 = 0. Jika 𝑚 = 𝑛, maka 𝐸 adalah suatu matriks persegi dan disebut sebagai
matriks identitas.
Elemen-elemen dari ℝmaxn ≔ ℝmax
n×1 disebut vektor. Elemen ke-𝑗 dari suatu
vektor 𝐱 ∈ ℝmaxn dinotasikan dengan 𝑥𝑗 atau dapat ditulis 𝐱 j. Suatu vektor pada
4
ℝmaxn yang semua elemennya sama dengan 𝑒 disebut vektor satuan dan
dinotasikan dengan 𝐮.
B. Graf dalam Aljabar Max-Plus
Aplikasi aljabar max-plus sangat erat kaitannya dengan graf berarah yang
dinotasikan 𝒢 = 𝒩, 𝒟 , dengan 𝒩 adalah himpunan seluruh titik dan 𝒟 adalah
himpunan beberapa pasangan terurut titik-titik (tidak harus berbeda). Pasangan
terurut titik-titik pada graf disebut arc. Oleh karena itu, jika titik 𝑖, 𝑗 ∈ 𝒩 maka
arc dari 𝑖 ke 𝑗 dinotasikan dengan 𝑗, 𝑖 . Suatu graf dapat direpresentasikan
sebagai suatu matriks persegi dalam aljabar max-plus. Graf yang berkorespondesi
dengan suatu matriks persegi 𝐴 pada ℝmax disebut graf komunikasi
(communication graph), dan dinotasikan dengan 𝒢 𝐴 . Misal diberikan 𝐴 ∈
ℝmaxn×n , elemen 𝑎𝑖,𝑗 ≠ ε jika terdapat suatu arc dari titik 𝑗 ke titik 𝑖 pada 𝒢 𝐴 .
Istilah lintasan (path) dalam suatu graf didefinisikan sebagai suatu barisan
arc yang merepresentasikan keterhubungan antara suatu titik dengan titik yang
lain. Suatu lintasan disebut elementer jika tidak terdapat titik yang muncul lebih
dari satu kali pada lintasan tersebut. Suatu sirkuit adalah suatu lintasan elementer
tertutup, yang mempunyai suatu titik asal sama dengan titik akhir. Diberikan suatu
lintasan 𝑝, bobot dari lintasan tersebut dinotasikan dengan 𝑝 𝑤 adalah jumlahan
dari bobot untuk setiap arc pada lintasan 𝑝. Panjang lintasan 𝑝 adalah jumlah arc
pada lintasan tersebut., yang dinotasikan dengan 𝑝 𝑙 . Bobot rata-rata dari lintasan
𝑝 adalah bobot dibagi dengan panjang lintasan.
Sirkuit rata-rata adalah bobot rata-rata dari suatu sirkuit. Suatu sirkuit yang
mempunyai sirkuit rata-rata maksimum disebut dengan sirkuit kritis. Graf kritis
dari 𝒢 𝐴 dinotasikan dengan 𝒢𝑐 𝐴 = 𝒩𝑐 𝐴 ,𝒟𝑐 𝐴 adalah suatu graf yang
terdiri himpunan titik dan arc pada sirkuit kritis dari 𝒢 𝐴 . Graf dan matriks
representasinya saling terkait satu sama lain. Kondisi dari suatu graf dapat
diketahui berdasarkan matriks representasinya, begitu pula sebaliknya. Sebagai
contoh, panjang lintasan dari suatu graf berkaitan dengan pangkat dari matriks
representasinya.
5
Teorema 2 (Heidergott, Olsder, & van der Woude, 2006) Misal 𝐴 ∈ ℝmaxn×n . Untuk
setiap 𝑘 ≥ 1 berlaku
𝐴⊗𝑘 𝑖 ,𝑗
= max 𝑝 𝑤 ∶ 𝑝 ∈ 𝑃 𝑗, 𝑖; 𝑘 ,
dengan 𝐴⊗𝑘 𝑖,𝑗
= ε pada kasus dengan 𝑃 𝑗, 𝑖; 𝑘 adalah kosong, yaitu ketika
tidak ada path dengan panjang 𝑘 dari 𝑖 ke 𝑗 dalam graf 𝒢 𝐴 .
Lebih lanjut, dapat didefinisikan matriks 𝐴+ dari Teorema 2, yaitu
𝐴+ ≔ 𝐴⊗𝑘
∞
𝑘=1
Matriks 𝐴⊗𝑘 berhenti untuk 𝑘 = 𝑛. Hal tersebut diberikan pada teorema berikut.
Teorema 3 (Subiono, 2012) Diberikan 𝐴 ∈ ℝmaxn×n sedemikian hingga untuk setiap
sirkuit pada graf 𝒢 𝐴 mempunyai bobot sirkuit rata-rata kurang dari sama
dengan 𝑒. Sehingga berlaku
𝐴+ ≔ 𝐴⊕𝐴⊗2 ⊕…⊕𝐴⊗𝑛 ∈ ℝmaxn×n
Terdapat dua jenis graf berdasarkan sifat keterhubungannya, yaitu graf
terhubung kuat dan tidak terhubung kuat. Sebelum diberikan definisi dari masing-
masing graf, diberikan terlebih dahulu penjelasan mengenai istilah keterjangkauan
dan communicate. Untuk setiap dua buah titik 𝑖, 𝑗 ∈ 𝒩, titik 𝑖 communicate
dengan titik 𝑗, dinotasikan dengan 𝑗𝐶𝑖, jika dan hanya jika 𝑖 = 𝑗 atau titik 𝑖
terjangkau dari titik 𝑗 dan titik 𝑗 terjangkau dari titik 𝑖. Relasi 𝐶 adalah relasi
ekuivalen pada 𝒩.
Suatu graf disebut terhubung kuat jika setiap titik dalam graf tersebut
communicate satu sama lain, yaitu untuk setiap 𝑖, 𝑗 ∈ 𝒩 memenuhi 𝑖𝐶𝑗. Suatu
matriks pada ℝmaxn×n yang merepresentasikan suatu graf terhubung kuat disebut
matriks tak tereduksi. Lebih lanjut, matrik tak tereduksi adalah matriks yang tidak
dapat dikontruksi menjadi matriks segitiga atas.
Jika terdapat suatu titik yang tidak communicate dengan titik lain dalam
suatu graf, maka graf tersebut disebut graf tidak terhubung kuat. Suatu matriks
pada ℝmaxn×n yang merepresentasikan graf tidak terhubung kuat disebut matriks
6
tereduksi. Lebih lanjut, matriks tereduksi adalah matriks yang dapat dibentuk
menjadi matriks blok segitiga atas. Suatu matriks blok segitiga atas terdiri dari
matriks ℰ dan matriks tak tereduksi. Matriks blok segitiga atas merepresentasikan
graf tereduksi. Graf tereduksi adalah suatu hasil reduksi dari graf tidak terhubung
kuat.
C. Nilai Eigen, Vektor Eigen, dan Eigenmode dalam Aljabar Max-Plus
Dalam aplikasi aljabar max-plus terdapat tiga komponen penting yang
berhubungan dengan matriks. Tiga komponen tersebut adalah nilai eigen, vektor
eigen, dan eigenmode.
Definisi 4 (Heidergott, Olsder, & van der Woude, 2006) Diberikan suatu matriks
persegi 𝐴 ∈ ℝmaxn×n . Jika 𝜇 ∈ ℝmax adalah suatu scalar dan 𝐯 ∈ ℝmax
n adalah
suatu vektor yang memuat minimal satu elemen berhingga sedemikian hingga
𝐴⊗ 𝐯 = 𝜇 ⊗ 𝐯,
maka 𝜇 disebut nilai eigen dari matriks 𝐴 dan 𝐯 merupakan vektor eigen dari
matriks 𝐴 yang bersesuaian dengan nilai eigen 𝜇.
Misal 𝐶 𝐴 adalah himpunan dari semua sirkuit pada 𝒢 𝐴 . Sirkuit rata-rata
maksimum dinotasikan dengan 𝜆 didefinisikan sebagai
𝜆 ≔max 𝑃 𝑤 𝑃 ℓ
𝑃∈𝐶(𝐴)
Jika rata-rata maksimum dari graf 𝒢 𝐴 yaitu 𝜆 mempunyai suatu nilai berhingga,
maka 𝜆 adalah nilai eigen dari matriks 𝐴. Sedangkan kolom 𝐴𝜆∗ .,𝜂 adalah vektor
eigen dari matriks 𝐴 yang berasosiasi/bersesuaian dengan nilai eigen 𝜆.
Pernyataan tersebut sesuai dengan Lemma 5.
Lemma 5 (Heidergott, Olsder, & van der Woude, 2006) Diberikan graf
komunikasi 𝒢 𝐴 dari matriks 𝐴 ∈ ℝmaxn×n yang mempunyai bobot sirkuit rata-rata
maksimal berhingga 𝜆. Skalar 𝜆 adalah suatu nilai eigen dari 𝐴, dan kolom
𝐴𝜆∗ .,𝜂 adalah vektor eigen dari 𝐴 yang bersesuaian dengan 𝜆, untuk setiap titik
𝜂 ∈ 𝒢𝐶 𝐴 .
7
Pada proses penyelesaian masalah penjadwalan, sangat berkaitan dengan
upaya mendapatkan barisan 𝐱 𝑘 ∶ 𝑘 ∈ ℕ dari model persamaan linear berikut,
𝐱 𝑘 + 1 = 𝐴⊗ 𝐱 𝑘 , (1)
Untuk 𝑘 ≥ 0, dengan 𝐴 ∈ ℝmaxn×n dan 𝐱 0 = 𝐱0 ∈ ℝmax
n adalah kondisi awal.
Definisi dari eigenmode tergeneralisasi diberikan pada berikut.
Definisi 6 (Heidergott, Olsder, & van der Woude, 2006) Pasangan vektor
𝜂,𝐯 ∈ ℝn × ℝn disebut eigenmode tergeneralisasi dari matriks regular 𝐴 jika
untuk setiap 𝑘 ≥ 0
𝐴⊗ 𝑘 × 𝜂 + 𝐯 = 𝑘 + 1 × 𝜂 + 𝐯.
Perlu diketahui, eigenmode tergeneralisasi selanjutnya disebut sebagai eigenmode.
D. Algoritma untuk Menentukan Nilai Eigen, Vektor Eigen, dan Eigenmode
dalam Aljabar Max-Plus
Terdapat algoritma untuk mendapatkan nilai eigen, vektor eigen dan
eigenmode dari matriks tereduksi reguler.
Algoritma 7 Algoritma Power (Subiono, 2012)
1. Ambil sebarang vektor awal 𝐱 0 ≠ 𝐮 ε .
2. Iterasi persamaan (1) sampai terdapat bilangan-bilangan bulat 𝑝 > 𝑞 ≥ 0
dan suatu bilangan real 𝑐, sedemikian hingga suatu bentuk periodic
terpenuhi, yaitu
𝐱 𝑝 = 𝑐 ⊗ 𝐱 𝑞 .
3. Hitung nilai eigen
𝜆 =𝑐
𝑝 − 𝑞.
4. Hitung vektor eigen
𝐯 = 𝜆⊗ 𝑝−𝑞−𝑖 ⊗𝐱 𝑞 + 𝑖 − 1
𝑝−𝑞
𝑖=1
.
8
Algoritma 8 Algoritma Eigenmode Tergeneralisasi untuk Matriks Tereduksi
Reguler (Konigsberg, 2009)
1. Ambil matriks tereduksi regular 𝐴 ∈ ℝmaxn×n .
2. Tentukan suatu matriks blok segitiga atas dari matriks 𝐴.
3. Hitung nilai eigen dan vektor eigen matriks blok pada diagonal utama
dari matriks blok segitiga atas. Misal 𝐴𝑞 ,𝑞 , hitung nilai eigen 𝜆𝑞 =
𝜆 𝐴𝑞 ,𝑞 dan vektor eigen 𝐯𝑞 yang bersesuaian dengan nilai eigen.
Kemudian, ambil 𝜉𝑞 = 𝜆𝑞 dan 𝑖 = 𝑞.
4. Hitung nilai eigen 𝜆 𝑖−1 dari matriks 𝐴 𝑖−1 , 𝑖−1 .
5. Jika 𝜆 𝑖−1 > 𝜉𝑖 lanjutkan langkah 6. Jika tidak, lanjutkan langkah 7.
6. Tentukan 𝜉𝑖−1 = 𝜆𝑖−1 dan hitung vektor 𝐯𝑖−1 sesuai persamaan berikut:
𝜉𝑖−1 ⊗ 𝐯𝑖−1 = 𝐴 𝑖−1 ,(𝑖−1) ⊗𝐯(𝑖−1) ⊕ 𝐴 𝑖−1 ,𝑗 ⊗𝐯𝑗 .
𝑞
𝑗=1
Selanjutnya, lakukan langkah 8.
7. Tentukan 𝜉𝑖−1 = 𝜆𝑖 dan hitung vektor 𝐯𝑖−1 sesuai persamaan berikut:
𝜆𝑖 ⊗𝐯𝑖−1 = 𝐴 𝑖−1 ,(𝑖−1) ⊗𝐯(𝑖−1) ⊕ 𝐴 𝑖−1 ,𝑗 ⊗𝐯𝑗 .
𝑞
𝑗=1
Selanjutnya, lakukan langkah 8.
8. Jika 𝑖 − 1 ≠ 1 kembali ke langkah 4. Jika tidak, selesai.
9
BAB III
TUJUAN DAN MANFAAT PENELITIAN
A. Tujuan Penelitian
Tujuan dilakukan penelitian ini meliputi:
1. Mendapatkan karakterisasi ketiga komponen penting, yaitu nilai eigen, vektor
eigen, dan eigenmode dari matriks tereduksi dalam aljabar max-plus sehingga
mempermudah pengaplikasiannya dalam menyelesaikan masalah antrian di
kehidupan sehari-hari.
2. Memberikan contoh kegunaan hasil karakterisasi nilai eigen, vektor eigen, dan
eigenmode dari matriks tereduksi dalam aljabar max-plus untuk
menyelesaikan masalah antrian, dan dituliskan dalam artikel ilmiah.
B. Manfaat Penelitian
Manfaat penelitian yang dilakukan adalah
1. Bagi peneliti, dapat menambah wawasan dan pengalaman peneliti dalam
proses karakterisasi sehingga lebih lanjut dapat dilakukan penelitian dalam
menentukan karakteristik nilai eigen, vektor eigen, dan eigenmode dari
matriks tereduksi dalam aljabar max-plus.
2. Bagi pengembangan ilmu, hasil penelitian ini dapat dituliskan dalam artikel
yang dipublikasikan sehingga ke depannya dapat dimanfaat peneliti lain untuk
menggunakan hasil karakterisasi ketiga komponen penting dalam
pengaplikasiannya untuk menyelesaikan masalah-masalah antrian dalam
kehidupan sehari-hari.
10
BAB IV
METODE PENELITIAN
Penelitian ini termasuk dalam jenis penelitian matematika murni sekaligus
terapan. Secara garis besar terdapat dua tahapan dalam penelitian ini, yaitu tahap
penelitian matematika murni berbasis studi literatur yakni melakukan karakterisasi
nilai eigen, vektor eigen, dan eigenmode dari matriks tereduksi dalam aljabar
max-plus berdasarkan teori-teori yang pernah ada. Berikutnya, dilakukan tahap
penelitian terapan, yakni dengan pengambilan data primer pada antrian
penggantian buku tabungan pada customer service suatu Bank X untuk
dimodelkan menggunakan aljabar max-plus. Detail tahapan penelitian, diberikan
pada Gambar 1.
Buku, Jurnal,
Prosiding
Mengumpulkan referensi
terkait nilai eigen, vektor
eigen, dan eigenmode dari
matriks tereduksi dalam
aljabar max-plus
Mulai
Karakterisasi nilai eigen,
vektor eigen, dan
eigenmode dari matriks
tereduksi dalam aljabar
max-plus
Hasil
karakterisasi
Observasi dan
pengambilan data
primer
Waktu kedatangan
pelanggan, waktu
pengambilan
antrian, waktu
servis teller, wak-
tu servis oleh
customer servis
Membuat model
Petri net Model Petri
net
11
Gambar 1. Tahapan Penelitian
Membentuk
persamaan
berdasarkan
model Petri net
Nilai eigen,
vektor eigen,
dan eigenmode
Penyelesaian
matriks tereduksi
Matriks
tereduksi
Kesimpulan Menarik
kesimpulan
Membuat artikel
dan diseminasi
Laporan
Menyusun
laporan
Selesai
Artikel
terdiseminasi/
Prosiding
12
BAB V
HASIL DAN LUARAN YANG DICAPAI
A. Hasil yang Dicapai
Hasil dari penelitian ini adalah
1. Diperoleh karakterisasi ketiga komponen penting sebagai berikut:
a. Suatu matriks tereduksi dalam aljabar max-plus tidak harus memiliki nilai
eigen. Jika matriks memiliki nilai eigen, maka nilai eigen tidak harus
tunggal dengan nilai-nilai yang berhingga.
b. Vektor eigen yang bersesuaian dengan nilai eigen dari matriks tereduksi
juga tidak harus tunggal, dan memuat paling tidak satu elemen berhingga.
c. Eigenmode dari matriks tereduksi regular tidak tunggal, dengan semua
elemen-elemennya berhingga.
2. Diberikan contoh kegunaan hasil karakterisasi nilai eigen, vektor eigen, dan
eigenmode dari matriks tereduksi dalam aljabar max-plus untuk
menyelesaikan masalah antrian layanan penggantian buku tabungan oleh
customer service pada suatu Bank X, dan dituliskan dalam artikel ilmiah.
B. Luaran yang Dicapai
Luaran yang berhasil dicapai sampai diselesaikan laporan ini sebagai
berikut:
1. Artikel ilmiah berbahasa inggris
2. Diseminasi artikel ilmiah pada International Conference on Mathematics:
Pure, Applied and Computation (ICoMPAC), “Empowering Engineering
Using Mathematics”, 23 November 2016 di Hotel Pullman Surabaya,
Indonesia.
13
BAB VI
KESIMPULAN DAN SARAN
A. KESIMPULAN
Penelitian ini berhasil sampai pada penyusunan dan diseminasi artikel
mengenai karakterisasi nilai eigen, vektor eigen, dan eigenmode dari matriks
tereduksi dalam aljabar max-plus, serta aplikasinya dalam menyelesaikan masalah
antrian di kehidupan sehari-hari. Adapun untuk prosiding terindeks bereputasi
masih sampai pada pengisian copyright transfer agreement, belum sampai pada
tahap publish.
B. SARAN
Dari hasil penelitian ini diharapkan dapat dikembangkan baik oleh peneliti
sendiri ke depannya maupun bagi peneliti-peneliti lain mengenai karakter dari
nilai eigen, vektor eigen, dan eigenmode dari matriks tereduksi dalam aljabar
max-plus. Selain itu, dapat diteliti lebih lanjut aplikasi karakterisasi yang sudah
diperole untuk menyelesaikan permasalahan lain selain antrian.
14
DAFTAR PUSTAKA
Baccelli, F., Cohen, G., & Olsder, J. G. (2001). Synchronization and Linearity, An
Algebra for Discrete Event System. New York: Wiley-Interscience.
Heidergott, B., Olsder, G. J., & van der Woude, J. (2006). Max Plus at Work,
Modelling and Analysis of Synchronized System: A Course on Max-Plus
Algebra and Its Application. United Kingdom: Princeton University.
Konigsberg, Z. R. (2009). A generalized eigenmode algorithm for reducible
reguler matrices over the max-plus algebra. Chinese Control and
Decision Conference (pp. 5598-5603). Guilin, China: IEEE.
Subiono. (2012). Aljabar Maxplus dan Terapannya. Surabaya: Jurusan
Matematika, Fakultas Matematika dan Ilmu Pengetahuan Alam, Institut
Teknologi Sepuluh Nopember Surabaya.
Zuliyanto, A., Siswanto, & Muslich. (2012). Algoritma eigenmode tergeneralisasi
untuk matriks tereduksi reguler di dalam aljabar max-plus. Seminar
Nasional Matematika (pp. 7-14). Surakarta: Universitas Sebelas Maret
Surakarta.
15
LAMPIRAN
Lampiran 1 Artikel yang Telah Diseminarkan
MAX-PLUS ALGEBRA
In this section, we give some concepts related to max-plus algebra, they are definition, operation, and the propertiesof max-plus algebra, graph in max-plus algebra, eigenvalues, eigenvectors, and eigenmode in max-plus algebra, andalgorithms to determine those three components.
Definition 1 [5] Max-plus algebra is non empty set Rε := R ∪ {ε} where R is the set of real numbers, ε := −∞,and two binary operations are defined as follows:
1. the operation ⊕, that is ∀x, y ∈ Rε satisfyx ⊕ y := max{x, y},
2. the operation ⊗, that is ∀x, y ∈ Rε satisfyx ⊗ y := x + y.
Max-plus algebra denoted by (Rε,⊕,⊗) or simply written Rmax is semiring [see 1]. The set of n × m matrices onRmax denoted by Rn×m
max . A matrix in Rn×mmax is called regular if it contains at least one element different from ε in each
row. There are two forms of matrix in Rn×mmax that need to be understood, they are matrix E(n,m) and E(n,m). Matrix
E(n,m) is n × m matrix where all elements equal to ε. While matrix E(n,m) is n × m matrix where
[E(n,m)]i, j :={
e untuk i = j,ε untuk i , j.
and e = 0. If m = n, then E is a square matrix and called the identity matrix.Elements of Rn
max := Rn×1max called a vector. The j-th element of a vector x ∈ Rn
max denoted by x j or can be writtenas [x] j. A vector in Rn
max where all elements equal to e is called a unit vector, and denoted by u.
Graph in Max-Plus AlgebraMax-plus algebra application is closely related to the directed graph denoted by G = (N ,D), where N is a set of allnodes andD is a set of some ordered (not necessarily different) pairs of nodes. Ordered pair of nodes in a graph calledarc. Therefore, if nodes i, j ∈ N then the arc from i to j denoted by ( j, i). A graph can be represented into a squarematrix in max-plus algebra. A corresponding graph to a square matrix A on Rmax is called a communication graph,and denoted by G(A). Suppose A ∈ Rn×n
max, element ai, j , ε if there is an arc from node j to node i in G(A).The path term in graph is defined as an arc sequence that represents the link between a node with another node.
A path is called elementary if no nodes appear more than once in it. A circuit is a closed elementary path, that has aninitial node as same as final node. Suppose a path p, the weight of it denoted by |p|w is the sum of weights for eacharc in the path p. The length of path p is the number of arcs in it, which is denoted by |p|`. The average weight of pathp is the weight divided by the length of path.
Average circuit is an average weight of a circuit. A circuit that has a maximum average circuit called criticalcircuit. Critical graph of G(A), denoted by Gc(A) = (Nc(A),Dc(A)) is a graph consisting of a set of nodes and arcs incritical circuits of G(A). Graph and its matrix representation are related each other. A graph condition can be knownaccording to the matrix representation, and vice versa. For example, the path length in a graph associated with thepower of its matrix representation.
Theorem 2 [2] Let A ∈ Rn×nmax. It holds for all k ≥ 1 that
[A⊗k]i, j = max{|p|w : p ∈ P( j, i; k)},
where [A⊗k]i, j = ε in the case where P( j, i; k) is empty, i.e., when no path of length k from i to j exists in G(A).
Furthermore, we can define A+ matrix from Theorem 2, i.e.,
A+ :=∞⊕
k=1
A⊗k.
Matrix A⊗k stop for k = n. It is given in the following theorem.
Theorem 3 [1] Let A ∈ Rn×nmax be such that any circuit in G(A) has average circuit weight less than or equal to e.
Then, it holds thatA+ := A ⊕ A⊗2 ⊕ . . . ⊕ A⊗n ∈ Rn×n
max.
There are two types of graphs based on the connectedness property, they are strongly and not strongly connectedgraph. The main topic discussed in this paper is not strongly connected graph. Before we discuss the definition bothtypes of graph, we must understand the reachable and communicate terms first. For any two nodes i, j ∈ N , node i issaid to be reachable from node j, denoted by jRi, if there exist a path from i to j. While the node i communicates withnode j, denoted by jCi, if and only if i = j or node i is reachable from the node j and node j is reachable from node i.Relation C is equivalence relation in N .
A graph is called strongly connected if all nodes in the graph communicate with each other another i.e., forevery i, j ∈ N satisfy iC j. A matrix in Rn×n
max representation of a strongly connected graph is called irreducible matrix.Furthermore, irreducible matrix is a matrix that can not be constructed into upper triangular form.
If there is a node that does not communicate to the other nodes, the graph is called not strongly connected.A matrix in Rn×n
max representation of not strongly connected graph is called reducible matrix. Furthermore, reduciblematrix is a matrix that can be constructed into a block upper triangular matrix form. A block upper triangular matrixconsists of matrices E and irreducible matrices, and it is representation of reduced graph. The reduced graph is areduction result of not strongly connected graph.
Eigenvalue, Eigenvector, and Eigenmode in Max-Plus AlgebraIn the max-plus algebra application, there are three essential components associated with the matrix. They are eigen-value, eigenvector, and eigenmode.
Definition 4 [2] Let A ∈ Rn×nmax be a square matrix. If µ ∈ Rmax is a scalar and v ∈ Rn
max is a vector that containsat least one finite element such that
A ⊗ v = µ ⊗ v,
then µ is called an eigenvalue of A and v an eigenvector of A associated with eigenvalue µ.
Suppose C(A) is a set of all circuits in G(A). The maximum average circuit, denoted by λ is defined as
λ := maxp∈C(A)
|p|w|p|`
.
If the maximum average of graph G(A) i.e., λ has a finite value, then it is the eigenvalues of matrix A. While thecolumn [A∗λ].,η is an eigenvector of A assosiated with eigenvalues λ. The statement is according with the followinglemma.
Lemma 5 [2] Let the communication graph G(A) of matrix A ∈ Rn×nmax have finite maximal average circuit weight
λ. Then, the scalar λ is an eigenvalue of A, and the column [A∗λ].,η is an eigenvector of A assosiated with λ, for anynode η ∈ Gc(A).
In the process of resolving scheduling problem, closely related to efforts getting sequence {x(k) : k ∈ N} of thislinear equation model
x(k + 1) = A ⊗ x(k), (1)
for k ≥ 0, where A ∈ Rn×nmax and x(0) = x0 ∈ R
nmax is the initial state.
The definition of generalized eigenmode is given in Definition 6.
Definition 6 [2] A pair of vectors (η, v) ∈ Rn ×Rn is called a generalized eigenmode of the regular matrix A if forall k ≥ 0
A ⊗ (k × η + v) = (k + 1) × η + v.
We need to know that a generalized eigenmode is also called eigenmode.
Algorithm for Determining The Eigenvalue, Eigenvector, and Eigenmode in Max-PlusAlgebra
In this paper, we use the power algorithm and the generalized eigenmode algorithm for reducible regular matrices.
Algorithm 7 Power Algorithm [1]
1. Take an arbitrary initial vector x(0) , u[ε].2. Iterate equation (1) until there are integers p > q ≥ 0 and a real number c, such that a periodic regime is
reached i.e.,x(p) = c ⊗ x(q).
3. Compute as the eigenvalueλ =
cp − q
.
4. Compute as the eigenvector
v =
p−q⊕i=1
(λ⊗(p−q−i) ⊗ x(q + i − 1)
).
Algorithm 8 Generalized Eigenmode Algorithm for Regular Reducible Matrices [3]
1. Take a regular reducible matrix A ∈ Rn×nmax.
2. Specify a block upper triangular matrix form of matrix A.3. Compute eigenvalue and eigenvector of the last block matrix in the main diagonal of block upper triangular
matrix. Suppose Aq,q, compute eigenvalue λq = λ(Aq,q) and eigenvector vq associated with the eigenvalue. Then,take ξq = λq and i = q.
4. Compute eigenvalue λ(i−1) of matrix A(i−1),(i−1).5. If λ(i−1) > ξi go to 6. If not, go to 7.6. Set ξ(i−1) = λ(i−1) and compute vector v(i−1) according to this following equation:
ξ(i−1) ⊗ v(i−1) = A(i−1),(i−1) ⊗ v(i−1) ⊕
q⊕j=i
A(i−1), j ⊗ v j.
Then, go to 8.7. Set ξ(i−1) = λi and compute vector v(i−1) according to this following equation:
λi ⊗ v(i−1) = A(i−1),(i−1) ⊗ v(i−1) ⊕
q⊕j=i
A(i−1), j ⊗ v j.
Then, go to 8.8. If i − 1 , 1 go back to 4, if not finish.
EIGENVALUE, EIGENVECTOR, AND EIGENMODE OF REDUCIBLE MATRIX INMAX-PLUS ALGEBRA
In this section, we discuss about eigenvalue, eigenvector, and eigenmode characterization of reducible matrix. Then,we use the characterization result to solve a problem. The problem that we have learned is the queue problem.
To obtain the eigenvalue and eigenvector of a matrix A ∈ Rn×nmax, we use the algorithm repeatedly of this linear
equationx(k + 1) = A ⊗ x(k), k = 0, 1, 2, . . . . (2)
The periodic regime of equation (2) for reducible matrix A closely related to cycle time vector, i.e.,
limk→∞
x(k)k.
The limit is exist for all x(0) , u(ε), where u(ε) =(ε ε . . . ε
)T.
If the matrix A in the equation (2) is reducible matrix, then we can always establish A be a block upper triangularmatrix:
A1,1 A1,2 . . . . . . A1,qE A2,2 . . . . . . A2,q
E E A3,3...
......
. . .. . .
...E E . . . E Aq,q
, (3)
Matrix Ai,i is irreducible matrix or Ai,i = ε for all i ∈ q.
Eigenvalue, Eigenvector, and Eigenmode Characterization of Reducible MatrixSome of reducible matrix that represent not strongly connected graph have eigenvalues and some are not. Here is anexistence eigenvalues and eigenvectors theorem of reducible matrix.
Theorem 9 [1] Let x(0) , u[ε] be an arbitrary initial condition. If the equation system (2) satisfies x(p) = c⊗x(q)for several integers p, q with p > q ≥ 0 and real number c, then
limk→∞
x(k)k
=
λλ...λ
,where λ = c
p−q . Furthermore, λ is an eigenvalue of matrix A with the eigenvector
v =
p−q⊕i=1
(λ⊗(p−q−i) ⊗ x(q + i − 1)
).
A reducible matrix does not necessarily have a unique eigenvalue. The following example shows the eigenvalueof reducible matrix is not unique.
Example 10 Given a reducible matrix represents not strongly connected graph G(A) as follows:
A =
(1 εε 3
).
Eigenvalue of matrix A is not unique. It is clear from the following description:(1 εε 3
)⊗
(0ε
)=
(1ε
)= 1 ⊗
(0ε
),
and (1 εε 3
)⊗
(ε0
)=
(ε3
)= 3 ⊗
(ε0
).
We can conclude that 1 and 3 are eigenvalues of matrix A.
Furthermore, we also give an example that a reducible matrix has a unique eigenvalue.
Example 11 Given a reducible matrix represents not strongly connected graph G(B) as follows:
B =
(1 0ε 0
).
Eigenvalue of matrix B is unique. It is clear from the following description:(1 0ε 0
)⊗
(0ε
)=
(1ε
)= 1 ⊗
(0ε
).
While (1 0ε 0
)⊗
(a0
)= λ ⊗
(a0
),
we getmax{1 + a, 0} = λ + a, (4)
andmax{ε, 0} = λ. (5)
From equation (5) we get λ = 0, and if it is substituted to the equation (4),
max{1 + a, 0} = a. (6)
So, we can not find a that satisfies equation (6).
Eigenvector of reducible matrix is not unique because some eigenvectors of reducible matrix can be formed byoperation ⊗ any scalar real number with an eigenvector.
Theorem 12 For all reducible matrices A ∈ Rn×nmax that have eigenvalue, having not unique eigenvector. If v ∈ Rn
maxis an eigenvector associated with eigenvalue λ, then α ⊗ v is also eigenvector associated with eigenvalue λ for anyα ∈ R.
Proof Let λ as eigenvalue of reducible matrix A and v ∈ Rnmax is an eigenvector associated with eigenvalue λ such
thatA ⊗ v = λ ⊗ v. (7)
Multiply any scalar α ∈ R on both sides of the equation (7),
α ⊗ A ⊗ v = α ⊗ λ ⊗ v. (8)
Operation ⊗ is commutative, so the equation (8) becomes
A ⊗ α ⊗ v = λ ⊗ α ⊗ vA ⊗ (α ⊗ v) = λ ⊗ (α ⊗ v).
From the description, we also get α ⊗ v ∈ Rnmax as eigenvector of matrix A associated with eigenvalue λ, and we can
conclude that the eigenvector of reducible matrix is not unique.
Eigenvalue of reducible matrix has finite value. The statement is given in this following theorem.
Theorem 13 If reducible matrix A ∈ Rn×nmax has eigenvalue, then the eigenvalue has finite value element of real
number.
Proof According to the Theorem 9, if a reducible matrix A ∈ Rn×nmax has eigenvalue, it means the equation system
(2) satisfies x(p) = c ⊗ x(q) for several integers p > q ≥ 0 and real number c such that we get eigenvalue of A i.e.,
λ(A) =c
p − q.
Since c is real number and p − q is integer, then we get the eigenvalue of reducible matrix A is finite real number.Moreover, if we take the distinct eigenvalue belongs to one of the block matrix in the main diagonal of upper triangularblock matrix, then obviously the eigenvalue has finite value because the matrix blocks in the main diagonal areirreducible that have finite value for its eigenvalue, or the matrix blocks are ε that do not have eigenvalue.
While eigenvector of reducible matrix based on Example 10 and Definition 4, obtained that the eigenvector ofreducible matrix contains at least one finite element.
The next discussion is about eigenmode characterization of regular reducible matrix. Before we discuss aboutthe eigenmode existence of regular reducible matrix, first we discuss about solution of equation x = (A ⊗ x) ⊕ b andinhomogeneous recurrent equations.
Solution of equation x = (A ⊗ x) ⊕ b is given in the following theorem.
Theorem 14 [1] Let A ∈ Rn×nmax and b ∈ Rn
max. If the average weight of circuit in the graph G(A) less than or equal0, then x = A∗ ⊗ b with A∗ := E ⊕ A+ =
⊕∞
i=0 A⊗i is solution of x = (A ⊗ x) ⊕ b. Furthermore, if the circuit weight inG(A) is negative, then the solution is unique.
The inhomogeneous recurrent equation is an extension of the linear recurrent equation x(k + 1) = A ⊗ x(k). Thefollowing theorem concerning inhomogeneous recurrent equation.
Theorem 15 [3] Consider the inhomogeneous recurrent equation
x(k + 1) = A ⊗ x(k) ⊕m⊕
j=1
B j ⊗ u j(k), (9)
with A ∈ Rn×nmax irreducible matrix with eigenvalue λ, or A ∈ Rmax i.e., A = ε with λ = ε, matrix B j ∈ R
n×m jmax with
m j ≥ 1 satisfies B j , E, while u j(k) ∈ Rm jmax satisfies u j(k) = τk
j ⊗ w j(k), k ≥ 0 with w j ∈ Rm jmax and τ j ∈ R. For some
τ =⊕
j∈m τ j, there exists an integer K ≥ 0 and vector v ∈ Rn such that the sequence x(k) = µ⊗k ⊗ v, with µ = λ ⊗ τ
satisfies the recurrent equation (9) for all k ≥ K.
In the previous discussion, it is known that the reducible matrix A can be presented in an upper triangular blockmatrix form, with the matrix block Ai,i is irreducible matrix, so λi = λ(Ai,i) or Ai,i = ε, and we get λi = ε. Then,suppose we take vector x(k) correspondence to an upper triangular block matrix 3, i.e.,
x(k) =
x1(k)x2(k)...
xq(k)
.The upper triangular block matrix of reducible matrix A satisfy recurrent equation (9), i.e.,
xi(k + 1) = Ai,i ⊗ xi(k) ⊕q⊕
j=i+1
Ai, j ⊗ x j(k); i ∈ q, k ≥ 0. (10)
In particular, equation (10) becomes xq(k + 1) = Aq,q ⊗ xq(k) for i = q. Assuming A is a regular matrix, then Aq,qis also regular. So, Aq,q , E, and the maximal strongly connected subgraph correspondence with matrix Aq,q has nonempty arc set, as a result Aq,q is an irreducible matrix. Therefore, there is a vector with all the finite element vq and ascalar ξq ∈ R such that
xq(k) = ξ⊗kq ⊗ vq
satisfies xq(k + 1) = Aq,q ⊗ xq(k) for all k ≥ 0. In this case, vq is the eigenvector of matrix Aq,q correspondence witheigenvalues λq = λ(Aq,q), where ξq = λq.
Then, for i ∈ q is generally given in the following theorem.
Theorem 16 [3] Consider the recurrent equation given by equation (10). Assume that Aq,q is irreducible and thatfor i ∈ q − 1 either Ai,i is an irreducible matrix or is equal to ε. Assume also, that the Ai,i matrices are different fromE for i, j = i + 1; i ∈ q. Then there exist finite vectors v1, v2, . . . , vq of suitable size and scalar ξ1, ξ2, . . . , ξq ∈ R suchthat the sequances:
xi(k) = ξ⊗ki ⊗ vi, i ∈ q
satisfy equation (10) for all k ≥ 0. The scalars ξ1, ξ2, . . . , ξq ∈ R are determined by:
ξi =⊕j∈Hi
ξ j ⊕ λi,
whereHi = { j ∈ q : j > i, Ai, j , E}.
Theorem 16 yields a result which indicates the eigenmode existence of regular reducible matrix.
Corollary 17 [3] Let A ∈ Rn×nmax be a regular reducible matrix, then there exist a pair of vectors (η, v) ∈ Rn ×Rn, a
generalized eigenmode, such that for all k ≥ 0:
A ⊗ (k × η + v) = (k + 1) × η + v.
Eigenmode of regular educible matrix is not unique. It is caused the vector v is not unique.
Theorem 18 For all regular reducible matrix A ∈ Rn×nmax have non unique eigenmode, i.e., if (η, v) is eigenmode of
matrix A, then (η, α ⊗ v) is also eigenmode of matrix A where α ∈ R.
Proof Suppose (η, v) is eigenmode of regular reducible matrix A ∈ Rn×nmax, then for all k ≥ 0 η and v satisfy
A ⊗ (k × η + v) = (k + 1) × η + v. (11)
Multiply any scalar number α ∈ R to both sides equation (11)
α ⊗ A ⊗ (k × η + v) = α ⊗ (k + 1) × η + v. (12)
Since the operation ⊗ is commutative, then equation (12) becomes
A ⊗ (α ⊗ k × η + v) = (k + 1) × η + α ⊗ vA ⊗ (k × η + (α ⊗ v)) = (k + 1) × η + (α ⊗ v).
We get (η, α ⊗ v) is also eigenmode of regular reducible matrix A for any α ∈ R.
The last discussion in the characterization of regular reducible matrix is about the value of vector elements in theeigenmode. Eigenmode of regular reducible matrix has finite elements for each component of the vector.
Theorem 19 For all regular reducible matrix A ∈ Rn×nmax have eigenmode i.e., pair of vectors with all vector
elements are finite.
Proof Suppose the upper triangular block matrix (3) is the construction of reducible matrix A. Eigenmode of uppertriangular block matrix construction results from the reducible matrix A be a pair of vectors (η, v). It was explainedthat the vector
η =(
uT [ξ1] uT [ξ2] . . . uT [ξq])T
is cycle time vector, where ξi, i ∈ q is real numbers by Theorem 16. So that the vector η consists of finite elements.Then, vector v consists of vectors vi, i ∈ q. According to Theorem 16, all elements of the vector vi, i ∈ q are finite, i.e.,real numbers. So that the vector v only contains finite element. Then we can conclude eigenmode of reducible matrixis couple of vectors with all finite elements.
Characterization Result Application in The Queue System ProblemIn the end of the discussion, we give an example the application of eigenvalue, eigenvector, and eigenmode characteri-zation result in the queue system problems, i.e., in the queue system of the replacement saving types servicing processin a bank for a customer service officer.
We will analyze the queue system of the replacement saving types servicing process in a customer service officerof bank. Then for the customer service process, start from customer comes to the bank, serviced by customer serviceofficers, until leave the bank are given in a Petri net form, Figure 1. Based on Figure 1, The Petri net of replacementsaving types servicing process in a customer service officer consists of seven transitions and sixth places.
FIGURE 1. The Petri Net of Replacement Saving Types Servicing Process in A Customer Service Officer
The description of seven transitions is given as follows:
t1 : a customer comes to the bank,t2 : a customer takes the queue number,t3 : a costumer is serviced by a customer service officer,t4 : a customer service officer carries the customer files to the teller,t5 : customer files have been processed by the teller,t6 : a customer has been served by customer service officer,t7 : a customer leaves the bank,
and six places, i.e.,
p1 : a customer who was waiting to take a queue number,p2 : a customer who was waiting to be served by a customer service officer,p3 : a customer being served by a customer service officer,p4 : a customer who was waiting for files processing by the teller,p5 : idle or a customer services officer who is not busy,p6 : a customer who has been served by a customer service officer.
Furthermore, we also give the definition of the variables used in the modeling process. The variables that showthe time as follows:
t1(k) : time of the kth customer arrival,t2(k) : time of the kth customer taking a queue number,t3(k) : time of the kth customer begin to be served by a customer service officer,t4(k) : time of the kth customer service officer carries the customer files to the teller,t5(k) : time of the kth customer files have been processed by the teller,t6(k) : time of the kth customer has been served,t7(k) : time of the kth customer leaves the bank.
Then, the variables that determine the length of time i.e.,
vt1,k : the time length of the kth customer arrival,vt2,k : the time length of the kth customer taking a queue number,vt5,k : the time length of the kth files processing by the teller,vt6,k : the time length of the kth customer served by the customer service officer,vt7,k : the time length of the kth customer leaves the bank.
TABLE 1. The List of Replacement Saving Types Servicing Process in A Bank.Codes Processes The Length of Time (minutes)
vt1,k The time length of the kth customer arrival 8vt2,k The time length of the kth customer taking a queue number 0,5vt5,k The time length of the kth files processing by the teller 5vt6,k The time length of the kth customer served by the customer service officer 20
Based on petri net Figure 1, we obtain a model of the queue system of the replacement saving types servicingprocess in a customer service officer as follows: t1(k)
t5(k)t6(k)
=
vt1,k ε εvt5,k ⊗ vt2,k ⊗ vt1,k vt5,k vt5,k
vt6,k ⊗ vt5,k ⊗ vt2,k ⊗ vt1,k vt6,k ⊗ vt5,k vt6,k ⊗ vt5,k
⊗ t1(k − 1)
t5(k − 1)t6(k − 1)
.If the time length of each process is given in Table 1, we obtain equation: t1(k)
t5(k)t6(k)
=
8 ε ε13, 5 5 533, 5 25 25
⊗ t1(k − 1)
t5(k − 1)t6(k − 1)
.The matrix of the model obtained is a reducible matrix. Furthermore, we will analyze eigenvalue, eigenvector, andeigenmode of the matrix
B =
8 ε ε13, 5 5 533, 5 25 25
.Based on the eigenvalue and eigenvector of reducible matrix characterization result, we get that reducible matrix
does not necessarily have eigenvalue. Therefore, we use the power algorithm to find eigenvalue of reducible matrixB. With an arbitrary initial state x(0) , u(ε), we can not find integers p > q ≥ 0 and real number c that satisfyx(p) = c ⊗ x(q). Thus B has no eigenvalues. Nevertheless, since B is regular reducible matrix, then we can searcheigenmode i.e., pair of vectors with finite element.
First, we must determine an upper triangular block matrix form of regular reducible matrix B to get eigenmodei.e.,
A =
5 5 13, 525 25 33, 5ε ε 8
.Then, we compute the eigenvalue of matrix A2,2 i.e., λ2 = 8, so we can take ξ2 = λ2 = 8 and suppose we take v2 = 0.
The next step, we compute eigenvalue of matrix A1,1 =
(5 5
25 25
)by the power algorithm. With an arbitrary initial
state x(0) , u(ε), we get the eigenvalue of matrix A1,1 is λ1 = 25. Since λ1 > ξ2, then ξ1 = λ1 = 25 and we computevector v1:
ξ1 ⊗ v1 =(A1,1 ⊗ v1
)⊕
(A1,2 ⊗ v2
)25 ⊗
(v1v2
)=
((5 525 25
)⊗
(v1v2
))⊕
((13, 533, 5
)⊗ 0
)(13)
Based on equation (13), we get v1 =
(−11, 5
8, 5
). Therefore, a pair of vector (η, v) where η =
25258
and v = −11, 58, 50
is eigenmode of matrix A because for k = 0, the vectors satisfy:
A ⊗ (0 × η + v) =
13, 533, 5
8
= 1 × η + v,
for k = 1, satisfy:
A ⊗ (1 × η + v) =
38, 558, 516
= 2 × η + v,
and so on, vectors η and v satisfyA ⊗ (k × η + v) = (k + 1) × η + v.
for k = 0, 1, 2, . . ..Based on the eigenmode result, we can determine the time of kth customer completed in each service process.
Suppose the earliest time is 08.00, then for k equal to 0 and 1 we get the result as shown in the Table 2.
TABLE 2. The Time of The First and Second Customer Service ProcessDescriptions Time of Customer
First SecondCustomer files have been processed by the teller 08:05:30 08:30:30
A Customer has been served by customer service officer 08:25:30 08:50:30customer arrival 08:00:00 08:08:00
CONCLUSIONS
Based on the eigenvalue, eigenvector, and eigenmode characterization of reducible matrix, we obtain that reduciblematrix does not necessarily have eigenvalue. If the reducible matrix has eigenvalue, the eigenvalue is not necessarilyunique and has a finite value. Eigenvector corresponding to the eigenvalue of reducible matrix is not unique, andcontains at least a finite element. Then, Regular reducible matrix does not have a unique eigenmode, with all elementsare finite.
ACKNOWLEDGMENTS
We are really grateful because we managed to complete this paper. This paper was prepared for Interna-tional Conference on Mathematics: Pure, Applied and Computation (ICoMPAC), ”Empowering Engineering UsingMathematics”, 23rd November 2016 at Pullman Hotel Surabaya, Indonesia. This paper can not be completed withoutthe effort and co-operation from our group member as our supervisor too. So we also sincerely thank to him for theguidance and encouragement in finishing this paper. Last but not least, we would like to express our gratitude to ourfriends for their support.
REFERENCES
[1] Subiono, Aljabar Maxplus dan Terapannya (Jurusan Matematika, Fakultas Matematika dan Ilmu PengetahuanAlam, Institut Teknologi Sepuluh Nopember, Surabaya, 2012), pp. 1–46.
[2] B. Heidergott, G. J. Olsder, and J. van der Woude, Max Plus at Work, Modelling and Analysis of SynchronizedSystem: A Course on Max-Plus Algebra and Its Applications (Princeton University, United Kingdom, 2006),pp. 13–91.
[3] Z. R. Konigsberg, “A generalized eigenmode algorithm for reducible reguler matrices over the max-plus al-gebra,” in Chinese Control and Decision Conference (Chinese, 2009), pp. 5598–5603.
[4] A. Zuliyanto, Siswanto, and Muslich, “Algoritma eigenmode tergeneralisasi untuk matriks tereduksi regulerdi dalam aljabar max-plus,” in Prosiding Seminar Nasional Matematika (Surakarta, 2012).
[5] F. Baccelli, G. Cohen, and G. J. Olsder, Synchronization and Linearity, An Algebra for Discrete Event System(Wiley-Interscience, New York, 2001), pp. 35–152.
26
Lampiran 2 Sertifikat Seminar Internasional
27
Lampiran 3 Copyright Transfer Agreement Artikel