Lecture 11: Graph Theory pt. 2
Based on Discrete Mathematics and Its Applications (opens in a new tab) by Kenneth H. Rosen, 7th Edition.
Konektivitas
Path
Anggap adalah bilangan bulat positif dan adalah graf tak berarah. Suatu path dari panjang dalam adalah urutan simpul sehingga dan berdekatan untuk . Path disebut simple jika semua simpulnya berbeda dan disebut circuit jika .
MANY SECTION OF THE LECTURE IS SKIPPED
Euler Path
Suatu Euler path adalah path yang melalui setiap sisi tepat sekali. Suatu Euler circuit adalah Euler path yang merupakan circuit.
Suatu graf tak berarah memiliki Euler circuit jika dan hanya jika setiap simpulnya memiliki derajat genap.
Hamilton Path
Suatu Hamilton path adalah path yang melalui setiap simpul tepat sekali. Suatu Hamilton circuit adalah Hamilton path yang merupakan circuit.
Suatu graf tak berarah memiliki Hamilton circuit jika dan hanya jika untuk setiap pasangan simpul dan yang berbeda, memiliki path.
Dirac's Theorem: Jika adalah graf tak berarah dengan simpul, , dan setiap simpulnya memiliki derajat sekurang-kurangnya , maka memiliki Hamilton circuit.
Ore's Theorem: Jika adalah graf tak berarah dengan simpul, , dan untuk setiap pasangan simpul dan yang tidak berdekatan, , maka memiliki Hamilton circuit.
Shortest Path
Suatu shortest path dari simpul ke simpul adalah path dari ke dengan panjang terkecil.
Dijkstra's Algorithm
Secara pseudocode, algoritma Dijkstra adalah sebagai berikut:
Dijkstra(G, w, s)
for each vertex v in V[G] do
d[v] := infinity
pi[v] := nil
d[s] := 0
S := empty set
Q := set of all vertices
while Q is not an empty set do
u := Extract-Min(Q)
S := S union {u}
for each vertex v in Adj[u] do
if d[v] > d[u] + w(u, v) then
d[v] := d[u] + w(u, v)
pi[v] := u
Penjelasan:
d[v]
adalah jarak terpendek daris
kev
pi[v]
adalah simpul sebelumv
dalam shortest path daris
kev
S
adalah simpul yang sudah dikunjungiQ
adalah simpul yang belum dikunjungi
Apa itu Extract-Min
? Extract-Min
adalah operasi yang mengambil simpul dengan jarak terpendek dari Q
dan menghapusnya dari Q
.
Algoritma Dijkstra bekerja dengan memilih simpul yang memiliki jarak terpendek dari s
dan memperbarui jarak terpendek dari simpul-simpul yang berdekatan dengan simpul tersebut.
Graf Planar
Graf disebut planar bila dapat digambar dalam suatu bidang tanpa ada sisi yang saling berseberangan.
Euler's Formula
Jika adalah graf planar sederhana dengan simpul dan sisi, maka , di mana adalah jumlah daerah yang dibatasi oleh sisi-sisi .
Corollaries
Jika adalah graf tak berarah sederhana dengan simpul dan sisi, maka .
Jika adalah graf planar sederhana, maka memiliki simpul dengan derajat tidak melebihi 5.
Jika graf planar sedernahana yang memiliki sisi, simpul, dan tidak ada sirkuit segitiga, maka .
Kuratowski's Theorem
Suatu graf tak berarah adalah planar jika dan hanya jika tidak mengandung subgraf yang homeomorfik dengan atau .
To do list for this lecture:
- graph connectedness and isomorphism
- graph coloring