Ada beberapa algoritma yang memutuskan dalam waktu polinomial apakah grafik dapat digambar di pesawat atau tidak, bahkan banyak dengan waktu berjalan linier. Namun, saya tidak dapat menemukan algoritma yang sangat sederhana yang dapat dengan mudah dan cepat dijelaskan di kelas dan akan menunjukkan bahwa PLANARITY dalam P. Apakah Anda tahu?
Jika perlu, Anda dapat menggunakan teorema Kuratowski atau Fary tetapi tidak ada hal yang dalam, seperti teorema minor graph. Perhatikan juga bahwa saya tidak peduli dengan waktu yang berjalan, saya hanya ingin sesuatu yang jumlahnya banyak.
Di bawah ini adalah 3 algoritma terbaik sejauh ini, yang menunjukkan trade-off kesederhanaan / tanpa teori yang dibutuhkan.
Algoritma 1: Dengan menggunakan itu kita dapat memeriksa apakah grafik berisi atau sebagai minor dalam waktu polinomial, kita mendapatkan algoritma yang sangat sederhana menggunakan teori yang mendalam. (Perhatikan bahwa teori ini sudah menggunakan embedding grafik, seperti yang ditunjukkan oleh Saeed, jadi ini bukan pendekatan algoritmik yang nyata, hanya sesuatu yang sederhana untuk memberi tahu siswa yang sudah tahu / menerima teorema minor graph.)K 3 , 3
Algoritma 2 [berdasarkan jawaban seseorang]: Sangat mudah untuk melihat bahwa itu cukup untuk berurusan dengan 3-terhubung grafik. Untuk ini, cari wajah dan kemudian menerapkan teorema musim semi Tutte.
Algoritma 3 [direkomendasikan oleh Juho]: Algoritma Demoucron, Malgrange dan Pertuiset (DMP). Gambarlah sebuah siklus, komponen dari grafik yang tersisa disebut fragmen, kami menanamkannya dengan cara yang sesuai (sementara itu membuat fragmen baru). Pendekatan ini tidak menggunakan teorema lain.
Jawaban:
Saya akan menjelaskan suatu algoritma. Saya tidak yakin itu memenuhi syarat "mudah" dan beberapa buktinya tidak begitu mudah.
Pertama kita memecah grafik menjadi 3 komponen yang terhubung, seperti yang disebutkan oleh Chandra Chekuri.
Kami telah mengurangi masalah untuk memeriksa apakah komponen 3-terhubung dari grafik adalah planar. Biarkan menunjukkan komponen 3-terhubung.G
Komentar:
sumber
Algoritma Boyer dan Myrvold dianggap sebagai salah satu algoritma pengujian planaritas canggih
Di Ujung Tombak: Sederhana O (n) Planaritas oleh Edge Addition oleh Boyer dan Myrvold.
Bab buku ini mensurvei banyak algoritma pengujian planaritas dan mudah-mudahan Anda menemukan algoritma yang cukup sederhana.
sumber
Bagaimana dengan algoritma Hopcroft dan Tarjan 1974 {1} ?
{1} Hopcroft, John, dan Robert Tarjan. "Pengujian planaritas yang efisien." Jurnal ACM (JACM) 21.4 (1974): 549-568.
sumber
Dua algoritma, keduanya di LogSpace
Yang kedua jauh lebih sederhana dari yang pertama.
sumber