Klik masalah pada grafik tetap


21

Seperti kita ketahui, fungsi -clique C L I Q U E ( n , k ) mengambil subgraph ( spanning ) G K n dari grafik n -vertex lengkap K n , dan menghasilkan 1 iff G berisi k -clique . Variabel dalam hal ini sesuai dengan tepi dari K n . Sudah diketahui (Razborov, Alon-Boppana) bahwa, selama 3 k n / 2kCLIQUE(n,k)GKnnKn1GkKn3kn/2, Fungsi ini membutuhkan sirkuit monoton ukuran sekitar . nk

Tetapi bagaimana jika kita mengambil satu grafik tetap , dan mempertimbangkan fungsi boolean monoton C L I Q U E ( G , k ) , yang mengambil subset S [ n ] dari simpul, dan menghasilkan 1 iff beberapa k simpul di S membentuk kelompok di G . Variabel dalam hal ini sesuai dengan simpul dari K n , dan fungsi ini hanya fungsi klik standar tetapi terbatas pada spanningGKnCLIQUE(G,k)S[n]1kSGKnsubgraphs satu tetap graf .G

1. Apakah ada grafik -vertex G yang C L I Q U E ( G , k ) membutuhkan sirkuit monoton dengan ukuran lebih besar dari n O ( log n ) ? Saya rasa tidak. nGCLIQUE(G,k)nO(logn)
2. Apakah merupakan masalah NP-hard untuk beberapa urutan grafik ( G n : n = 1 , 2 ... ) ? Saya rasa tidak. CLIQUE(Gn,k)(Gn:n=1,2)

Perhatikan bahwa jika adalah semua klik maksimal dalam G , maka C L I Q U E ( G , k ) dapat dihitung sebagai OR dari fungsi r threshold- k , yang ke- i menguji apakah | S aC i | k . Jadi, jika r = p o l y ( n )C1,,CrGCLIQUE(G,k)rki|SaCi|kr=poly(n), maka seluruh rangkaian berukuran polinomial. Tetapi bagaimana dengan grafik dengan jumlah eksponensial dari klik-klik maksimal? (Klik maksimal, tidak ada titik yang dapat ditambahkan.)

Dimungkinkan untuk "menanamkan" ke dalam C L I Q U E ( H , k ) untuk grafik H tertentu pada n = 2 m simpul. Secara khusus, Bollobas dan Thomason (1981) telah menunjukkan bahwa, jika H adalah grafik Hadamard yang simpulnya adalah himpunan himpunan bagian dari [ m ] , dan dua simpul u dan v berbatasan iff |CLIQUE(m,k)CLIQUE(H,k)Hn=2mH[m]uvgenap, maka H berisi salinan isomorfik dari setiap grafik G pada m simpul. Dapatkah fakta ini digabungkan dengan batas bawah Razborov (sekitar m k ) untuk C L I Q U E ( m , k ) untuk menyimpulkan bahwa C L I Q U E ( H , k ) memerlukan sirkuit monoton dengan ukuran sekitar m k ? Masalah potensial di sini adalah bahwa, meskipun grafik H|uv|HGmmkCLIQUE(m,k)CLIQUE(H,k)mkH"berisi" semua -vertex grafik, grafik ini tidak pada yang sama set simpul. Dan rquires argumen Razborov bahwa masukan positif dan negatif ( k -cliques dan melengkapi lengkap ( k - 1 ) grafik -partite) adalah grafik pada yang sama set simpul. Selain itu, semua input positif ( k -cliques) hanyalah salinan isomorfik dari satu dan k -clique tetap yang sama .mk(k1)k k

3. Ada ide? Adakah yang melihat jenis masalah seperti itu dipertimbangkan? Maksudku, masalah keputusan untuk subgraph dari grafik tetap . Atau, katakanlah, masalah SAT untuk sub-CNF dari satu CNF tetap (memuaskan) (diperoleh dengan menghapus beberapa literal)?

Motivasi: Masalah semacam ini berkaitan dengan kompleksitas algoritma optimasi kombinatorial. Tetapi mereka tampaknya menarik dalam diri mereka sendiri. Mengapa kita harus mencari algoritma yang efisien pada semua grafik? Pada kenyataannya, kita biasanya tertarik pada properti potongan kecil satu (besar) grafik (jaringan jalan-jalan di suatu negara, atau facebook, atau sejenisnya).

Catatan 1: Jika grafik adalah bipartit , maka matriks insiden vertex-edge dari ketidaksetaraan x u + x v1 untuk semua ( u , v ) E benar-benar unimodular, dan satu dapat memecahkan masalah klik pada subgraph yang diinduksi G melalui pemrograman linier. Dengan demikian, untuk grafik bipartit G , C L I Q U E ( G , kG=(LR,E)xu+xv1(u,v)EGG memilikisirkuit kecil (walaupun non-monoton). CLIQUE(G,k)

Komentar 2: Sebuah indikasi, bahwa dalam kasus grafik bipartit , jawaban atas Pertanyaan 1 "harus" memang TIDAK adalah bahwa permainan Karotmer-Wigderson monoton berikut pada G hanya membutuhkan O ( log n ) bit komunikasi. Misalkan k adalah jumlah terbesar dari simpul dalam subgraf bipartit G lengkap . Alice mendapat satu set A dari simpul merah, Bob satu set B dari simpul biru sedemikian rupa | A | + | B | > k . Tujuannya adalah untuk menemukan non-edge antara AGGO(logn)kGAB|A|+|B|>kAdan .B


lebih banyak pemikiran (1) sepertinya Anda mungkin mendapatkan hasil yang sama dengan mendefinisikan fungsi "filter" yang memiliki # variabel yang sama dengan tepi dan "filter" tepi grafik tetap berdasarkan nilai 0/1 dari variabel boolean ... .? ini mungkin mengurangi analisis agak karena konstruksi grafik yang diinduksi yang bergerak dari tepi ke simpul. (2) pertanyaan kunci yang lebih sederhana tertanam dalam pertanyaan Anda yang sendirian yang bermanfaat untuk diatasi. apa sajakah grafik dengan klik maksimal eksponensial? contoh hadamard mungkin tidak cukup karena sangat "besar".
vzn

sedang melihat ke sesuatu yang samar-samar serupa baru-baru ini dan berlari melintasi factoid yang menarik ini: "Dekomposisi klik serakah dari sebuah grafik diperoleh dengan menghapus klik maksimal dari grafik satu per satu sampai grafik kosong. Kami baru-baru ini menunjukkan bahwa setiap dekomposisi klik rakus dari grafik order memiliki di mostn n 2 / 4 geng." --mcguinnessnn2/4
vzn

@ vzn: Untuk pertanyaan terakhir Anda. Ada konstruksi sederhana (tidak ingat siapa). Ambil salinan vertex-disjoint "anti-trianges" (tiga kali lipat simpul tanpa tepi di antaranya), dan letakkan tepi di antara semua simpul dari dua anti-tringles mana pun. Jumlah klik maksimal kemudian 2 n / 3 , dan ini optimal (tidak mungkin lagi). n/32n/3
Stasys

@vzn: Pada hasil McGuiness. Seperti yang saya mengerti, dia menguraikan semua tepi menjadi sejumlah kecil cliques (ukuran) maksimum disjoint. Tetapi mungkin saja terjadi bahwa klik maksimum dari subgraph yang diinduksi tidak terletak pada salah satunya. Meski begitu, hasilnya tampaknya berada di "arah yang benar".
Stasys

Tentang komentar 2 : ketika Anda mengatakan mencari klik di bipartit, maksud Anda bipartit lengkap?
MassimoLauria

Jawaban:


10

GkknΩ(k)

Anda dapat menemukan kertas Parameterized Complexity dari Prosedur Pencarian DPLL di tautan ini .


1
Hasil yang sangat bagus! Sebenarnya, pertanyaan saya muncul ketika mencoba untuk menunjukkan hasil yang sama untuk penolakan bidang pemotongan pohon (CP) untuk masalah (klik). Untuk derivasi mirip pohon kami memiliki dua (hanya?) Alat: (1) argumen kompleksitas komunikasi, dan (2) game Player-Delayer di Pudlak dan Impagliazzo. Komentar 2 menyiratkan bahwa (1) akan (terbukti) gagal untuk masalah Clique. Apakah ada analogi (2) dalam kasus bukti CP?
Stasys

6

Saya yakin makalah ini dapat menjawab pertanyaan Anda: http://arxiv.org/abs/1204.6484

Makalah ini mendefinisikan keluarga masalah NP 3SAT keras, sehingga struktur formula ditetapkan untuk setiap n, dan input adalah polaritas formula.

Menggunakan reduksi standar dari 3SAT ke CLIQUE (masing-masing klausa 3CNF mendefinisikan satu set 8 kemungkinan penugasan (atau 7 penugasan yang memuaskan), dengan tepi di antara penugasan yang tidak bertentangan), terdapat grafik sehingga setelah menghapus satu simpul untuk setiap klausa, itu adalah NP sulit untuk menemukan klik maksimal (atau bahkan untuk memperkirakan ukurannya, menggunakan produk grafik atau produk grafik derandomized)


2

kembali Q3, ada beberapa pekerjaan empiris pada "backbone" dan kemungkinan "backdoors" dari masalah SAT. tulang punggung adalah himpunan literal yang benar dalam setiap tugas yang memuaskan. Backdoor ke masalah SAT adalah seperangkat variabel (mudah-mudahan kecil) yang menyediakan "jalan pintas" untuk memecahkan masalah. dua struktur ini mungkin akan membantu dan / atau kunci dalam memahami apa yang Anda sebut sebagai "sub-CNF" atau CNF dengan beberapa variabel dihapus. tetapi juga DP, algoritma davis putnam dapat dilihat secara sistematis mengeksplorasi banyak "sub-CNF" dari CNF untuk menyelesaikannya.

[1] Tulang Belakang dan Pintu Belakang dalam Kepuasan oleh Kilby et al


SS
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.