Câu hỏi được gắn thẻ «random-k-sat»

Tôi đang quan tâm đến việc quan trọng 3-satisfiability (3-SAT) mật độ . Nó phỏng đoán rằng đó α tồn tại: nếu số lượng được tạo ngẫu nhiên các khoản 3-SAT là ( α + ε ) n hoặc hơn, họ gần như chắc chắn không thể thoả mãn. (Đây …

26 pr.probability  random-k-sat 

Một đặc điểm nổi tiếng của các trường hợp -SAT là tỷ lệ của số mệnh đề so với số lượng biến , nghĩa là thương số . Với mỗi , có một giá trị ngưỡng st \ cho , hầu hết các trường hợp đều thỏa đáng và đối …

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

Có bất kỳ công việc nào được thực hiện về mức độ phức tạp của các trường hợp ngẫu nhiên của # 2-SAT thay đổi theo mật độ mệnh đề không? Đó là: độ khó của việc đếm các giải pháp thỏa mãn đối với trường hợp 2-SAT được tạo …

18 cc.complexity-theory  counting-complexity  random-k-sat 

Người ta biết rằng các công thức -CNF ngẫu nhiên trên biến có mệnh đề là không thỏa mãn (nghĩa là chúng mâu thuẫn) với xác suất cao, cho hằng số đủ lớn . Do đó, các công thức -CNF ngẫu nhiên (đối với đủ lớn) tạo thành một phân …

16 cc.complexity-theory  reference-request  lo.logic  sat  random-k-sat 

Tỷ lệ quan trọng của mệnh đề cho các biến cho 3-SAT ngẫu nhiên là nhiều hơn 3 và nhỏ hơn 6 và dường như thường được mô tả là "khoảng 4.2" hoặc "khoảng 4.25". Mezard, Parisi và Zecchina chứng minh (theo nghĩa vật lý) rằng tỷ lệ tới hạn …

14 sat  phase-transition  random-k-sat 

Bài báo gần đây từ FOCS2013, Strong Backreen to Bounded Treecreen SAT của Gaspers và Szeider nói về mối liên hệ giữa treewidth của biểu đồ mệnh đề SAT và độ cứng của thể hiện. Đối với các trường hợp 3-SAT ngẫu nhiên, tức là các trường hợp 3-SAT được …

11 graph-algorithms  sat  treewidth  random-k-sat  hard-instances