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

Thuật toán GSAT, phần lớn, thẳng tiến: Bạn nhận được một công thức ở dạng bình thường kết hợp và lật các mệnh đề của mệnh đề cho đến khi bạn tìm thấy một giải pháp thỏa mãn công thức hoặc bạn đạt đến giới hạn max_tries / max_flips và …

20 algorithms  satisfiability  3-sat 

Tôi đang cố gắng che giấu bằng chứng NP-đầy đủ dường như xoay quanh SAT / 3CNF-SAT. Có thể đó là giờ muộn nhưng tôi sợ rằng tôi không thể nghĩ ra một công thức 3CNF không thể thỏa mãn (có lẽ tôi đang thiếu một cái gì đó rõ …

15 logic  satisfiability  3-sat 

Planar 3SAT là NP-đầy đủ. Một thể hiện 3SAT phẳng là một thể hiện 3SAT mà đồ thị được xây dựng bằng các quy tắc sau là phẳng: thêm một đỉnh cho mọi và ¯ x ixTôixTôix_ixTôi¯xTôi¯\bar{x_i} thêm một đỉnh cho mọi mệnh đềCjCjC_j thêm một cạnh cho mỗi cặp( …

14 np-complete  reductions  satisfiability  3-sat 

Tôi đang cố gắng thực hiện một bài tập (lấy từ cuốn sách Thuật toán - của S. Dasgupta, CH Papadimitriou, và UV Vazirani , Chap 8, vấn đề 8.6a), và tôi đang diễn giải những gì nó nói: Cho rằng 3SAT vẫn hoàn thành NP ngay cả khi bị …

10 complexity-theory  satisfiability  3-sat 

Có một thuật toán ngẫu nhiên rất đơn giản, được đưa ra 3SAT, tạo ra một phép gán thỏa mãn ít nhất 7/8 mệnh đề (theo kỳ vọng): chọn một phép gán ngẫu nhiên. Một phép gán ngẫu nhiên thỏa mãn từng mệnh đề với xác suất 7/8 và do …

8 randomized-algorithms  3-sat 

Trong trường hợp xấu nhất, sự thỏa mãn của Boolean (giả sử P! = NP) mất thời gian theo cấp số nhân. Tuy nhiên, người giải SAT hiện đại sử dụng các biến thể của DPLL, có thể giải quyết đủ các trường hợp có ích trong thực tế. Một …

7 satisfiability  randomized-algorithms  3-sat  sat-solvers 

Dưới đây là sự đơn giản hóa của tôi về một phần của dự án nghiên cứu lớn hơn về các mạng Bayes không gian: Giả sử một biến là " -local" trong một chuỗikkkC∈3-CNFC∈3-CNFC \in 3\text{-CNF} nếu có ít hơn kkk mệnh đề giữa mệnh đề đầu tiên và …

7 np-hard  satisfiability  polynomial-time  3-sat  2-sat