Mengingat tetap diarahkan grafik (digraf) , yang -coloring masalah keputusan menanyakan apakah digraph masukan memiliki homomorfisma untuk . (A homomorfisme ke adalah pemetaan dari ke yang mempertahankan busur, yaitu, jika adalah busur , maka adalah busur dari )D G V ( G ) V ( D ) u v G f ( u ) f ( v ) DG D f
Kelas masalah WARNA sangat terkait dengan Dichotomy Conjecture for CSPs yang dinyatakan oleh Feder dan Vardi (dapat diakses dengan citeseer ).
Dalam makalah tahun 2001 ini (dapat diakses di halaman penulis, di sini ), Feder membuktikan teorema dikotomi ketika adalah siklus berorientasi (oleh siklus berorientasi Maksudku siklus tidak terarah di mana setiap tepi diganti dengan busur tunggal, yang dapat berorientasi sewenang-wenang) , dengan kata lain, ia menunjukkan bahwa untuk setiap siklus berorientasi D , D- WARNA dapat diselesaikan dengan waktu polinomial atau lengkap NP.D
Sayangnya, klasifikasi Feder sangat nontrivial dan tidak eksplisit, karena kompleksitas banyak kasus terkait dengan kompleksitas varian terbatas tertentu dari SAT yang bergantung pada orientasi. Dengan melihat kertas, saya belum dapat menentukan jawaban atas pertanyaan saya:
Pertanyaan: Berapa ukuran terkecil dari siklus D yang berorientasi sehingga WARNA adalah NP-complete?
Jawabannya mungkin dinyatakan di suatu tempat dalam literatur, tetapi saya tidak dapat menemukannya.
Edit:Biarkan saya memberikan detail lebih lanjut tentang klasifikasi Feder. Feder menunjukkan bahwa setiap siklus berorientasi NP-lengkap harus seimbang, yaitu, memiliki jumlah busur yang sama di kedua arah (maka ia memiliki urutan genap). Kemudian, pertimbangkan "level" yang disebabkan oleh orientasi (mulailah berkeliling siklus pada titik sembarang; jika busur melengkung ke kanan, Anda naik sebesar 1, jika busur melengkung ke kiri, Anda turun sebesar 1). Kemudian, jika ada paling banyak satu "run top-bottom", itu polinomial. Jika ada setidaknya 3 "berjalan" dan siklus adalah inti, itu NP-lengkap. (Dalam contoh András dari komentar, ada tiga "berjalan" seperti itu, tetapi siklus ini bukan inti.) Kasing yang paling sulit adalah yang memiliki dua "lari dari atas". Beberapa sulit, beberapa jumlahnya banyak, dan Feder mengaitkannya dengan masalah SAT khusus untuk mendapatkan dikotomi.
Sebagai pertanyaan antara: Apa siklus berorientasi terkecil yang memiliki tiga putaran "atas-bawah" dan merupakan inti? Contoh seperti itu akan lengkap dengan diskusi di atas.