Kekerasan UGC dari predikat


16

Latar belakang :

Dalam kertas UGC asli Subhash Khot ( PDF ), ia membuktikan kekerasan UG memutuskan apakah contoh CSP yang diberikan dengan kendala semua bentuk Tidak-semua-sama (a, b, c) pada alfabet ternary mengakui tugas yang memuaskan 1 - ϵ dari kendala atau apakah tidak ada tugas yang memuaskan 89+ϵdari kendala, untuk kecil sewenang-wenangϵ>0.

Saya ingin tahu apakah hasil ini telah digeneralisasi untuk setiap kombinasi kendala -ary untuk 3 dan domain variabel ukuran k3 mana k3 . Itu adalah,

Pertanyaan :

Adakah kekerasan yang diketahui dari hasil perkiraan untuk predikat NAE(x1,,x) untuk xiGF(k) untuk ,k3 dan k3 ?

Saya terutama tertarik pada kombinasi nilai ; misalnya, predikat Tidak-sama-sama ( x 1 , ... , x k ) untuk x 1 ... , x kG F ( k ) .=kx1,,xkx1,xkGF(k)


Silakan referensi untuk kasus ? k=3
Mohammad Al-Turkistany

@turkistany, setelah melihat pertanyaan saya lebih jauh, saya memutuskan untuk menghapus sub-pertanyaan (karena saya terlalu banyak bertanya sekaligus!). Makalah yang awalnya saya maksudkan adalah ini .
Daniel Apon

2
Jika Anda memposting pertanyaan tentang makalah Bulatov, perhatikan bahwa telah ada penyederhanaan yang signifikan dari pendekatan ini selama dekade terakhir. Beberapa algoritma telah disederhanakan dan digabung, lihat makalah LICS terbaru oleh Barto dan Kozik untuk tinjauan umum.
András Salamon

1
@Andras: Saya berasumsi Anda maksud ini ? Itu terlihat menarik; Saya pasti akan membacanya, terima kasih! Bagaimanapun, saya mungkin akan kembali bertanya sub-pertanyaan sebelumnya sebagai pertanyaan baru, dengan asumsi saya tidak menjawabnya sendiri (ditambah, saya kekurangan waktu untuk memastikan saya menyatakannya dengan benar saat ini) .
Daniel Apon

ya, itu dia. Referensi di dalamnya memberikan tur singkat melalui sejarah selanjutnya.
András Salamon

Jawaban:


9

Saya menyadari bahwa apa yang saya klaim di atas sebenarnya diketahui.

Untuk dan sewenang-wenang k 3 , ini ada dalam makalah FOCS 2002 milik Khot "Kekerasan mewarnai 3-seragam hypergraphs 3-warna" (makalah sebenarnya berbicara tentang umum k , meskipun judulnya hanya berbicara tentang kasus 3-warna) .=3k3k

Untuk dan k 2 , sebenarnya kekerasan yang lebih kuat diketahui. Bahkan jika ada sebenarnya tugas dari hanya dua nilai ke variabel yang memenuhi semua kendala NAE (dengan kata lain -uniform hipergraf dapat diwarnai menggunakan 2 warna tanpa hyperedge monokromatik), masih NP-keras untuk menemukan tugas dari ukuran domain k yang memenuhi setidaknya 1 - 1 / k - 1 + ε NAE kendala (untuk sewenang-wenang konstan ε > 04k2k11/k1+ϵϵ>0). Ini mengikuti dengan mudah dari fakta bahwa hasil ketidaktepatan yang diketahui untuk hypergraph 2-coloring memberikan pernyataan kepadatan yang kuat dalam kasus kesehatan. Pernyataan formal muncul dalam makalah SODA 2011 saya dengan Ali Sinop "Kompleksitas menemukan set independen dalam derajat terikat (hiper) grafik angka kromatik rendah" (Lemma 2.3 dalam versi final SODA, dan Lemma 2.8 dalam versi yang lebih lama tersedia di ECCC http://eccc.hpi-web.de/report/2010/111/ ).


Cukup indah. Saya mungkin akan berakhir menggunakan ini dalam waktu dekat. Terima kasih!
Daniel Apon

14

Saya mendapatkan halaman ini dari pencarian tentang NAE-3SAT.

Saya cukup yakin bahwa untuk masalah yang Anda tanyakan, harus NP-sulit untuk mengatakan apakah contoh memuaskan, atau jika paling banyak fraksi kendala dapat dipenuhi. Yaitu, hasil kekerasan yang ketat (cocok dengan apa yang hanya memilih tugas acak akan mencapai), untuk contoh yang memuaskan , dan tidak perlu untuk UGC.11/k1+ϵ

Untuk dan 4 , ini mengikuti dari faktor Hastad 7/8 + epsilon hasil yang tidak diperkirakan untuk pemisahan 4-set (yang kemudian dapat dikurangi menjadi pemisahan k-set untuk k > 4 ). Jika negasi tidak masalah, seseorang juga dapat menggunakan hasil kekerasannya yang ketat untuk Max ( - 1 ) -SAT.k=24k>41

Untuk , Khot membuktikan ini dalam makalah FOCS 2002 "Kekerasan mewarnai 3-seragam hypergraphs 3-warna." (Yaitu, ia menghapus asumsi UGC asli.)k==3

=3k3xi+a,xj+b,xka,b

Untuk kasus umum, saya tidak tahu apakah ini telah ditulis di mana saja. Tetapi jika Anda benar-benar membutuhkannya, saya mungkin dapat menemukan sesuatu atau memeriksa klaim.


=4k

12

Prasad Raghavendra dalam STOC'08 Best Paper membuktikan, dengan asumsi Unique Games Conjecture, bahwa algoritma pemrograman semidefinite sederhana memberikan perkiraan terbaik untuk setiap masalah kepuasan kendala (termasuk NAE) dengan kendala jumlah variabel konstan masing-masing dan dengan alfabet konstan. Untuk benar-benar tahu apa faktor kekerasan untuk NAE, Anda perlu memahami seberapa baik algoritma sederhana untuk itu, yaitu, membuktikan celah integral untuk program. Saya tidak tahu apakah seseorang sudah melakukan itu untuk NAE secara umum atau tidak.


Oh bagus! Saya telah menghabiskan beberapa membaca beberapa versi lain dari kertas STOC Raghavendra juga. Aku seharusnya membuat hubungan ini! Saya tidak tahu apakah nilai-nilai NAE telah dihitung secara khusus juga, tetapi mereka pasti menarik minat saya!
Daniel Apon
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.