Semoga bab ini telah memberi Anda gambaran tentang luasnya ragam topik dalam teori graf sekaligus alasan bidang ini menarik untuk dipelajari. Masih banyak bidang menarik lain yang dapat ditinjau, dan jumlahnya terus bertambah; teori graf merupakan bidang penelitian matematika yang aktif.
Salah satu alasan teori graf merupakan bidang kajian yang begitu kaya adalah karena bidang ini membahas konsep yang sangat mendasar: setiap pasangan objek dapat saling berhubungan atau tidak berhubungan. Jenis objek dan arti “berhubungan” bergantung pada konteks, dan hal ini menghasilkan banyak penerapan teori graf dalam sains dan bidang matematika lainnya. Objek tersebut dapat berupa negara, dan dua negara berhubungan apabila keduanya berbagi batas. Objek tersebut dapat berupa daratan yang berhubungan apabila terdapat jembatan di antaranya. Objek tersebut dapat berupa situs web yang berhubungan apabila terdapat tautan dari satu situs ke situs lainnya. Atau, kita dapat bersikap sepenuhnya abstrak: objeknya berupa simpul yang berhubungan apabila terdapat sisi di antaranya.
Pertanyaan yang kita ajukan tentang graf bergantung pada penerapannya, tetapi sering kali mengarah pada pertanyaan yang lebih mendalam, umum, dan abstrak yang layak dipelajari secara tersendiri. Berikut adalah ringkasan singkat jenis pertanyaan yang telah kita tinjau:
Dapatkah graf digambar pada bidang tanpa sisi yang berpotongan? Jika dapat, berapa banyak muka yang dibentuk gambar tersebut pada bidang?
Dapatkah simpul-simpul graf diwarnai dengan sedikit warna sedemikian sehingga simpul-simpul yang bertetangga memiliki warna berbeda? Berapa banyak warna yang diperlukan?
Dapatkah Anda menemukan subgraf dengan sifat tertentu? Sebagai contoh, kapan suatu graf (bipartit) memuat subgraf yang setiap simpulnya hanya bertetangga dengan satu simpul lain?
Tidak mengherankan bahwa pertanyaan-pertanyaan ini sering kali saling berkaitan. Sebagai contoh, bilangan kromatik suatu graf tidak dapat lebih besar dari 4 apabila graf tersebut planar. Ada atau tidaknya jejak Euler pada suatu graf bergantung pada banyaknya simpul yang bertetangga dengan setiap simpul (dan apakah bilangan-bilangan tersebut selalu genap atau tidak). Bahkan keberadaan pencocokan dalam graf bipartit dapat dibuktikan menggunakan lintasan.
Perhatikan graf \(G = (V, E)\) dengan \(V = \{a,b,c,d,e,f,g\}\) dan \(E = \{ab, ac, af, bg,
cd, ce\}\) (di sini kita menggunakan notasi singkat untuk sisi: sebagai contoh, \(ab\) sebenarnya berarti \(\{a,b\}\)).
Apakah graf \(G\) isomorfik dengan \(G' = (V', E')\) dengan \(V' = \{t, u, v, w, x, y, z\}\) dan \(E' = \{tz, uv,
uy, uz, vw,
vx\}\text{?}\) Jika ya, berikan isomorfismenya. Jika tidak, jelaskan bagaimana Anda mengetahuinya.
Temukan graf terhubung \(G'''\) yang memiliki barisan derajat sama dengan \(G\) tetapi TIDAK isomorfik dengan \(G\text{,}\) atau jelaskan mengapa hal tersebut tidak mungkin.
Dalam suatu kelompok yang terdiri atas \(n\) orang, mungkinkah setiap orang berteman dengan sejumlah ganjil orang dalam kelompok tersebut? Jika ya, apa yang dapat Anda simpulkan tentang \(n\text{?}\)
Dengan mengasumsikan bahwa Anda berhasil membuat polihedron baru bermuka 16, mungkinkah setiap simpul menjadi pertemuan bagi jumlah muka yang sama? Mungkinkah setiap simpul menjadi pertemuan bagi 3 atau 4 muka? Jika ya, berapa banyak simpul dari masing-masing jenis tersebut?
Berapa banyak sisi yang dimiliki graf \(K_{n,n}\text{?}\) Untuk nilai \(n\) manakah graf tersebut memiliki sirkuit Euler? Untuk nilai \(n\) manakah graf tersebut planar?
Graf \(G\) memiliki 6 simpul dengan derajat \(1, 2, 2, 3, 3, 5\text{.}\) Berapa banyak sisi yang dimiliki \(G\text{?}\) Jika \(G\) planar, berapa banyak muka yang dimilikinya? Apakah \(G\) memiliki jejak Euler?
Berapa jumlah warna minimum yang Anda perlukan untuk mewarnai simpul-simpul \(K_{7}\) secara tepat? Berdasarkan jawaban Anda, dapatkah Anda menentukan apakah \(K_7\) planar?
Berapa jumlah warna minimum yang Anda perlukan untuk mewarnai simpul-simpul \(K_{3,4}\) secara tepat? Berdasarkan jawaban Anda, dapatkah Anda menentukan apakah \(K_{3,4}\) planar?
Dodekahedron adalah polihedron cembung beraturan yang tersusun atas 12 segilima beraturan.
Misalkan Anda mewarnai setiap segilima dengan salah satu dari tiga warna. Buktikan bahwa pasti terdapat dua segilima bertetangga yang diberi warna sama.
Untuk setiap bagian di bawah ini, tentukan apakah pernyataannya benar atau salah. Jelaskan mengapa pernyataan yang benar memang benar, dan berikan contoh penyangkal bagi pernyataan yang salah.
Misalkan \(G\) adalah graf terhubung dengan \(v\) simpul dan \(e\) sisi. Gunakan induksi matematika untuk membuktikan bahwa jika \(G\) memuat tepat satu siklus (di antara sisi dan simpul lainnya), maka \(v = e\text{.}\)
Anda dapat membagi bukti menjadi dua bagian. Pertama, buktikan dengan induksi bahwa siklus \(C_n\) memenuhi \(v=e\text{.}\) Kemudian, tinjau apa yang terjadi jika graf tersebut tidak hanya terdiri atas siklus itu.