Pertanyaan yang diberi tag «phase-transition»

Saya mencari contoh masalah dengan parametrized oleh angka k∈Nk∈Nk \in \mathbb{N} , di mana kekerasan masalahnya non-monotonik dalam kkk . Sebagian besar masalah (dalam pengalaman saya) memiliki transisi fase tunggal, misalnya kkk -SAT memiliki transisi fase tunggal dari k∈{1,2}k∈{1,2}k \in \{1,2\} (di mana masalahnya ada di P) ke k≥3k≥3k \ge …

60 cc.complexity-theory  np-hardness  big-list  phase-transition 

Karakteristik yang terkenal dari instance -SAT adalah rasio jumlah klausa atas jumlah variabel , yaitu, hasil bagi . Untuk setiap , ada nilai ambang st \ untuk , sebagian besar instance memuaskan, dan untuk kebanyakan instance tidak memuaskan. Ada banyak penelitian yang dilakukan untuk masalah di mana , dan untuk …

25 cc.complexity-theory  sat  random-k-sat  phase-transition 

Misalkan kita memiliki masalah yang diparameterisasi dengan p-parameter bernilai riil yang "mudah" untuk dipecahkan ketika dan "hard" ketika untuk beberapa nilai , . p = p 1 p 0 p 1p = p0p=p0p=p_0p = p1p=p1p=p_1hal0p0p_0hal1p1p_1 Salah satu contohnya adalah menghitung konfigurasi putaran pada grafik. Menghitung pewarnaan yang tepat, set independen, …

20 cc.complexity-theory  counting-complexity  approximation-hardness  phase-transition 

Telah diketahui bahwa banyak masalah NP-lengkap menunjukkan fase transisi. Saya tertarik di sini dalam transisi fase sehubungan dengan pengungkungan dalam bahasa, daripada kekerasan input, relatif terhadap suatu algoritma. Untuk membuat konsep ini ambigu, mari kita secara resmi mendefinisikannya sebagai berikut. Suatu bahasa L.L.L menunjukkan transisi fase (sehubungan dengan penahanan), jika …

17 cc.complexity-theory  phase-transition 

Rasio kritis klausa terhadap variabel untuk acak 3-SAT adalah lebih dari 3 dan kurang dari 6, dan tampaknya secara umum digambarkan sebagai "sekitar 4,2" atau "sekitar 4,25". Mezard, Parisi, dan Zecchina membuktikan (dalam pengertian fisika) bahwa rasio kritis adalah 4,256, sedangkan penulis pertama dan ketiga membuktikan bahwa itu adalah 4,267. …

14 sat  phase-transition  random-k-sat 

Ada 4 batasan berbeda yang bisa kita miliki ketika mendefinisikan K-SAT Acak. 1) Jumlah total literal dalam klausa tertentu persis K atau AT paling banyak K 2) Literal yang diberikan dapat digunakan dengan atau tanpa penggantian dalam klausa yang sama (A atau A atau A) 3) Variabel yang diberikan dapat …

12 cc.complexity-theory  sat  randomness  phase-transition 

Apa yang diketahui tentang transisi fase dalam masalah # P-Complete? Secara khusus, apakah ada transisi fase yang berbeda untuk # DNF-k-SAT dan # CNF-k-SAT? Pembaruan: Seperti yang kita ketahui, ada fase transisi dalam Random k-SAT di mana penyelesaian masalah berubah dari yang mudah ke sulit dan kembali ke mudah lagi. …

11 cc.complexity-theory  counting-complexity  phase-transition 

Saya ingin mengetahui keadaan transisi fase saat ini untuk k-sat acak, mengingat n variabel dan klausa m, apa yang paling dikenal c = m / n untuk batas atas dan bawah.

10 cc.complexity-theory  sat  lower-bounds  upper-bounds  phase-transition