Teori graf

Suatu graf G, dinotasikan sebagai formula_1, merupakan pasangan V dan E, di mana V merupakan himpunan tak kosong berisikan simpul pada graf tersebut dan E merupakan himpunan sisi pada graf tersebut. Secara formal, himpunan E dapat dinyatakan sebagai suatu koleksi subhimpunan berkardinalitas dua dari himpunan V, atau dalam notasi matematika formula_2. Sebagai contoh, graf pada gambar di atas dapat dinyatakan sebagai graf formula_3 di mana  V = \