Grafik planar 3-warna di ?

9

Saya bertanya-tanya apakah tugas mencari planar 3-warna diketahui sebagai kompleksitas atau lebih rendah? Ini terasa seperti itu akan menjadi konsekuensi intuitif berdasarkan hasil pemisah planar, namun di wikipedia , itu hanya menyebutkan set independen, pohon Steiner, siklus Hamilton, dan TSP. Di bawah ini saya sertakan beberapa alasan yang menurut saya hampir mencapai batasan ini.O(cn)

Dengan diagram keputusan tereduksi nol (ZDD), saya yakin Anda bisa mendapatkan , dan saya ingin tahu bagaimana saya bisa melakukan yang lebih baik. Apa yang saya pikirkan agak sederhana. Catatan: selama ini, ZDD yang saya jelaskan adalah ternary, tapi saya pikir itu tidak terlalu penting. Untuk ZDD, diberi urutan, , dari simpul ke warna, jumlah node pada langkah akan eksponensial sehubungan dengan ukuran perbatasan, .O(cO(log2(n)n))L={v1vn}iFi={vk|k<ivk vj,ji}

Untuk membuat pemesanan Anda , Anda dapat membuat pohon dekomposisi cabang yang optimal, , dalam waktu polinomial, yang memiliki lebar paling banyak . Kemudian, pilih daun acak dari untuk menjadi root. Dengan BFS, timbang setiap tepi dengan jumlah daun yang tidak terhubung ke jika Anda harus menghapus dari . Kemudian, lakukan DFS untuk akhirnya membuat , selalu turun paling jauh dari , memilih satu dengan bobot paling sedikit jika ada dasi, dan memilih sewenang-wenang jika masih ada dasi. Ketika kita mencapai daun, tambahkanLbnvbevebLv(u,v)u/ untuk jika salah tidak di . Biarkan menjadi komponen diinduksi dalam oleh simpul mengunjungi ketika kita menambahkan ke . Kemudian, dibatasi oleh lebar cabang kali jumlah tepi perlu dihapus dari untuk mendapatkan komponen . dibatasi kira-kira oleh dari simpul dalam , yang linear ke karena kita sedang berhadapan dengan grafik planar.vLLcibviLFixibcixlog2bn

Dengan itu, Anda memeriksa ketiga warna untuk setiap node untuk masing-masing perbatasan dan selesai.n

Zachary Hunter
sumber
1
Mengapa pertanyaan ini tidak dipilih?
Sasho Nikolov
5
Tidak sulit untuk menemukan algoritma DP yang berjalan dalam untuk memeriksa apakah grafik dengan treewidth dapat diwarnai dengan 3 warna. Karena grafik planar memiliki treewidth terikat waktu yang Anda inginkan berikut. k O ( 3kpoly(n)kO(n)
Chandra Chekuri
5
Teorema pemisah planar cukup untuk mendapatkan dekomposisi pohon lebar dalam waktu polinomial. Anda tidak perlu algoritma yang tepat untuk waktu berjalan yang diklaim. Juga ada perkiraan faktor konstan untuk treewidth dalam grafik planar. Ini adalah hasil yang terkenal. O(n)
Chandra Chekuri
3
Sebuah komentar kecil: Karena dalam eksponen memiliki faktor konstan di depannya (berasal dari ukuran pemisah masing-masing treewidth), basis harus menjadi basis : . 3constO(cn3constO(cn)
Gamow
1
Jadi kita tahu itu bisa dilakukan di untuk beberapa c yang tidak sepenuhnya menjawab pertanyaan. O(cn)
Hermann Gruber

Jawaban:

8

Saya merekomendasikan membaca Bagian 7 dan 14 dalam buku yang sangat bagus oleh Cygan, Fomin, Kowalik, Lokshtanov, Marx, Pilipczuk, Pilipczuk, dan Saurabh .

Singkatnya, Gu dan Tamaki memberikan algoritma waktu kuadratik yang menemukan dekomposisi cabang dari grafik planar lebar paling banyak . Kemudian Robertson dan Seymour dalam (5.1) memberikan dekomposisi pohon dengan lebar kurang dari . Kemudian algoritma pemrograman dinamis klasik (lihat, misalnya, Marx ) memecahkan -Coloring in time .3n 9 9n2 33 9 339n2poly(n)<141n

Di sisi lain, diketahui ( Lichtenstein ) bahwa di bawah Hipotesis Eksponensial Waktu (ETH), masalah Planar -SAT adalah -hard. Dan pengurangan dari Planar -SAT ke Planar -Coloring menyiratkan bahwa di bawah ETH tidak ada algoritma yang menyelesaikan Planar -Coloring dalam waktu .32Ω(n)3332o(n)

Alex Golovnev
sumber
2
Kita dapat menemukan dekomposisi cabang yang tepat dalam waktu polinomial pada grafik planar. Ini dengan kertas Seymour dan Thomas: panggilan routing dan penangkap tikus. Jadi, Anda dapat menghapus faktor 3 dari eksponen.
Saeed
2
@ Saeed, apakah kita juga tahu bahwa lebar cabang grafik planar dibatasi oleh ? n
Alex Golovnev
1
Poin bagus, saya ingat Fomin dkk memiliki makalah yang menunjukkan batas atas hampir . Tidak tahu apa batas atas terbaik sekarang. Di sisi lain saya pikir jika kita benar-benar ingin mencukur eksponen, harus dimungkinkan untuk secara langsung menggunakan pemrograman dinamis berdasarkan dekomposisi cabang, tanpa transformasi ke dekomposisi pohon (mungkin sudah ada dalam literatur atau jika tidak saya pikir itu adalah bisa dilakukan dalam waktu yang tepat). 2n
Saeed