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

Đối với một công thức 3CNF để là số tối đa của các điều khoản thỏa mãn trong bất kỳ chuyển nhượng tới . Được biết, Max-3SAT khó gần đúng (theo P ≠ NP), tức là không có thuật toán đa thời gian có đầu vào là công thức 3CNF …

26 cc.complexity-theory  sat 

Có thể dịch một công thức boolean B thành một tổ hợp tương đương của mệnh đề Horn không? Bài viết trên Wikipedia về HornSAT dường như ngụ ý rằng nó là như vậy, nhưng tôi không thể theo đuổi bất kỳ tài liệu tham khảo nào. Lưu ý rằng …

26 reference-request  lo.logic  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 

Người giải SAT rất quan trọng trong các cuộc tấn công đại số , ví dụ walksat và minisat . Tuy nhiên, khi giải quyết các vấn đề điểm chuẩn có sẵn ở đây, có một sự khác biệt lớn về hiệu năng giữa hai - Walksat nhanh hơn nhiều …

25 ds.algorithms  sat 

Hãy xem xét vấn đề sau: đưa ra một công thức CNF và một bài tập thỏa mãn công thức này, có một bài tập thỏa mãn nào khác cho công thức này không? Sự phức tạp của vấn đề này là gì? (Nó chắc chắn là trong NP, nhưng …

25 cc.complexity-theory  np-hardness  sat  unique-solution 

Tôi muốn làm một người giải SAT đầu tiên. Tôi biết cuộc thi SAT và hội nghị SAT, và chỉ có rất nhiều bài viết về chủ đề này. Tôi là một người bắt đầu, một người bắt đầu choáng ngợp. Tôi nên bắt đầu từ đâu? Cuối cùng, tôi …

24 ds.algorithms  reference-request  lo.logic  sat 

Những gì được biết về sự phức tạp của việc tìm các mạch tối thiểu tính toán SAT lên đến chiều dài ? nnn Chính thức hơn: độ phức tạp của hàm là gì, được đưa ra khi đầu vào xuất ra một mạch tối thiểu sao cho bất kỳ …

23 cc.complexity-theory  sat 

Đặt các biến là . Khoảng cách giữa hai biến được định nghĩa là. Khoảng cách giữa hai chữ là khoảng cách giữa hai biến tương ứng.x1,x2,x3...xnx1,x2,x3...xnx_1 , x_2 , x_3 ... x_nd(xa,xb)=|a−b|d(xa,xb)=|a−b|d(x_a , x_b) = |a-b| Giả sử tôi có một ví dụ 3-SAT sao cho với mọi mệnh …

22 np-hardness  sat 

Tiếp theo từ một câu hỏi trước đó , giới hạn không gian hiện tại tốt nhất cho SAT là gì? Với một không gian giới hạn thấp hơn ở đây tôi có nghĩa là số lượng ô làm việc được sử dụng bởi máy Turing sử dụng bảng chữ …

22 cc.complexity-theory  sat  lower-bounds  space-bounded  space-complexity 

Tôi hoàn toàn không hiểu tại sao hầu hết tất cả những người giải SAT đều sử dụng CNF thay vì DNF. Dường như với tôi, việc giải SAT dễ dàng hơn khi sử dụng DNF. Rốt cuộc, bạn chỉ cần quét qua bộ cấy ghép và kiểm tra xem …

22 ds.algorithms  sat 

Bất cứ ai cũng có thể vui lòng trỏ đến một hoặc nhiều trang web nơi có thể tải xuống bản triển khai hoạt động của bộ giải #SAT? Tôi quan tâm đến những người trả về số lượng giải pháp chính xác, không phải là một xấp xỉ.

21 ds.algorithms  sat  software 

Tôi hiện đang quan tâm đến việc có được (hoặc xây dựng) và nghiên cứu các công thức 3-CNF không thỏa mãn và có kích thước tối thiểu. Nghĩa là, chúng phải bao gồm càng ít mệnh đề (tốt nhất là m = 8) càng tốt và càng ít biến …

19 cc.complexity-theory  sat 

Vấn đề quyết định CNF-SAT có thể được mô tả như sau: Input: Một công thức boolean ở dạng chuẩn hội.ϕϕ\phi Câu hỏi: Có tồn tại một phép gán biến thỏa mãn không?ϕϕ\phi Tôi đang xem xét một số cách tiếp cận khác nhau để giải quyết CNF-SAT với máy …

19 time-complexity  sat  turing-machines  np  nondeterminism 

Vấn đề Max-Sat yêu cầu bạn tìm một bài tập về công thức CNF thỏa mãn càng nhiều mệnh đề càng tốt. Đối với bài toán SAT đơn giản hơn, có nhiều trường hợp đặc biệt đã biết có thể được giải trong thời gian đa thức, ví dụ: chúng …

18 sat  treewidth  max2sat 

Đặt là Công thức CNF thỏa đáng với biến và mệnh đề . Đặt là không gian giải pháp của . n m S F 1 F 1F1F1F_1nnnmmmSF1SF1S_{F_1}F1F1F_1 Hãy xem xét vấn đề xác định, đưa ra , một Công thức CNF khác có cùng bộ biến như , với …

18 cc.complexity-theory  co.combinatorics  sat  formulas