Khoa học máy tính satisfiability

3

Đưa ra một ví dụ về SAT, tôi muốn có thể ước tính mức độ khó để giải quyết trường hợp đó. Một cách là chạy các bộ giải hiện có, nhưng loại đó đánh bại mục đích ước tính độ khó. Một cách thứ hai có thể là tìm …

28 complexity-theory satisfiability heuristics

2

Mã hóa ràng buộc 1-out-n cho người giải SAT

Tôi đang sử dụng một bộ giải SAT để mã hóa một vấn đề và là một phần của ví dụ SAT, tôi có các biến boolean trong đó có ý định rằng chính xác một trong những điều này là đúng và phần còn lại phải đúng là sai …

25 satisfiability sat-solvers applied-theory

2

Có một thuật toán đôi khi hiệu quả để giải quyết #SAT không?

Đặt là một công thức boolean bao gồm các toán tử AND, OR và NOT thông thường và một số biến. Tôi muốn đếm số lượng đáp ứng nhiệm vụ cho B . Đó là, tôi muốn tìm số lượng các giá trị khác nhau của các giá trị thật …

24 complexity-theory reference-request satisfiability

3

Chuyển đổi các vấn đề (toán học) sang các trường hợp SAT

Những gì tôi muốn làm là biến một bài toán tôi có thành bài toán thỏa mãn boolean (SAT) và sau đó giải nó bằng SAT Solver. Tôi tự hỏi nếu ai đó biết một hướng dẫn, hướng dẫn hoặc bất cứ điều gì sẽ giúp tôi chuyển đổi vấn …

22 algorithms reductions satisfiability

1

Phân loại các biến thể vấn đề thỏa mãn có thể điều chỉnh được

Gần đây tôi tìm thấy trong một bài báo [1] một phiên bản đối xứng đặc biệt của SAT có tên là 2/2/4-SAT . Nhưng có rất nhiều biến thể -complete ngoài kia, ví dụ: MONOTONE NAE-3SAT , MONOTONE 1-IN-3-SAT , ...NPNP\text{NP} Một số biến thể khác có thể kéo …

20 complexity-theory reference-request satisfiability

1

Hỗ trợ cấu trúc dữ liệu cho tìm kiếm địa phương SAT

WalkSAT và GSAT là các thuật toán tìm kiếm cục bộ nổi tiếng và đơn giản để giải quyết vấn đề thỏa mãn Boolean. Mã giả cho thuật toán GSAT được sao chép từ câu hỏi Thực hiện thuật toán GSAT - Làm thế nào để chọn nghĩa đen nào …

20 algorithms data-structures satisfiability

1

Thực hiện thuật toán GSAT - Làm thế nào để chọn nghĩa đen để lật?

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

1

Chứng minh rằng việc chuyển đổi từ CNF sang DNF là NP-Hard

Câu hỏi này đã được di chuyển từ Stack Overflow vì nó có thể được trả lời trên Computer Science Stack Exchange. Di cư 7 năm trước . Làm cách nào để chứng minh rằng việc chuyển đổi từ CNF sang DNF là NP-Hard? Tôi không yêu cầu một câu …

20 complexity-theory np-hard satisfiability sat-solvers normal-forms

1

Tại sao tất cả các bộ giải SAT gần đây hoạt động trên CNF thay vì mạch SAT?

Sau khi phát hành thư viện AIGER để xử lý các đồ thị biến tần và đôi khi vào năm 2006 (tôi nghĩ), một số bộ giải SAT mạch đã được phát hành vào năm 2006-2008, và trong một vài cuộc đua / cuộc thi SAT có các bài hát …

18 satisfiability circuits sat-solvers

3

Tại sao không có thuật toán gần đúng cho SAT và các vấn đề quyết định khác?

Tôi có một vấn đề quyết định NP-đầy đủ. Đưa ra một ví dụ của vấn đề, tôi muốn thiết kế một thuật toán tạo ra CÓ, nếu vấn đề đó là khả thi, và, KHÔNG, ngược lại. (Tất nhiên, nếu thuật toán không tối ưu, nó sẽ mắc lỗi.) …

18 algorithms satisfiability approximation decision-problem

2

Một ngôn ngữ hoàn chỉnh NP dày đặc ngụ ý P = NP

Chúng ta nói rằng ngôn ngữ là dày đặc , nếu có tồn tại một đa thức như vậy cho tất cảNói cách khác, đối với bất kỳ chiều dài cho có chỉ tồn tại đa thức nhiều từ có độ dài mà không phải là trongJ⊆ Σ*J⊆Σ*J \subseteq \Sigma^{*}| …

16 complexity-theory time-complexity np-complete satisfiability

3

Cuốn sách công thức cho mã hóa SAT?

Người giải SAT đang ngày càng hiệu quả hơn trong việc giải quyết các trường hợp lớn và đang được sử dụng làm back-end trong các bối cảnh khác nhau. Mỗi khi muốn sử dụng chúng để giải quyết vấn đề trong một miền cụ thể, anh ấy / cô …

16 reference-request satisfiability sat-solvers

2

Ví dụ về công thức 3-CNF không thỏa mãn là gì?

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

1

Tại sao Định lý của Shaefer's và Mahaney không ngụ ý P = NP?

Tôi chắc chắn ai đó đã nghĩ về điều này trước đây hoặc ngay lập tức bác bỏ nó, nhưng tại sao lý thuyết phân đôi của Schaefer cùng với định lý của Mahaney về các tập thưa thớt không ngụ ý P = NP? Đây là lý do của …

14 complexity-theory np-complete satisfiability p-vs-np

6

Tìm XOR tối đa của hai số trong một khoảng: chúng ta có thể làm tốt hơn bậc hai không?

Giả sử chúng ta đã cho hai số và và chúng ta muốn tìm cho .r max ( i ⊕ j )lllrrrmax(i⊕j)max(i⊕j)\max{(i\oplus j)}l≤i,j≤rl≤i,j≤rl\le i,\,j\le r Thuật toán ngây thơ chỉ đơn giản là kiểm tra tất cả các cặp có thể; ví dụ trong ruby chúng ta sẽ có: def …

14 algorithms algorithms machine-learning statistics testing terminology asymptotics landau-notation reference-request optimization scheduling complexity-theory time-complexity lower-bounds communication-complexity computational-geometry computer-architecture cpu-cache cpu-pipelines operating-systems multi-tasking algorithms algorithm-analysis education correctness-proof didactics algorithms data-structures time-complexity computational-geometry algorithms combinatorics efficiency partitions complexity-theory satisfiability artificial-intelligence operating-systems performance terminology computer-architecture

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