KONEKTIVITAS

1. Keterhubungan Titik (Simpul Konektivitas)

Definisi: Cut Vertex

Misalkan adalah simpul dari graf terhubung . Jika tak terhubung makan
disebut cut-vertex

Jadi adaah cut-vertex jika mempunyai komponen lebih banyak dari komponen G
Definisi: Bridge

Misalkan graf terhubung.

Sebuah sisi disebut bridge dari graf G, jika tak terhubung, yaitu jika

Jadi adalah bridge jika mempunyai komponen lebih banyak dari komponen G
Dapat juga didefiniskan bahwa untuk setiap sisi

adalah bridge berada pada komponen berbeda di

Sebagai contoh, K2 adalah graf terhubung yang memuat sebuah bridge tetapi
tidak ada cut vertices.

Setiap graf terhubung berorde 3 atau lebih yang memuat bridge juga memuat cut
vertices.

Contoh 1:

Perhatikan Gambar berikut ini:

Cut-vertex: dan
 Gambarkan !!!

Bridge :

Teorema 2:
Setiap graf nontrivial terhubung memuat paling sedikit 2 simpul yang bukan cut
vertices.
Eksistensi cut vertex dan bridge dinyatakan dalam teorema berikut ini:
Teorema 3:
Simpul v dari graf G merupakan cut-vertices jika dan hanya jika terdapat dua simpul
u dan w yang berbeda dengan v sedemikian sehingga v terletak pada setiap lintasan
u-w di G.
Teorema 4:
Sisi e pada graf G merupakan bridge jika dan hanya jika e tidak termuat pada suatu
lingkaran di G.
1.1 Graf Nonseparable

Definisi 2: Graf nonseparabel

Graf terhubung nontrivial yang tidak mempunyai cut-vertex disebut nonseparabel.

Contoh:
Cn, n3 dan Kn, n2.
K2 adalah satu-satunya graf berorde 2 yang merupakan graf non separable.

Setiap graf nonseparable berorde 3 atau lebih memenuhi sifat berikut:

Teorema 5:
Setiap 2 simpul berbeda pada graf non separable G yang berorde 3 atau lebih
terletak pada lingkaran yang sama.

1.2 Blok

Definisi 3:

Sub graf nonseparable B dari graf terhubung disebut blok jika B bukan subgraf
sejati dari sebarang subgraf G yang non separabel.

Setiap 2 blok dari G mempunyai paling banyak 1 simpul bersama; jika 2 blok
memiliki simpul bersama maka simpul tersebut merupakan cut-vertex. Blok G yang
memuat tepat 1 cut-vertex G disebut blok ujung dari G.

Teorema 6:
Setiap graf terhubung yang memiliki cut-vertex memuat paling sedikit dua blok ujung.
Contoh:
2. Keterhubungan Simpul

Definisi 2.1: Vertex-Cut

Vertex-cut dari graf G adalah himpunan simpul SV(G) dari G sedemikian sehingga
G-S tak terhubung (mempunyai lebih dari 1 komponen) atau mempunyai hanya satu
simpul.
Himpunan Vertex-cut S dari graf terhubung G memenuhi sifat
1. Penghapusan seluruh elemen S menghasilkan graf tak terhubung G-S.
2. Penghapusan sebagian elemen S dari G tidak menghasilkan graf tak terhubung.
Vertex-cut dengan k elemen disebut k-vertex cut.

Definisi 2.2: keterhubungan Titik.

Keterhubungan titik dari G adalah cardinalitas terkecil dari himpunan vertex-cut S.

Keterhubungan titik dari graf G disebut juga konnectivitas G dan dinotasikan

(G).

Jadi konektivitas (G) adalah bilangan terkecil sedemikian sehingga adalah

k-vertex cut.

Setiap graf G yang berorde n memenuhi:

Berdasarkan definisi tersebut, maka:

- (G)=0 jika G=K1 atau G tak terhubung.

- (G)=1 jika G=K2 atau G mempunyai cut-vertex

- (G) 2 jika dan hanya jika G nonseparable berorde 3 atau lebih

- (Kn)=n-1

Contoh:
 S1 ={u,x}. Menghapus u dan x dari graf menghasilkan graf tak terhubung.
S2 ={v,w,z}. Menghapus v,w dan z dari graf menghasilkan graf tak terhubung.
S3 ={w,y}. Menghapus w dan y dari graf menghasilkan graf tak terhubung.
S4 ={y). Menghapus y dari graf menghasilkan graf tak terhubung.

Manakah di antara S1, S2, S3, S4 yang merupakan vertex cut?

Jawab:

S1, S4, S1 merupakan vertex cut, karena menghapus hanya simpul u atau x
saja tidak menghasilkan graf takterhubung.
S2, S3 Bukan vertex cut, karena apabila hanya menghapus simpul w dan z
dari S2 menghasilkan graf tak terhubung.
Kardinalitas S1=2
Kardinalitas S4=1

Jadi (G)=1

Contoh: 1-vertex cut (terhubung-1)

Graf terhubung-1

Keterhubungan suatu graf tidak hanya menggunakan ukuran tentang banyaknya

simpul yang dapat dihilangkan yang menyebabkan graf menjadi tak terhubung, tetapi juga
bisa melalui penghapusan sejumlah sisi sehingga graf menjadi tak terhubung.
Keterhubungan yang didefinisikan dengan menggunakan terminology
penghapusan sisi disebut keterhubungan sisi.

1.3 Brance pada S

Misalkan G adalah graf terhubung tidak lengkap dan S adalah minimum vertex-cut dari G.
Misalkan pula adalah komponen dari . Maka subgraf

[ ]
disebut branches dari pada atau dari

Sebagai ilustrasi, perhatikan Contoh berikut:

Contoh:

Gambar. Branches dari pada { }

3. Keterhubungan Sisi

Definisi: Cut Edge

Edge-cut dari graf G adalah himpunan XE(G) sedemikian sehingga G-X tak
terhubung.
Edge cut X dari graf terhubung G dikatakan minimal jika tidak terdapat
subhimpunan sejati dari X yang merupakan edge-cut.

Setiap graf non trivial mempunyai edge-cut.

Edge-Cut dengan kardinalitas terkecil disebut edge-cut minimum. Kardinalitas

terkecil dari Edge Cut disebut keterhubungan sisi dari G, dan dinotasikan (G)

Jadi (G) adalah jumlah minimum sisi yang dihapus dari G dan menghasilkan graf tak
terhubung dan memenuhi:

0(G)n-1

Untuk setiap graf berorde n.

(G)=0 jika dan hanya jika G tak terhubung atau trivial
(G)=1 jika dan hanya jika G terhubung atau mempunyai bridge.
Graf G dikatakan terhubung-sisi-k, k1 jika (G) k.
 Jadi Graf G dikatakan terhubung sisi-k jika penghapusan sejumlah kurang dari k
sisi G tidak menghasilkan graf tak terhubung atau graf trivial.
Graf terhubung-sisi-1 adalah graf terhubung nontrivial
Graf terhubung-sisi-2 adalah graf terhubung nontrivial tanpa bridge.

Contoh:

Diberikan graf terhubung seperti berikut ini:

Konektivitas dan keterhubungan sisi masing-masing adalah:

(G) =2 dan (G)=3. {u,v1} dan {u,v2} adalah vertex-cut minimum sedangkan {e1,e2,e3}
adalah edge-cut minimum.

Keterhubungan sisi untuk graf lengkap dinyatakan sebagai berikut:

Teorema: Untuk setiap bilangan asli n, (Kn)=n-1

Untuk penjelasan lebih jauh mengenai edge cut, perhatikan contoh berikut:

Contoh:

Vertex-cut dari graf tersebut adalah:

{uw,ux,vx}, {wy,xz} dan {yt} dengan kardinalitas masing-masing adalah 3, 2 dan 1. Jadi
keterhubungan sisi (G)= 1

Kaitan antara cur vertex, edge cut dan derajat minimum dinyatakan sebagai dalam
teorema berikut:

Teorema

Untuk setiap graf G, berlaku

3. Teorema Menger

Himpunan pemisah (Separating Set)

Definisi 1: Himpunan pemisah
Misalkan dimana dan tidak bertetangga.
Himpunan simpul (atau sisi) S pada graf G dikatakan memisahkan u dan v pada G
jika penghapusan elemen-elemen S dari G menghasilkan graf tak terhubung,
dengan u dan v terletak pada komponen berbeda.

Dalam hal ini, S disebut himpunan pemisah (separating set)

Jadi himpunan pemisah u-v adalah himpunan S V (G ) {u, v} sedemikian

sehingga tidak ada lintasan u-v (u dan v terletak pada komponen yang berbeda).

Contoh 2.

Himpunan simpul { } adalah himpunan pemisah , demikian pula

{ } adalah himpunan pemisah

Definisi 2. Himpunan pemisah minimum

 Himpunan pemisah u-v dengan kardinalitas terkecil disebut himpunan pemisah u-v
minimum

Jadi pada Contoh 2, adalah himpunan pemisah minimum.

Definisi 3. Simpul Internal

Simpul internal dari lintasan u-v adalah simpul-simpul pada lintasan u-v yang
berbeda dengan u atau v.

Definisi 4. Internally disjoint

Koleksi lintasan {P1, P2, , Pk } disebut internally disjoint jika setiap simpul internal
dari Pi (i=1,2,,k) tidak terletak pada lintasan Pj (ji). Jadi dua lintasan u-v adalah
internally disjoint jika keduanya tidak mempunyai simpul bersama kecuali u dan v.

Contoh 3.

Perhatikan gambar berikut:

Himpunan {w},{x} dan {w,x} merupakan himpunan pemisah s-t. Jadi kardinalitas
himpunan pemisah S paling sedikit 1.

Setiap lintasan s-t memuat sisi wx. Jadi kardinalitas koleksi internally disjoint s-t
paling banyak 1.

Himpunan pemisah s-t adalah{v,y},{v,w},{u,y,x}. Jadi kardinalitas dari himpunan

pemisah s-t paling sedikit 2

Setiap lintasan s-t memuat sisi vx atau wy. Jadi kardinalitas internally disjoint u-v paling
banyak 2.
 Himpunan S={w1, w2, w3,} merupakan himpunan pemisah u-v. Tidak terdapat
himpunan dengan kardinalitas lebih kecil dari S yang merupakan himpunan pemisah G.

Pertanyaan! Tentukan lintasan pada Gambar tersebut yang merupakan internally disjoint.

Hubungan antara himpunan pemisah u-v dan internally disjoint u-v dinyatakan
dalam teorema yang sangat terkenal dalam teori graf, dan dinyatakan berikut ini:

Teorema Menger (simpul)

Misalkan u dan v adalah simpul tak bertetangga di G. Minimum banyaknya

simpul di dalam himpunan pemisah u-v sama dengan maksimum banyaknya
lintasan u-v yang internally disjoint.
Teorema Whitney

Misalkan G graf non trivial. G adalah terhubung-k untuk suatu jika dan
hanya jika untuk setiap pasangan simpul berbeda dari terdapat paling sedikit
internally disjoint lintasan di .

Berikut ini adalah hasil yang analog dengan teorema Menger dan teorema Whitney untuk
sisi:

Teorema:

Misalkan dan adalah simpul berbeda di G, kardinalitas minimum dari himpunan

di G sedemikian sehingga dan terletak pada komponen berbeda dari sama
dengan maksimum banyaknya pasangan simpul disjoint di G.

Teorema

Graf non tricial merupakan jika dan hanya jika memuat

pasangan sisi disjoint untuk setiap pasangan simpul berbeda dari

===========================================================