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 udan vdalam D, busur terkadang dilambangkan dengan menulis u →
v (atau v ← u). Sebuah digraf D dengan himpunan simpul V ={u , v , w , x } dan himpunan busur
E={( u , v),(v ,u),(u , w),(w , v),(w , x )} 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 D disebut urutan D dan biasanya
dilambangkan dengan n, sedangkan kardinalitas himpunan busurnya adalah ukuran D dan
biasanya dilambangkan dengan m. Jika a=(u , v) adalah busur dari digraf D, maka udikatakan
bersebelahan dengan v dan v berbatasan dengan u. Untuk simpul v dalam digraf D, derajat
luar od vdari v adalah jumlah simpul D denganv berdekatan, sedangkan derajat dalam id vdari
v adalah jumlah simpul D dengan v berdekatan. Persekitaran-luar N +¿(v)¿ dari simpul v dalam
digraf D adalah himpunan simpul yang bersebelahan dari v, sedangkan persekitaran-dalam
N −¿(v)¿ adalah himpunan simpul yang bersebelahan dengan v. od v =¿ N +¿(v)∨¿¿dan v=¿ N−¿(v)∨¿¿ .
Derajat deg v dari simpul v didefinisikan oleh

deg v=od v +id v .

Untuk simpul v dalam digraf pada Gambar 7.2, od v =3 ,id v=2dan deg v=5.
 Gambar 7.2: Derajat luar, derajat dalam, dan derajat simpul.

Teorema Pertama Teori Digraf

Teorema 7.1 (Teorema Pertama Teori Digraf) Jika D adalah digraf berukuran m, maka
∑ od v = ∑ id v =m.
v ∈V (G) v ∈ V (G )

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 D1 isomorfik ke digraf D2, ditulis D1 ≅ D2, jika ada fungsi bijektif
φ :V (D1 )→ V (D 2 ) sedemikian sehingga (u , v )∈ E(D1 ) jika dan hanya jika (φ (u), φ (v ))∈ E( D2)
. Fungsi φ disebut isomorfisma dari D1 ke D2.
Digraf D1 adalah subdigraf dari digraf D jika V (D 1 )⊆ V ( D) dan E( D 1)⊆ E( D). Kita
gunakan D1 ⊆ D untuk menunjukkan bahwa D1 adalah subdigraf dari D . Sebuah subdigraf D1
dari D adalah subdigraf span dari D jika V (D1 )=V (D). Simpul yang dihapus, busur yang
dihapus, diinduksi, dan induksi busur subdigraf didefinisikan dengan cara mengira-ngira. Dua
konsep terakhir ini diilustrasikan untuk digraf D pada Gambar 7.4, di mana
V ( D )={ v 1 , v2 , v 3 , v 4 } , U ={ v 1 , v 2 , v 3 } dan X={( v 1 , v 2 ) ,(v 2 , v 4 )}.

Gambar 7.4: Subdigraf dan busur yang diinduksi

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

Gambar 7.5: Digraf dengan graf dasar yang sama

Orientasi dari graf lengkap disebut turnamen. Sebuah digraf D adalah derajat reguler r
atau r-reguler jika od v =id v=r untuk setiap titik vdari D. Sebuah digraf 1-reguler D1 dan
digraf 2-reguler D2 ditunjukkan pada Gambar 7.6. D2 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 u dan v dalam digraf D, jalan u−v
terarah W (atau sekadar jalan a u−v) dalam D adalah urutan berhingga
W =(u=u0 , u1 , u2 , ..., uk =v )
dari simpul, dimulai dengan u dan diakhiri dengan v sehingga (ui , ui+1 ) adalah busur untuk
0 ≤ i≤ k−1. Jumlah k dari kemunculan busur (termasuk pengulangan) di jalur W 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 od v ≥ k ≥1 untuk setiap simpul v D,
maka D berisi siklus panjang setidaknya k +1.

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

Gambar 7.7: Sifat keterhubungan digraf

Jarak juga dapat didefinisikan dalam digraf. Untuk simpul u dan v dalam digraf D yang
berisi jalur au−v, jarak terarah d⃗ (u , v) dari u ke v adalah panjang jalur u−v terpendek di D.
Jarak d⃗ (u , v) dan d⃗ (v ,u) didefinisikan untuk semua pasangan u , v dari simpul dalam digraf D
jika dan hanya jika D kuat. Jarak ini bukan metrik, secara umum. Meskipun jarak terarah
memenuhi ketimpangan segitiga, bukan simetris kecuali D adalah simetris, dalam hal ini Ddapat
dianggap sebagai graf. Eksentrisitas e (u) dari simpul u dalamD adalah jarak dari u ke titik paling
jauh dari u. Eksentrisitas minimum dari simpul D adalah jari-jari rad ( D) dari D, sedangkan
diameter diam( D) adalah eksentrisitas terbesar. 
 Setiap simpul dari digraf D yang kuat pada Gambar 7.8 diberi label dengan
eksentrisitasnya. Amati bahwa rad ( D )=2 dan diam(D)=5, sehingga tidak benar, secara umum,
diam(D) ≤2 rad (D), 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 u dan vmenjadi dua simpul dalam digraf D. Untuk setiap u−vjalan W
di D, terdapat au−v jalur P sedemikian sehingga setiap busur P milik W .

Teorema 7.4 Sebuah digraf D kuat jika dan hanya jika D berisi rentang jalan tertutup.
Bukti. Asumsikan bahwa W =(u1 , u2 ,... , uk ,u 1) adalah rentang jalan tertutup dalam D. Biarkan
u , v ∈V (D). Kemudian u=ui dan v=u j untuk beberapa i , j dengan 1 ≤i , j≤ kdan i≠ j. Tanpa
menghilangkan sifat umum, asumsikan bahwa i < j. Maka W 1=(ui , ui+1 ,... , u j) adalah ui−u j jalan
di D dan W 2 =(u j ,u j+1 , ..., uk ,) adalah u j−ui jalan di D. Dengan Teorema 7.3, D berisi lintasan
ui−u j dan lintasan u j−ui di D dan juga D bersifat kuat. Sebaliknya, asumsikan D adalah digraf
kuat nontrivial dengan V (D)={v 1, v 2 , .. . , vn } dan perhatikan urutan siklik
v1 , v 2 , .. . , v n , v n+1=v 1. Karena D kuat,D berisi lintasan vi−v i Pi untuk i=1 , 2, . . ., n. Kemudian
urutan P1 , P2 , .. . , P njalur menghasilkan jalan spanning tertutup di D.
D dari digraf D diperoleh dari D dengan membalikkan arah setiap busur D.
Sebaliknya, ⃗
Dengan demikian, D sangat terhubung jika dan hanya jika sebaliknya, ⃗
D sangat terhubung(kuat).

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

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

Bukti. Jika graf G memiliki orientasi yang kuat, maka G terhubung dan tanpa jembatan.
Misalkan kebalikannya salah. Lalu ada graf G yang terhubung dan tanpa jembatan yang tidak
memiliki orientasi kuat. Di antara subgraf G, misalkan H menjadi salah satu urutan maksimum
yang memiliki orientasi kuat. Subgraf semacam itu ada karena untuk setiap v ∈V (G), subgraf
G[{v }] sepele memiliki orientasi yang kuat. Jadi, ¿ V ( H )∨¿∨V (G)∨¿, karena, dengan asumsi,
G tidak memiliki orientasi yang kuat.
Tetapkan arah ke tepi H sehingga digraf D yang dihasilkan kuat, tetapi tidak menetapkan arah
ke tepi G−E ( H). Biarkanu ∈V ( H ) dan biarkan v ∈V (G)−V ( H). Karena G terhubung dan
tanpa jembatan, maka menurut Teorema 4.18 bahwa G berisi dua jalur u−v yang terpisah-pisah.
Misalkan P adalah salah satu dari jalur u−v ini dan misalkan Q adalah jalur v−u yang
dihasilkan dari jalur u−vlainnya. Selanjutnya, misalkan u1 menjadi simpul terakhir dariP yang
dimiliki oleh H, dan misalkan v1 menjadi simpul pertama dari Qyang dimiliki oleh H.
Selanjutnya, misalkan P1 adalah sub-jalur u1−v dari P dan misalkan Q 1adalah sub- v1 dari jalan
setapak dari Q. Arahkan tepi P1dariu1 ke arah v, menghasilkan jalur terarah P ' 1 dan
mengarahkan tepi Q 1dari v ke v1 , menghasilkan jalur terarah Q ' 1. 
Definisikan digraf D ' oleh:

V (D ' )=V ( D) ∪V ( P' 1)∪V (Q'1 ) dan E (D')=E(D)∪ E (P'1 )∪ E (Q' 1).
Karena Dkuat, demikian juga D ', bertentangan dengan pilihan H . 

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 D yang terhubung adalah sirkuit yang berisi setiap busur D
(yang tepat satu); sedangkan jalur Euler dalam D adalah jalur terbuka yang berisi setiap busur
D. 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 D menjadi digraf terhubung nontrivial. Maka D adalah Euler, jika dan
hanya jika od v =id v untuk setiap simpul v pada D. 
Dengan bantuan Teorema 7.6, karakterisasi digraf yang mengandung jalan Euler dapat
diperlihatkan.

Teorema 7.7 Misalkan D menjadi digraf terhubung nontrivial. Kemudian D berisi jejak Euler
jika dan hanya jika D berisi dua simpul u dan v sedemikian sehingga
od u=id u+1 dan id v =od v +1,
dengan od w=id w untuk semua simpul lain w pada D. Selanjutnya, setiap jalur Euler pada D
dimulai pada u dan berakhir pada v. 
Dengan demikian, digraf D1 pada Gambar 7.9 berisi sirkuit Euler, D2 berisi jalan u−v
Euler, dan D3 tidak mengandung sirkuit Euler atau Euler. 

Gambar 7.9: Sirkuit Euler dan jalur dalam digraph.

Digraf Hamiltonian
 Digraf D dikatakan Hamiltonian jika D mengandung sikel merentang. Sikel seperti itu
disebut sikel Hamilton D. 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 D adalah digraf kuat nontrivial dari urutan n
sedemikian sehingga, 
deg u+ deg v ≥ 2n−1
untuk setiap pasangan u, v dari simpul-simpul yang tak adjacent, maka D adalah Hamilton. Di
antara konsekuensi dari Teorema 7.8 adalah pernyataan yang diperoleh oleh Douglas Woodall
[259]. 

Akibat 7.9 Jika D adalah digraf nontrivial dari urutan n sedemikian sehingga, 
od u+id v ≥ n
untuk setiap u dan v adalah simpul yang berbeda dengan (u , v )∈/ E(D), maka D adalah
Hamilton.

Akibat 7.10 Jika D adalah digraf kuat urutan n sedemikian sehingga deg v ≥ n untuk setiap
simpul v pada D, maka D adalah Hamiltonian. 
Akibat 7.10 juga memiliki corollary. Kami memberikan bukti pernyataannya. 

Akibat 7.11 Jika D adalah digraf urutan n sehingga

od v ≥ n/2 danid v ≥ n /2
untuk setiap simpul v pada D, maka D adalah Hamiltonian.
Bukti. Misal teorema tersebut salah. Karena teorema ini benar untuk n=2 dan n=3, terdapat
beberapa bilangan bulat n ≥ 4 dan digraf D urutan n yang memenuhi hipotesis tetapi bukan
Hamilton. Misal C menjadi sikel D dengan panjang maksimum k. Berdasarkan Teorema 7.2 dan
asumsi bahwa D bukan Hamiltoni yang mana 1+n /2 ≤ k <n. Misalkan P lintasan dengan panjang
maksimum sehingga tidak ada simpul P yang terletak pada C. Seandainya P adalah lintasan u−v
dengan panjang l ≥0. Oleh karena itu, k +l+1 ≤ n. (Lihat Gambar 7.10.)
Karena,

l ≤n−k −1≤ n− 1+( n2 )−1= n2 −2 ,

hal ini berarti l ≤n /2−2 dan setidaknya terdapat dua simpul yang adjacent dengan u yang tidak
terletak pada P. Karena P adalah lintasan terpanjang yang semua simpulnya tidak terletak pada
C, maka ada setidaknya dua simpul yang terletak pada C yang adjacent dengan u dan setidaknya
dua simpul yang adjacent dari v yang terletak di C. 
Misalkan a menunjukkan jumlah simpul pada C yang adjacent dengan u. Sehingga, a ≥ 2.
Untuk setiap simpul x pada C yang adjacent dengan u, simpul l+1 yang berdekatan dengan x
pada C tidak adjacent dari v, sebaliknya, D memiliki sikel yang panjangnya melebihi k. Karena
C berisi simpul yang adjacent dengan v, maka disana harus ada simpul

Gambar 7.10: Sebuah langkah dalam pembuktian tentang akibat wajar 7.11
y pada C yang bertetangga dengan u sedemikian sehingga tidak ada satupun dari simpul l+1
yang berdekatan dengan y pada C yang bertetangga dengan u atau bertetangga dari v.
Untuk masing-masing simpul a−1 pada C yang berbeda dari y dan bertetangga dengan u
, simpul yang berdekatan tidak dapat bertetangga dari v. Oleh karena itu, setidaknya
( a−1 ) +(l+1)=a+ l simpul pada C yang tidak berdekatan dari v, sebaliknya, D memiliki sikel
panjang melebihi k. Karena P adalah lintasan terpanjang dalam D yang tidak mengandung
simpul C, setiap simpul yang bertetangga dengan u berada pada C atau pada P. 
 Karena id u ≥ n/2 dan satu-satunya simpul D yang bisa adjacent dengan u berada C atau
P, berarti a+l ≥ n/2. Oleh karena itu, v adjacent paling banyak
(n−1)−( a+l)≤(n−1)−n/ 2=n/2−1 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 u , v dari
simpul yang berbeda, tepat satu dari (u , v ) dan ( v , u) adalah busur. Turnamen T kemudian
memodelkan turnamen round robin yang mana tidak ada ikatan. Vertikal T adalah tim di
turnamen round robin dan (u , v ) adalah busur di T jika tim u mengalahkan tim v.
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 T 1 dan T 2 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 n adalah ( n2 ), maka berdasarkan Teorema 7.1

∑ od v= ∑ id v=¿ ( n ) ¿
v ∈V ( T ) v ∈V ( T ) 2

 Turnamen Transitif
Sebuah turnamen T transitif jika setiap (u , v ) dan ( v , w) adalah busur T , maka (u , w)
juga merupakan busur dari T . Turnamen T 2 pada Gambar 7.11 adalah transitif sedangkan T 1
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 T adalah turnamen asiklik dan anggap bahwa (u , v ) dan ( v , w) adalah busur
dari T . Karena T adalah asiklik, ( w ,u) ∉ E(T ). Oleh karena itu, (u , w)∈ E(T ) dan T adalah
transitif.
Sebaliknya, anggap T adalah turnamen transitif dan anggap T mengandung sikel, katakan
C=( v 1 , v 2 , ... , v k , v 1), di mana k ≥ 3. Sejak ( v 1 , v 2 ) dan ( v 2 , v 3 ) adalah busur dari turnamen
transitif T , maka ( v 1 , v 3 ) juga merupakan busur dari T . Karena ( v 1 , v 3 ) dan ( v 3 , v 4) adalah busur,
jika k ≥ 4, maka ( v 3 , v 4) adalah busur. Demikian pula, ( v 3 , v 5 ), ( v 3 , v 6 ),. . ., ( v 3 , v k ) adalah busur
dari T . Namun, ini bertentangan dengan fakta bahwa ( v k , v 1) adalah busur dari T . Jadi, T adalah
asiklik.
Misalkan turnamen T orde n dengan simpul himpunan V (T )={v 1 , v 2 , .. . , v n } mewakili
turnamen round robin yang melibatkan kompetisi di antara n tim v1 , v 2 , .. . , v n. Jika tim vi
mengalahkan tim v j, maka ( v i , v j) adalah busur dari T . Jumlah kemenangan oleh tim vi adalah
derajat luar dari vi . Untuk alasan ini, derajat luar dari vertex vi dalam turnamen juga disebut
sebagai skor vi . Urutan s1 , s 2 , . .. , s n dari bilangan bulat negatif disebut urutan skor turnamen
jika ada turnamen T urutan n yang simpulnya dapat diberi label v1 , v 2 , .. , v n sedemikian sehingga
od vi=si untuk i=1 , 2, . . ., n. 
Gambar 7.12 menunjukkan turnamen transitif urutan n untuk n=3 , 4 , 5. 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 n adalah urutan
skor dari turnamen transitif urutan n jika dan hanya jika π adalah urutan 0 , 1 ,. . . ,n−1. 
Bukti. Pertama kita tunjukkan bahwa π : 0 ,1 , . .. , n−1 adalah urutan skor dari turnamen transitif
order n. Misalkan T adalah turnamen dengan simpul himpunan V (T )={v 1 , v 2 ,. . . , vn } dan
busur himpunan E(T )={(vi , vj):1 ≤ i< j≤ n }. Kita klaim bahwa T adalah transitif. Misal ( v i , v j)
dan ( v j , v k ) menjadi busur dari T . Lalu i< j <k. Karena i<k ,(v i , v k ) adalah busur T dan jadi T
adalah transitif. Untuk 1 ≤i ≤n , od vi=n−i. Oleh karena itu, urutan skor T adalah
π : 0 ,1 , . .. , n−1.
Selanjutnya, kita tunjukkan bahwa jika T adalah turnamen transitif order n, maka
0 , 1 ,. . . ,n−1 adalah urutan skor T . Hal ini ekuivalen dengan pernyataan setiap dua simpul T
memiliki skor yang berbeda. Misalkan u dan w adalah dua simpul dari T . Asumsikan, bahwa
(u , w) adalah busur dari T . Misalkan W adalah himpunan simpul dari T yang adjacent dengan w.
Oleh karena itu, od w=¿ W ∨¿. Untuk setiap x ∈ W ,(w , x ) adalah busur dari T . Karena T adalah
transitif, (u , x) juga merupakan busur dari T . Namun, od u ≥∨W ∨+1 dan seterusnya od ≠ od w. 
Bukti Teorema 7.13 menunjukkan bahwa susunan turnamen transitif ialah ketetapan
unik. 
Akibat 7.14 Untuk setiap bilangan bulat positif n, ada tepat satu turnamen transitif order n. 
Gabungan akibat ini dengan Teorema 7.12, menghasilkan akibat lainnya. 

Akibat 7.15 Untuk setiap bilangan bulat positif n, ada tepat satu turnamen asiklik order n.
Meskipun hanya ada satu turnamen transitif dari setiap order n, dalam arti tertentu, yang
dideskripsikan saat ini, setiap turnamen memiliki susunan turnamen transitif. Misal T menjadi
turnamen. Kita definisikan relasi pada V (T ) oleh u berhubungan dengan v jika ada dianatara
lintasan u−v dan lintasan v−u pada T. Relasi ini adalah relasi ekuivalensi, dan dapat dikatakan,
relasi partisi V (T ) ke kelas ekuivalen V 1 ,V 2 , . .. , V k (k ≥ 1). Misal Si=T [V i ] untuk i=1 , 2, . . ., k .
Maka setiap subdigraf Si adalah turnamen kuat, dan tentu berhubungan maksimal dengan sifat
kuat tersebut. Subdigraf S1 , S 2 , . .. , S k disebut komponen kuat dari T . Jadi simpul himpunan
komponen kuat dari T menghasilkan partisi V (T ). 
~
Misal T menjadi turnamen dengan komponen kuat S1 , S 2 , . .. , S k , dan misal T menyatakan
digraf dengan simpul u1 ,u 2 , . . ., uk dalam korespondensi satu-satu dengan komponen-komponen
kuat ini (di mana ui berkorespondensi dengan Si ,i=1, 2 , ..., k ) sedemikian sehingga (ui , u j )
~
adalah busur dari T e , i≠ j , jika dan hanya jika beberapa simpul Si adjacent dengan beberapa
~
simpul S j. Jika (ui , u j ) adalah busur dari T , maka karena Si dan S j adalah komponen kuat yang
berbeda dari T , maka setiap sudut dari Si berdekatan dengan setiap simpul dari S j. Oleh karena
 ~
itu, T diperoleh dengan mengidentifikasi simpul Si untuk i=1 , 2, . . ., k . Sebuah turnamen T dan
~
gabungan digrafnya T ditunjukkan pada Gambar 7.13.

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

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

~
Teorema 7.16 Jika T adalah turnamen dengan komponen kuat k, maka T adalah turnamen
transitif order k.
~
Karena setiap turnamen T dengan turnamen T adalah transitif, maka jika T adalah
turnamen yang tidak kuat, maka V (T ) dapat dipartisi sebagai {V 1 , V 2 , . . ., V k }(k ≥2) sehingga
T [V i ] adalah turnamen yang kuat untuk setiap i, dan jika vi ∈V i dan v j ∈ V j , di mana i < j, lalu
( v i , v j) ∈ E (T ). 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 S1 , S 2 , S 3 , S 4, di mana simpul Si berbatasan dengan simpul S j
jika dan hanya jika i< j. Ada dua turnamen order 4 yang mengandung dua komponen kuat S1 dan
S2, tergantung pada apakah S1 atau S2 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
T 1 , T 2 dan T 3 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 π : S 1 , S 2 , … , Sn ( n≥ 2) dari bilangan bulat negatif
adalah urutan skor turnamen jika dan hanya jika barisan π 1 : S1 , S 2 ,… , SS , S S +1−1 , S n−1−1
n n

adalah barisan skor turnamen.

Bukti. Asumsikan bahwa π 1 adalah barisan skor turnamen. Kemudian ada turnamen T 1 dari
order n−1 memiliki π 1 sebagai barisan skor. Oleh karena itu simpul T 1 dapat diberi label
sebagai v1 , v 2 , … , v n−1 sehingga
si untuk 1≤ i≤ sn
od v i=
{s i−1 untuk i> s n
Bangun T turnamen dengan menambahkan simpul v n ke T 1 di mana v n berdekatan dengan vi
jika 1 ≤i ≤ sn dan v n berdekatan dari vi sebaliknya. Turnamen T kemudian memiliki π sebagai
barisan skor.
Untuk yang kebalikannya, kami menganggap π adalah barisan skor. Oleh karena itu ada
turnamen dari order n yang urutan skornya adalah π. Di antara semua turnamen itu, misalkan T
adalah turnamen sedemikian sehingga V ( T ) =v 1 , v 2 , … , v n, od v 1=si untuk i=1,2 , … , n dan
jumlah skor dari simpul-simpul yang berdekatan dari v n adalah minimum. Dikatakan bahwa v n
berdekatan dengan simpul yang memiliki skor S1 , S 2 , … , S s . Asumsikan sebaliknya, bahwa v n
n

tidak berdekatan dengan simpul yang memiliki skor S1 , S 2 , … , S s .. Maka, tentu saja ada simpul
n

v j dan v k dengan j < k dan s j< s k sedemikian sehingga v n berbatasan dengan v k dan v n
berbatasan dengan v j. Karena skor v k melebihi skor v j, terdapat simpul v t sehingga v k berbatasan
dengan v t, dan v t berdekatan dengan v j (Gambar 7.16 (a)). Jadi, 4 siklus yang dihasilkan
C=( v n , v k , v t , v j , v n). Jika kita membalikkan arah busur C, sebuah turnamen T ' diperoleh juga
memiliki π sebagai urutan skor (Gambar 7.16 (b)). Namun, di T ', simpul v n lebih dekat dengan
v j daripada v k. Oleh karena itu jumlah skor dari simpul yang berdekatan dari v n lebih kecil di T '

daripada di T , yang tidak mungkin. Jadi, seperti yang diklaim, v n berdekatan dengan simpul
yang memiliki skor S1 , S 2 , … , S s . Kemudian T −v n adalah turnamen yang memiliki barisan skor
n

π 1.

Gambar 7.16: Langkah untuk membuktikan teorema 7.17

Sebagai ilustrasi dari Teorema 7.17, urutannya

π :1,2,3,4,5
Dalam hal ini, sn (sebenarnya s6) memiliki nilai 4; jadi, kami menghapus istilah terakhir, ulangi
pertama sn=4 ketentuan, dan kurangi 1 dari ketentuan yang tersisa, dapatkan
π ' 1 :1 , 2 ,2 , 3 , 2.
atur ulang, kita memiliki
π 1 :1 , 2 ,2 , 2 ,3
Proses ini diulang dua kali
π ' 2 :1 , 2 ,2 , 1
π 2 :1 , 1 ,2 , 2
π 3 :1 , 1 ,1 .
Urutan π 3 jelas merupakan barisan skor turnamen. Menurut Teorema 7.17, π 2 juga,
seperti π 1 dan π. Kami dapat menggunakan informasi ini untuk membuat turnamen dengan
barisan skor. Barisan π 3 adalah barisan skor dari turnamen T 3 dari Gambar 7.17. Melanjutkan
dari π 3 ke π 2, kami menambahkan simpul baru ke T 3 dan bergabung dengan dua simpul T 3 dan
dari yang lain, menghasilkan turnamen T 2 dengan barisan skor π 2. Untuk melanjutkan dari π 2 ke
π 1, kami menambahkan simpul baru ke T 2 dan bergabung dengan simpul yang memiliki skor
1 ,2 dan 2 dan dari simpul yang tersisa dari T 2 , menghasilkan turnamen T 1 dengan barisan skor
π 1. Melanjutkan dengan cara yang sama, kami akhirnya menghasilkan turnamen T yang
diinginkan dengan barisan skor dengan menambahkan simpul baru ke T 1 dan bergabung ke
simpul yang memiliki skor 1 ,2 , 2 dan 3, 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 π : S 1 , S 2 , … , Sn bilangan bulat negatif adalah
barisan skor turnamen jika dan hanya jika untuk setiap bilangan bulat k dengan 1 ≤ k ≤ n ,
k

∑ s i ≥ ( k2) ,
i=1

(7.1)
dengan persamaan ketika k =n.
Bukti. Pertama, misalkan π : S 1 , S 2 , … , Sn adalah urutan skor dari barisan turnamen dari order n.
Lalu ada turnamen T dengan V (T )={v 1 , v 2 , … , v n }sedemikian sehingga od v 1=si untuk
i=1,2 , … , n. Untuk integer k dengan 1 ≤ k ≤ n dan S={v 1 , v 2 , … , v k }, subdigraf T 1=T [S] yang

diinduksi oleh S adalah turnamen dengan barisan k dan ukuran (2k). Karena od v untuk 1 ≤i ≤k ,
T i

maka
k k k

∑ s i=∑ od T vi ≥ ∑ od T v i=(k2 )
1
i=1 i=1 i=1

Gambar 7.17: Konstruksi turnamen dengan urutan skor yang diberikan

Sekarang dibuktikan sebaliknya. Misalkan kebalikannya salah. Kemudian di antara semua

contoh turnamen yang n minimum, misalkan π : S 1 , S 2 , … , Sn menjadi salah satu yang S1
minimum. Pertama, misalkan ada bilangan bulat k dengan 1 ≤ k ≤ n−1 sedemikian sehingga
k

∑ s i=( k2) .
i=1

(7.2)

Karena k < n, maka π 1 : s1 , s 2 ,… , sk adalah barisan skor dari turnamen T 1 dari order k.
Misalkan barisan τ :t 1 , t 2 , … , t n−k, dimana t i=sk +i−k untuk i=1,2 , … , n−k Karena,
k +1

∑ s i ≥ ( k +1
2 )
i=1
mengikuti dari (7.2) sehingga
k+1 k
sk +1=∑ si−∑ s i ≥ k +1 − k =k
i=1 i=1 2 ( )()
2
Karena π adalah barisan yang tidak menurun, maka
t i=sk +i−k ≥ s k+1−k ≥0
untuk i=1,2 , … , n−k dan sehingga τ adalah barisan non-negatif bilangan bulat yang tidak
bertambah. Kami sekarang menunjukkan bahwa τ yang memenuhi (7.1).
Untuk setiap bilangan bulat r dengan1 ≤r ≤ n−k, kita miliki
r r r r+ k k

∑ t i=∑ ( s k+i −k ) =∑ s k+i −rk =∑ s i−∑ si −rk .

i=1 i =1 i=1 i=1 i=1

Karena
r +k

∑ s i ≥ (r +2 k )
i=1

Dan
k

∑ s i=( k2) ,
i=1

Itu menunjukkan bahwa

r

∑ t i ≥ (r +k − k −rk=¿ ( r ), ¿
2 ) (2 ) 2
i=1

dengan persamaan untuk r =n−k. Dengan demikian, τ memenuhi (7.1). karena n−k <n, ada
turnamen T 2 dengan order n−k yang memiliki barisan skor τ .
Misalkan T menjadi turnamen dengan V (T )=V (T 1) ∪V (T 2 ) dan
E ( T )=E ( T 1 ) ∪ E ( T 2 ) ∪ { ( u , v ) :u ∈V ( T 2 ) ; v ∈V ( T 1 ) } .
Maka τ adalah urutan skor untuk T, bertentangan dengan asumsi kami. Karena itu,
k

∑ s i>(k2 )
i=1

Untuk k =1,2 , … ,n−1. Secara khusus, s1 >0.

Sekarang pertimbangkan barisan π ' =S1−1 , S 2 , S3 , … , S n−1 , Sn +1. Maka π ' adalah barisan tidak
menurun dari bilangan bulat tidak negatif yang memenuhi (7.1). Dengan minimal s1, ada
turnamen T ' dari order n yang memiliki barisan skor π ' . Misalkan x dan yadalah simpul dari T '
sehingga od T ' x=s n +1 dan od T ' y=s1−1 . Karena od T ' x ≥ od T y+ 2 maka ada simpul w ≠ x , y
'
sedemikian sehingga ( x , w)∈ E(T ' ) dan ( w , y )∈ E(T ' ). Dengan demikian, P=( x , w , y ) adalah
jalan di T '.
Misalkan T adalah turnamen yang diperoleh dari T ' dengan membalik arah arcs di P.
Maka π adalah barisan skor untuk T , 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 π : S 1 , S 2 , … , Sn bilangan bulat negatif adalah barisan
skor dari turnamen yang kuat jika dan hanya jika
k

∑ s i>(k2 ) ,
i=1

Untuk 1 ≤ k ≤ n−1 dan

n

∑ s i=( n2) ,
i=1

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 u=n−1.

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 T menjadi turnamen yang tidak mengandung kaisar dan u menjadi simpul dari
derajat-luar maksimum dalam T . Dengan bukti Teorema 7.20, berarti u adalah seorang raja T .
Di antara semua simpul yang bertetangga dengan u, misalkan v menjadi salah satu dari batas
maksimum. Anggap bahwa v adalah raja T . Asumsikan sebaliknya, bahwa v bukan raja di T .
Lalu ada simpul x dari T sehingga v tidak bertetangga dengan x maupun bertetangga dengan
simpul yang bertetangga dengan x. Jadi, x bertetangga dengan u dan v . Selanjutnya, x
bertetangga dengan setiap simpul vyang mana bertetangga. Kemudian, od x> od v, sebuah
kontradiksi. Dengan demikian, v adalah raja T .
Selanjutnya, di antara simpul yang berdekatan dengan v, misalkan w menjadi salah satu
dari derajat luar maksimum. Anggap bahwa w juga merupakan raja dari T . Asumsikan,
sebaliknya, bahwa w bukan raja. Lalu ada simpul y dari T sehingga w tidak bertetangga dengan
ymaupun dengan simpul yang bertetangga dengan y . Jadi, ybertetangga dengan v , w. Selain itu,
y bertetangga dengan setiap simpul yang bertetangga dengan w. Namun, od y >od w, sebuah
kontradiksi. Karenanya, w adalah raja T .

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 P=( v ¿ ¿ 1 , v 2 , … , v k ) ¿menjadi sebuah
jalur terpanjang di T. Jika P bukan jalur T Hamilton, maka 1 ≤ k <n dan di sana
adalah titik v dari T bukan pada P. Karena P adalah jalur terpanjang, ( v , v¿¿ 1) ¿, ( v k , v) ∉ E
(T),
dan begitu ( v 1 , v ); ( v , v¿¿ k) ¿ ∈ E (T ). Ini menyiratkan bahwa ada bilangan bulat terbesar i
(1 ≤i<k ) sedemikian rupa sehingga ( vi , v ) ∈ E (T ). Jadi (( v , v¿¿ i+1)¿) ∈ E (T ).
(lihat Gambar 7.18).
Tapi kemudian
( v ¿ ¿1 , v 2 , … , v i , v , v i+1 ,… , v k )¿
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
S1, S2 dan S3, di mana S1 dan S3 terdiri dari satu simpul dan S2 adalah 3 siklus. Turnamen ini

memiliki tiga jalur Hamilton, yaitu P1=(u , v , w , x , y), P2 = ¿ ( u , v , w , x , y )dan P3

¿(u , v , w , x , y).

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 n ≥ 2 , ada turnamen order n mengandung setidaknya

n!
jalur Hamilton.
2n−1
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 T mengandung Hamiltonian siklus, maka T dikuatkan dengan Teorema 7.4. Paul
Camion [41] menunjukkan bahwa kebalikannya juga benar.

Teorema 7.26 Sebuah turnamen nontrivial T adalah Hamiltonian jika dan hanya jika T kuat.
Bukti. Untuk yang sebaliknya, anggaplah bahwa T adalah turnamen kuat nontrivial. Jadi, T
mengandung siklus. Misalkan C siklus dengan panjang maksimum dalam T . Jika C berisi semua
dari simpul T , maka C adalah siklus Hamilton. Jadi, anggap C tidak Hamiltonian, katakanlah
C=( v ¿ ¿ 1 , v 2 , … , v k , v 1 )¿
dimana 3 ≤ k <n. Jika T berisi simpul v yang berdekatan dengan beberapa simpul Cdan
bersebelahan dari beberapa simpul C, maka harus ada simpul vi dari C berbatasan dengan v
sehingga vi +1 berbatasan dengan v . Dalam hal ini,
C ' =(v ¿ ¿1 , v 2 , … , v i , v , v i+1 , … , v k , v 1) ¿
adalah siklus yang panjangnya lebih besar dari C, menghasilkan kontradiksi. Oleh karena itu,
setiap titik T yang tidak pada C baik berdekatan dengan setiap titik C atau berdekatan dari setiap
simpul C. Karena T kuat, harus ada simpul dari masing-masing jenis. Misalkan U menjadi
himpunan semua simpul T yang tidak pada Cdan sedemikian sehingga masing-masing simpul U
berdekatan dari setiap simpul C, dan misalkan W adalah himpunan itu simpul T yang tidak pada
Csehingga setiap simpul W berbatasan dengan masing-masing simpul C(lihat Gambar 7.20).
Kemudian U ≠ ∅ dan W ≠ ∅.

Gambar 7.20: langkah pembuktian teorema 7.26

Karena T terhubung kuat, ada jalur dari setiap titik C ke setiap titik W . Karena tidak ada titik C
yang berbatasan dengan titik W, harus ada titik u ∈U yang berdekatan dengan simpul w ∈ W .
Namun,
C ' ' =(v ¿ ¿ 1 , v 2 , … , v k ,u , w , v1 ) ¿
adalah siklus yang panjangnya lebih besar dari panjang C, suatu kontradiksi. Jika T adalah
turnamen Hamilton, maka, tentu saja, setiap simpul T terletak di setiap siklus Hamiltonian dari T
. Sebenarnya, setiap simpul T terletak pada segitiga T juga.

Teorema 7.27 Setiap simpul dalam turnamen kuat nontrivial milik sebuah segi tiga.
Bukti. Misalkan v menjadi simpul dalam turnamen kuat nontrivial T. Oleh Teorema 7.26, T
adalah Hamiltonian. Dengan demikian, T berisi siklus Hamiltonian ( v=v1 , v 2 , … , v n , v 1 ) . Karena
vberdekatan dengan v 2 dan berdekatan dari v n, terdapat sebuah titik vi dengan 2 ≤i<n da
sedemikian sehingga ( v , v¿¿ i)¿ dan ( v¿ ¿i+1 , v )¿ adalah busur dari T . Jadi,( v , v ¿ ¿ i , v i+1 , v )¿
adalah segitiga T yang mengandung v.
Cukup mengejutkan bahwa jika turnamen adalah Hamiltonian, maka harus memiliki sifat lebih
kuat. Sebuah digraf D dengan orde n ≥ 3 adalah pan-siklik jika mengandung siklus dari setiap
panjang yang memungkinkan, yaitu, D mengandung siklus panjang luntuk masing-masing
l=3,4 , … ,ndan simpul pansiklik jika setiap simpul v D 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 T turnamen urutan n ≥ 3 yang kuat, dan v1 menjadi titik dari T . Akan
ditunjukkan bahwa v1 terletak pada l-sikel untuk masing-masing l=3,4 , … ,n. Kita lanjutkan
dengan induksi y pada l .
Karena T kuat, maka menurut Teorema 7.27 bahwa v1 terletak pada siklus 3. Asumsikan
v1 terletak pada siklus l C=( v 1 , v 2 , … , v l , v 1 ) . di mana 3 ≤l ≤ n−1. Ditunjukkan bahwa v1 terletak
pada siklus (l + 1).

Kasus 1. Ada simpul v yang tidak pada C bertetangga dengan setidaknya satu simpul C dan
bertetangga dari setidaknya satu titik C. Ini menyiratkan bahwa untuk beberapa 1 ≤i ≤l,
keduanya ( v¿ ¿i , v )¿ dan ( v , v¿¿ i+1)¿ adalah busur T (di mana semua subskrip berada
menyatakan modulo l). Dengan demikian, v1 terletak pada sikel (l + 1).
( v ¿ ¿1 , v 2 , … , v i , v , v i+1 ,… , v l , v1 )¿
Kasus 2. Tidak ada titik v seperti dalam Kasus 1. Misalkan U menunjukkan himpunan semua
simpul di V ( T ) −V (C) yang berdekatan dari setiap titik C, dan misalkan W menjadi himpunan
semua simpul dalam V ( T ) −V (C) yang berdekatan dengan setiap simpul C. Kemudian
U ∪W =V ( T )−V (C ) . Karena T kuat, baik U maupun W kosong dan ada simpul u di U dan
simpul w di W sehingga(u , w) ∈ E(T ). Jadi, v1 terletak pada sikel(l + 1).
(u , w , v1 , … , v l−1 ,u)
melengkapi buktinya.

Akibat 7.29 Setiap turnamen nontrivial yang kuat adalah pan-sikel