GRAPH NON-PLANAR

PENGANTAR TEORI GRAPH

Oleh :

 Heru Susanto (181810101080)

 Muhammad Luqmanul Hakim (181810101078)

JURUSAN MATEMATIKA

FAKULTAS MATEMATIKA DAN ILMU PENGETAHUAN ALAM

UNIVERSITAS JEMBER

2020
Kelompok 7 :
Muhammad Luqmanul Hakim 181810101078
Heru Suanto 181810101080
Rangkuman BAB 11
Graf nonplanar
Kita melihat di Bab 10 bahwa jika G adalah graf planar maksimal yang berisi dua titik
nonadjacent u dan v, maka graf G + uv adalah nonplanar. Meskipun nonplanar, graf G + uv
sangat dekat menjadi planar. Sekarang kita lihat berbagai cara untuk mengukur seberapa
dekat graf nonplanar menjadi planar.
11.1 Banyak persimpangan pada graf
Graf nonplanar adalah graf yang tidak dapat digambar pada bidang dengan sisi yang tidak
bersilangan. Banyaknya persilangan ( cr (G) ) dari graf G adalah jumlah minimum
persimpangan (dari ujung-ujungnya) di antara gambar G di plane. Sebelum melanjutkan lebih
lanjut, ada beberapa asumsi dari buku, yaitu :
 Sisi yang bersisian tidak pernah bersilangan
 dua sisi yang tidak bersebelahan bersilangan paling banyak satu kali
 tidak ada sisi bersilangan dengan dirinya sendiri
 tidak lebih dari dua sisi bersilangan di titik pada bidang
 busur (terbuka) pada bidang yang sesuai dengan sisi pada graf tidak ada simpul pada
graf.

Beberapa pengamatan akan terbukti digunakan. Jika G ⊆ H, maka cr (G) ≤ cr (H); sementara
jika H adalah subdivisi dari G, maka cr (G) = cr (H). Graf G adalah planar jika dan hanya jika
cr (G) = 0. Secara khusus, jika G adalah graf planar maksimal orde n ≥ 3 dan ukuran m, maka
m = 3n - 6 dan cr (G) = 0 = m - 3n + 6. Jika m > 3n - 6 dan m - 3n + 6 > 0, maka G adalah
nonplanar dan jadi cr (G) ≥ 1. faktanya, jumlah m - 3n + 6 merupakan batas bawah untuk
jumlah persimpangan graf orde n ≥ 3 dan size m.
Teorema 11.1 Jika G adalah graf ordo n ≥ 3 dan size m, maka
cr (G) ≥ m - 3n + 6.
Bukti. misal diberikan gambar G di bidang dengan cr (G) = c cross- ings. Pada setiap
persimpangan, sebuah titik baru diperkenalkan, menghasilkan graf bidang H ordo n + c dan
ukuran m + 2c. Karena H adalah planar, maka diikuti oleh Teorema 10.3 bahwa
m + 2c ≤ 3 (n + c) - 6.
Jadi, cr (G) = c ≥ m - 3n + 6.
Jumlah persimpangan dari graf lengkap
Satu kelas graf yang banyak persimpangannya telah menjadi subjek studi adalah graf
lengkap. Dengan Teorema 11.1, maka untuk n ≥ 3 itu
 n ( n−3 )(n−4)
()
cr ( K n ) =
2
−3 n+6=
2
.

Richard K. Guy [112] menemukan batas bawah yang lebih baik untuk cr (Kn).
1 n
Theorem 11.2 untuk n ≥ 5 , cr ( K n ) ≥ ()
5 4
.

1 n 1 5
Bukti. Kami melanjutkan dengan induksi pada n. Untuk n = 5, kita memiliki () ()
=
5 4 5 4
=1.

Karena K5 adalah nonplanar, cr (K5) ≥ 1. Bahkan, gambar K5 pada Gambar 11.1 dengan satu
persimpangan menunjukkan bahwa cr (K5) = 1.
1 n−1
Asumsikan bahwa cr (Kn − 1) ≥
5 4 ( )
untuk bilangan bulat n ≥ 6. Misal ada gambar Kn di
bidang dengan penyeberangan cr (Kn). Ketika titik Kn dihapus, diperoleh gambar Kn − 1, di
mana jumlah penyeberangan dalam hal ini salinan Kn − 1 setidaknya cr (Kn − 1). Oleh
karena itu, subgraph n dihapus dari Kn menghasilkan n graf Kn − 1 yang memiliki total
setidaknya persilangan n cr (Kn − 1).
Persilangan di Kn melibatkan dua sisi yang tidak bersebelahan, misalnya uv dan xy. Ini
persimpangan terjadi di setiap subgraf yang dihapus simpul Kn − 1 dari Kn kecuali ketika u,
v, x

atau y dihapus; yaitu, persimpangan ini terjadi dalam n − 4 subgraph Kn − 1 dari Kn. Jadi,
jumlah total penyeberangan dalam n gambar subgraph yang dihapus verteks ini Kn − 1 dari
Kn adalah (n - 4) cr (Kn). Karenanya,
n n−1
( n−4 ) crKn¿ ≥ n cr ( Kn−1)≥ ( )
5 4

Karena itu,
n n−1 n n
cr ( Kn)≥ ( ) ()
5(n−4) 4
≥
5 4
.

seperti yang diinginkan.

Batas bawah untuk cr (Kn) diberikan dalam (11.1) dan dalam Teorema 11.2 adalah sama
ketika n = 5 dan n = 6, sementara
1 n ( n−3 ) (n−4)
()
5 4
>
2

1 n
when n ≥ 7. Dengan demikian cr batas bawah (Kn) ≥ ()
5 4
merupakan perbaikan dari itu
diberikan pada (11.1). Ketika n = 6, batas-batas ini menyatakan bahwa cr (K6) ≥ 3. Gambar
K6 dengan tiga persimpangan pada Gambar 11.2 menunjukkan bahwa cr (K6) = 3.

Ini telah ditunjukkan oleh JaroslavBlaˇzek dan Milan Koman [30] dan Richard K. Guy [111],
antara lain, bahwa untuk graf lengkap,
1 n−1 n−2 n−3
cr ( Kn ) ≤ ⌊ ⌋⌊ ⌋⌊ ⌋.
4 2 2 2

Guy menduga, pada kenyataannya, bahwa batas atas pada (11.2), pada kenyataannya, adalah
persimpangan jumlah Kn untuk semua bilangan bulat positif n. Sejauh hasil yang diketahui
terkait, yang terbaik diperoleh adalah sebagai berikut.
Teorema 11.3 Untuk 1 ≤ n ≤ 12,
1 n−1 n−2 n−3
cr ( Kn ) ≤ ⌊ ⌋⌊ ⌋⌊ ⌋.
4 2 2 2
Guy [112] mendirikan Teorema 11.3 untuk 1 ≤ n ≤ 10, sementara Shengjun Pan dan R. Bruce
Richter [182] memverifikasi Teorema 11.3 untuk n = 11 dan n = 12.
Banyak Persimpangan dari Graf Bipartite Lengkap
Kazimierz Zarankiewicz [262] mengira dia telah membuktikan hal itu
s s−1 t t−1
cr ( Ks , t ) =⌊ ⌋ ⌊ ⌋ ⌊ ⌋⌊ ⌋.
2 2 2 2
tetapi, dalam kenyataannya, ia hanya memverifikasi bahwa ungkapan di sebelah kanan (11.4)
adalah batas atas untuk cr (Ks, t). Ternyata, baik Paul C. Kainen dan GerhardRingel
menemukan kekurangan dalam argumen Zarankiewicz. Oleh karena itu, (11.4) tetap ada
hanya dugaan. Hasil umum terbaik pada persimpangan nomor lengkap graf bipartit adalah
sebagai berikut, karena karya gabungan Daniel Kleitman [144] dan Douglas Woodall [260].
Teorema 11.4 Jika s dan t adalah bilangan bulat positif dengan s ≤ t dan (1) s ≤ 6 atau (2) s =
7 dan t ≤ 10, lalu
 s s−1 t t−1
cr ( Ks , t ) =⌊ ⌋ ⌊ ⌋ ⌊ ⌋⌊ ⌋.
2 2 2 2
Oleh karena itu, mengikuti dari Teorema 11.4 itu
t t−1 t t−1
cr ( K 3 ,t )=⌊ ⌋ ⌊ ⌋ , cr ( K 4 , t ) =2 ⌊ ⌋ ⌊ ⌋,
2 2 2 2
t t−1 t t−1
cr ( K 5 ,t )=4 ⌊ ⌋ ⌊ ⌋ , dan cr ( K 6 , t ) =6 ⌊ ⌋ ⌊ ⌋,
2 2 2 2
untuk semua t. Misalnya, cr (K3,3) = 1, cr (K4,4) = 4, cr (K5,5) = 16, cr (K6,6) = 36 dan cr
(K7,7) = 81. Gambar K4,4 dengan empat persimpangan ditunjukkan pada Gambar 11.3.

Seperti yang diharapkan, situasi mengenai persimpangan nomor lengkap graf k-

partite, k ≥ 3, bahkan lebih rumit. Sebagian besar, hanya batas dan hasil yang sangat spesifik
telah diperoleh dalam kasus ini. Di Di sisi lain, beberapa teknik pembuktian yang digunakan
telah mencerahkan. Sebagai sebuah contoh, hasil berikut dari Arthur T. White [254, p. 67]
menetapkan nomor persimpangan K 2,2,3 .

Teorema 11.5 Jumlah persimpangan K 2,2,3adalah 2.

Bukti. Graf K2,2,3 memiliki urutan 7 dan ukuran 16. Misalkan cr ( K 2,2,3) = c. Karena K 3,3
adalah nonplanar dan K 3,3 .⊆ K 2,2,3 .maka K 2,2,3 .adalah nonplanar dan c ≥ 1. Biarkan diberikan
gambar K2,2,3 di bidang dengan c persimpangan. Pada setiap persimpangan kami
memperkenalkan simpul baru, menghasilkan terhubung graf bidang G urutan n = 7 + c dan
ukuran m = 16 + 2c. Oleh Teorema 10.3, m ≤ 3n - 6.
`Biarkan u1u2 dan v1v2 menjadi dua sisi (tidak berdekatan) dari K2,2,3 yang bersilangan di
diberikan gambar, sehingga menimbulkan titik baru. Jika G adalah graf planar maksimal,
maka C = (u1, v1, u2, v2, u1) adalah siklus G, menyiratkan bahwa subgraph diinduksi oleh
{u1, u2, v1, v2} dalam K2,2,3 adalah K4. Namun, K2,2,3 tidak mengandung subgraph
tersebut; dengan demikian, G bukan graf planar maksimal dan m <3n - 6. Oleh karena itu,
16+2 c <3 ( 7+c )−6
dari sinilah c ≥ 2. Ketidaksetaraan c ≤ 2 mengikuti fakta bahwa ada gambar K2,2,3 dengan
dua penyeberangan (lihat Gambar 11.4).
Banyak persimpangan dari Graf cartesian products
Graf lain yang nomor persilangannya telah diselidiki dengan sedikit sukses adalah n-
cubesQn. Karena Qn adalah planar untuk n = 1, 2, 3, cr (Qn) = 0 untuk masing-masing n.
Roger Eggleton dan Richard Guy [76] telah menunjukkan bahwa cr (Q4) = 8 tetapi cr (Qn)
tidak diketahui untuk n ≥ 5. Orang mungkin mengamati itu
Q 4=K 2∎ K 2∎ K 2∎ K 2=C 4 ∎C 4
sehingga cr (C4 ∎C4) = 8. Ini menimbulkan pertanyaan untuk menentukan cr (Cs∎ Ct) untuk
s, t ≥ 3. Untuk kasus s = t = 3, Frank Harary, Paul Kainen dan Allen Schwenk [120]
menunjukkan bahwa cr (C3∎ C3) = 3. Bukti mereka terdiri dari mengikuti tiga langkah:
Langkah 1. Memperlihatkan gambar C3∎ C3 dengan tiga penyeberangan sehingga cr
(C3∎ C3) ≤ 3.
Langkah 2. Menunjukkan bahwa C3∎ C3 − e adalah nonplanar untuk setiap tepi e dari
C3∎ C3 sehingga cr (C3∎ C3) ≥ 2.
Langkah 3. Menunjukkan, karena kelelahan, bahwa tidak mungkin untuk memiliki
menggambar C3 C3 dengan tepat dua penyeberangan sehingga cr (C3∎ C3) ≥ 3 (lihat
Latihan 6).
Richard D. Ringeisen dan Lowell W. Beineke [200] kemudian diperpanjang secara
signifikan hasil ini dengan menentukan cr (C3 ∎Ct) untuk semua bilangan bulat t ≥ 3.
Teorema 11.6 Untuk setiap bilangan bulat t ≥ 3,
cr (C3 ∎Ct) = t.
Bukti. Kami memberi label simpul C3 ∎Ct dengan pasangan 3t yang dipesan (0, j), (1, j) dan
(2, j), di mana j = 0, 1,. . . , t - 1, dan, untuk kenyamanan,
kami mengizinkan uj = (0, j), vj = (1, j) dan wj = (2, j).
Pertama, kita perhatikan bahwa cr (C3∎ Ct) ≤ t. Pengamatan ini mengikuti dari fakta bahwa
ada gambar C3 ∎Ct dengan t penyeberangan. Gambar C3 ∎C4 dengan empat penyeberangan
ditunjukkan pada Gambar 11.5. Gambar C3 ∎Ct dengan t penyeberangan untuk nilai lain t
dapat diberikan secara serupa.
Untuk melengkapi buktinya, kami menunjukkan bahwa cr (C3 ∎Ct) ≥ t. Kami memverifikasi
ini dengan induksi pada t ≥ 3. Untuk t = 3, kita mengingat hasil yang disebutkan sebelumnya
cr (C3 ∎C3) = 3.
Asumsikan bahwa cr (C3 ∎Ck) ≥ k untuk beberapa bilangan bulat k ≥ 3, dan pertimbangkan
graf C 3 ∎ C K +1 ¿. Kami menunjukkan bahwa cr C 3 ∎ C K +1 ¿≥ k + 1. Biarkan ada yang diberikan
a menggambar C 3 ∎ C K +1 ¿dengan persimpangan cr(C 3 ∎ C K +1 ¿ ≥ k + 1). Kami
mempertimbangkan dua kasus.

Kasus 1. Tidak ada tepi segitiga apa pun Tj = G [{uj, vj, wj}], j = 0, 1,. . . , k, adalah
menyeberang. Untuk j = 0, 1,. . . , k, tentukan
Hj = G [{uj, vj, wj, uj + 1, vj + 1, wj + 1}],
di mana subskrip diekspresikan modulo k + 1. Kami menunjukkan bahwa untuk setiap j = 0,
1,. . . , k, berapa kali tepi Hj dilewati total setidaknya 2. Karena, dengan asumsi, tidak ada
segitiga Tj memiliki tepi menyeberang dan karena setiap tepi tidak dalam Setiap segitiga Tj
milik tepat satu subkrafHj, itu akan mengikuti bahwa ada setidaknya k + 1 persimpangan
dalam gambar karena dengan demikian setiap persimpangan dari tepi dalam Hj melibatkan
dua sisi Hj atau tepi Hj dan tepi Hi untuk beberapa i 6 ≠ j.
Jika dua sisi u j u j+1 , v j v j +1dan w j w j+1saling silang, maka dua tepi Hj disilangkan. Asumsikan
bahwa tidak ada dua tepi Hj yang saling bersilangan lain. Dengan demikian, Hj adalah
subgraph bidang dalam gambar C 3 ∎ C K +1(lihat Gambar ure 11.6). Segitiga T j+ 1harus terletak
di beberapa wilayah Hj. Jika T j+ 2berbohong di daerah Hj dibatasi oleh segitiga, katakanlah
Tj, maka setidaknya satu ujung cycle (u0, u1, ..., uk, u0), misalnya, harus melewati batas Tj,
bertentangan asumsi kami. Dengan demikian, Tj + 2 harus terletak di wilayah Hj yang
dibatasi oleh siklus 4, katakan (uj, uj + 1, wj + 1, wj, uj). Namun kemudian, tepi siklus (v0,
v1, ..., vk, v0) harus melewati tepi siklus (uj, uj + 1, wj + 1, wj, uj) setidaknya dua kali dan,
karenanya, tepi Hj setidaknya dua kali, seperti yang dinyatakan.
Kasus 2. Beberapa segitiga, katakanlah T0, memiliki setidaknya satu ujungnya
bersilangan. Seharusnya bahwa cr (C 3 ∎ C K +1) <k + 1. Kemudian graf C 3 ∎ C K +1- E (T0), yang
merupakan subdivisi dari C 3 ∎ C K , ditarik dengan penyeberangan kurang dari k, bertentangan
dengan hipotesis induktif. Satu-satunya hasil lain memberikan jumlah persimpangan graf
C s ∎ C tadalah mengikuti teoremaBeineke dan Ringeisen [19].

Teorema 11.7 Untuk semua t ≥ 4,

cr (C ¿ ¿ 4 ∎C t )=2 t ¿

Beineke dan Ringeisen [19] juga menentukan cr (C ¿ ¿ 4 ∎C t )¿ untuk t ≥ 4.

Teorema 11.8 Untuk semua t ≥ 4,
cr (C ¿ ¿ 4 ∎C t )=3 t ¿

F´ary’s Theorem
Dalam penyisipan planar graf G, tepi G dapat berupa kurva apa pun, termasuk segmen
garis lurus. Garis silang bujursangkarbujursangkar (G) dari suatu graf G adalah jumlah
penyeberangan minimum di antara semua gambar G di bidang di mana setiap tepi adalah
segmen garis lurus. Karena nomor persimpangan cr (G) mempertimbangkan semua gambar G
dalam bidang (bukan hanya gambar yang ujungnya) adalah segmen garis lurus), kami
memiliki ketimpangan yang jelas
cr (G) ≤ cr(G).
´
Jelas, cr(G)
´ ≥ 0 untuk setiap graf planar G. Namun, fitur yang menarik graf planar adalah
bahwa mereka dapat tertanam di dalam bidang sehingga setiap sisi adalah segmen garis lurus.
Penanaman seperti itu disebut sebagai straight-straightembedding garis. Hasil ini dikenal
sebagai teoremaF'ary tetapi terbukti mandiri tidak hanya oleh Istv´anF´ary [89] tetapi oleh
Sherman K. Stein [225] dan KlausWagner [250] juga.
Teorema 11.9 (Teorema F 'arys) Jika G adalah graf planar, maka
cr(G)
´ = 0.
Bukti. Jika bilangan persimpangan bujursangkar dari setiap graf planar maksimal adalah 0,
maka bilangan persimpangan bujursangkar dari setiap graf planar adalah 0. Oleh karena itu,
itucukup untuk membuktikan teorema untuk graf planar maksimal. Hasil ini jelas untuk K1
dan K2.
Kami membuktikan dengan induksi pada n ≥ 3 bahwa untuk setiap graf bidang
maksimal G dari order n, batas wilayah luarnya yang berisi simpul u, v dan w, ada penyisipan
garis lurus G, yang masing-masing daerah memiliki yang sama batas sebagai
planarembedding yang diberikan G, dan yang memiliki wilayah eksterior simpul batas u, v
dan w. Hasilnya tentu benar untuk n = 3 dan n = 4. Asumsikan bahwa pernyataan itu benar
untuk semua graf bidang maksimal pesanan k untuk some integer k ≥ 4. Misalkan G adalah
graf bidang maksimal dari pesanan k + 1 yang wilayah eksterior memiliki simpul batas u, v
dan w.

Dengan Corollary 10.5, G berisi simpul x / ∈ {u, v, w} sedemikian rupa sehingga deg
x = r dan 3 ≤ r ≤ 5. Misalkan NG (x) = {x1, x2,. . . , xr}. Hapus x dari G dan biarkan R
menjadi wilayah G - x yang simpul batasnya adalah NG (x). Tambahkan r - 3 tepi ke wilayah
R dari G - x sehingga graf bidang maksimal G’ hasil. Sejak G0 adalah graf bidang maksimal
orde k, diikuti oleh hipotesis induksi itu ada penyisipan garis lurus G” menghasilkan graf G”
setiap wilayah yang memiliki batas yang sama dan wilayah luarnya memiliki simpul batas u,
v dan w.
Sekarang lepaskan tepi r edges3 yang ditambahkan ke G − x untuk menghasilkan
garis lurus embedding garis G* dari G - x sedemikian rupa sehingga batas wilayah R* dengan
simpul batas NG (x) adalah r-gon, di mana 3 ≤ r ≤ 5. Jika r-gon adalah cembung, maka
simpul x dapat ditambahkan di mana saja di R* dan bergabung ke simpul NG (x) oleh
segmen garis lurus, menghasilkan penanaman garis lurus G.
Misalkan r-gon P tidak cembung dan r = 4 atau r = 5. Kita kemudian triangulasi P
dengan menambahkan r − 3 segmen garis lurus. Jika r = 4, maka satu lurus- segmen garis
ditambahkan. Tempatkan simpul x baru pada segmen ini dan hapus ini segmen. Segmen garis
lurus kemudian dapat ditarik dari x ke masing-masing simpul xi (1 ≤ i ≤ 4), menghasilkan
penanaman garis lurus dari G. Lihat Gambar 11.7.

Jika P adalah segi lima, maka dua segmen garis lurus dapat ditambahkan ke trian-
gulate P, menghasilkan tiga segitiga. Salah satu dari lima simpul P, katakanlah x1, terletak
pada masing-masing dari tiga segitiga ini. Salah satu dari segitiga ini, misalnya T, adalah
tetangga dua segitiga lainnya. Karena segitiga cembung, segmen garis lurus bisa digambar
dalam T dan dalam P untuk masing-masing x2, x3, x4 dan x5 (lihat Gambar 11.8), sekali lagi
memproduksi penyisipan garis lurus G.
The Art Gallery Problem
Menurut Teorema F´ary, ada penyisipan garis lurus setiap graf planar. Dalam
pembuktian teorema ini, kami menggunakan fakta bahwa di dalam interior masing-masing
segitiga, segiempat dan pentagon, sebuah titik dapat ditempatkan yang dapat digabungkan
oleh segmen garis lurus ke simpul poligon P sehingga letaknya di dalam interior P.
Sebenarnya ini adalah kasus khusus hasil dari geometri:
The Art Gallery Problem
Misalkan galeri seni tertentu terdiri dari satu ruangan besar dengan n dinding tempat
lukisan digantung. Apa yang minimum penjaga keamanan yang harus dipekerjakan
dan ditempatkan di galeri untuk menjamin bahwa untuk setiap lukisan digantung di
dinding ada seorang penjaga yang memiliki visi garis lurus karya seni?
Masalah ini diajukan pada tahun 1973 oleh geometer Victor Klee setelah diskusi dengan
VaˇsekChv´atal. Itu ditunjukkan oleh Chv'atal [56], dengan bukti yang lebih sederhana oleh
SteveFisk [91], bahwa tidak lebih dari bn / 3c penjaga diperlukan dan contoh itu ada di mana
penjaga bn / 3c diperlukan. Dalam hal galeri seni dengan tiga,empat atau lima dinding, hanya
satu penjaga yang perlu disewa, yang merupakan fakta yang digunakan dalam bukti Teorema
11.9.
Telah diduga bahwa cr (Ks, t) = cr´ (Ks, t) untuk semua bilangan bulat positif s dan t.
Dalam kasus graf lengkap, tidak hanya cr´ (Kn) = cr (Kn) untuk 1 ≤ n ≤ 4 (ketika Kn adalah
planar), juga diketahui bahwa cr
´ (Kn) = cr (Kn) untuk 5 ≤ n ≤ 7 dan n = 9. Namun, cr (K8) =
cr
18 dan (K8) = 19 (lihat Guy [112]), ketimpangan yang begitu ketat dalam (11.5) memang
´
kemungkinan. Selanjutnya, Alex Brodsky, StephaneDurocher dan Ellen Gethner [37]
menunjukkan bahwa cr ´ (K10) = 62, sementara cr((K10)
´ = 60. Para anggota
OswinAichholzer, FranzAurenhammer dan HannesKrasser dari Proyek Bilangan Lintas
Bujursangkar ditentukan cr(Kn)
´ untuk semua n dengan 11 ≤ n ≤ 21 kecuali n = 20.
Khususnya
 cr (K11) = 100 dan cr (K11) = 102 dan
 cr (K12) = 150 dan cr (K12) = 153.
Dalam sebuah makalah oleh Bernardo M. Abrego, Silvia Fern´andez-Merchant dan Gelasio ´
Salazar [1], nilai-nilai cr(Kn)
´ diberikan untuk 5 ≤ n ≤ 30, termasuk cr(K30)
´ = 9726.
11.2 Jenis dari sebuah Graf
Meskipun hanya graf planar yang dapat disematkan di dalam bidang, ada sejumlah
permukaan umum dan semakin kompleks di mana graf nonplanar G mungkin tertanam.
Menentukan permukaan paling sederhana di mana G dapat disematkan memberikan indikasi
seberapa dekat G dengan planar. Kita akan melihat bahwa hiasan yang menarik adalah yang
disebut embeddings 2-sel dan diskusikan kemungkinan permukaan di mana graf yang
diberikan memiliki embedding.
Kita telah melihat bahwa graf G adalah planar jika G dapat digambar di dalam bidang
sedemikian rupa sehingga tidak ada dua sisi yang bersilangan dan gambar seperti itu disebut
embedding G di bidang atau embeddingplanar. Selanjutnya, graf G dapat tertanam di bidang
jika dan hanya jika G dapat tertanam di (permukaan) dari) sebuah bola.
Tentu saja, tidak semua graf adalah planar. Memang, teoremaKuratowski (Theo- rem
10.18) dan teoremaWagner (Teorema 10.21) menjelaskan kondisi (keterlibatan ing dua graf
nonplanar K5 dan K3, 3) di mana G dapat dimasukkan bidang. Graf yang tidak dapat
disematkan di bidang (atau di bola) mungkin namun dapat diembed pada permukaan lain.
Embeddingson a Torus
Permukaan umum di mana graf dapat disematkan adalah torus, a permukaan
berbentuk donat (lihat Gambar 11.9 (a)). Dua embeddings berbeda dari (planar) graf K4 pada
torus ditunjukkan pada Gambar 11.9 (b) dan 11.9 (c).

Meskipun mudah untuk melihat bahwa setiap graf planar dapat disematkan pada
torus, beberapa graf nonplanar dapat disematkan pada torus juga. Misalnya, beddings K5 dan
K3,3 pada torus ditunjukkan pada Gambar 11.10 (a) dan 11.10 (b).
 Cara lain untuk merepresentasikan torus dan memvisualisasikan penyematan graf
pada torus adalah untuk memulai dengan sepotong persegi panjang (fleksibel) bahan seperti
pada Gambar- ure 11.11 dan pertama-tama buatlah sebuah silinder dengan mengidentifikasi
sisi a dan c, yang sama setelah identifikasi terjadi. Sisi b dan d adalah lingkaran. Lingkaran
ini kemudian diidentifikasi untuk menghasilkan torus.

Setelah melihat bagaimana torus dapat dibangun dari persegi panjang, berikut bahwa
titik-titik berlabel A dalam kotak di Gambar 11.12 (a) mewakili yang sama arahkan pada
torus. Ini juga berlaku untuk poin yang berlabel B dan poin berlabel C. Gambar 11.12 (b) dan
11.12 (c) menunjukkan embeddings K5 dan K3,3 pada torus. Ada lima daerah di embedding
K5 pada torus yang ditunjukkan pada Gambar 11.12 (b) dan R adalah satu wilayah dalam
embeddingini. Apalagi ada tiga daerah di embedding K3,3 pada torus yang ditunjukkan pada
Gambar 11.12 (c) dan R’ adalah satu wilayah.
 Cara lain untuk merepresentasikan torus dan embedding graf pada torus adalah
memulai dengan bola, masukkan dua lubang di permukaannya (seperti pada Gambar 11.13
(a)) dan pasang pegangan pada bola, di mana ujung pegangan ditempatkan lebih dari dua
lubang (seperti pada Gambar 11.13 (b)). Penyematan K5 pada torus dibangun dengan cara ini
ditunjukkan pada Gambar 11.13 (c).

Sementara torus adalah bola dengan satu pegangan, bola dengan pegangan k, k ≥ 0,
disebut permukaan genus k dan dilambangkan oleh Sk. Jadi, S0 adalah sebuah bola dan S1
adalah torus. Permukaan Sk adalah permukaan yang berorientasi.
Biarkan G menjadi graf nonplanar. Saat menggambar G pada sebuah bola, beberapa
tepi G akan menyeberang. Graf G selalu dapat digambar sehingga hanya dua sisi yang
bersilangan titik persimpangan. Pada setiap titik persimpangan seperti itu, pegangan bisa
sesuai ditempatkan pada bola sehingga salah satu dari kedua ujung melewati pegangan dan
persimpangan kedua sisi telah dihindari. Akibatnya, setiap graf dapat disematkan pada
beberapa permukaan yang dapat diorientasikan. Bilangan bulat non-negatif terkecil k
sedemikian sehingga graf G dapat disematkan pada Sk disebut genus G dan dilambangkan
dengan γ (G). Oleh karena itu, γ (G) = 0 jika dan hanya jika G adalah planar; sementara γ (G)
= 1 jika dan hanya jika G nonplanar tetapi G dapat disematkan pada torus. Embedding graf G
pada torus disebut embeddingtoroidal dari G. Khususnya,
γ (K5) = 1 dan γ (K3,3) = 1.
Gambar 11.14 (a) menunjukkan embedding graf H yang terputus pada sebuah bola.
Dalam hal ini, n = 8, m = 9 dan r = 4. Dengan demikian n - m + r = 8 - 9 + 4 = 3. Bahwa n −
m + r 6 = 2 tidak terlalu mengejutkan karena EulerIdentity (Teorema 10.1) mensyaratkan
bahwa H menjadi graf bidang yang terhubung. Walaupun ini adalah alasan utama mengapa
kami akan membatasi perhatian kami pada graf yang terhubung di sini, itu bukan satu-
satunya alasan. Ada properti yang diinginkan dimiliki oleh setiap penanaman yang terhubung
graf planar pada bola yang dimiliki tanpa embedding yang terputus graf planar pada sebuah
bola.
2-Cell Embeddings of Graphs
Misalkan G adalah graf yang tertanam pada permukaan Sk, k ≥ 0. Daerah ini embedding
adalah 2 sel jika setiap kurva tertutup di wilayah itu dapat terus menerus cacat di wilayah itu
ke satu titik. (Secara topologis, suatu wilayah adalah 2-sel jika itu adalah homeomorfik ke
disk.) Sementara kurva tertutup C dalam R di embedding graf pada bola yang ditunjukkan
pada Gambar 11.14 (b) sebenarnya bisa terus menerus terdeformasi dalam R ke satu titik,
kurva C 0 tidak bisa. Karenanya R bukan sel 2 dalam penyematan ini.
 Embedding graf G pada beberapa permukaan adalah embedding 2 sel jika setiap
wilayah di embedding adalah 2 sel. Akibatnya, embedding graf ditunjukkan pada Gambar
11.14 (a) bukan embedding 2 sel. Ternyata, bahwa setiap penyisipan graf yang terhubung
pada bola harus merupakan 2- embedding sel. Tentu saja, graf seperti itu harus planar. Jika
terhubung graf tertanam pada Sk permukaan di mana k> 0, maka embedding mungkin atau
mungkin bukan embedding 2 sel. Misalnya, embedding K4 pada Gambar 11.9 (b) bukan
embedding 2 sel. Kurva C dan C’ ditampilkan dalam Gambar 11.15 (a) dan 11.15 (b) tidak
dapat terus-menerus berubah bentuk menjadi satu titik di wilayah di mana kurva ini ditarik.
Di sisi lain, embedding K4 ditunjukkan pada Gambar 11.9 (c) dan ditampilkan lagi pada
Gambar 11.15 (c) adalah embedding 2 sel.

The Generalized Euler Identity

Embeddings K4, K5 dan K3,3 pada torus yang diberikan pada Gambar 11.9 (c), 11.10
(a) dan 11.10 (b), masing-masing, semuanya merupakan embedding 2 sel. Selanjutnya di
setiap kasus, n - m + r = 0. Ternyata, jika G adalah graf orde yang terhubung n dan ukuran m
yang 2-sel tertanam pada torus yang menghasilkan r daerah, maka itu adalah selalu menjadi
kasus bahwa n - m + r = 0. Fakta ini bersama dengan EulerIdentity (Teorema 10.1) adalah
kasus khusus dari hasil yang lebih umum. Ahli matematika Simon Antoine Jean Lhuilier
menghabiskan sebagian besar hidupnya bekerja pada masalah yang terkait ke EulerIdentity.
Lhuilier, seperti Euler, berasal dari Swiss dan diajar matematika oleh salah satu mantan siswa
Euler (Louis Bertrand). Lhuilier melihat bahwa EulerIdentity tidak berlaku untuk graf yang
disematkan pada bola yang berisi menangani. Bahkan, ia membuktikan bentuk yang lebih
umum dari identitas ini [156].
Teorema 11.10 (Generalized Euler Identity) Jika G terhubung graf orde n dan ukuran m yang
2-sel tertanam pada permukaan genus k ≥ 0, menghasilkan r daerah, lalu
n - m + r = 2 - 2k.
Bukti. Kami melanjutkan dengan induksi pada k. Jika G adalah graf pesanan yang terhubung
n dan ukuran m yang 2-sel tertanam pada permukaan genus 0, maka G adalah bidang graf.
Dengan Identitas Euler, n - m + r = 2 = 2 - 2 · 0. Demikian langkah dasar dari induksi
berlaku.
Asumsikan, untuk setiap graf yang terhubung G’ pesanan n’ dan ukuran m’ itu adalah
2- sel yang tertanam pada permukaan Sk untuk beberapa bilangan bulat non-negatif,
menghasilkan r’ daerah, itu
n’ – m’ + r’ = 2 - 2k.
Biarkan G menjadi graf terhubung dari urutan n dan ukuran m yang tertanam 2 sel pada Sk +
1, menghasilkan r wilayah. Kami dapat berasumsi, tanpa kehilangan keumuman, bahwa tidak
ada simpul G terletak pada pegangan Sk + 1 dan bahwa tepi G adalah digambar pada
pegangan sehingga kurva tertutup dapat ditarik di sekitar masing-masing pegangan yang
memotong tidak ada tepi G lebih dari sekali.
Biarkan H menjadi salah satu pegangan k + 1 dari Sk + 1. Pasti ada ujung-ujungnya
dari G pada H; karena kalau tidak, pegangan milik wilayah R dalam hal ini setiap kurva
tertutup di sekitar H tidak dapat terus-menerus dideformasi dalam R ke satu titik,
bertentangan dengan asumsi bahwa R adalah 2-sel. Kami sekarang menggambar yang
tertutup kurva C di sekitar H, yang memotong beberapa tepi G pada H tetapi memotong no
tepi lebih dari sekali. Misalkan ada t ≥ 1 titik persimpangan C dan tepi pada H. Pada setiap
titik persimpangan, sebuah simpul baru diperkenalkan. Masing-masing ujung t kemudian
menjadi dua tepi. Juga, segmen C antara simpul menjadi tepi. Kami menambahkan dua
simpul derajat 2 sepanjang C untuk menghasilkan dua simpul tepi tambahan. (Ini menjamin
bahwa struktur yang dihasilkan akan menjadi graf, bukan multigraf.)
Biarkan G1 menjadi graf yang baru saja dibangun, di mana G1 memiliki urutan n1,
ukuran m1 dan r1 daerah. Kemudian
n1 = n + t + 2 dan m1 = m + 2t + 2.
Karena setiap bagian C yang menjadi tepi G1 berada di wilayah G, maka Penambahan tepi
semacam itu membagi wilayah itu menjadi dua wilayah, yang masing-masingnya adalah 2
sel. Karena ada t tepi seperti itu,
r1 = r + t.
Kami sekarang memotong gagang H sepanjang C dan "menambal" dua lubang yang
dihasilkan, mengurangi dua salinan rangkap dari simpul dan tepi sepanjang C (lihat Gambar
11.16). Sebutkan graf yang dihasilkan oleh G2, yang sekarang 2-sel tertanam pada
permukaan Sk.
 Biarkan G2 memiliki urutan n2, ukuran m2 dan r2, yang semuanya adalah 2-sel.
Kemudian
n2 = n1 + t + 2, m2 = m1 + t + 2 dan r2 = r1 + 2.
Selanjutnya, n2 = n + 2t + 4, m2 = m + 3t + 4 dan r2 = r + t + 2. Oleh hipotesis induksi, n2 -
m2 + r2 = 2 - 2k. Karena itu,
n2 − m2 + r2 = (n + 2t + 4) − (m + 3t + 4) + (r + t + 2)
= n − m + r + 2 = 2 − 2k.
Karena itu, n - m + r = 2 - 2 (k + 1).
Kami mencatat bahwa setiap penyisipan graf planar G yang terhubung di bidang
selalu merupakan penyematan 2 sel G. Fakta ini adalah kasus khusus dari hasil yang
bermanfaat diperoleh oleh J. W. T. (Ted) Youngs [261].
Teorema 11.11 Setiap penyematan graf G yang terhubung dari genus k pada Sk, di mana k
adalah bilangan bulat negatif, adalah embedding 2-sel G pada Sk.
Lower Bounds for the Genus of a Graph
Dengan bantuan Teorema 11.10 dan 11.11, kami memiliki yang berikut ini. Konsol 11.12
Jika G adalah graf terhubung urutan n dan ukuran m yaitu tertanam di permukaan genus γ
(G), menghasilkan r wilayah, lalu
n - m + r = 2 - 2γ (G).
Hasil berikut adalah konsekuensi dari Konsekuensi 11.12.
Teorema 11.13 Jika G adalah graf terhubung urutan n ≥ 3 dan ukuran m, maka
m n
γ (G)≥ − +1.
6 2
Bukti. Karena hasilnya jelas benar untuk n = 3, kita dapat mengasumsikan bahwa n ≥ 4.
Misalkan G tertanam pada permukaan genus γ (G), menghasilkan r daerah. Oleh Corollary
11.12, n - m + r = 2 - 2γ (G). Biarkan R1, R2,. . . , Rr menjadi daerah dari G dan biarkan mi
menjadi jumlah tepi pada batas Ri (1 ≤ i ≤ r). Jadi, mi ≥ 3 untuk 1 ≤ i ≤ r. Karena setiap sisi
berada pada batas keduanya atau dua daerah, maka itu
 r
3 r ≤ ∑ mi ≤2 m
i=1

dan jadi 3r ≤ 2m. Karena itu,

6 - 6γ (G) = 3n - 3m + 3r ≤ 3n - 3m + 2m = 3n - m.
m n
Memecahkan (11,6) untuk γ (G), kami memiliki γ (G) ≥ − +1 .
6 2
Teorema 11.13 adalah generalisasi dari Teorema 10.3, karena ketika G adalah planar
(dan γ (G) = 0) Teorema 11.13 menjadi Teorema 10.3. Batas bawah untuk γ (G) yang
disajikan dalam Teorema 11.13 dapat ditingkatkan ketika informasi lebih lanjut tentang
tersedia siklus panjang dalam G (lihat Latihan 13).
Teorema 11.14 Jika G adalah graf terhubung dari urutan n, ukuran m dan ketebalan k,
kemudian
m 2 n
γ (G)≥
6( )
1− − + 1.
k 2

Hasil berikut adalah konsekuensi dari Teorema 11.14 yang mencakup bipar- graf tite
sebagai kasus khusus. Ingatlah bahwa graf disebut bebas segitiga jika graf tidak mengandung
segitiga.
Corollary 11.15 Jika G adalah graf orde segitiga bebas terhubung, ≥ 3 dan ukuran m, lalu
m n
γ (G)≥ − +1.
4 2
Meskipun tidak ada rumus umum untuk genus graf arbitrer, namun hasil berikut oleh
Joseph Battle, Frank Harary dan YukihiroKodama [13] menyiratkan bahwa, sejauh
menyangkut rumus genus, hanya 2 graf yang terhubung perlu diselidiki.
Teorema 11.16 Jika G adalah graf yang memiliki blok B1, B2,. . ., Bk, kalau begitu
k
γ ( G )=∑ γ ( B¿¿ i) . ¿
i=1

Akibat wajar berikut adalah konsekuensi dari hasil sebelumnya (lihat Exer- cise 14).
Corollary 11,17 Jika G adalah graf dengan komponen G1, G2,. . . , Gk, lalu
k
γ ( G )=∑ γ (G¿¿ i). ¿
i=1

The Genus of Some Well-Known Graphs

Seperti yang sering terjadi ketika tidak ada rumus umum untuk nilai suatu rameter
untuk graf sewenang-wenang, rumus (atau rumus parsial) dibuat untuk keluarga graf tertentu.
Biasanya kelas pertama yang dipertimbangkan adalah graf lengkap, graf bipartit lengkap dan
n-cubes. Genus tidak menawarkan pengecualian untuk pernyataan ini.
Menurut Teorema 11.13,
 1 1
γ ( K 5 ) ≥ , γ ( K 6 ) ≥ , γ ( K 7 ) ≥ 1.
6 2
Ini mengatakan bahwa ketiga graf K 5, K 6 dan K 7 adalah nonplanar. Tentu saja, kita sudah
mengetahui hal ini oleh Corollary 10.8. Karena K 5adalah nonplanar, demikian juga , K 6 dan
K 7. Kita telah melihat bahwa ( K 5 ) =1. Sebenarnyaγ ( K 7 )=1 juga.

Gambar 11.17 menunjukkan embedding K7 pada torus tempat set vertex K7 adalah {v1, v2,. .
. , v7}. Karena K6 adalah nonplanar dan K6 adalah subgraf graf yang dapat disematkan pada
torus, γ (K6) = 1.
Menerapkan Teorema 11.13 ke graf Kn lengkap, n ≥ 3, kita miliki
n
γ (K )≥
( 2) n
− +1=
( n−3 ) (n−4 )
n
6 2 12
Karena γ (Kn) adalah bilangan bulat,
( n−3 )(n−4)
γ ( Kn) ≥ ⌈ ⌉.
12
Lahir di India, TedYoungs (1910–1970) menerima gelar Ph.D. pada tahun 1934.
Dalam 1964 ia diangkat sebagai salah satu anggota fakultas pertama dari Universitas
California Santa Cruz. Lahir di Austria, GerhardRingel (1919–2008) adalah satu pelopor teori
graf. Ia menerima gelar Ph.D. dari Universitas Bonn di Jerman pada tahun 1951. Selain
keterampilan matematikanya, Ringel juga terkenal karena minatnya dalam mengumpulkan
dan membiakkan kupu-kupu. Ringel pergi Jerman pada tahun 1970 untuk bergabung dengan
Youngs di UniversityofCalifornia Santa Cruz di Untuk melengkapi bukti teorema terkenal
dalam teori graf, yang akan menjadi dibahas dalam Bab 16. Namun, kebenaran teorema ini
perlu ditunjukkan bahwa batas bawah untuk γ (Kn) di (11.7), pada kenyataannya, adalah nilai
γ (Kn), yang Ringel dan Youngs berhasil mencapai [204].
Teorema 11.18 Untuk setiap bilangan bulat n ≥ 3,
( n−3 ) (n−4)
γ ( K n )=⌈ ⌉.
12
Ringel [203] juga berhasil mendapatkan formula untuk setiap genus graf bipartit lengkap.
Teorema 11.19 Untuk setiap dua bilangan bulat s, t ≥ 2,
( s−2 ) (t −2)
γ ( Ks, t) ≥ ⌈ ⌉.
4
Secara khusus, Teorema 11.19 menyiratkan bahwa graf bipartit G lengkap dapat
tertanam pada torus jika dan hanya jika G planar atau merupakan subgraf K4,4 atau K3,6.
Formula untuk genus n-cube ditemukan oleh Ringel [201] dan oleh Beineke dan
Harary [18]. Kami membuktikan hasil ini untuk menggambarkan beberapa teknologi. lni
terlibat.
Teorema 11.20 Untuk n ≥ 2, genus dari n-cube diberikan oleh

γ ( Q n )=( n−4 ) .2 n−3 +1 .

Bukti. Karena n-cube adalah graf bebas segitiga dari urutan 2ndan ukuran n . 2n−1, maka
diikuti oleh wajar 11.15 itu

γ ( Qn )=( n−4 ) .2 n−3 +1 .

Untuk memverifikasi ketimpangan terbalik, kami menggunakan induksi pada n. Bahkan,

kami menunjukkan untuk setiap bilangan bulat n ≥ 2, bahwa ada embeddingQn pada
permukaan genus ( n−4 ) . 2n−3 +1 sehingga batas setiap wilayah adalah 4 siklus dan
semacamnya bahwa ada 2n−2wilayah dengan batas terputus-putus berpasangan. Sejak Q2 dan
Q3 adalah planar dan ( n−4 ) . 2n−3 +1= 0 untuk n = 2 dan n = 3, ini tentu saja berlaku untuk n =
2 dan n = 3.
Asumsikan bilangan bulat k ≥ 4 bahwa ada penyematan Q k−1pada permukaan S genus
( k −5 ) .2 k−4 +1sehingga batas setiap wilayah adalah a 4 siklus dan sedemikian rupa sehingga
ada 2n−3wilayah dengan batas terputus-putus berpasangan. Karena urutan Q k−1adalah 2k−1,
setiap simpul Q k−1 milik batas tepatnya salah satu dari 2k−3tersebut di atas daerah.
Selanjutnya, biarkan Q k−1menjadi tertanam pada salinan S’ lainnya dari permukaan genus
( k −5 ) .2 k−4 +1seperti itu bahwa penyematan Q k−1pada S’ adalah "gambar cermin" dari
penanaman Q k−1pada S (yaitu, jika v1, v2, v3, v4 adalah simpul dari batas suatu wilayah Qk−1
pada S, di mana simpul terdaftar searah jarum jam tentang 4-siklus, lalu ada wilayah di S’
dengan simpul v1, v2, v3, v4 pada batasnya terdaftar berlawanan arah jarum jam).
Kami sekarang mempertimbangkan 2k−3daerah S yang berbeda bersama dengan
daerah yang sesuai dari S’ dan gabungkan setiap pasangan wilayah terkait dengan sebuah
pegangan. Penambahan pegangan pertama menghasilkan permukaan genus 2 [( k −5 ) .2 k−4 +1]
sementara penambahan masing-masing lainnya 2k−3−1 menangani menghasilkan
peningkatan 1 ke genus. Dengan demikian, permukaan yang baru saja dibangun memiliki
genus ( k −4 ) .2k−3 +1. Sekarang setiap set empat simpul pada batas suatu wilayah dapat
dibedakan digabungkan ke empat simpul yang sesuai pada batas yang terkait wilayah
sehingga empat tepi tertanam pada gagang yang bergabung dengan daerah. Itu sekarang
langsung bahwa graf yang dihasilkan adalah isomorfik untuk Qk dan setiap wilayah dibatasi
oleh 4 siklus. Selanjutnya, setiap pegangan ditambahkan menimbulkan empat daerah,
"berlawanan" yang memiliki batas-batas yang terpisah, jadi ada 2k−2wilayah Qk yang
berpasangan berpasangan.
The M¨obius Strip and Projective Plane
Ada permukaan lain di mana graf dapat disematkan. Mobi itu strip (atau bandMobi)
adalah permukaan satu sisi yang dapat dibangun dari a sepotong bahan persegi panjang
dengan memberikan satu sisi persegi panjang setengah-twist (atau rotasi hingga 180o ) dan
kemudian mengidentifikasi sisi yang berlawanan dari persegi panjang (lihat Gambar 11.18).
Dengan demikian, A mewakili titik yang sama pada jalur Mobiobi. The M¨obius strip
dinamai untuk ahli matematika Jerman August Ferdinand Mobiobi yang menemukannya pada
tahun 1858 (meskipun ahli matematika Johann Listing Benedict menemukannya tepat
sebelum M¨obius).

Tentu saja, setiap graf planar dapat disematkan pada strip M¨obius. Ara- Gambar
11.19 menunjukkan bahwa K3,3 juga dapat disematkan pada strip Mobi.

Yang lebih menarik adalah permukaan yang tidak dapat diorientasikan (atau
dimensionalmanifold), contoh paling sederhana adalah bidang proyektif. Bidang proyektif
dapat diwakili dengan mengidentifikasi sisi yang berlawanan dari a persegi panjang dengan
cara yang ditunjukkan pada Gambar 11.20 (a). Perhatikan bahwa A mewakili titik yang sama
di bidang proyektif, seperti halnya B. Gambar 11.20 (b) menunjukkan a embedding K5 pada
bidang proyektif.
 Projektif plane juga dapat diwakili oleh lingkaran tempat antipodal pasang titik pada
keliling adalah titik yang sama. Menggunakan representasi ini Sebagai balasan, kami dapat
memberikan embedding K6 pada bidang proyektif yang ditunjukkan pada Gambar 11.21.

Untuk penyematan K5 pada bidang proyektif yang ditunjukkan pada Gambar 11.20
(b), n = 5, m = 10 dan r = 6; sedangkan untuk embedding K6 ditunjukkan pada Gambar
11.21, n = 6, m = 15 dan r = 10. Dalam kedua kasus, n - m + r = 1. Bahkan, untuk setiap
terhubung graf urutan n dan ukuran m yang 2-sel tertanam pada proyektif bidang,
menghasilkan r daerah,
n - m + r = 1.
Ingat bahwa Sk menunjukkan permukaan genus k. Jadi, S0 mewakili sphere (atau bidang), S1
mewakili torus dan S2 mewakili torus ganda (atau bola dengan dua pegangan). Kami telah
menyebutkan bahwa torus dapat diwakili sebagai kotak dengan sisi berlawanan diidentifikasi.
Lebih umum, permukaan Sk (k> 0) dapat direpresentasikan sebagai 4k-gon biasa yang sisi 4k
nya dapat terdaftar dalam urutan searah jarum jam sebagai

a 1 b1 a−1 −1 −1 −1 −1 −1
1 b1 a 2 b 2 a2 b 2 … … … ak bk

di mana, misalnya, a1 adalah sisi yang diarahkan searah jarum jam dan a −1 1 adalah sisi juga
berlabel a1 tetapi diarahkan berlawanan arah jarum jam. Kedua sisi ini kemudian
diidentifikasi secara ner konsisten dengan arahan mereka. Dengan demikian, torus ganda
dapat direpresentasikan oleh segi delapan biasa, seperti yang ditunjukkan pada Gambar
11.22. Poin "dua" berlabel X sebenarnya adalah titik yang sama pada S2 sedangkan "delapan"
titik berlabel Y adalah, di Bahkan, satu poin

Meskipun mungkin jelas bahwa ada banyak graf yang bisa tertanam di permukaan Sk
dari bilangan bulat non negatif yang diberikan, mungkin tidak sepenuhnya jelas bahwa selalu
ada graf yang ditempelkan dengan 2 sel Sk ada.
Teorema 11.21 Untuk setiap bilangan bulat non-negatif k, ada yang terhubung graf yang
memiliki embedding 2 sel pada Sk.
Bukti. Untuk k = 0, setiap graf planar yang terhubung memiliki properti yang diinginkan;
jadi, kita asumsikan bahwa k> 0. Kami mewakili Sk sebagai 4k-gon biasa yang sisi 4knya
dijelaskan dan iden- seperti pada (11.8). Pertama, kita mendefinisikan pseudograf H sebagai
berikut. Di setiap titik dari 4k-gon, biarkan ada simpul H. Sebenarnya, proses identifikasi
terkait dengan 4k-gon menyiratkan bahwa hanya ada satu simpul H. Biarkan setiap sisi dari
4k-gon mewakili tepi H. Identifikasi menghasilkan 2k tepi yang berbeda, yang masing-
masing adalah loop. Ini menyelesaikan pembangunan H. Oleh karena itu, pseudograf H
memiliki urutan 1 dan ukuran 2k. Selanjutnya ada hanya satu wilayah, yaitu interior 4k-gon;
wilayah ini jelas merupakan sel 2. Oleh karena itu, ada embedding 2 sel H pada Sk.
Untuk mengubah pseudograf H menjadi graf, kami membagi setiap loop dua kali,
memproduksi graf G yang memiliki urutan 4k + 1, ukuran 6k dan sekali lagi 2 sel wilayah.
Gambar 11.23 menggambarkan konstruksi yang diberikan dalam bukti Teorema 11.21
dalam kasus torus S1. Graf G yang dikonstruksi ditunjukkan pada Gambar- ure 11.23 (a).
Pada Gambar 11.23 (b) - (e), kita melihat berbagai cara memvisualisasikan menanamkan.
Pada Gambar 11.23 (b), embedding 3 dimensi dijelaskan. Di Gambar 11.23 (c) dan (d), torus
direpresentasikan sebagai persegi panjang dengan berlawanan sisi diidentifikasi. (Gambar
11.23 (c) adalah gambar aktual yang dijelaskan dalam bukti teorema.) Pada Gambar 11.23
(e), sebagian G digambar dalam bidang. Kemudian dua lubang bundar dibuat di bidang dan
tabung (atau pegangan) ditempatkan di atas bidang bergabung dengan dua lubang. Tepi uv
kemudian ditarik melewati pegangan, menyelesaikan penyematan 2 sel
 Graf G yang dibangun dalam bukti Teorema 11.21 adalah planar. Karenanya, untuk
setiap bilangan bulat negatif, ada graf planar yang bisa 2 sel tertanam di Sk. Juga benar
bahwa untuk setiap planar graf G dan setiap positif integer k, ada embedding G pada Sk yang
bukan embedding 2 sel. Secara umum, untuk graf G tertentu dan bilangan bulat positif k
dengan k> γ (G), ada selalu ada embedding G pada Sk yang bukan embedding 2 sel, yang
dapat diperoleh dari penanaman G pada Sγ (G) dengan menambahkan gagang k - γ (G) ke
interior beberapa wilayah G. Jika k = γ (G) dan G terhubung, maka oleh Teorema 11.11,
setiap embedding G on Sk adalah embedding 2 sel. Tentu saja, jika k <γ (G), tidak ada
embedding apa pun dari G pada Sk.
11.3 The Graph Minor Theorem
Kita telah melihat oleh teoremaWagner (Teorema 10.21) bahwa graf G adalah planar jika dan
hanya jika K5 atau K3,3 tidak minor dari G. Artinya, teoremaWagner adalah karakterisasi
minor terlarang dari graf planar - dalam hal ini, dua for- anak di bawah umur: K5 dan K3,3.
Pertanyaan wajar untuk ditanyakan adalah apakah dilarang karakterisasi minor mungkin ada
untuk graf yang dapat disematkan pada yang lain permukaan. Itu ditunjukkan oleh Daniel
Archdeacon dan Philip Huneke [10] bahwa ada persis 35 anak di bawah umur terlarang untuk
graf yang dapat tertanam pada pro- bidang jective. Hasil yang lebih umum yang melibatkan
anak di bawah umur telah diperoleh. KlausWagner menduga bahwa dalam setiap koleksi graf
tanpa batas, selalu ada dua graf di mana satu isomorfik ke minor yang lain. Harus seperti apa
dianggap sebagai salah satu teorema utama teori graf, NeilRobertson dan Paul Seymour [206]
memverifikasi dugaan ini. Bukti panjangnya merupakan konsekuensi dari a urutan beberapa
makalah yang membutuhkan bertahun-tahun untuk menyelesaikan.
Theorem 11.22 (Theoror Minor Graph) Dalam setiap set tak terbatas graf, ada dua graf di
mana satu (isomorfik ke) minor dari yang lain.
Salah satu konsekuensi dari Teorema 11.22 adalah teorema utama lain dalam graf the- ory,
juga karena Robertson dan Seymour [206]. Satu set S dari graf dikatakan minor-closed jika
untuk setiap graf G di S, setiap minor G juga milik S. Sebagai contoh, himpunan S graf
planar adalah minor-tertutup karena setiap minor dari graf planar adalah planar; yaitu, jika G
∈ S dan H adalah minor dari G, maka H ∈ S demikian juga.
Teorema 11.23 Misalkan S adalah seperangkat kecil graf tertutup. Lalu ada a himpunan
terbatas M dari graf sedemikian sehingga G ∈ S jika dan hanya jika tidak ada graf dalam M
adalah minor dari G.
Bukti. Misalkan Ś adalah himpunan graf yang bukan milik S dan misalkan M adalah
himpunan semua graf F dalam Ś sedemikian sehingga setiap minor F yang tepat adalah milik
S. Kami mengklaim bahwa set M ini memiliki properti yang diperlukan. Pertama, kami
menunjukkan bahwa G ∈ S jika dan hanya jika tidak ada graf dalam M adalah minor G.

Pertama, anggaplah ada beberapa graf G ∈ S sehingga ada graf F itu adalah minor G
dan yang F ∈ M. Karena G ∈ S dan S minor-tertutup, itu mengikuti bahwa F ∈ Ś . Namun,
karena F ∈ M, kita memiliki F ∈ S, yang merupakan a kontradiksi.

Untuk sebaliknya, anggaplah sebaliknya bahwa ada graf G ∈ Śtersebut bahwa tidak
ada graf dalam M adalah minor dari G. Kami menganggap dua kasus.
Kasus 1. Semua anak di bawah umur G yang tepat berada di S. Kemudian oleh yang
mendefinisikan milik M, maka G ∈ M. Karena G ∈ M dan G adalah minor dari dirinya
sendiri, ini bertentangan dengan asumsi kami bahwa tidak ada graf dalam M adalah minor
dari G.

Kasus 2. Beberapa minor G yang tepat, katakan G’ , tidak dalam S. Dengan demikian, G’ ∈
S. Lalu G’ baik memenuhi kondisi Kasus 1 atau Kasus 2. Kami melanjutkandengan cara ini
selama kita tetap dalam Kasus 2, menghasilkan urutan G = G (0 ), G (1), G (2) ,. . . anak di bawah
umur yang tepat.
Jika proses ini berakhir, kami memiliki urutan yang terbatas
G = G(0 ), G (1), G (2) ,. . .,G (p )
di mana setiap graf dalam urutan adalah minor yang tepat dari semua graf itu mendahului itu.
Kemudian G (p )∈ M, yang mengembalikan kita ke Kasus 1. Jika tidak, the urutan G = G(0 ),
G , G ,. . .,. tidak terbatas dan di mana setiap graf G , i ≥ 1, adalah bagian kecil dari semua
(1) (2) (i )

graf yang mendahuluinya.Ini, bagaimanapun, adalah tidak mungkin karena untuk setiap i ≥ 0,
urutan G (i +1)kurang dari itu G (i )atau pesanannya sama dan ukuran G (i +1)kurang dari G (i ).
Karena itu tetap hanya untuk menunjukkan bahwa M adalah terbatas. Asumsikan,
sebaliknya, bahwa M tidak terbatas. Dengan Teorema Minor Graf, M berisi dua graf, H1 dan
H2 mengatakan, sedemikian rupa sehingga yang satu adalah minor dari yang lain. Misalkan
H2 adalah di bawah umur (tentu minor di bawah standar) dari H1. Karena setiap minor yang
tepat dari H1 milik S, maka H2 ∈ S. Namun, karena H2 ∈ M, maka H2 ∈ Ś, menghasilkan
kontradiksi.
Kita sekarang kembali ke pertanyaan tentang keberadaan anak di bawah umur yang
terlarang karakterisasi untuk graf yang dapat ditanam pada permukaan Sk genus ≥ 0. Cer-
Tainly, jika G adalah graf yang cukup kecil (dalam hal urutan dan / atau ukurannya), maka G
dapat disematkan pada Sk. Karenanya, jika kita mulai dengan graf F yang tidak mungkin
tertanam di Sk dan melakukan kontraksi tepi berturut-turut, penghapusan tepi dan
penghapusan verteks, maka akhirnya kita sampai pada graf F’ itu juga tidak mungkin
tertanam di Sk tetapi sedemikian rupa sehingga setiap kontraksi tepi tambahan, penghapusan
tepi atau penghapusan titik F’ menghasilkan graf yang dapat disematkan pada Sk. Misalnya
graf F’ dikatakan minimal tidak dapat dimenangkan di Sk. Akibatnya, a graf F’ minimal tidak
dapat dimenangkan di Sk jika F’ tidak dapat disematkan di Sk tetapi setiap minor minor F’
dapat disematkan di Sk. Jadi, himpunan graf embeddable di Sk adalah minor-closed. Sebagai
konsekuensi dari Graf Minor orem, kami memiliki yang berikut ini.
Teorema 11.24 Untuk setiap bilangan bulat k ≥ 0, himpunan minimal tidak dapat
dimenangkan graf pada Sk adalah terbatas.
Akibatnya, untuk setiap bilangan bulat non negatif, ada himpunan Mk terbatas graf
sedemikian rupa sehingga graf G dapat disematkan pada Sk jika dan hanya jika tidak ada graf
dalam Mk adalah minor dari G. Tentu saja, himpunan graf minimal yang tidak dapat
dipulihkan pada Windows bola adalah M0 = {K5, K3,3}. Meskipun jumlah minimal tidak
dapat dinikahi graf pada torus terbatas, nilai sebenarnya dari angka ini tidak diketahui.
Namun, diketahui bahwa angka ini melebihi 800 dan begitu | M1 | > 800.