Trong một chủ đề khác , Joe Fitzsimons đã hỏi về "giới hạn dưới tốt nhất hiện tại trên 3SAT." Tôi muốn đi theo một cách khác: Giới hạn trên tốt nhất hiện tại trên 3SAT là gì? Nói cách khác, độ phức tạp thời gian của người giải SAT …
Có những giải thích lý thuyết nào cho sự thành công thực tế của người giải SAT, và ai đó có thể đưa ra một cái nhìn tổng quan "kiểu wikipedia" và giải thích buộc tất cả chúng lại với nhau không? Bằng cách tương tự, phân tích được làm …
Trong câu hỏi này, công thức 3CNF có nghĩa là công thức CNF trong đó mỗi mệnh đề liên quan đến chính xác ba biến khác nhau. Đối với một hằng số 0 < s <1, Gap-3SAT s là vấn đề lời hứa sau đây: Trường hợp của Gap-3SAT : …
Quyết định nếu một công thức boolean định lượng như ∀x1∃x2∀x3⋯∃xnφ(x1,x2,…,xn),∀x1∃x2∀x3⋯∃xnφ(x1,x2,…,xn),\forall x_1 \exists x_2 \forall x_3\cdots \exists x_n \varphi(x_1, x_2,\ldots , x_n), luôn luôn đánh giá đúng là một vấn đề hoàn chỉnh PSPACE cổ điển. Đây có thể được xem là một trò chơi giữa hai người chơi, với …
Có ai đó dám thử làm rõ mối quan hệ của các lĩnh vực nghiên cứu này hay thậm chí có thể đưa ra một câu trả lời cụ thể hơn ở cấp độ của các vấn đề? Giống như bao gồm mà giả sử một số công thức được …
Các thuật toán cổ điển có thể giải 3-SAT trong thời gian (ngẫu nhiên) hoặc thời gian (xác định). (Tham khảo: tốt nhất Upper Bounds trên SAT )1.3071n1.3071n1.3071^n1.3303n1.3303n1.3303^n Để so sánh, sử dụng thuật toán của Grover trên máy tính lượng tử sẽ tìm kiếm và cung cấp giải pháp …
Tôi đã nghe nói rằng có những lập luận heuristic trong vật lý thống kê mang lại kết quả trong lý thuyết xác suất mà bằng chứng khắt khe là không xác định hoặc rất khó để đưa ra. Một ví dụ đồ chơi đơn giản của một hiện tượng …
Bài đăng trên blog của Scott Aaronson hôm nay đã đưa ra một danh sách các vấn đề / nhiệm vụ mở thú vị phức tạp. Một điều đặc biệt thu hút sự chú ý của tôi: Xây dựng một thư viện công cộng gồm các trường hợp 3SAT, với …
Trong khi đọc bài viết "Đã đến lúc tuyên bố chiến thắng trong việc đếm độ phức tạp?" tại blog "Thư bị mất của Godel và P = NP" , họ đã đề cập đến sự phân đôi cho CSP. Sau một số liên kết sau, googling và wikipinating, tôi …
"Khu vực dễ dàng" cho thỏa đáng là gì? Nói cách khác, điều kiện đủ để một số người giải SAT có thể tìm thấy một bài tập thỏa mãn, giả sử nó tồn tại. Một ví dụ là khi mỗi mệnh đề chia sẻ các biến với một số …
Bạn có thể thường tìm thấy các phương pháp mặt phẳng cắt, lan truyền biến, nhánh và ràng buộc, học mệnh đề, quay lui thông minh hoặc thậm chí các phương pháp phỏng đoán của con người trong các bộ giải SAT. Tuy nhiên, trong nhiều thập kỷ, những người …
Một số vấn đề NP-cứng mà là mũ trên đồ thị nói chung là subexponential trên đồ thị phẳng vì treewidth là tại hầu hết và chúng là cấp số nhân trong treewidth.4.9|V(G)|−−−−−−√4.9|V(G)|4.9 \sqrt{|V(G)|} Về cơ bản, tôi quan tâm nếu có các thuật toán phụ cho PLANAR SAT hoàn …