TUGAS KELOMPOK

PENGANTAR TEORI GRAF

“DIGRAF”

Kelompok 3:
1. Khurin In Amalia (181810101012)
2. Larasati Aisyah Putri (181810101017)
3. Ingka Maya Ari P. (181810101022)
4. Anisa Binti Khumairoh(181810101023)

PROGRAM STUDI S1 MATEMATIKA

JURUSAN MATEMATIKA
FAKULTAS MATEMATIKA DAN ILMU PENGETAHUAN ALAM
UNIVERSITAS JEMBER
2020
BAB 7
Digraf
7.1 Pengantar Digraf
Grafik terarah atau digraf D adalah himpunan objek kosong yang terbatas yang disebut
simpul bersama dengan seperangkat pasangan simpul berbeda dari D yang disebut busur atau
tepi terarah. Untuk simpul dan dalam , busur terkadang dilambangkan dengan menulis →
(atau ← ). Sebuah digraf dengan himpunan simpul dan himpunan busur
ditunjukkan pada Gambar 7.1. Ketika digraf
digambarkan dengan menggunakan diagram, “arah” setiap busur ditunjukkan oleh panah.
Perhatikan bahwa dalam sebuah digraf, dimungkinkan bagi dua busur untuk bergabung dengan
pasangan simpul yang sama jika busur diarahkan secara berlawanan.

Gambar 7.1: Sebuah digraf

Kardinalitas himpunan simpul dari suatu digraf disebut urutan dan biasanya
dilambangkan dengan , sedangkan kardinalitas himpunan busurnya adalah ukuran dan
biasanya dilambangkan dengan . Jika adalah busur dari digraf , maka
dikatakan bersebelahan dengan dan berbatasan dengan . Untuk simpul dalam digraf
, derajat luar dari adalah jumlah simpul dengan berdekatan, sedangkan derajat
dalam dari adalah jumlah simpul dengan berdekatan. Persekitaran-luar dari
simpul dalam digraf adalah himpunan simpul yang bersebelahan dari , sedangkan
persekitaran-dalam adalah himpunan simpul yang bersebelahan dengan .
dan . Derajat dari simpul didefinisikan oleh
Untuk simpul dalam digraf pada Gambar 7.2, dan

Gambar 7.2: Derajat luar, derajat dalam, dan derajat simpul.

Teorema Pertama Teori Digraf

Teorema 7.1 (Teorema Pertama Teori Digraf) Jika adalah digraf berukuran , maka

∑ ∑

Bukti. Ketika derajat luar dari simpul dijumlahkan, setiap busur dihitung satu kali. Demikian
pula, ketika derajat dalam dari simpul dijumlahkan, setiap busur dihitung hanya satu kali.
Digraf isomorfik ke digraf , ditulis , jika ada fungsi bijektif
sedemikian sehingga jika dan hanya jika .
Fungsi disebut isomorfisma dari ke .
Digraf adalah subdigraf dari digraf jika dan .
Kita gunakan untuk menunjukkan bahwa adalah subdigraf dari . Sebuah subdigraf
dari adalah subdigraf span dari jika . Simpul yang dihapus, busur yang
dihapus, diinduksi, dan induksi busur subdigraf didefinisikan dengan cara mengira-ngira. Dua
konsep terakhir ini diilustrasikan untuk digraf pada Gambar 7.4, di mana

Gambar 7.4: Subdigraf dan busur yang diinduksi

 Sebuah digraf simetris jika setiap adalah busur , maka adalah busur
juga. Ada korespondensi satu-satu antara digraf dan graf simetris. Digraf simetris lengkap
dari urutan memiliki kedua busur dan untuk setiap dua simpul berbeda dan .
Sebuah digraf disebut graf berorientasi jika setiap adalah busur dari , maka
bukan busur . Dengan demikian, graf berorientasi dapat diperoleh dari graf dengan
menetapkan arah ke (atau dengan "mengarahkan") setiap tepi , sehingga mengubah setiap tepi
dari graf menjadi busur dan mengubah itu sendiri menjadi graf yang berorientasi. Digraf
juga disebut orientasi . Gambar 7.5 menunjukkan tiga digraf , dan . Dimana adalah
digraf simetris dan adalah graf berorientasi, bukan digraf keduanya. Graf yang
mendasari suatu digraf adalah graf yang diperoleh dengan mengganti setiap busur atau
pasangan simetris dari busur pada tepi . Graf yang mendasari setiap digraf pada
Gambar 7.5 adalah graf .

Gambar 7.5: Digraf dengan graf dasar yang sama

Orientasi dari graf lengkap disebut turnamen. Sebuah digraf adalah derajat reguler
atau -reguler jika untuk setiap titik dari . Sebuah digraf 1-reguler
dan digraf 2-reguler ditunjukkan pada Gambar 7.6. digraf adalah sebuah turnamen.

Gambar 7.6: Digraf reguler

Istilah lain dari jalan, jalan terbuka dan tertutup, jalur,lintasan, sirkuit dan siklus untuk
graf memiliki bagian yang berlawanan secara alami dalam teori digraph, juga perbedaan penting
adalah bahwa arah busur harus diikuti di setiap jalan . Khususnya, ketika mengacu pada digraf,
istilah lintasan terarah, siklus terarah, dan sirkuit terarah identik dengan istilah lintasan,
siklus, dan sirkuit. Secara lebih formal, untuk simpul dan dalam digraf , jalan
terarah (atau sekadar jalan ) dalam adalah urutan berhingga

dari simpul, dimulai dengan dan diakhiri dengan sehingga adalah busur untuk
. Jumlah dari kemunculan busur (termasuk pengulangan) di jalur adalah
panjangnya. Digraf di mana setiap simpul memiliki outdegree positif harus mengandung siklus
(lihat Latihan 10).

Teorema 7.2 Jika D adalah digraf sedemikian sehingga untuk setiap simpul
, maka berisi siklus panjang setidaknya .

Digraf Terhubung
Digraf terhubung (atau lemah terhubung) jika yang mendasarinya adalah graf
terhubung. Sebuah digraf disebut kuat (atau sangat terhubung) jika untuk setiap pasangan
dari simpul, berisi jalur dan jalur . Sementara semua digraf pada Gambar
7.7 terhubung, hanya yang kuat.

Gambar 7.7: Sifat keterhubungan digraf

Jarak juga dapat didefinisikan dalam digraf. Untuk simpul dan dalam digraf yang
berisi jalur , jarak terarah ⃗ dari ke adalah panjang jalur terpendek di
. Jarak ⃗ dan ⃗ didefinisikan untuk semua pasangan dari simpul dalam digraf
jika dan hanya jika kuat. Jarak ini bukan metrik, secara umum. Meskipun jarak terarah
memenuhi ketimpangan segitiga, bukan simetris kecuali adalah simetris, dalam hal ini dapat
dianggap sebagai graf. Eksentrisitas dari simpul dalam adalah jarak dari ke titik
paling jauh dari . Eksentrisitas minimum dari simpul adalah jari-jari dari ,
sedangkan diameter adalah eksentrisitas terbesar.
Setiap simpul dari digraf yang kuat pada Gambar 7.8 diberi label dengan
eksentrisitasnya. Amati bahwa dan , sehingga tidak benar, secara
umum, , seperti halnya dengan graf.

Gambar 7.8: Eksentrisitas dalam digraf yang kuat

7.2 Digraf Sangat Terhubung

Terdapat dua jenis keterhubungan untuk digraf, yaitu digraf yang terhubung lemah atau,
(lebih sederhana) terhubung dan digraf yang sangat terhubung (atau kuat).

Teorema 7.3 Misalkan dan menjadi dua simpul dalam digraf . Untuk setiap jalan
di , terdapat jalur P sedemikian sehingga setiap busur milik .

Teorema 7.4 Sebuah digraf D kuat jika dan hanya jika D berisi rentang jalan tertutup.
Bukti. Asumsikan bahwa adalah rentang jalan tertutup dalam .
Biarkan . Kemudian dan untuk beberapa dengan
dan . Tanpa menghilangkan sifat umum, asumsikan bahwa . Maka
adalah jalan di dan adalah jalan
di . Dengan Teorema 7.3, berisi lintasan dan lintasan di dan juga D
bersifat kuat. Sebaliknya, asumsikan adalah digraf kuat nontrivial dengan
dan perhatikan urutan siklik . Karena kuat, berisi
lintasan untuk . Kemudian urutan jalur menghasilkan
jalan spanning tertutup di .
 Sebaliknya, ⃗⃗ dari digraf diperoleh dari dengan membalikkan arah setiap busur .
Dengan demikian, sangat terhubung jika dan hanya jika sebaliknya, ⃗⃗ sangat terhubung(kuat).

Teorema Robbins
Orientasi graf adalah digraf yang diperoleh dengan menetapkan arah ke setiap tepi .
Herbert Robbins (1922–2001) mempelajari graf-graf yang memiliki orientasi kuat. Tentu saja,
jika memiliki orientasi yang kuat, maka harus terhubung. Juga, jika memiliki jembatan,
maka tidak mungkin untuk menghasilkan orientasi yang kuat dari . Robbins menunjukkan
bahwa ini adalah semua yang diperlukan untuk memiliki orientasi yang kuat.

Teorema 7.5 (Teorema Robbin) Sebuah graf nontrivial memiliki orientasi yang kuat jika dan
hanya jika terhubung dan tanpa jembatan.

Bukti. Jika graf memiliki orientasi yang kuat, maka terhubung dan tanpa jembatan.
Misalkan kebalikannya salah. Lalu ada graf yang terhubung dan tanpa jembatan yang tidak
memiliki orientasi kuat. Di antara subgraf , misalkan menjadi salah satu urutan maksimum
yang memiliki orientasi kuat. Subgraf semacam itu ada karena untuk setiap subgraf
sepele memiliki orientasi yang kuat. Jadi, , karena, dengan asumsi,
tidak memiliki orientasi yang kuat.
Tetapkan arah ke tepi sehingga digraf yang dihasilkan kuat, tetapi tidak menetapkan arah ke
tepi . Biarkan dan biarkan . Karena terhubung
dan tanpa jembatan, maka menurut Teorema 4.18 bahwa berisi dua jalur yang terpisah-
pisah. Misalkan adalah salah satu dari jalur ini dan misalkan adalah jalur yang
dihasilkan dari jalur lainnya. Selanjutnya, misalkan menjadi simpul terakhir dari
yang dimiliki oleh , dan misalkan menjadi simpul pertama dari yang dimiliki oleh .
Selanjutnya, misalkan adalah sub-jalur dari dan misalkan adalah sub- dari jalan
setapak dari . Arahkan tepi dari ke arah , menghasilkan jalur terarah dan
mengarahkan tepi dari ke , menghasilkan jalur terarah .
Definisikan digraf oleh:
Karena kuat, demikian juga , bertentangan dengan pilihan

7.3 Digraf Euler dan Digraf Hamilton

Euler dan Hamilton memiliki analogi alami untuk digraf. Kedua hal ini adalah digraf
yang kuat.

Digraf Euler
Sirkuit Euler dalam digraf yang terhubung adalah sirkuit yang berisi setiap busur
(yang tepat satu); sedangkan jalur Euler dalam adalah jalur terbuka yang berisi setiap busur
. Digraf yang terhubung yang berisi sirkuit Euler adalah Digraf Euler. Teorema berikutnya
memberikan karakterisasi Digraf Euler yang pernyataan dan buktinya mirip dengan Teorema
5.1.

Teorema 7.6 Biarkan menjadi digraf terhubung nontrivial. Maka D adalah Euler, jika dan
hanya jika untuk setiap simpul pada .
Dengan bantuan Teorema 7.6, karakterisasi digraf yang mengandung jalan Euler dapat
diperlihatkan.

Teorema 7.7 Misalkan menjadi digraf terhubung nontrivial. Kemudian berisi jejak Euler
jika dan hanya jika D berisi dua simpul dan sedemikian sehingga
,
dengan untuk semua simpul lain pada . Selanjutnya, setiap jalur Euler pada
dimulai pada dan berakhir pada .
Dengan demikian, digraf pada Gambar 7.9 berisi sirkuit Euler, berisi jalan
Euler, dan tidak mengandung sirkuit Euler atau Euler.
 Gambar 7.9: Sirkuit Euler dan jalur dalam digraph.

Digraf Hamiltonian
Digraf dikatakan Hamiltonian jika mengandung sikel merentang. Sikel seperti itu
disebut sikel Hamilton . Seperti halnya graf Hamilton, tidak ada karakterisasi digraf Hamilton.
Jika ada, kondisi untuk digraf Hamiltonian lebih kompleks daripada graf Hamilton. Ada kondisi
yang memenuhi digraf untuk menjadi Hamilton, akan tetapi analogi untuk memenuhi kondisi
graf menjadi Hamilton cukup sederhana. Bukti dari pernyataan ini, tak seperti graf lainnya dan
cukup panjang, karena itu tidak diberikan di sini.
Pernyataan Henri Meyniel [170] berikut memberikan kondisi yang cukup (seperti dalam
Teorema 6.4 untuk graf) untuk digraf menjadi Hamiltonian.

Teorema 7.8 (Teorema Meyniel) Jika adalah digraf kuat nontrivial dari urutan sedemikian
sehingga,

untuk setiap pasangan , dari simpul-simpul yang tak adjacent, maka adalah Hamilton. Di
antara konsekuensi dari Teorema 7.8 adalah pernyataan yang diperoleh oleh Douglas Woodall
[259].

Akibat 7.9 Jika adalah digraf nontrivial dari urutan sedemikian sehingga,

untuk setiap dan adalah simpul yang berbeda dengan , maka adalah
Hamilton.
Akibat 7.10 Jika adalah digraf kuat urutan sedemikian sehingga untuk setiap
simpul pada , maka adalah Hamiltonian.
Akibat 7.10 juga memiliki corollary. Kami memberikan bukti pernyataannya.

Akibat 7.11 Jika D adalah digraf urutan sehingga

untuk setiap simpul pada , maka adalah Hamiltonian.

Bukti. Misal teorema tersebut salah. Karena teorema ini benar untuk dan ,
terdapat beberapa bilangan bulat dan digraf urutan yang memenuhi hipotesis tetapi
bukan Hamilton. Misal menjadi sikel dengan panjang maksimum . Berdasarkan Teorema
7.2 dan asumsi bahwa D bukan Hamiltoni yang mana . Misalkan lintasan
dengan panjang maksimum sehingga tidak ada simpul yang terletak pada . Seandainya P
adalah lintasan dengan panjang . Oleh karena itu, . (Lihat Gambar
7.10.)
Karena,

( )

hal ini berarti dan setidaknya terdapat dua simpul yang adjacent dengan yang
tidak terletak pada . Karena adalah lintasan terpanjang yang semua simpulnya tidak terletak
pada , maka ada setidaknya dua simpul yang terletak pada yang adjacent dengan dan
setidaknya dua simpul yang adjacent dari yang terletak di .
Misalkan menunjukkan jumlah simpul pada yang adjacent dengan . Sehingga,
. Untuk setiap simpul pada yang adjacent dengan , simpul yang berdekatan
dengan pada tidak adjacent dari , sebaliknya, memiliki sikel yang panjangnya melebihi
. Karena berisi simpul yang adjacent dengan , maka disana harus ada simpul
 Gambar 7.10: Sebuah langkah dalam pembuktian tentang akibat wajar 7.11
pada yang bertetangga dengan sedemikian sehingga tidak ada satupun dari simpul
yang berdekatan dengan pada yang bertetangga dengan atau bertetangga dari .
Untuk masing-masing simpul pada yang berbeda dari dan bertetangga dengan
, simpul yang berdekatan tidak dapat bertetangga dari v. Oleh karena itu, setidaknya
simpul pada yang tidak berdekatan dari , sebaliknya, memiliki sikel
panjang melebihi . Karena adalah lintasan terpanjang dalam yang tidak mengandung
simpul , setiap simpul yang bertetangga dengan berada pada C atau pada .
Karena dan satu-satunya simpul yang bisa adjacent dengan berada
atau , berarti . Oleh karena itu, adjacent paling banyak
simpul, hal ini berkontradiksi.

7.4 Turnamen
Turnamen round robin memunculkan kelas digraf yang sudah kami sebutkan sebelumnya
secara alami. Ingat bahwa turnamen adalah orientasi dari graf lengkap. Oleh karena itu,
turnamen dapat didefinisikan sebagai digraf sedemikian sehingga untuk setiap pasangan dari
simpul yang berbeda, tepat satu dari dan adalah busur. Turnamen kemudian
memodelkan turnamen round robin yang mana tidak ada ikatan. Vertikal adalah tim di
turnamen round robin dan adalah busur di jika tim mengalahkan tim .
Gambar 7.11 menunjukkan dua turnamen order 3. Jumlah turnamen non-isomorfik
meningkat pada odernya. Sebagai contoh, hanya ada satu turnamen order 1 dan satu order 2.
Seperti yang kita ketahui, turnamen dan pada Gambar 7.11 adalah dua turnamen dengan
order 3. Ada empat turnamen dengan order 4, 12 order 5, 56 order 6 dan lebih dari 154 miliar
order 12.
 Gambar 7.11: Turnamen pesanan 3

Karena ukuran turnamen order adalah ( ), maka berdasarkan Teorema 7.1

∑ ∑ ( )

Turnamen Transitif
Sebuah turnamen transitif jika setiap dan adalah busur , maka
juga merupakan busur dari . Turnamen pada Gambar 7.11 adalah transitif sedangkan
tidak. Hasil berikut memberikan peraturan dasar dari turnamen transitif. Sebuah digraf asiklik
adalah digraf yang tidak memiliki sikel.

Teorema 7.12 Sebuah turnamen bersifat transitif jika dan hanya jika itu adalah asiklik.
Bukti. Misalkan adalah turnamen asiklik dan anggap bahwa dan adalah busur
dari . Karena adalah asiklik, . Oleh karena itu, dan adalah
transitif.
Sebaliknya, anggap adalah turnamen transitif dan anggap mengandung sikel, katakan
, di mana . Sejak dan adalah busur dari turnamen
transitif , maka juga merupakan busur dari . Karena dan adalah
busur, jika , maka adalah busur. Demikian pula, , ,. . .,
adalah busur dari . Namun, ini bertentangan dengan fakta bahwa adalah busur dari .
Jadi, adalah asiklik.
Misalkan turnamen orde dengan simpul himpunan
mewakili turnamen round robin yang melibatkan kompetisi di antara tim . Jika
tim mengalahkan tim , maka adalah busur dari . Jumlah kemenangan oleh tim
adalah derajat luar dari . Untuk alasan ini, derajat luar dari vertex dalam turnamen juga
disebut sebagai skor . Urutan dari bilangan bulat negatif disebut urutan skor
turnamen jika ada turnamen urutan n yang simpulnya dapat diberi label
sedemikian sehingga untuk .
Gambar 7.12 menunjukkan turnamen transitif urutan untuk . Urutan skor setiap
turnamen transitif memiliki properti yang menarik. Hasil berikut menjelaskan secara tepat urutan
mana yang merupakan urutan skor dari turnamen transitif.

Gambar 7.12: Turnamen transitif orde 3, 4, 5

Teorema 7.13 Urutan yang tidak meningkat dari bilangan bulat non-negatif adalah urutan
skor dari turnamen transitif urutan jika dan hanya jika adalah urutan .
Bukti. Pertama kita tunjukkan bahwa adalah urutan skor dari turnamen
transitif order . Misalkan adalah turnamen dengan simpul himpunan
dan busur himpunan . Kita
klaim bahwa adalah transitif. Misal dan menjadi busur dari . Lalu .
Karena adalah busur dan jadi adalah transitif. Untuk
. Oleh karena itu, urutan skor adalah .
Selanjutnya, kita tunjukkan bahwa jika adalah turnamen transitif order , maka
adalah urutan skor . Hal ini ekuivalen dengan pernyataan setiap dua simpul
memiliki skor yang berbeda. Misalkan dan adalah dua simpul dari . Asumsikan, bahwa
adalah busur dari . Misalkan adalah himpunan simpul dari yang adjacent dengan .
Oleh karena itu, . Untuk setiap adalah busur dari . Karena
adalah transitif, juga merupakan busur dari . Namun, dan seterusnya
.
Bukti Teorema 7.13 menunjukkan bahwa susunan turnamen transitif ialah ketetapan
unik.
Akibat 7.14 Untuk setiap bilangan bulat positif , ada tepat satu turnamen transitif order .
Gabungan akibat ini dengan Teorema 7.12, menghasilkan akibat lainnya.
Akibat 7.15 Untuk setiap bilangan bulat positif , ada tepat satu turnamen asiklik order .
Meskipun hanya ada satu turnamen transitif dari setiap order , dalam arti tertentu, yang
dideskripsikan saat ini, setiap turnamen memiliki susunan turnamen transitif. Misal menjadi
turnamen. Kita definisikan relasi pada oleh berhubungan dengan jika ada dianatara
lintasan dan lintasan pada T. Relasi ini adalah relasi ekuivalensi, dan dapat
dikatakan, relasi partisi ke kelas ekuivalen . Misal
untuk . Maka setiap subdigraf adalah turnamen kuat, dan tentu berhubungan
maksimal dengan sifat kuat tersebut. Subdigraf disebut komponen kuat dari .
Jadi simpul himpunan komponen kuat dari menghasilkan partisi .
Misal menjadi turnamen dengan komponen kuat , dan misal ̃ menyatakan
digraf dengan simpul dalam korespondensi satu-satu dengan komponen-komponen
kuat ini (di mana berkorespondensi dengan ) sedemikian sehingga
adalah busur dari ̃ , jika dan hanya jika beberapa simpul adjacent dengan beberapa
simpul . Jika adalah busur dari ̃ , maka karena dan adalah komponen kuat yang
berbeda dari , maka setiap sudut dari berdekatan dengan setiap simpul dari . Oleh karena
itu, ̃ diperoleh dengan mengidentifikasi simpul untuk . Sebuah turnamen
dan gabungan digrafnya ̃ ditunjukkan pada Gambar 7.13.

Gambar 7.13: Sebuah turnamen T dan turnamen transitif yang terkait Te

Amati bahwa untuk turnamen dari Gambar 7.13, ̃ sendiri merupakan sebuah
turnamen, yang tentunya turnamen transitif. Hal ini berdasarkan Teorema 7.16. (Lihat Latihan
37.)

Teorema 7.16 Jika adalah turnamen dengan komponen kuat , maka ̃ adalah turnamen
transitif order .
 Karena setiap turnamen dengan turnamen ̃ adalah transitif, maka jika adalah
turnamen yang tidak kuat, maka dapat dipartisi sebagai sehingga
adalah turnamen yang kuat untuk setiap , dan jika dan , di mana ,
lalu . Dekomposisi ini sering berguna ketika mempelajari sifat-sifat turnamen
yang tidak kuat.
Terdapat empat turnamen dengan order 4. Tentu saja, salah satunya adalah transitif, yang
terdiri dari empat komponen kuat , di mana simpul berbatasan dengan simpul
jika dan hanya jika . Ada dua turnamen order 4 yang mengandung dua komponen kuat
dan , tergantung pada apakah atau adalah komponen kuat order 3. (Tidak ada komponen
kuat yang berorder 2.) Karena ada empat turnamen order 4, pasti ada satu turnamen kuat
berorder 4. Turnamen ini digambarkan pada Gambar 7.14. Busur yang tidak ditarik dalam
turnamen yang tidak kuat semuanya diarahkan ke bawah, seperti yang ditunjukkan
oleh panah ganda.

Gambar 7.14: Keempat turnamen urutan 4

Dinyatakan bahwa ada 12 turnamen order 5. Ada enam turnamen pada order 5 yang tidak kuat,
ditunjukkan pada Gambar 7.15. Sekali lagi semua busur yang tidak ditarik diarahkan kebawah.
Dengan demikian, ada enam turnamen order 5.

Gambar 7.15: Enam turnamen urutan 5 yang tidak kuat

Barisan Nilai dari Turnamen

 Teorema 7.13 Menggolongkan barisan skor dari turnamen transitif. Kami selanjutnya
menyelidiki barisan skor turnamen secara umum. Kita mulai dengan teorema yang mirip dengan
Teorema 1.12.

Teorema 7.17 Barisan yang tidak menurun dari bilangan bulat negatif
adalah urutan skor turnamen jika dan hanya jika barisan
adalah barisan skor turnamen.
Bukti. Asumsikan bahwa adalah barisan skor turnamen. Kemudian ada turnamen dari
order memiliki sebagai barisan skor. Oleh karena itu simpul dapat diberi label
sebagai sehingga

Bangun turnamen dengan menambahkan simpul ke di mana berdekatan dengan

jika dan berdekatan dari sebaliknya. Turnamen kemudian memiliki sebagai
barisan skor.
Untuk yang kebalikannya, kami menganggap adalah barisan skor. Oleh karena itu ada
turnamen dari order yang urutan skornya adalah . Di antara semua turnamen itu, misalkan
adalah turnamen sedemikian sehingga , untuk
dan jumlah skor dari simpul-simpul yang berdekatan dari adalah minimum. Dikatakan bahwa
berdekatan dengan simpul yang memiliki skor . Asumsikan sebaliknya, bahwa
tidak berdekatan dengan simpul yang memiliki skor .. Maka, tentu saja ada
simpul dan dengan dan sedemikian sehingga berbatasan dengan dan
berbatasan dengan . Karena skor melebihi skor , terdapat simpul sehingga
berbatasan dengan , dan berdekatan dengan (Gambar 7.16 (a)). Jadi, 4 siklus yang
dihasilkan . Jika kita membalikkan arah busur , sebuah turnamen
diperoleh juga memiliki sebagai urutan skor (Gambar 7.16 (b)). Namun, di , simpul lebih
dekat dengan daripada . Oleh karena itu jumlah skor dari simpul yang berdekatan dari
lebih kecil di daripada di , yang tidak mungkin. Jadi, seperti yang diklaim, berdekatan
dengan simpul yang memiliki skor . Kemudian adalah turnamen yang
memiliki barisan skor .
 Gambar 7.16: Langkah untuk membuktikan teorema 7.17

Sebagai ilustrasi dari Teorema 7.17, urutannya

Dalam hal ini, (sebenarnya ) memiliki nilai 4; jadi, kami menghapus istilah terakhir, ulangi
pertama ketentuan, dan kurangi 1 dari ketentuan yang tersisa, dapatkan

atur ulang, kita memiliki

Proses ini diulang dua kali

Urutan jelas merupakan barisan skor turnamen. Menurut Teorema 7.17, juga,
seperti dan . Kami dapat menggunakan informasi ini untuk membuat turnamen dengan
barisan skor. Barisan adalah barisan skor dari turnamen dari Gambar 7.17. Melanjutkan
dari ke , kami menambahkan simpul baru ke dan bergabung dengan dua simpul dan
dari yang lain, menghasilkan turnamen dengan barisan skor . Untuk melanjutkan dari
ke , kami menambahkan simpul baru ke dan bergabung dengan simpul yang memiliki skor
dan dan dari simpul yang tersisa dari , menghasilkan turnamen dengan barisan skor
. Melanjutkan dengan cara yang sama, kami akhirnya menghasilkan turnamen yang
diinginkan dengan barisan skor dengan menambahkan simpul baru ke dan bergabung ke
simpul yang memiliki skor dan , dan bergabung dengan itu dari simpul lainnya.
 Sosiolog Hyman Garshin Landau [152] Menggolongkan barisan dari bilangan bulat
negatif yang merupakan barisan skor turnamen. Bukti yang kami sajikan dari teorema adalah
berdasarkan Carsten Thomassen [233].

Teorema 7.18 Barisan yang tidak menurun bilangan bulat negatif adalah
barisan skor turnamen jika dan hanya jika untuk setiap bilangan bulat k dengan

∑ ( )

(7.1)
dengan persamaan ketika .
Bukti. Pertama, misalkan adalah urutan skor dari barisan turnamen dari order .
Lalu ada turnamen dengan sedemikian sehingga untuk
. Untuk integer dengan dan , subdigraf
yang diinduksi oleh adalah turnamen dengan barisan dan ukuran ( ). Karena
untuk , maka

∑ ∑ ∑ ( )

Gambar 7.17: Konstruksi turnamen dengan urutan skor yang diberikan

Sekarang dibuktikan sebaliknya. Misalkan kebalikannya salah. Kemudian di antara semua
contoh turnamen yang minimum, misalkan menjadi salah satu yang
minimum. Pertama, misalkan ada bilangan bulat dengan sedemikian sehingga

∑ ( )

(7.2)

Karena , maka adalah barisan skor dari turnamen dari order .

Misalkan barisan , dimana untuk Karena,

∑ ( )

mengikuti dari (7.2) sehingga

∑ ∑ ( ) ( )

Karena adalah barisan yang tidak menurun, maka

untuk dan sehingga adalah barisan non-negatif bilangan bulat yang tidak
bertambah. Kami sekarang menunjukkan bahwa yang memenuhi (7.1).
Untuk setiap bilangan bulat dengan , kita miliki

∑ ∑ ∑ ∑ ∑

Karena

∑ ( )

Dan

∑ ( )

Itu menunjukkan bahwa

 ∑ ( ) ( ) ( )

dengan persamaan untuk . Dengan demikian, memenuhi (7.1). karena ,

ada turnamen dengan order yang memiliki barisan skor .
Misalkan T menjadi turnamen dengan dan

Maka adalah urutan skor untuk T, bertentangan dengan asumsi kami. Karena itu,

∑ ( )

Untuk . Secara khusus, .

Sekarang pertimbangkan barisan . Maka adalah barisan
tidak menurun dari bilangan bulat tidak negatif yang memenuhi (7.1). Dengan minimal , ada
turnamen dari order yang memiliki barisan skor . Misalkan dan adalah simpul dari
sehingga dan . Karena maka ada
simpul sedemikian sehingga dan Dengan demikian,
adalah jalan di T '.
Misalkan adalah turnamen yang diperoleh dari dengan membalik arah arcs di .
Maka adalah barisan skor untuk , menghasilkan kontradiksi.

Frank Harary dan Leo Moser [121] memperoleh karakterisasi terkait dari barisan bilangan
bulat negatif yang merupakan barisan skor dari turnamen yang kuat.

Teorema 7.19. Barisan tidak menurun bilangan bulat negatif adalah barisan
skor dari turnamen yang kuat jika dan hanya jika

∑ ( )

Untuk dan

∑ ( )

Selanjutnya, setiap turnamen yang barisan skornya memenuhi kondisi ini kuat.
7.5 Kings in Tournaments (Raja dalam Turnamen)
Sementara turnamen dapat digunakan untuk mewakili hasil turnamen round robin
(khususnya di antara tim yang berpartisipasi dalam acara olahraga), mereka bisa digunakan
untuk memodelkan kumpulan objek di mana pada setiap pasangan objek, satu adalah lebih
disukai daripada yang lain dalam beberapa cara. Contoh dari ini terjadi pada kawanan ayam.
Pada sepasang ayam, satu ayam akan mendominasi yang lain. Ayam dominan pada pasangan
menegaskan dominasi ini dengan mematuk yang lain di kepala dan lehernya. (Inilah yang
menyebabkan istilah pecking order.)
Jarang ketika dominasi ini transitif; yaitu, jika ayam pertama mematuk ayam kedua dan
kedua mematuk sepertiga, itu tidak berarti bahwa ayam pertama harus mematuk ayam ketiga.
Pertanyaan kemudian muncul: Ayam (atau ayam) mana yang harus dianggap paling dominan
dalam kawanan? Ayam seperti itu disebut sebagai ayam raja. Landau [152] mendefinisikan ayam
K dalam kawanan F ayam untuk menjadi raja jika untuk setiap ayam C di F, baik K mematuk C
atau K mematuk seekor ayam yang mematuk C. Situasi ini dapat dimodelkan oleh turnamen dan
mengarah ke konsep yang melibatkan turnamen. Vertex u di turnamen T adalah raja di T jika
untuk setiap vertex berbeda dari u, baik u! w atau ada simpul v sedemikian rupa sehingga u! v! w.
Landau kemudian membuktikan yang berikut ini.

Teorema 7.20 Setiap turnamen berisi seorang raja.

Bukti. Biarkan T menjadi turnamen dan biarkan u menjadi simpul yang memiliki outdegree
maksimum di T. Kami menunjukkan bahwa u adalah raja. Jika ini bukan masalahnya, maka ada
a simpul w dalam T yang u tidak berbatasan dengan w atau berdekatan dengan simpul mana pun
yang berbatasan dengan w. Kemudian w berbatasan dengan setiap simpul yang berbatasan u dan
berbatasan dengan u juga. Jadi, od w> od u, sebuah kontradiksi.

Simpul u dalam turnamen orde n disebut kaisar jika od .

Karena tidak ada titik yang berdekatan dengan u, kami memiliki pengamatan berikut.

Teorema 7.21 Jika turnamen T memiliki kaisar, maka u adalah unik raja di T.
Meskipun dimungkinkan bagi suatu turnamen untuk memiliki satu raja, itu tidak benar
mungkin bagi sebuah turnamen untuk memuat tepat dua raja.

Teorema 7.22 Setiap turnamen yang tidak mengandung kaisar mengandung setidaknya memiliki
tiga raja.
Bukti. Misalkan menjadi turnamen yang tidak mengandung kaisar dan u menjadi simpul dari
derajat-luar maksimum dalam . Dengan bukti Teorema 7.20, berarti adalah seorang raja .
Di antara semua simpul yang bertetangga dengan , misalkan menjadi salah satu dari batas
maksimum. Anggap bahwa adalah raja . Asumsikan sebaliknya, bahwa bukan raja di .
Lalu ada simpul dari sehingga tidak bertetangga dengan maupun bertetangga dengan
simpul yang bertetangga dengan . Jadi, bertetangga dengan dan Selanjutnya,
bertetangga dengan setiap simpul yang mana bertetangga. Kemudian, , sebuah
kontradiksi. Dengan demikian, adalah raja .
Selanjutnya, di antara simpul yang berdekatan dengan , misalkan menjadi salah satu
dari derajat luar maksimum. Anggap bahwa juga merupakan raja dari . Asumsikan,
sebaliknya, bahwa bukan raja. Lalu ada simpul dari sehingga tidak bertetangga dengan
maupun dengan simpul yang bertetangga dengan Jadi, bertetangga dengan . Selain itu,
bertetangga dengan setiap simpul yang bertetangga dengan . Namun, , sebuah
kontradiksi. Karenanya, adalah raja .

7.6 Turnamen Hamiltonian

Banyaknya busur di turnamen sering menghasilkan jalur dan siklus panjang bervariasi.
Mungkin hasil paling dasar dari jenis ini adalah properti dari turnamen yang pertama kali diamati
oleh Laszlo Redei [197] pada tahun 1934, menghasilkan yang pertama hasil teoritis di turnamen.
Sebuah jalan dalam digraf D yang berisi setiap simpul D adalah jalur Hamilton.

Teorema 7.23 Setiap turnamen berisi jalur Hamilton.

Bukti. Misalkan T adalah turnamen urutan n dan misalkan menjadi sebuah
jalur terpanjang di T. Jika P bukan jalur T Hamilton, maka dan di sana
adalah titik v dari T bukan pada P. Karena P adalah jalur terpanjang, , E (T),
dan begitu ; . Ini menyiratkan bahwa ada bilangan bulat terbesar i
sedemikian rupa sehingga ( ) . Jadi ( ) .
(lihat Gambar 7.18).
Tapi kemudian

adalah jalan yang panjangnya melebihi P, menghasilkan kontradiksi.

Gambar 7.18: Langkah dalam pembuktian Teorema 7.23

Konsekuensi sederhana namun bermanfaat dari Teorema 7.23 berkaitan dengan turnamen
transitif.

Akibat 7.24 Setiap turnamen transitif mengandung tepat satu Hamilton jalan.
Akibat sebelumnya adalah kasus khusus dari hasil yang ditemukan secara independen oleh Redei
[197] dan Tibor Szele [231], yang menunjukkan bahwa setiap turnamen berisi
sejumlah jalur Hamiltonian ganjil.
Gambar 7.19 menunjukkan turnamen urutan 5 yang terdiri dari tiga komponen kuat
, dan , di mana dan terdiri dari satu simpul dan adalah 3 siklus. Turnamen ini
memiliki tiga jalur Hamilton, yaitu , = dan
.

Gambar 7.19: Sebuah turnamen dengan tiga jalur Hamilton

Sementara setiap turnamen transitif mengandung tepat satu jalur Hamilton, ada, tidak
mengherankan, turnamen dengan banyak jalur Hamilton. Itu hasil berikutnya, juga karena Szele
[231], menetapkan keberadaan turnamen tersebut dan memberikan batas bawah pada jumlah
jalur Hamilton di dalamnya. Itu bukti dari hasil ini, dianggap sebagai aplikasi pertama dari
metode probabilistic dalam kombinatorik, akan disajikan pada Bab 21 (lihat Teorema 21.3).

Teorema 7.25 Untuk setiap bilangan bulat ada turnamen order mengandung

setidaknya jalur Hamilton.

Sementara setiap turnamen berisi jalur Hamiltonian, tentu tidak semua turnamen berisi
siklus Hamilton. Memang, menurut Teorema 7.12, setiap Turnamen transitif adalah asiklik. Jika
turnamen mengandung Hamiltonian siklus, maka dikuatkan dengan Teorema 7.4. Paul
Camion [41] menunjukkan bahwa kebalikannya juga benar.

Teorema 7.26 Sebuah turnamen nontrivial adalah Hamiltonian jika dan hanya jika kuat.
Bukti. Untuk yang sebaliknya, anggaplah bahwa adalah turnamen kuat nontrivial. Jadi,
mengandung siklus. Misalkan siklus dengan panjang maksimum dalam Jika berisi
semua dari simpul , maka adalah siklus Hamilton. Jadi, anggap tidak Hamiltonian,
katakanlah

dimana . Jika berisi simpul yang berdekatan dengan beberapa simpul dan
bersebelahan dari beberapa simpul , maka harus ada simpul dari C berbatasan dengan
sehingga berbatasan dengan Dalam hal ini,

adalah siklus yang panjangnya lebih besar dari , menghasilkan kontradiksi. Oleh karena itu,
setiap titik yang tidak pada baik berdekatan dengan setiap titik atau berdekatan dari setiap
simpul . Karena kuat, harus ada simpul dari masing-masing jenis. Misalkan menjadi
himpunan semua simpul yang tidak pada dan sedemikian sehingga masing-masing simpul
berdekatan dari setiap simpul , dan misalkan adalah himpunan itu simpul yang tidak pada
sehingga setiap simpul berbatasan dengan masing-masing simpul (lihat Gambar 7.20).
Kemudian dan .
 Gambar 7.20: langkah pembuktian teorema 7.26
Karena terhubung kuat, ada jalur dari setiap titik ke setiap titik . Karena tidak ada titik
yang berbatasan dengan titik W, harus ada titik yang berdekatan dengan simpul .
Namun,

adalah siklus yang panjangnya lebih besar dari panjang , suatu kontradiksi. Jika adalah
turnamen Hamilton, maka, tentu saja, setiap simpul terletak di setiap siklus Hamiltonian dari
. Sebenarnya, setiap simpul terletak pada segitiga juga.

Teorema 7.27 Setiap simpul dalam turnamen kuat nontrivial milik sebuah segi tiga.
Bukti. Misalkan menjadi simpul dalam turnamen kuat nontrivial T. Oleh Teorema 7.26, T
adalah Hamiltonian. Dengan demikian, berisi siklus Hamiltonian
Karena berdekatan dengan dan berdekatan dari , terdapat sebuah titik dengan
da sedemikian sehingga dan adalah busur dari . Jadi, adalah
segitiga yang mengandung .
Cukup mengejutkan bahwa jika turnamen adalah Hamiltonian, maka harus memiliki sifat lebih
kuat. Sebuah digraf dengan orde adalah pan-siklik jika mengandung siklus dari setiap
panjang yang memungkinkan, yaitu mengandung siklus panjang untuk masing-masing
dan simpul pansiklik jika setiap simpul terletak pada sikel dari setiap panjang yang
memungkinkan. Frank Harary dan Leo Moser [121] menunjukkan bahwa setiap turnamen kuat
nontrivial adalah pansiklik, sementara John W.Moon [173] melangkah lebih jauh dengan
mendapatkan hasil berikut. Bukti diberikan di sini berdasarkan Carsten Thomassen.

Teorema 7.28 Setiap turnamen kuat nontrivial adalah simpul pansiklik

Bukti. Misalkan turnamen urutan yang kuat, dan menjadi titik dari Akan
ditunjukkan bahwa terletak pada -sikel untuk masing-masing . Kita lanjutkan
dengan induksi pada .
Karena kuat, maka menurut Teorema 7.27 bahwa terletak pada siklus 3. Asumsikan
terletak pada siklus di mana . Ditunjukkan bahwa
terletak pada siklus ( + 1).

Kasus 1. Ada simpul yang tidak pada C bertetangga dengan setidaknya satu simpul dan
bertetangga dari setidaknya satu titik . Ini menyiratkan bahwa untuk beberapa ,
keduanya dan adalah busur (di mana semua subskrip berada menyatakan
modulo ). Dengan demikian, terletak pada sikel ( + 1).

Kasus 2. Tidak ada titik seperti dalam Kasus 1. Misalkan menunjukkan himpunan semua
simpul di yang berdekatan dari setiap titik , dan misalkan menjadi himpunan
semua simpul dalam yang berdekatan dengan setiap simpul . Kemudian
. Karena kuat, baik maupun kosong dan ada simpul di dan
simpul di sehingga Jadi, terletak pada sikel( + 1).

melengkapi buktinya.

Akibat 7.29 Setiap turnamen nontrivial yang kuat adalah pan-sikel