k
k k
Dua model utama:
The Selman Model random - Berulang klausul yang diperbolehkan . Kyle memberikan referensi yang bagus dalam komentar untuk jawabannya, tetapi salah berasumsi bahwa model tersebut tidak mengizinkan klausa berulang. Versi yang tertaut (sedikit berbeda) dari makalah ini berisi diskusi yang lebih rinci dari model acak di Bagian 3: "Metode generasi ini memungkinkan klausa duplikat dalam sebuah rumus ... Namun, karena N mendapat duplikat besar akan menjadi langka karena kita umumnya pilih hanya sejumlah klausa linier. "
m2k(nk)
Kesetaraan lokasi transisi fase :
Namun, transisi fase (ambang kepuasan 50%) terjadi pada rasio klausa-untuk-variabel yang sama terlepas dari mana model ini dipilih karena alasan yang mendasar bahwa Selman et al. dicatat di kertas mereka.
Misalkan menunjukkan jumlah pasangan klausa yang identik yang diharapkan dalam contoh Selman acak -SAT. Probabilitas pasangan klausa tertentu yang identik adalah , sedangkan jumlah total pasangan klausa adalah . Dengan linearitas harapan, .A(n,m,k)(n,m,k)p=1/(2k(nk))N=(m2)A(n,m,k)=p⋅N=(m2)/2k(nk)
Dengan Teorema 3 dalam [1], batas atas yang dapat dibuktikan pada lokasi transisi fase -SAT, menggunakan model Achlioptas terjadi ketika . Memperbaiki dan pengaturan kita dapatkankm=O(2kn)k≥3m=O(2kn)
A(n,m,k)=(m2)/2k(nk)=O(m2)/O(nk)=O(n2)/O(nk) .
Kemudian, karena , , yang berarti bahwa dalam harapan akan ada nol klausa berulang di sekitar -SAT transisi fase ketika menghasilkan rumus SAT acak menggunakan model Selman.k≥3limn→∞O(n2)/O(nk)=0k
Promosi diri yang tidak tahu malu - Saya membahas topik ini secara singkat di Bagian 4.1 dari tesis master saya .
QBF acak
Ternyata, situasinya jauh lebih menarik untuk QBF acak. Apa AFAIK tiga makalah pertama tentang QBF acak masing-masing mengusulkan model acak baru, mengkritik pendahulunya.
Lihat makalah berikut:
- Cadoli et al. "Analisis Eksperimental Biaya Komputasi untuk Mengevaluasi Formula Boolean yang Dihitung." AI * IA 1997
- Gent + Walsh "Melampaui NP: transisi fase QSAT." AAAI / IAAI 1999
- Chen + Interian "Sebuah Model untuk Menghasilkan Rumus Boolean Kuantitatif yang Dihitung." IJCAI 2005