Kompleksitas pewarnaan grafik


27

Misalkan adalah grafik dengan angka pewarnaan . Pertimbangkan permainan berikut antara Alice dan Bob. Pada setiap putaran, Alice memilih sebuah titik, dan Bob menjawab dengan warna di untuk titik ini. Permainan berakhir ketika tepi monokromatik ditemukan. Biarkan menjadi panjang maksimal permainan di bawah permainan optimal oleh kedua pemain (Alice ingin memperpendek permainan, Bob ingin menunda mungkin). Misalnya, dan .G{ 1 , , d - 1 } X ( G ) X ( K n ) = n X ( C 2 n + 1 ) = Θ ( log n )d=χ(G){1,,d1}X(G)X(Kn)=nX(C2n+1)=Θ(logn)

Apakah game ini dikenal?


4
Saya pikir Anda mungkin dapat memodelkan ini sebagai game Ehrenfeucht – Fraïssé .
Tyson Williams

1
tampaknya akan sangat terkait dengan algoritma pewarnaan grafik serakah, kan? di mana ada banyak .... mirip dengan masalah SAT di mana salah satu variabel "dipaksa" setelah beberapa traversal DPLL ... yang saya percaya juga disebut "tulang punggung" di SAT
vzn

2
Mengapa Anda menggunakan d − 1? Saya pikir lebih wajar untuk membuat parameter permainan dengan grafik G dan jumlah k dari warna yang diizinkan dan mempertimbangkan kuantitas analog X (G, k). Tentu saja, jika k≥χ (G), maka Bob menang, dan karenanya dalam hal ini, X (G, k) harus didefinisikan sebagai ∞ atau n +1.
Tsuyoshi Ito

1
@Tsuyoshi: adalah pilihan sewenang-wenang yang dirancang untuk memaksimalkan . Dalam aplikasi yang saya pikirkan, tidak masuk akal. X ( G ) k χ ( G )k=d1X(G)kχ(G)
Yuval Filmus

@Tyson: Faktanya, adalah kompleksitas pohon keputusan dari permainan di mana, mengingat pewarnaan , kami ingin menemukan tepi yang dilanggar. d - 1 GX(G)d1G
Yuval Filmus

Jawaban:


11

Terlihat sangat mirip

Mewarnai grafik acak secara online tanpa membuat subgraph monokromatik (Reto Spöhel, Torsten Mütze, dan Thomas Rast) Prosiding Simposium ACM-SIAM tahunan ke 22 pada Algoritma Diskrit (SODA '11), PR 137, 145-158.

Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.