DEFINISI GRAF

Graf G adalah pasangan himpunan (V, E) dengan V adalah himpunan tidak kosong dan berhingga dari obyek-obyek yang disebut sebagai titik dan E adalah himpunan (mungkin kosong) pasangan tak berurutan dari titik-titik berbeda di G yang disebut sebagai sisi. Himpunan titik di G dinotasikan dengan V(G) dan himpunan sisi dinotasikan dengan E(G). Sedangkan banyaknya unsur di V disebut order dari G dan dilambangkan dengan p(G) dan banyaknya unsur di E disebut ukuran dari G dan dilambangkan dengan q(G). Jika graf yang dibicarakan hanya graf G, maka order dan ukuran dari G tersebut cukup ditulis dengan p dan q (Chartrand dan Lesniak, 1986:4).
Dari uraian di atas, maka suatu graf tidak boleh mempunyai sisi rangkap dan loop. Sisi rangkap dari suatu graf adalah jika dua titik yang dihubungkan oleh lebih dari satu sisi. Sedangkan yang disebut dengan loop adalah suatu sisi yang menghubungkan suatu titik dengan dirinya sendiri (Suryanto dalam Fitria, 2007:6). Graf yang mempunyai sisi rangkap dan loop sebut multigraf.