Teori graf

kajian grafik yang struktur matematika digunakan untuk model hubungan berpasangan antarobjek

Teori graf adalah cabang matematika dan ilmu komputer yang mempelajari graf, yaitu struktur yang menggambarkan himpunan simpul (vertex) yang beberapa di antaranya dihubungkan dengan sisi-sisi (edge), beserta propertinya.

Sebuah graf yang dimodelkan dari Tujuh Jembatan Königsberg.

Definisi formal

Sebuah graf adalah pasangan terurut dari himpunan yang terpisah dimana adalah himpunan simpul (node atau vertex) dan adalah himpunan sisi (edge) yang berlaku . Artinya, anggota himpunan adalah himpunan bagian berpasangan dua tak terurut dari .[1] Persisnya dalam teori graf, jenis graf ini disebut sebagai graf sederhana tak terarah.

Sebagai contoh, graf dengan himpunan:

Sebuah himpunan simpul dari graf dinotasikan sebagai , sementara himpunan sisi sebagai .

Sejarah

Diagram oleh Euler yang menunjukkan fitur utama Tujuh Jembatan Königsberg.

Teori graf bermula dari kajian matematikawan Leonhard Euler atas masalah Tujuh Jembatan Königsberg. Tujuh Jembatan Königsberg menyajikan masalah apakah bisa melintasi tujuh jembatan yang terdapat di Königsberg (kini Kaliningrad, Rusia) sekali dalam berjalan terus-menerus. Pada 1736, Euler memaparkan penyelesaiannya dalam artikelnya yang berjudul Solutio problematis ad geometriam situs (Solusi dari masalah yang berkaitan dengan geometri posisi) yang menyimpulkan tidak ada solusi atas masalah tersebut.[2] Artikel tersebut dianggap sebagai makalah pertama dalam sejarah teori graf dan penerapan praktis pertama dari topologi.[3]

Lebih dari seabad setelah artikel Euler dan ketika Johann Benedict Listing memperkenalkan konsep topologi, Arthur Cayley didorong pada minat pada bentuk analitik tertentu yang muncul dari kalkulus diferensial untuk mempelajari jenis khusus graf, pohon.[4]

Lihat pula

Referensi

Daftar pustaka

Pranala luar

Buku teks online