DUAL GRAFIK 189

7.4 GRAF DUAL

Sebuah G2 graf adalah dual dari graf G1 jika ada korespondensi

satu-ke-satu antara sisi G2 dan orang-orang dari GI sehingga satu set
sisi di G2 adalah vektor sirkuit G2 jika dan hanya jika sesuai set sisi di
G1 adalah vektor cutset dari G1. Duals pertama kali didefinisikan oleh
Whitney [7.11], meskipun Definisi asli diberikan dalam bentuk yang
berbeda.
Jelas, untuk membuktikan G2 yang merupakan dual dari G1 itu
cukup jika kita menunjukkan bahwa vektor-vektor membentuk dasar
dari rangkaian ruang bagian dari G2 bersesuaian dengan vektor
membentuk dasar dari ruang bagian cutset dari GI.
Sebagai contoh, perhatikan graf G1 dan G2 ditunjukkan pada
Gambar. 7.8. Sisi e1 dari G1 berkorespondensi ke sisi e1* dari G2. Ini
dapat diverifikasi bahwa sirkuit {el,e2, e3}, {e3, e4, e5, e6},dan {e6,
e7, e8}membentuk dasar sirkuit ruang bagian dari G1, dan set yang
sesuai dari sisi {e1*, e2*, e*3}, {e3*, e4*, e5*, e6*:}, dan {e6* , e7*
, e8*:} membentuk dasar yang cutset ruang bagian dari G2. Jadi G2
adalah dual dari G,.
Kita sekarang mempelajari beberapa sifat dari duals dari
graf.

Teorema 7.7. Mari G 2 menjadi dual dari graf G 1 . Kemudian

sirkuit di G 2 sesuai dengan cutset di G 1 , dan sebaliknya.

Bukti. Biarkan C* menjadi sirkuit di G2 dan C adalah himpunan yang

sesuai dari sisi di G1.
Misalkan C tidak cutset a. Kemudian mengikuti dari definisi dual
bahwa C harus menguraikan cutsets C1, C2,. . . , Ck, K ≥ 2.
Mari C1*, C2*,. . . , Ck* menjadi set sisi di G2 yang sesuai dengan
cutsets C1, C2,. . . , Ck. Sekali lagi dari definisi dual berikut
bahwa C1*, C2*,. . . , Ck* sirkuit atau gabungan sirkui.
Sejak C * adalah gabungan dari C1*, C2*,. . . , Ck*, K ≥ 2, jelas
bahwa C* harus berisi lebih dari satu sirkuit. Namun, hal ini tidak
mungkin karena C* adalah sebuah rangkaian, dan tidak ada bagian
yang tepat dari sirkuit adalah sebuah sirkuit. Jadi k = 1, atau dengan
kata lain, C adalah cutset dari G1.
Dalam cara yang sama kita dapat menunjukkan bahwa setiap
cutset di G1 korespondensi dengan sirkuit di G2.

Teorema 7.8. Jika G2 adalah dual dari G,, G1 maka adalah dual
dari G2.

Bukti. Untuk membuktikan teorema kita perlu menunjukkan bahwa

setiap vektor sirkuit G, bersesuaian dengan vektor cutset dari G2 dan
P (Gi) = IL (G2)
sebaliknya.
Mari C menjadi vektor sirkuit di G1, dengan C * yang menunjukkan
sesuai set tepi di G2.
Dengan Teorema 4.7, C memiliki jumlah yang lebih dari tepi
umum dengan setiap vektor cutset dari G,. Sejak G2 adalah dual
dari G “C * memiliki jumlah yang lebih daritepi umum dengan
setiap vektor sirkuit G2. Oleh karena itu, menurut Teorema 4.8, C *
adalah vektor cutset dari G2.
Dalam cara yang sama kita dapat menunjukkan bahwa setiap
vektor cutset dari G2 sesuai dengan vektor sirkuit G,. Oleh karena itu
teorema. sakit

Dalam pandangan Teorema 7.8, kita lihat grafik G1 dan G2 hanya

sebagai duals jika salah satu dari mereka adalah ganda dari yang lain.
Hasil sebagai berikut adalah konsekuensi dari Teorema 7.8 dan
definisi dari ganda.

Teorema 7.9. Jika G, dan G2 adalah grafik ganda, maka pangkat satu
sama dengan nulitas dari yang lain; itu adalah,
190Planarity DAN DUALITY

dan

P (G2) = IL (G1). ■
 Misalkan graf G memiliki dual. Kemudian muncul pertanyaan
apakah setiapsubgraf dari G memiliki dual. Untuk menjawab
pertanyaan ini kita perlu hasil sebagai berikut.

Teorema 7.10. Pertimbangkan dua grafik ganda Gi danG2. Biarkan e

= (ul, v2) menjadi keunggulan dalam G1, dan e * = (v;, v;) menjadi
tepi yang sesuai dalam G2. Biarkan menjadi grafik yang diperoleh
dengan menghapus e tepi dari G1; biarkan G; akan grafik
diperoleh kontraktor e * diG2.Kemudian G; dan G; adalah duals, satu
satu-ke-korespondensi antara tepi mereka menjadi sama seperti di G1
danG2.

Bukti. Biarkan C dan C * masing menunjukkan sesuai set tepi di G1

dan G2,masing-masing.
Misalkan C adalah sirkuit di G. Karena tidak mengandung e, juga
merupakan sirkuit di Gl. Oleh karena itu C * adalah cutset,
katakanlah (V:, V:), diG2.Sejak C * tidak mengandung e *, simpul
vi * dan v2 * keduanya di V: atau dalam V. Oleh karena itu C *
juga cutset di G. Jadi setiap sirkuit di G; berkoresponden ke
cutset di G.
Misalkan C * adalah cutset di G ;. Sejak C * tidak mengandung e
*, juga merupakancutset di G2. Oleh karena itu C adalah sirkuit di
Gi. Karena tidak mengandung e, juga merupakan sirkuit di G ;.
Dengan demikian setiap cutset di G; sesuai dengan sirkuit di G; 111

7.10.Z wajar Jika graf G memiliki dual, maka setiap grafik

homeomorphic ke G juga memiliki dual. ■

Dalam pandangan dari teorema ini, kita dapat mengatakan,

menggunakan bahasa teori jaringan listrik, yang "open-hubungan
arus" kelebihan dalam grafik G dapat disamakan dengan "hubungan
arus pendek" tepi yang sesuai dalam dual G.
 Sebuah konsekuensi yang berguna dari Teorema 7.10 sekarang
berikut.

7.10.1 wajar. Jika graf G memiliki dual, maka setiap subgraph tepi-
diinduksi dari G juga memiliki dual.

Bukti. Hasilnya Teorema 7.10, jika kita perhatikan bahwa setiap

tepi-diinduksi subgraf H dari G dapat diperoleh dengan menghapus
dari G tepi tidak di H. ■

Untuk menggambarkan Akibat wajar 7.10.1, mempertimbangkan

dua grafik ganda Gi danG2Gambar. 7.8. Grafik G; ditunjukkan pada
Gambar. 7.9a diperoleh dengan menghapus dari Gi tepi E3 dan e6.
Grafik G; . Gambar 7.9b diperoleh dengan kontrak tepi e: dan e:
dariG2.Ini dapat diverifikasi bahwa G; dan G; adalah duals.
Mengamati bahwa tepi seri dalam grafik G sesuai dengan tepi paralel
dalam dual G, kita mendapatkan berikut wajar dari Teorema 7.10.
Teorema 7.11. Mari Gl danG2 dua grafik dengan satu-ke-satu
berkorespondensiEnce antara ujung-ujungnya. Mari H menjadi
salah subgraf dari Gi dan H * yang sesuai subgraph diG2. Mari K
* menjadi pelengkap dari H * di G2.Kemudian G1 danG2 adalah
grafik ganda jika dan hanya jika

g (11) = - P (G2) - P (K *) • (7.2)

Bukti
Kebutuhan Mari G, dan G2menjadi grafik ganda. Biarkan G2
adalah graf yang diperoleh dariG2dengan kontrak tepi K *. Kemudian
oleh Teorema 7.10, H dan G; adalah grafik ganda. Oleh karena itu,
menurut Teorema 7.9,
g (H) = P (G;) •
Tapi denganP (G;) =. P (G2) - p (K *).
(7.1), 1A.(11) = P (G2) - P (K *).

Karenanya

Kecukupan Asumsikan bahwa (7,2) puas untuk setiap subgraph H

dari Gi. Kami sekarang menunjukkan bahwa setiap sirkuit di Gi
sesuai dengan cutset diG2 dan wakil versa.
Mari H menjadi sirkuit di Gl. Kemudian p, (H) = 1. Oleh karena
itu dengan (7,2),

p (K *) = p (G2) - 1.

Sejak H adalah subgraf minimal G dengan nuility sama dengan 1, dan

K * adalah komplemen dari H * di G2, itu Jelas bahwa K * adalah
subgraph maksimal G2 dengan pangkat sama untuk p (G2) - 1.
Sekarang mengikuti dari definisi cutset yang H * adalah cutset di G2.
Dalam cara yang sama kita dapat menunjukkan bahwa cutset di G2
sesuai dengan sirkuit di G ,.
Dengan demikian G, dan G2 adalah grafik ganda. ■
 Whitney [7.11] definisi asli dari dualitas dinyatakan seperti dalam
Teorema 7 11
Untuk menggambarkan definisi ini, mempertimbangkan grafik
ganda G, dan G2Gambar. 7.8. Sebuah subgraf H dari G1 dan
komplemen K * dari yang sesuai subgraph diG2ditunjukkan pada
Gambar. 7.10. sekarang kita dapat memverifikasi bahwa

1.4 (H) = P (G2) - P (K *).

Planarity DAN DUALITY 193

e6

(8)

Gambar 7.10. Ilustrasi definisi Whitney

dualitas. (A) Grafik H, itu (H) = 1. (B)
(B)
Grafik K *, p (K *) =2.

7,7 LATIHAN

7.1 Tunjukkan bahwa jika G adalah planar graph terhubung dengan

tepi m, n simpul, dan dengan ketebalan t k.? - 3, maka m : 5. k (n
-2) 1 (k - 2). Menggunakan hasil inimenyimpulkan bahwa grafik
Petersen adalah nonplanar.
t
Untuk definisi ketebalan, lihat Latihan 1,18.
 LATIHAN 197

7.2Membiarkan d l, d2, ..., d ,, menjadi derajat dari simpul dari planar sederha
grafik. Buktikan bahwa jika n 4, maka

cif 2 (n + 3) 2-62.
t=1

7.3 Buktikan bahwa planar graph sederhana dengan ny 4 simpul

memiliki setidaknya empat simpul dengan gelar 5 atau kurang.
7,4 membuktikan atau menyangkal: Setiap sederhana terhubung
nonplanar grafik yaitu contractible ke K5 atau K3,3 •
7,5 Misalkan G adalah graf sederhana dengan setidaknya 11 simpul.
Tunjukkan bahwa G dan komplemennya G tidak bisa keduanya
planar. (Bahkan, hasil yang serupa dapat dibuktikan dengan 11
digantikan oleh 9. Lihat Tutte [7.19).) Berikan contoh dari graf
G pada 8 simpul dengan properti yang baik G dan G adalah
planar.
7,6 Menggunakan Kuratowski adalah teorema membuktikan
bahwa grafik Petersen adalah nonplanar.
7.7 Cari dua duals nonisomorphic dari grafik pada Gambar. 7.12.

Gambar
7.12

7,8 A planar graph yaitu sebuah maxitnal planar graph jika,

untuk setiap pasangan nonadjacent simpul u dan v, grafik
GU {e}, di mana e (u, u), adalah nonplanar.
 Misalkan G adalah sederhana maksimal planar graph dengan
n 4 simpul. Jika pi menunjukkan jumlah simpul dari gelar saya
di G untuk i = 3, 4,. , K = A (G), maka menunjukkan bahwa
3p3 + 2p4 + Ps = + 2p 8+. . + (N -6) 6 p * + 12.
7.9 Buktikan bahwa grafik planar tanpa self-loop adalah
nonseparable jika dan hanya jika dual nonseparable.
7.10 Tunjukkan bahwa dual dari graf planar nonseparable adalah
Euler jika dan hanya jika grafik adalah bipartit.
198Planarity DAN DUALITY

7.11 Sebuah graf planar adalah self-ganda jika isomorfik untuk dual.
Menunjukkan bahwa jika graf G dengan n simpul dan tepi m adalah
diri ganda, maka m = 2n - 2.
7.12 Grafik satu-terminal-pair adalah grafik dengan dua simpul khusus
ditunjuk sebagai terminal dari grafik. Sebuah planar satu-
terminal-pair grafik adalah grafik satu-terminal-pair yang planar
dan sisa-sisa planar ketika tepi bergabung dengan dua terminal
ditambahkan untuk itu.
Sebuah grafik seri-paralel adalah satu-terminal-pair grafik
didefinisikan rekursifly sebagai berikut:
(a) Sebuah tepi tunggal adalah grafik seri-paralel.
Jika G' dan G" adalah seri-paralel, maka:
(b) Seri Kombinasi G' dan G" adalah grafik seri-paralel. Dengan
kombinasi seri G' dan G" kita berarti bergabung dari salah
satu terminal dari G' dengan salah satu terminal dari G".
(Gambar. 7.13a).

(a)

Gambar 7.13. (A) Seri

combination dari G' dan (b)
G". (b) Paralel Kombinasi
G' dan G".
 Kombinasi paralel dari G' dan G" adalah grafik seri-paralel.
(c)

Dengan kombinasi paralel dari G' dan G" yang kita maksud
bergabungnya dua terminal G' dengan dua terminal G".
(Gambar. 7.13b).
Menunjukkan bahwa dual dari graf G adalah graf seri-paralel jika
dan hanya jika G adalah seri-paralel.

7,8 PUSTAKA

7.1 K. Wagner, "Bemerkungen zum Vierfarbenproblem," Uber.

Deutsch. Matematika. Verein, Vol. 46, 26-32 (1936).
7.2 I. Fary, "On Garis Lurus Representasi planar Grafik," Acta Sci.
Matematika. Szeged, Vol. 11, 229-233 (1948).
7.3 SK Stein, "Convex Maps," Proc. Saya. Matematika. Soc., Vol.
2, 464-466 (1951).