PERTEMUAN 5: TREE DAN BLOCK

HARI/TGL : JUMAT 19 MARET 2021

WAKTU : 8.00 – 10.30

1.10. Tree
Graph G disebut tree apabila setiap pasang vertex (x,y) dari G tidak memuat
cycle. Graph G1 pada Gambar 1.24 bukan tree karena memuat cycle C3, akan tetapi graph
G2 adalah tree karena tidak memuat cycle.

x4 x4
x3 x3
x5 x5

x1 x2 x1 x2
G1 G2

Gambar 1.24: Tree

Teorema 1.2 : Jika G mempunyai  (G ) ≥ 2 maka G memuat cycle.

Bukti : Misalkan P adalah path terpanjang di G dan P = v0e1v1... ekvk barisan vertex dan
edge sedemikian hingga ei incident dengan vertex vi-1 dan ei. Karena deg(v0) ≥  (G ) ≥ 2
maka ada vertex vi sehingga v0 adjacent dengan vi, karena kalau tidak maka G
mempunyai path yang lebih panjang lagi, kontradiksi dengan pemilihan path terpanjang
P. Akibatnya G memuat cyle v0e1v1... eivi ejvi di mana ej = (v0, vi). Dengan demikian
teorema terbukti.‫ٱ‬.

Teorema 1.3 : Jika G adalah tree berorder p maka │ E(G) │ = p – 1.

Bukti : Teorema 1.3 dibuktikan degan induksi pada p. Untuk p = 1, 2 jelas teorema
terbukti. Misalkan untuk semua tree berorder t < p teorema berlaku. Perhatikanlah graph

17
G mempunyai vertex v dengan deg(v) = 1, karena kalau deg(v) ≥ 2 untuk semua vertex v,
maka G memuqat cycle(Teorema 1.2), contradiksi dengan yang diketahui. Perhatikan
graph H = G – v. Graph H adalah tree karena kalau tidak G bukan tree. Oleh sebab itu H
adalah tree berorder < p. Berdasarkan hipothesa induksi │ E(G-v) │ = (p – 2). Sekarang
│ E(G) │ = │ E(G-v) │ + 1 = (p – 2) + 1 = p – 1. Dengan demikian teorema terbukti. ‫ٱ‬

Teorema 1.4 : Jika G adalah connected grap berorder p maka │ E(G) │ ≥ p – 1.

Bukti : Misalkan G adalah connected graph berorder p. Jika G tidak memuat cycle maka
menurut Teorema 1.3 │ E(G) │ = p – 1. Misalkan G memuat cycle Cn. Selanjutnya
misalkan G1 diperoleh dari G dengan menghapus 1 edge dari cycle Cn. Jika G1 tidak
memuat cycle lagi maka menurut Teorem 1.3 diperoleh │ E(G) │ = p – 1. Jika G1
memuat cycle kita ulangi proses penghapusan edge dari cycle dari G1. Dengan
mengulangi proses di atas pada suatu saat akan diperoleh graph Gi berorder p yang tidak
memiliki cycle. Menurut Teorema 1.3 diperoleh E(Gi) = p – 1. Karena G1,..., Gi adalah
subgraph dari G maka │ E(G) │ ≥ p – 1.‫ٱ‬

1.11. Cut vertex

Misalkan misalkan G = (V,E) adalah graph dan S adalah himpunan bagian dari
V(G). Himpunan S disebut vertex cut apabila graph G-S adalah disconnected graph. Jika
S hanya mempunyai satu vertex v maka vertex v disebut cut verex. Dengan cara yang
sama apabila S adalah himpunan bagian dari E(G) maka S disebut edge cut apabila
graph G-S adalah disconnected graph. Jika S hanya mempunyai satu edge e maka e
disebut cut edge.
Perhatikan graph G pada Grambar 1.25.a. Vertex x4 adalah cut vertex dari G
karena G –x4 adalah disconnected graph dengan dua component seperti yang ditunjukkan
Gambar 1.25.b. Edge e = (x4,x6) adalah cut edgedari G karena G –x4x6 adalah
disconnected graph dengan dua component seperti yang ditunjukkan Gambar 1.25.c.

18
 x4 x8
x3
x5

e
x1 x6 x7
x2
(a) G

x4 x8
x3
x5

x1 x6 x7

(b) G-x2

x4 x8
x3
x5

x1 x6 x7
x2

(c) G-e

Gambar 1.25: Cut vertex dan cut edge

Misalkan S1 = {x1, x4} dan S2 = {x1, x3}. Perhatikanlah bahwa S1 bukan vertex cut pada
Gambar 1.25.a karena G-S1 adalah connected graph sementara S2 adalah vertex cut karena
G-S2 adalah disconnected graph dengan dua connected componet.
Dengan cara yang sama E1 = {x2x3, x3x4} bukan edge cut karena G – E1 adalah
connected graph sementara E2 = {x2x3, x1x2} adalah edge cut karena G – E2 adalah
disconnected graph dengan dua component.

19
1.12. Block
Graph G disebut apabila G tidak mempunyai cut vertex. Misalkan S adalah
himpunan bagian dari V(G) dan induced subgraph G[S] adalah block. Jika G[S] adalah
block dan tidak ada himpunan bagian S' yang memuat S sedemikian hingga G[ S ' ]
adalah block maka G[S] disebut maximal block. Induced subgraph G[S] disebut block
dari G apabila G[S] adalah maximal block dari G.
Perhatikanlah graph G pada Gambar 1.26. Induced subgraph G[{x1, x2, x3, x4, x5,
x6}] bukan block karena memuat cut vertex yaitu vertex x2, sedangkan G[{ x3, x4, x5}]
adalah block akan tetapi bukan block dari graph G karena G[{ x3, x4, x5}] bukan maximal
block. Induced subgraph G[{ x3, x4, x5}] bukan maximal block karena termuat dalam
block G[{x1, x2, x3, x4, x5}].
Perhatikanlah bahwa block dari graph G pada Gambar 1.26.a masing-masing
adalah graph G1, G2 dan G3 pada Gambar 1.26.b, c dan d. Jadi G mempunyai 3 block.
Perhatikan juga bahwa G1  G2  G3 sama dengan graph G.

x4 x9
x3 x8
x5 x10

x1 x7
x2 x6
(a) G

x9
x4
x3 x8
x5 x10

x2 x6
x1 x7
x2 x6
(b) G1 (c) G2 (d) G3

Gambar 1.26: Block dari graph

20