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.
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, .
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, tambahkan/ 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.
Dengan itu, Anda memeriksa ketiga warna untuk setiap node untuk masing-masing perbatasan dan selesai.