STUDI KASUS 6

TOPOLOGICAL SORT
Deskripsi persoalan :
Diberikan urutan partial dari elemen suatu himpunan, dikehendaki agar elemen
yang terurut partial tersebut mempunyai keterurutan linier.
Contoh dari keterurutan partial banyak dijumpai dalam kehidupan sehari-hari,
misalnya:
1. Dalam suatu kurikulum, suatu mata pelajaran mempunyai prerequisit mata
pelajaran lain. Urutan linier adalah urutan untuk seluruh mata pelajaran dalam
kurikulum
2. Dalam suatu proyek, suatu pekerjaan harus dikerjakan lebih dulu dari pekerjaan
lain (misalnya membuat fondasi harus sebelum dinding, membuat dinding harus
sebelum pintu. Namun pintu dapat dikerjakan bersamaan dengan jendela. dsb
3. Dalam sebuah program Pascal, pemanggilan prosedur harus sedemikian rupa,
sehingga peletakan prosedur pada teks program harus seuai dengan urutan
(partial) pemanggilan.
Dalam pembuatan tabel pada basis data, tabel yang di-refer oleh tabel lain harus
dideklarasikan terlebih dulu. Jika suatu aplikasi terdiri dari banyak tabel, maka urutan
pembuatan tabel harus sesuai dengan definisinya
Jika X < Y adalah simbol untuk X sebelum Y, dan keterurutan partial
digambarkan sebagai graf, maka graf sebagai berikut :

2
6

10
4
9

8
3

akan dikatakan mempunyai keterurutan partial

1<2 2<4 4<6 2<10 4<8 6<3 1<3
3<5 5<8 7<5 7<9 9<4 9<10
Dan yang SALAH SATU urutan linier adalah graf sebagai berikut :
7

Inggriani Liem : " Struktur DataI", Jurusan Teknik Informatika - ITB,

Toposort.doc/Studi Kasus : Topological Sort - 1
6/16/03 12:45 PM

10

Kenapa disebut salah satu urutan linier ? Karena suatu urutan partial akan
mempunyai banyak urutan linier yang mungkin dibentuk dari urutan partial tersebut.
Elemen yang membentuk urutan linier disebut sebagai list.
Proses yang dilakukan untuk mendapatkan urutan linier :
1. Andaikata item yang mempunyai keterurutan partial adalah anggota himpunan S.
2. Pilih salah satu item yang tidak mempunyai predesesor, misalnya X. Minimal ada
satu elemen semacam ini. Jika tidak, maka akan looping.
3. Hapus X dari himpunan S, dan insert ke dalam list
4. Sisa himpunan S masih merupakan himpunan terurut partial, maka proses 2-3
dapat dilakukan lagi terhadap sisa dari S
5. Lakukan sampai S menjadi kosong, dan list Hasil mempunyai elemen dengan
keterurutan linier
Solusi I :
Untuk melakukan hal ini, perlu ditentukan suatu representasi internal. Operasi yang
penting adalah memilih elemen tanpa predesesor (yaitu jumlah predesesor elemen
sama dengan nol). Maka setiap elemen mempunyai 3 karakteristik : identifikasi, list
suksesornya, dan banyaknya predesesor. Karena jumlah elemen bervariasi, maka
representasi yang paling cocok adalah list berkait dengan representasi dinamis
(pointer). List dari suksesor direpresentasi pula secara berkait. Ilustrasi struktur data
dan program dalam bahasa Pascal yang diadaptasi dari buku [Wirth86] diberikan
sebagai berikut.
Representasi yang dipilih untuk persoalan ini adalah multilist sebagai berikut :
1. List yang digambarkan horisontal adalah list dari banyaknya predesesor setiap
item, disebut list Leader, yang direpresentasi sebagai list yang dicatat alamat
elemen pertama dan terakhir (Head-Tail) serta elemen terurut menurut key. List ini
dibentuk dari pembacaan data. Untuk setiap data keterurutan partial X<Y :Jika X
dan/atau Y belum ada pada list leader, insert pada Tail dengan metoda search
dengan sentinel
2. List yang digambarkan vertical (ke bawah) adalah list yang merupakan indirect
adressing ke setiap predesesor, disebut sebagai Trailer. Untuk setiap elemen list
Leader X, list dari suksesornya disimpan sebagai elemen list Trailer yang setiap
elemennya berisi alamat dari suksesor. Penyisipan data suatu suksesor (X<Y),
dengan diketahui X, maka akan dilakukan dengan InsertFirst alamat Y sebagai
elemen list Trailer dengan key X
Algoritma secara keseluruhan terdiri dari dua pass :
1. Bentuk list leader dan Trailer dari data keterurutan partial : baca pasangan nilai
(X<Y). Temukan alamat X dan Y (jika belum ada sisipkan), kemudian dengan
mengetahui alamat X dan Y pada list Leader, InsertFirst alamat Y sebagai trailer X
2. Lakukan topological sort dengan melakukan search list Leader dengan jumlah
predesesor=0, kemudian insert sebagai elemen list linier hasil pengurutan.

Inggriani Liem : " Struktur DataI", Jurusan Teknik Informatika - ITB,

Toposort.doc/Studi Kasus : Topological Sort - 2
6/16/03 12:45 PM

Ilustrasi umum dari list LEADER dan TRAILER untuk representasi internal
persoalan topological sorting adalah sebagai berikut
HEAD

TAIL

Key

Count

Next

Trail

Id

Next

Solusi berikutnya diberikan pada [Wirth-].

Inggriani Liem : " Struktur DataI", Jurusan Teknik Informatika - ITB,

Toposort.doc/Studi Kasus : Topological Sort - 3
6/16/03 12:45 PM

Solusi II : pendekatan fungsional dengan list linier sederhana.

Pada solusi ini, proses untuk mendapatkan urutan linier diterjemahkan secara
fungsional, dengan representasi sederhana. Graf partial dinyatakan sebagai list linier
dengan representasi fisik First-Last dengan dummy seperti representasi pada Solusi I.
dengan elemen yang terdiri dari <Precc,Succ>. Contoh: sebuah elemen bernilai <1,2>
artinya 1 adalah predesesor dari 2.
Langkah :
1. Fase input: Bentuk list linier yang merepresentasi graf seperti pada solusi I.
2. Fase output: Ulangi langkah berikut sampai list habis, artinya semua
elemen list selesai ditulis sesuai dengan urutan total.
P adalah elemen pertama (First(L)
Search pada sisa list, apakah X=Precc(P) mempunyai predesesor.
Jika ya, maka elemen ini harus dipertahankan sampai saatnya dapat
dihapus dari list untuk dioutputkan:
Delete P, tapi jangan didealokasi
Insert P sebagai Last(L) yang baru
Jika tidak mempunyai predesesor, maka X siap untuk dioutputkan, tetapi Y
masih harus dipertanyakan. Maka langkah yang harus dilakukan :
Outputkan X
Search apakah Y masih ada pada sisa list, baik sebagai Precc maupun
sebagai Succ
Jika ya, maka Y akan dioutputkan nanti. Hapus elemen pertama
yang sedangkan diproses dari list.
Jika tidak muncul sama sekali, berarti Y tidak mempunyai
predesesor. Maka Outputkan Y, baru hapus elemen pertama dari
list
Representasi node dengan address type terdefinisi:
type node <Precc:integer,
Succ : integer,
Next: address>
type ListTopo : < First : address,
Last : address>
Maka akses sebuah elemen list adalah : Precc(P), Succ(P), Next(P)
Untuk solusi II ini, diperlukan primitif Search apakah sebuah nilai X muncul
sebagai Precc(P) atau Succ(P) pada list sisa (list tanpa elemen pertama). Maka
untuk efisiensi proses, kedua macam search bisa digabungkan dengan spesifikasi :
function SearchTopo(L: ListTopo, X:integer) <boolean, boolean>
{Mengirimkan <true,true> jika X muncul sebagai Precc(P) dan Succ(P) >
{Mengirimkan <true,false> jika X muncul hanya sebagai Precc(P) >
{Mengirimkan <false,true> jika X muncul hanya Succ(P) >
{Mengirimkan <false,false> jika X tidak muncul sama sekali pada list L >

Inggriani Liem : " Struktur DataI", Jurusan Teknik Informatika - ITB,

Toposort.doc/Studi Kasus : Topological Sort - 4
6/16/03 12:45 PM

Inggriani Liem : " Struktur DataI", Jurusan Teknik Informatika - ITB,

Toposort.doc/Studi Kasus : Topological Sort - 5
6/16/03 12:45 PM