Sebuah graf adalah pasangan terurut \(G = (V, E)\) yang terdiri atas himpunan tak kosong \(V\) (disebut himpunan simpul) dan himpunan \(E\) (disebut himpunan sisi) yang anggotanya merupakan subhimpunan dua unsur dari \(V\text{.}\)