Anda di halaman 1dari 7

5.

1 CUT VERTEX
1. Apakah yang dimaksud dengan cut vertex?
Titik v dalam graf yang terhubung G adalah titik potong (cut vertex) G jika G−v
terputus. Lebih umum, titik v adalah titik potong (cut vertex) dalam graf G jika v adalah
titik potong komponen G. Dalam graf G pada Gambar dibawah, v dan x adalah satu-
satunya titik potong. Dalam graf G−v, titik x bukan titik potong. Namun, s adalah titik
potong dari G−v. Akibatnya, untuk U ={ s , v }, graf G−U terputus.

2. Apakah setiap graf selalu memuat cut vertex?


3. Adakah graf yag tidak memiliki cut vertex?
4. Adakah graf yang setiap titiknya yang berderajat lebih dari 1 merupakan cut vertex?
5. Bagaimana kriteria graf yang memiliki cut vertices?
6. Sebagai latihan, kerjakan soal 5.3.
Teorema 5.1 Misalkan v adalah titik bersisian dengan jembatan dalam graf G yang terhubung.
Kemudian v adalah titik potong G jika dan hanya jika deg v ≥ 2.
Bukti. Misalkan uv adalah jembatan G. Kemudian deg v ≥ 1. Asumsikan bahwa deg v=1. Karena
v adalah titik akhir G, graf G−v terhubung, jadi v bukan merupakan titik potong G.
Untuk sebalikannya, anggaplah bahwa deg v ≥ 2. Kemudian ada titik w yang berbeda dari u yang
berdekatan dengan v. Asumsikan, sebaliknya, bahwa v bukan merupakan titik potong. Jadi G−v
terhubung dan ada jalur u−w P dalam G−v. Namun, P bersama-sama dengan v dan dua sisi uv
dan vw membentuk siklus yang mengandung jembatan uv. Ini bertentangan dengan Teorema 4.1.
Salah satu konsekuensi langsung dari Teorema 5.1 adalah bahwa jika sebuah titik v dari pohon
nontrivial T bukan merupakan titik akhir dari T , maka v adalah titik potong dari T . Konsekuensi
langsung lain dari Teorema 5.1 dinyatakan berikutnya.
Corollary 5.2 Biarkan G menjadi graf terhubung dari order 3 atau lebih. Jika G berisi jembatan,
maka G berisi titik potong.
Jika v adalah titik potong dalam graf G yang terhubung, maka, tentu saja, G−v mengandung dua
atau lebih komponen. Jika u dan w adalah titik dalam komponen yang berbeda dari G−v, maka
u dan w tidak terhubung dalam G−v. Di sisi lain, u dan w tentu terhubung dalam G.
Teorema 5.3 Misalkan v menjadi titik potong dalam graf yang terhubung G dan misalkan u dan
w menjadi titik dalam komponen yang berbeda dari G−v. Kemudian v terletak pada setiap jalur
u−w di G.
Kami sekarang dapat menyajikan karakterisasi simpul dalam grafik yang terhubung G yang
merupakan titik potong dari G.
Corollary 5.4 Sebuah titik v dari graf yang terhubung G adalah titik potong G jika dan hanya
jika ada titik u dan w yang berbeda dari v sedemikian sehingga v terletak pada setiap jalur u−w
dari G.
Bukti. Misalkan v adalah titik potong dari G. Kemudian G−v terputus. Biarkan u dan w
menjadi titik dalam komponen yang berbeda dari G−v. Kemudian diikuti oleh Teorema 5.3
bahwa setiap jalur u−w di G berisi v.
Di sisi lain, jika G berisi dua titik u dan w sedemikian sehingga setiap jalur u−w di G berisi v,
maka tidak ada jalur u−w di G−v. Dengan demikian u dan w tidak terhubung dalam G−v dan
jadi G−v terputus. Oleh karena itu, v adalah titik potong dari G.
Dengan Corollary 5.4, jika v adalah simpul dalam graf terhubung G yang bukan merupakan titik
potong G, maka untuk setiap dua titik u dan w dari G yang berbeda dari v, ada jalur u−w yang
tidak mengandung v.
Sementara konsep jembatan dan cut vertex adalah konsep paralel dan memiliki sejumlah
kesamaan, mereka memiliki beberapa perbedaan besar juga. Kami telah melihat bahwa setiap
tepi graf G yang terhubung mungkin menjadi jembatan. Tentu saja, G harus menjadi pohon. Di
sisi lain, setiap graf yang terhubung nontrivial harus mengandung titik yang bukan titik potong.
Teorema 5.5 Misalkan G adalah graf terhubung nontrivial dan misalkan u ∈V (G). Jika v adalah
titik yang terjauh dari Anda dalam G, maka v bukan merupakan titik potong dari G.
Bukti. Asumsikan, sebaliknya, bahwa v adalah titik potong dari G. Mari kita menjadi titik milik
komponen G−v yang tidak mengandung u. Karena setiap jalur u−w berisi v, maka
d (u , w)> d(u , v), yang merupakan kontradiksi.
Sekarang langsung bahwa setiap graf yang terhubung nontrivial mengandung setidaknya dua
titik yang bukan titik potong.
Corollary 5.6 Setiap graf yang terhubung nontrivial mengandung setidaknya dua titik yang
bukan merupakan titik potong.
Bukti. Biarkan u dan v menjadi titik dari graf terhubung nontrivial G sedemikian rupa sehingga
d ( u , v )=diam(G). Karena masing-masing dari u dan v adalah yang terjauh dari yang lain, maka
menurut Teorema 5.5 bahwa baik u dan v bukan merupakan titik potong dari G.
5.2 BLOCK
1. Apa yang dimaksud dengan nonseparable graph? berikanlah contohnya.
Graf terhubung nontrivial tanpa titik potong disebut graf nonseparable. Contohnya

Selain itu, K 2 adalah graf nonseparable; memang, K 2 adalah satu-satunya graf order 2
yang nonseperable. Karena graf order 3 atau lebih yang nonseperable tidak mengandung
titik potong, mereka tidak mengandung jembatan; artinya, setiap sisi terletak pada satu
siklus.
2. Apa yang dimaksud dengan block? apakah block merupakan subgraf? berikan pula
contohnya.
Subgraf nonseparable maksimal dari grafik G disebut blok G. Artinya, blok G adalah
subgraf nonseparable dari graf G yang bukan subgraf yang tepat dari setiap subgraf
nonseparable lainnya di G. Setiap blok G adalah sebuah subgraf yang diinduksi dari G.
Oleh karena itu, jika G itu sendiri tidak dapat dipisahkan, maka G hanya memiliki satu
blok, yaitu graf G. Di sisi lain, jika G terhubung dan memiliki titik potong, maka G
memiliki dua atau lebih blok. Gambar dibawah menunjukkan graf G yang terhubung
dengan dua titik potong u dan v dan empat blok B1, B2, B3 dan B4 . Jadi, seperti halnya
graf yang terputus memiliki subgraph terhubung khusus yang disebut komponen, graf
terhubung dengan cut vertex mengandung subgraf khusus yang tidak dapat dipisahkan
yang disebut blok.

3. Mungkinkah sebuah graf memiliki lebih dari satu block?


4. Bagaimana sifat-sifat dari block yang ada dalam suatu graf?
5. Sebagai latihan, kerjakan soal no 5.9.
Kami sekarang mengalihkan perhatian dari grafik terhubung yang berisi simpul-potong ke grafik
terhubung yang tidak mengandung simpul-potong. Grafik terhubung nontrivial tanpa simpul
potong disebut grafik nonseparable. Karenanya semua grafik G4, G5, G6 dan G7 pada Gambar
5.1 tidak dapat dipisahkan. Selain itu, K2 adalah grafik yang tidak dapat dipisahkan; memang,
K2 adalah satu-satunya grafik urutan 2 yang tidak dapat dipisahkan. Karena grafik urutan 3 atau
lebih yang tidak dapat dipisahkan tidak mengandung simpul-potong, mereka tidak mengandung
jembatan; artinya, setiap sisi terletak pada satu siklus. Bahkan, lebih banyak yang bisa dikatakan.
Teorema 5.7 Grafik urutan setidaknya 3 tidak dapat dipisahkan jika dan hanya jika setiap dua
simpul terletak pada siklus umum.
Bukti. Pertama, anggaplah bahwa G adalah grafik urutan setidaknya 3 sedemikian sehingga
setiap dua simpul G terletak pada siklus umum. Asumsikan, sebaliknya, bahwa G tidak dapat
dipisahkan. Karena setiap dua simpul terletak pada siklus yang sama, setiap dua simpul terhubun
z,.g dan G terhubung. Karena G tidak dapat dipisahkan, G harus mengandung cut-vertex,
misalkan v. Misalkan u dan w adalah dua simpul yang termasuk komponen berbeda dari G - v.
Dengan asumsi, u dan w terletak pada siklus umum C pada G. Namun, kemudian, C menentukan
dua jalur u - w yang berbeda dari G, setidaknya satu di antaranya tidak mengandung v,
bertentangan dengan Teorema 5.3. Oleh karena itu, G tidak mengandung simpul-potong
sehingga G tidak dapat dipisahkan.
Kami sekarang memverifikasi yang sebaliknya. Misalkan G adalah grafik urutan yang tidak
dapat dipisahkan, setidaknya 3. Karena G tidak mengandung simpul-potong, maka diikuti oleh
Corollary 5.2 bahwa G tidak memiliki jembatan. Asumsikan, sebaliknya, bahwa ada pasangan
simpul G yang tidak terletak pada siklus umum. Di antara semua pasangan seperti itu, misalkan
u, v adalah pasangan yang d (u, v) minimum. Jika d (u, v) = 1, maka uv E (G) dan uv harus
terletak pada satu siklus, seperti yang kita amati sebelumnya. Karena itu, d (u, v) = k ≥ 2.
Misalkan P = (u = v0, v1, ..., vk −1, vk = v) menjadi au - v lintasan panjang k dalam G. Karena d
(u, vk - 1) = k - 1 <k, ada siklus C mengandung u dan vk −1. Dengan asumsi, v tidak ada pada C.
Karena vk - 1 bukan merupakan titik potong dari G dan u dan v berbeda dari vk - 1, maka ada
jalur v - u Q yang tidak mengandung vk
−1. Karena u ada di C, ada titik pertama x dari Q yang ada di C. Misalkan Q ′ adalah v-x subpath
Q (lihat Gambar 5.3) dan misalkan P ′ menjadi jalur vk - 1 - x pada C yang mengandung kamu.
(Jika x ≠ u, maka jalur P ′ adalah unik.) Namun, siklus C ′ diproduksi dengan melanjutkan dari v
ke tetangganya vk - 1, sepanjang P ′ ke x dan kemudian sepanjang Q ′ ke v berisi u dan v ,
sebuah kontradiksi.
Jika grafik yang terhubung nontrivial tidak dapat dipisahkan, maka grafik tersebut harus
mengandung simpul-potong dan juga subgraf tertentu yang tidak dapat dipisahkan yang
merupakan minat khusus. Subgraf nonseparable maksimal dari grafik G disebut blok G. Artinya,
blok G adalah subgraf nonseparable dari grafik G yang bukan subgraf yang tepat dari setiap
subgraf nonseparable lainnya di G. Setiap blok G adalah sebuah subgraf yang diinduksi dari G.
Oleh karena itu, jika G itu sendiri tidak dapat dipisahkan, maka G hanya memiliki satu blok,
yaitu grafik G. Di sisi lain, jika G terhubung dan memiliki simpul-potong, maka G memiliki dua
atau lebih blok. Gambar 5.4 menunjukkan grafik G yang terhubung dengan dua simpul-potong u
dan v dan empat blok B1, B2, B3 dan B4. Jadi, seperti halnya grafik yang terputus memiliki
subgraph terhubung khusus yang disebut komponen, grafik terhubung dengan cut-vertex
mengandung subgraph khusus yang tidak dapat dipisahkan yang disebut blok.
Ada cara lain untuk melihat balok. Pertama, kami menggambarkan hubungan ekivalensi yang
didefinisikan pada set tepi dari grafik terhubung nontrivial. (Sekali lagi, ingat bahwa hubungan
ekivalensi ditinjau dalam Lampiran 2.)
Relasi ekivalensi R yang dijelaskan dalam Teorema 5.8 menghasilkan partisi dari set edge dari
setiap graf G nontrivial yang terhubung ke dalam kelas ekuivalensi. Setiap subgraph G yang
diinduksi oleh edge dalam kelas ekivalensi sebenarnya adalah blok G. Akibat wajar dari
Teorema 5.8 berikut memberikan properti blok dalam grafik yang terhubung nontrivial.

Akibat wajar 5.9 Setiap dua blok B1 dan B2 yang berbeda dalam grafik terhubung nontrivial G
memiliki properti berikut:

(A) Blok B1 dan B2 adalah ujung-disjoint.

(B) Blok B1 dan B2 memiliki paling banyak satu simpul yang sama.

(c) Jika B1 dan B2 memiliki titik v yang sama, maka v adalah titik potong dari G.

Bukti. Bahwa setiap dua blok yang berbeda saling terpisah adalah konsekuensi langsung dari
Teorema
5.8. Kami sekarang memverifikasi (b). Asumsikan, sebaliknya, bahwa B1 dan B2 memiliki dua
simpul berbeda u dan v
bersama. Karena B1 dan B2 terhubung dengan subgraf G, ada jalur u - v P− di B1 dan a -
v path P ″ dalam B2. Lebih lanjut, karena B1 dan B2 saling terpisah, demikian juga P ′ dan P ″.
Misalkan w menjadi simpul pertama yang memiliki kesamaan P ′ dan P after setelah u (mungkin
w = v). Subpath u-w Q ′ dari P ′ dan sub-u u-w Q ″ dari P ″ membentuk sebuah siklus dalam G
yang mengandung tepi e1 dari B1 dan sebuah tepi e2 dari B2. Karenanya e1 dan e2 termasuk
dalam blok G yang sama, yang tidak mungkin. Ini memverifikasi (b).
Masih memverifikasi (c). Misalkan dua blok B1 dan B2 dari G memiliki titik v yang sama.
Kemudian
v adalah kejadian dengan edge e1 = vv1 di B1 dan edge e2 = vv2 di B2. Asumsikan, sebaliknya,
bahwa v adalah
bukan titik potong dari G. Oleh Corollary 5.4, G memiliki jalur v1 - v2 P tidak mengandung v.
Kemudian P bersama dengan
v dan tepi e1 dan e2 menghasilkan siklus yang mengandung e1 dan e2. Namun ini tidak
mungkin, karena e1
dan e2 termasuk dalam blok G. yang berbeda.

Kami telah menunjukkan dua cara agar blok dapat dijelaskan. Latihan 5.15 meminta Anda untuk
menunjukkan bahwa kedua interpretasi blok ini setara.

6.1 Graf Euler


1. Kapan suatu graf bisa disebut graf Euler?
Sirkuit C dalam graf G disebut sirkuit Euler jika C berisi setiap tepi G. Karena tidak ada
sisi yang diulang dalam suatu sirkuit, setiap sisi muncul tepat sekali dalam sirkuit Euler.
Tentu saja, hanya graf dengan satu komponen nontrivial yang dapat mengandung sirkuit
seperti itu. Graf terhubung yang berisi sirkuit Euler disebut graf Euler. Secara khusus,
graf G pada Gambar dibawah adalah graf Euler.

2. Carilah karakteristik suatu graf yang memiliki siklus Euler.

3. Sebagai latihan, kerjakan soal no 6.4.


6.4 Give an example of a graph G such that
(a) both G andare Eulerian.
(b) G is Eulerian but G is not.
(c) neither G nor G is Eulerian and both G and G contain an Eulerian trail.
(d) neither G nor G is Eulerian, but G contains an Eulerian trail and G does not.
(e) G contains an Eulerian trail and an edge e such that G−e is Eulerian.
Ini membawa kita ke topik utama bagian ini. Sirkuit C dalam grafik G disebut sirkuit Eulerian
(diucapkan oy-LEER-e-an) jika C berisi setiap tepi G. Karena tidak ada tepi yang diulang dalam
suatu sirkuit, setiap tepi muncul tepat sekali dalam sirkuit Euler. Tentu saja, hanya grafik dengan
satu komponen nontrivial yang dapat mengandung sirkuit seperti itu. Karena alasan ini, kami
membatasi diri pada grafik yang terhubung saat menyelidiki pertanyaan apakah suatu grafik
memiliki sirkuit Euler. Grafik terhubung yang berisi sirkuit Euler disebut grafik Euler. Secara
khusus, grafik G pada Gambar 6.2 adalah grafik Euler.

6.2 Graf Hamilton


1. Kapan suatu graf disebut graf Hamilton? berikanlah contoh graf hamilton.
Siklus dalam graf G yang berisi setiap titik G disebut siklus Hamilton G. Jadi, siklus
Hamilton G adalah siklus spanning dari G. Graf Hamilton adalah graf yang berisi siklus
Hamilton. Grafik G pada Gambar dibawah adalah Hamilton. Tentunya graf C n ( n ≥ 3 )
adalah Hamilton. Juga, untuk n ≥ 3, graf lengkap K n adalah graf Hamilton.

2. Kerjakan soal no 6.13.


6.13 Give an example of a graph G that is
(a) Eulerian but not Hamiltonian. (Explain why G is not Hamiltonian.) (b) Hamiltonian
but not Eulerian. (Explain why G is not Eulerian.)
(c) Hamiltonian and has an Eulerian trail but is not Eulerian. (d) neither Eulerian nor
Hamiltonian, but has an Eulerian trail.
Penyelesaian :

Anda mungkin juga menyukai