Klik Tanam dalam G (n, p), bervariasi p

9

Dalam masalah klik yang ditanam, seseorang harus memulihkan -clique yang ditanam dalam grafik acak Erdos-Renyi . Ini sebagian besar telah dicari untuk , dalam hal ini dikenal sebagai polinomial-waktu yang dapat dipecahkan jika dan diduga sulit untuk .G ( n , p ) p = 1kG(n,p) k>p=12 k<k>nk<n

Pertanyaan saya adalah: apa yang diketahui / dipercayai tentang nilai-nilai ? Secara khusus, kapan adalah konstanta dalam ? Apakah ada bukti bahwa, untuk setiap nilai , ada beberapa yang masalahnya sulit secara komputasi?p [ 0 , 1 ] p k = n αpp[0,1]pk=nα

Referensi akan sangat membantu, karena saya belum berhasil menemukan literatur yang melihat masalah untuk nilai selain .p=12

srd
sumber
ya sulit untuk beberapa parameter berdasarkan pada fenomena titik transisi NP lengkap yang lebih dipelajari untuk SAT tetapi berlaku untuk masalah klik juga & telah dipelajari beberapa / kurang begitu ada. ini terkait erat dengan menemukan batas bawah pada sirkuit monoton untuk masalah klik dan fungsi irisan. ada beberapa pertanyaan terkait di situs, dapat menggali mereka. makalah baru-baru ini oleh Rossman tentang kekerasan fungsi klik relevan. dll ... mungkin bisa menjawab nanti tergantung pada apakah orang lain muncul ...
vzn
T / A ini kekerasan clique parameterized tcs.se harus menjawab pertanyaan Anda secara langsung. jawab dalam Theoretical Computer Science Chat untuk diskusi lebih lanjut
vzn
1
Terima kasih. Saya sebagian besar peduli dengan versi yang ditanam, dan bukan versi terburuk (yang, seperti yang Anda katakan, adalah NP lengkap untuk p konstan).
srd
ok, tampaknya "klik yang ditanam" umumnya terbatas pada G (n, ½) seperti yang Anda nyatakan dalam makalah ini Algoritma Statistik dan Batas Bawah untuk Mendeteksi Klik Tanam oleh Feldman et al yang menganggapnya & mengutip referensi terkait tetapi sekali lagi tidak pertimbangkan p ≠ ½. masalah keseluruhan tampaknya "dekat" untuk menemukan klik-klik dengan ukuran tertentu dalam grafik G (n, p) untuk beberapa pilihan parameter (yang belakangan tampaknya jauh lebih banyak dipelajari seperti dalam tautan tcs.se pg) tetapi tidak melihat bahwa koneksi ditunjukkan atau diuraikan / dirinci di tempat lain.
vzn

Jawaban:

9

Jika konstan, maka ukuran klik maksimum dalam model hampir di mana-mana merupakan kelipatan konstan dari , dengan konstanta sebanding dengan . (Lihat Bollobás, p.283 dan Corollary 11.2.) Oleh karena itu, mengubah seharusnya tidak mempengaruhi kekerasan penanaman klik dengan simpul selama klik tersebut terlalu kecil untuk pendekatan algoritmik yang ada untuk bekerja. Oleh karena itu saya berharap bahwa dengan konstan , kekerasan dari Perkebunan Klik harus berperilaku seperti halnya kasus, meskipun ada kemungkinan bahwa kasus sangat dekat dengan 0 atau 1 mungkin berperilaku berbeda.G ( n , p ) log n log ( 1 / p ) p ω ( log n ) p 1 / 2 p = 1 / 2 ppG(n,p)lognlog(1/p)pω(logn)p1/2p=1/2p

Khususnya, untuk ambang yang sama dari untuk untuk ukuran klik yang ditanam berlaku, di atasnya masalah menjadi waktu polinomial. Nilai sini adalah (dan bukan nilai lain) karena fungsi theta Lovász dari hampir pasti antara dan , oleh hasil Juhász. Algoritma Feige dan Krauthgamer menggunakan fungsi Lovász theta untuk menemukan dan mengesahkan klik terbesar, sehingga bergantung pada ukuran ambang ini untuk klik yang ditanam.Ω ( n α ) α = 1 / 2 α 1 / 2 G ( n , p ) 0,5 p1/2Ω(nα)α=1/2α1/2G(n,p) 20.5(1p)/pn2(1p)/pn

Tentu saja, mungkin ada algoritma yang berbeda yang tidak menggunakan fungsi theta Lovász, dan bahwa untuk nilai jauh dari dapat menemukan klik yang ditanam dengan simpul . Sejauh yang saya tahu ini masih terbuka.1 / 2 n 1 / 3p1/2n1/3

Feige dan Krauthgamer juga membahas kapan tidak konstan tetapi tergantung pada , dan mendekati 0 atau mendekati 1. Dalam kasus ini, ada pendekatan lain untuk menemukan klik yang ditanam, dan ukuran ambangnya berbeda.npn

  • Béla Bollobás, Grafik Acak (edisi ke-2), Cambridge University Press, 2001.
  • Ferenc Juhász, Perilaku asimptotik fungsi Lovász ' untuk grafik acakϑ , Combinatorica 2 (2) 153–155, 1982. doi: 10.1007 / BF02579314
  • Uriel Feige dan Robert Krauthgamer, Menemukan dan mensertifikasi klik tersembunyi yang besar dalam grafik semi -acak, Struktur & Algoritma 16 (2) 195-208, 2000 acak. Doi: 10.1002 / (SICI) 1098-2418 (200003) 16: 2 <195 :: AID-RSA5> 3.0.CO; 2-A
András Salamon
sumber
Terima kasih. Ini tampaknya merangkum keadaan seni, dan menegaskan bahwa tidak ada yang terlalu pasti yang diketahui. Bukti terbaik bahwa masalahnya berperilaku serupa nampaknya adalah nilai dari fungsi theta Lovasz, seperti yang Anda tunjukkan.
SRD
1

klik yang ditanam untuk adalah kasus khusus dari masalah ini dan hasil baru (batas bawah) seperti yang dinyatakan pada p2 dll & itu termasuk referensi terkait. (2015)p12

Kami menunjukkan bahwa, dengan asumsi (deterministik) Hipotesis Waktu Eksponensial, membedakan antara grafik dengan kli yang diinduksi dan grafik di mana semua subgraf memiliki kepadatan paling banyak , memerlukan waktu.k 1 - ε n ˜ Ω ( log n )kk1εnΩ~(logn)

vzn
sumber
0

Inilah kertas baru yang memiliki algoritma untuk p ≠ ½ berdasarkan algoritma SVD. lihat hal.4 untuk analisis klik tersembunyi (ditanam).

ALGORITMA SVD SEDERHANA UNTUK MENEMUKAN PARTISI TERSEMBUNYI Van Vu

Abstrak. Menemukan partisi tersembunyi di lingkungan acak adalah masalah umum dan penting, yang berisi banyak pertanyaan terkenal, seperti menemukan klik tersembunyi, menemukan pewarnaan tersembunyi, menemukan bipartisi tersembunyi dll. Dalam makalah ini, kami menyediakan SVD sederhana algoritma untuk tujuan ini, menjawab pertanyaan McSherry. Algoritma ini sangat mudah diimplementasikan dan berfungsi untuk grafik jarang dengan kepadatan optimal.

vzn
sumber
2
p=1/2ppΩ(n)
tidak mengatakan itu jawaban yang tepat / pasti, hanya beberapa peningkatan dari hanya batas makalah lain. itu menganalisis berbagai nilai tunduk pada kendala misc (termasuk ukuran klik), rincian dalam makalah. pertanyaannya tampaknya tidak begitu ketat tentang apa batasan ukuran / kombinasi yang tepat / simultan . (Bukankah makalah tersebut memang mencakup beberapa kasus diminta? Atau apakah Anda mengartikan pertanyaan tersebut sebagai pembatasan ketat ?) p p p ½ , k = n α αp=½ppp½,k=nαα
vzn