1
Mathematical
Properties of
Trees
N A B I I L A H A RV Y Z H A A F I R A H M U RT I
( 2 4 0 1 0 11 8 1 4 0 0 5 0 )
H E N I A G U S T I A N I A N I S A H ( 2 4 0 1 0 11 8 1 4 0 0 5 8 )
Tree (Pohon)
Pohon adalah salah satu tipe graf non-trivial tersimpel yang setiap dua titiknya dihubungkan melalui
tepat satu sisi.
Definisi: Pohon adalah suatu graf terhubung yang tidak mempunyai cycles (tidak mempunyai closed
trails dengan titik-titik yang berbeda).
Pohon diatas dapat dikembangkan dengan menambahkan sebuah titik dan sisi, sehingga menjadi sebuah
pohon dengan tujuh titik sebagai berikut:
Dari sebuah pohon dengan hanya satu titik, dapat dikembangkan pohon-pohon yang lain dengan
menambahkan sebuah sisi dan sebuah titik yang baru. Dalam setiap stage penambahan, jumlah titik
lebih banyak dari jumlah sisi sejumlah 1, sehingga demikian
Dari setiap penambahan tersebut, tidak dapat terbentuk cycle, karena sisi baru yang terbentuk
menghubungkan titik yang lama (yang sudah ada sebelumnya) ke titik yang baru. Hal ini mengikuti
Setiap dua titik dalam pohon dihubungkan oleh tepat satu path
Terdapat setidaknya satu path, karena dalam setiap penambahan pohon tersebut tetap terhubung dan
terdapat paling banyak satu, karena jika terdapat dua atau lebih path menghubungkan dua titik yang
diberikan, maka path tersebut memiliki sebuah cycle.
Secara khusus, setiap dua titik adjacent (berdekatan) dihubungkan dengan tepat satu path (jalur). Jika
sisi yang menghubungkan kedua titik itu dihapuskan, maka tidak ada titik yang menghubungkannya.
Maka,
Penambahan sebuah sisi diantara dua buah titik dari sebuah pohon membentuk tepat satu cycle
Hal ini karena dua titik v dan w terhubung hanya oleh satu path, dan sisi baru yang ditambahkan
menghasilkan sebuah cycle yang terdiri dari sebuah path dan sisi vw.
Sifat-sifat dari pohon diatas dapat menjadi alternative lain untuk mendefinisikan pohon, termasuk
teorema yang akan dijelaskan selanjutnya.
Teorema 9.1 Misalkan T sebuah graf dengan n titik. Maka
pernyataan-pernyataan dibawah ekuivalen:
e. Setiap dua titik dari T terhubung oleh tepat satu path (jalur)