Teori Graf Dasar, Graf Eulerian, Hamiltonian & Teorema Hall

Pengantar struktur graf, Handshaking Lemma, Graf Eulerian & Hamiltonian, serta Graf Bipartit dan Teorema Hall (Marriage Theorem).

📅 Dibuat: 5 Agustus 2026
🔄 Diperbarui: 5 Agustus 2026

Teori graf menyediakan kerangka kerja visual dan matematis untuk mempelajari relasi antar objek. Sebuah graf dapat merepresentasikan jaringan, struktur molekul, hingga hubungan pertemanan.


1. Definisi dan Struktur Dasar Graf

Definisi (Graf)

Sebuah graf terdiri dari himpunan tak kosong yang berisi titik-titik (vertices) dan himpunan yang berisi sisi-sisi (edges), di mana setiap sisi menghubungkan dua titik di .

Lemma (Handshaking Lemma)

Untuk setiap graf , jumlah derajat semua titik adalah dua kali jumlah sisinya:

Konsekuensi Direct: Dalam setiap graf, jumlah titik yang memiliki derajat ganjil haruslah genap.


2. Graf Eulerian dan Graf Hamiltonian

Graf Eulerian

Sebuah graf dikatakan memiliki lintasan Euler jika terdapat lintasan yang melalui setiap sisi tepat satu kali. Jika lintasan tersebut tertutup, disebut Sirkuit Euler.

Teorema (Teorema Euler)

Sebuah graf terhubung memiliki sirkuit Euler jika dan hanya jika setiap titik di memiliki derajat genap.

Graf terhubung memiliki lintasan Euler (tetapi bukan sirkuit) jika dan hanya jika memiliki tepat dua titik berderajat ganjil.

Graf Hamiltonian

Sebuah graf dikatakan memiliki lintasan Hamilton jika terdapat lintasan yang melalui setiap titik tepat satu kali. Jika tertutup, disebut Siklus Hamilton.

Teorema (Teorema Dirac)

Jika adalah graf sederhana dengan titik () dan setiap titik memenuhi , maka memiliki siklus Hamilton.


3. Matching dan Marriage Theorem (Teorema Hall)

Definisi (Graf Bipartit & Matching)

Sebuah graf dikatakan bipartit jika himpunan titik dapat dipartisi menjadi dua himpunan saling lepas dan sedemikian sehingga setiap sisi menghubungkan satu titik di dengan satu titik di .

Sebuah matching adalah subhimpunan dari sisi-sisi di mana tidak ada dua sisi yang berbagi titik yang sama.

Teorema (Teorema Hall (Marriage Theorem))

Misalkan adalah graf bipartit. Terdapat complete matching yang menjenuhkan setiap titik di jika dan hanya jika untuk setiap subhimpunan , berlaku:

di mana adalah himpunan tetangga dari semua titik di (neighborhood set).


Contoh Soal & Pembahasan

Contoh (Aplikasi Handshaking Lemma)

Mungkinkah terdapat sebuah graf dengan 7 titik di mana masing-masing titik memiliki derajat tepat 3?

Contoh (Aplikasi Teorema Hall)

Sebuah perusahaan memiliki 5 lowongan pekerjaan berbeda () dan 5 pelamar ().

  • : kualifikasi
  • : kualifikasi
  • : kualifikasi

Mungkinkah setiap orang mendapatkan pekerjaan yang sesuai?


Latihan Soal

✏️ Latihan Soal 1 (Tiga Orang Saling Kenal (Teorema Ramsey R(3,3)))

Buktikan bahwa dalam sebuah kelompok berisi 6 orang, selalu terdapat setidaknya 3 orang yang saling kenal atau 3 orang yang saling tidak kenal satu sama lain.

💡 Tampilkan Pembahasan / Solusi
▾
Pembahasan:

Pembahasan: Representasikan 6 orang sebagai 6 titik graf lengkap . Warnai sisi dengan merah (saling kenal) atau biru (tidak kenal). Pilih satu titik . Ada 5 sisi yang keluar dari . Berdasarkan Pigeonhole Principle (), setidaknya ada 3 sisi berwarna sama (misal merah) yang terhubung ke .

  • Jika salah satu sisi antara berwarna merah, terbentuk segitiga merah (3 orang saling kenal).
  • Jika ketiga sisi di antara berwarna biru, terbentuk segitiga biru (3 orang saling tidak kenal).
✏️ Latihan Soal 2 (Jumlah Sisi Graf Lengkap K10)

Berapa jumlah seluruh derajat titik pada graf lengkap ?

💡 Tampilkan Pembahasan / Solusi
▾
Pembahasan:

Pembahasan: Pada , terdapat 10 titik dan setiap titik memiliki derajat . Berdasarkan Handshaking Lemma, jumlah seluruh derajat titik adalah .


Diskusi & Tanya Jawab

Punya pertanyaan atau diskusi terkait materi ini? Tuliskan komentar Anda di bawah.

Powered by GitHub Discussions
Tips Penulisan Notasi Matematika & Format Komentar

Komentar ini mendukung penulisan notasi matematika LaTeX dan format Markdown. Seluruh pesan dimuat secara terisolasi di dalam iframe aman sehingga tidak akan merusak layout halaman website:

  • Inline Math: Gunakan $...$ (contoh: $a \in G$).
  • Display Math: Berikan baris baru (enter) di sebelum & sesudah $$ atau gunakan blok kode ```math (contoh: $$\n\frac{a+b}{2} \ge \sqrt{ab}\n$$).