Pengujian planaritas

Dalam teori graf , masalah pengujian planaritas adalah masalah algoritmik untuk menguji
apakah grafik yang diberikan adalah grafik planar (yaitu, apakah dapat ditarik di bidang tanpa
persimpangan tepi). Ini adalah masalah yang dipelajari dengan baik dalam ilmu komputer
yang banyak algoritma praktisnya telah muncul, banyak memanfaatkan struktur data baru.
Sebagian besar metode ini beroperasi dalam O ( n ) waktu (waktu linier), di mana n adalah
jumlah tepi (atau simpul) dalam grafik, yang secara asimtotik optimal . Daripada hanya
menjadi nilai Boolean tunggal, output dari algoritma pengujian planaritas mungkin
merupakan embedding grafik planar, jika grafiknya planar, atau hambatan terhadap planaritas
seperti subgraph Kuratowski jika tidak.

Kriteria planaritas

Algoritma pengujian planaritas biasanya memanfaatkan teorema dalam teori grafik yang
mengkarakterisasi rangkaian grafik planar yang tidak bergantung pada gambar grafik. Ini
termasuk

Teorema Kuratowski bahwa grafik adalah planar jika dan hanya jika tidak
mengandung subgraf yang merupakan subdivisi K 5 ( grafik lengkap pada lima simpul
) atau K 3,3 ( grafik utilitas , graf bipartit lengkap pada enam simpul, tiga di antaranya
terhubung ke masing-masing tiga lainnya).
Teorema Wagner bahwa grafik adalah planar jika dan hanya jika tidak mengandung
minor (subgraf kontraksi) yang isomorfik ke K 5 atau K 3,3 .
Kriteria planaritas Fraysseix-Rosenstiehl , yang mengkarakterisasi grafik planar
dalam kaitannya dengan urutan kiri kanan tepi di pohon pencarian pertama kedalaman
.

Kriteria planaritas Fraysseix-Rosenstiehl dapat digunakan secara langsung sebagai bagian

dari algoritma untuk pengujian planaritas, sedangkan teorema Kuratowski dan Wagner
memiliki aplikasi tidak langsung: jika sebuah algoritma dapat menemukan salinan K 5 atau K
3,3 dalam grafik yang diberikan, maka dapat Pastikan grafik input tidak planar dan kembali
tanpa perhitungan tambahan.
Kriteria planaritas lainnya, yang mengkarakterisasi grafik planar secara matematis namun
kurang sesuai dengan algoritma pengujian planaritas, termasuk kriteria planar Whitney
bahwa grafik adalah planar jika dan hanya jika matrik grafisnya juga bersifat kategoris,
kriteria planaritas Mac Lane yang mencirikan grafik planar berdasarkan basis ruang siklus ,
teorema Schnyder yang mencirikan grafik planar berdasarkan dimensi pesanan dari urutan
parsial yang terkait, dan kriteria planaritas Colin de Verdire menggunakan teori grafik
spektral .

Algoritma

Metode penambahan jalur

Metode penambahan jalur klasik Hopcroft dan Tarjan [1] adalah algoritma uji coba planliner
linier linier pertama yang diterbitkan pada tahun 1974. Implementasi algoritma Hopcroft dan
Tarjan disediakan di tipe Data dan Algoritma Perpustakaan oleh Mehlhorn , Mutzel dan
Nher [2] [3] . [4] Pada tahun 2012, Taylor [5] memperluas algoritma ini untuk menghasilkan
semua permutasi dari edge-order siklik untuk embedded hatching dari komponen
biconnected.

Metode tambahan Vertex

Metode penambahan Vertex bekerja dengan mempertahankan struktur data yang mewakili
kemungkinan embeddings dari subgraf induksi dari grafik yang diberikan, dan menambahkan
simpul satu per satu ke struktur data ini. Metode ini dimulai dengan metode O ( n 2 ) yang
tidak efisien yang dikandung oleh Lempel , Even dan Cederbaum pada tahun 1967. [6] Hal ini
diperbaiki oleh Even dan Tarjan, yang menemukan solusi linier untuk langkah s , t -
numbering, [ 7] dan oleh Booth dan Lueker , yang mengembangkan struktur data pohon PQ .
Dengan perbaikan ini linier dan mengungguli metode penambahan jalur dalam praktik. [8]
Metode ini juga diperluas untuk memungkinkan embedding planar (gambar) dihitung secara
efisien untuk grafik planar. [9] Pada tahun 1999, Shih dan Hsu menyederhanakan metode ini
dengan menggunakan pohon PC (varian tanpa nama dari pohon PQ) dan tumpang tindih
postorder dari pohon pencarian kedalaman pertama dari simpul. [10]
Metode penambahan sisi

Pada tahun 2004, Boyer dan Myrvold [11] mengembangkan algoritma O ( n ) yang
disederhanakan, yang awalnya terinspirasi oleh metode pohon PQ, yang menyingkirkan
pohon PQ dan menggunakan penambahan tepi untuk menghitung embedding planar, jika
memungkinkan. Jika tidak, subdivisi Kuratowski (dari K 5 atau K 3,3 ) dihitung. Ini adalah
salah satu dari dua algoritma mutakhir saat ini (yang lain adalah algoritma pengujian
planaritas dari Fraysseix, de Mendez dan Rosenstiehl [12] [13] ). Lihat [14] untuk perbandingan
eksperimental dengan versi awal uji planar Boyer dan Myrvold. Selanjutnya, uji Boyer-
Myrvold diperluas untuk mendapatkan beberapa subunitisi Kuratowski dari grafik masukan
non-planar dalam waktu berjalan yang bergantung secara linear pada ukuran keluaran. [15]
Kode sumber untuk uji planaritas [16] [17] dan ekstraksi beberapa subdivisi Kuratowski [16]
tersedia untuk umum. Algoritma yang menemukan subgraf Kuratowski dalam waktu linier
dalam simpul dikembangkan oleh Williamson pada tahun 1980an. [18]

Metode sekuritas konstruksi

Metode yang berbeda menggunakan konstruksi induktif dari grafik 3-terhubung untuk secara
bertahap membangun emblas planar dari setiap komponen 3-terhubung dari G (dan
karenanya embedding planar G itu sendiri). [19] Konstruksi dimulai dengan K 4 dan
didefinisikan sedemikian rupa sehingga setiap grafik perantara dalam perjalanan ke
komponen penuh saling terhubung lagi. Karena grafik semacam itu memiliki embedding
yang unik (sampai membalik dan memilih wajah eksternal), grafik besar berikutnya, jika
masih planar, harus merupakan penyempurnaan dari grafik sebelumnya. Hal ini
memungkinkan untuk mengurangi uji planaritas hanya untuk pengujian untuk setiap langkah
apakah tepi tambahan berikutnya memiliki kedua ujungnya di sisi luar embedding saat ini.
Sementara ini secara konseptual sangat sederhana (dan memberikan waktu berjalan linier),
metode itu sendiri menderita kompleksitas dalam menemukan urutan konstruksi.