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

Giả sử chúng ta xem xét 3-SAT với biến và mệnh đề . Tôi đang nghiên cứu một phương pháp có vẻ mất thời gian / không gian để giải quyết bất kỳ vấn đề SAT nào phù hợp với mô tả này, trong một lỗi có thể được điều …

10 ds.algorithms  sat  upper-bounds 

Một ngôn ngữ nằm trong lớp iff có hai ngôn ngữ và sao choLLLL 1 ∈ N P L 2 ∈ c o N P L = L 1 ∩ L 2DPDPDPL1∈NPL1∈NPL1 \in NPL2∈coNPL2∈coNPL2 \in coNPL=L1∩L2L=L1∩L2L = L1 \cap L2 Một vấn đề -complete chính quy là SAT-UNSAT: đưa ra …

10 cc.complexity-theory  np-hardness  complexity-classes  sat 

Tôi muốn biết trạng thái hiện tại của quá trình chuyển pha cho k-sat ngẫu nhiên, với n biến và m mệnh đề, c = m / n được biết đến nhiều nhất cho giới hạn trên và dưới.

10 cc.complexity-theory  sat  lower-bounds  upper-bounds  phase-transition 

Câu hỏi này đã xuất hiện trong đầu tôi sau khi đọc những đóng góp của András Salamon và Colin McQuillan cho câu hỏi trước đây của tôi Đếm các giải pháp của công thức Monotone-2CNF . EDIT 30 ngày tháng 3 năm 2011 gia tăng câu hỏi n ° …

10 cc.complexity-theory  ds.algorithms  sat  counting-complexity 

Tôi quan tâm đến các trường hợp "khó" riêng lẻ của các vấn đề hoàn thành NP. Ryan Williams đã thảo luận về vấn đề SAT0 tại blog của Richard Lipton . SAT0 hỏi liệu một trường hợp SAT có giải pháp cụ thể bao gồm tất cả 0 không. …

10 cc.complexity-theory  sat  hard-instances 

Các bộ giải SMT như Z3 hoặc Boolector sử dụng một bộ heuristic phức tạp để giải quyết các vấn đề. Tuy nhiên, điều này cũng làm cho việc dự đoán hiệu suất của một bộ giải như vậy cho một vấn đề nhất định rất khó khăn. Câu hỏi …

9 ds.algorithms  sat  heuristics 

Bài toán chuẩn 1 trong 3 SAT (hoặc XSAT hoặc X3SAT) là: Trường hợp : một công thức CNF với mỗi mệnh đề chứa đúng 3 chữ Câu hỏi : có một phép gán thỏa mãn chính xác 1 chữ cho mỗi mệnh đề có đúng không? Vấn đề là …

9 cc.complexity-theory  np-hardness  sat 

Hãy xem xét vấn đề # P-đầy đủ cổ điển # 3SAT, nghĩa là, để đếm số lượng định giá để tạo ra 3CNF với biến thỏa đáng. Tôi quan tâm đến tính gần đúng phụ gia . Rõ ràng, có một thuật toán tầm thường để đạt được 2 …

9 approximation-algorithms  sat  counting-complexity  approximation-hardness 

Hãy xem xét một công thức 3CNF Monotone có cả hai hạn chế bổ sung sau: Mỗi biến xuất hiện trong đúng mệnh đề.222 Cho mệnh đề bất kỳ , chúng chia sẻ tối đa biến.222111 Tôi muốn biết làm thế nào là khó khăn để đếm các bài tập …

9 cc.complexity-theory  sat  counting-complexity 

Tôi muốn biết nơi tôi có thể giới thiệu một cách tốt đẹp, nhẹ nhàng về k-SAT (điều này có thể dành cho các nhà toán học có thể không có nền tảng khoa học máy tính tốt). Tôi cũng muốn biết các bài báo có thể khảo sát hoặc …

9 reference-request  sat  survey 

Tôi tự hỏi liệu chúng có phải là bất kỳ cách tiếp cận nào hình thành vấn đề Định tuyến xe cộ với Thời gian-Windows ( VRPTW ) (như một vấn đề quyết định) như là một ví dụ SAT / SMT không? (thay thế: TSP) Ví dụ: "Có giải …

9 ds.algorithms  reference-request  sat  reductions  tsp 

Nói ngắn gọn, câu hỏi của tôi là: bằng chứng ban đầu của Karp có giảm SAT xuống 3SAT không cần thiết không? Cac chi tiêt như sau. Trong bài viết về khả năng giảm thiểu trong số các vấn đề kết hợp năm 1972 , Karp đã chứng minh …

8 cc.complexity-theory  sat  reductions 

Theo XOR Satisfiability Solver Module cho DPLL Integration bởi Tero Laitinen, chúng ta cần CNF khoản để chuyển đổi một đen khoản XOR-SAT nếu chúng ta không muốn tăng số lượng các literals. Vì vậy, tôi hiểu rằng chi phí tính toán để chuyển đổi biểu thức XOR-SAT thành CNF …

8 sat  boolean-functions  boolean-formulas 

Các vấn đề tối đa satisfiability (Max-Sat) là vấn đề của việc tìm kiếm số lượng tối đa các điều khoản có thể được Satisified trong một trường hợp satisfiability Boolean. Vấn đề chính xác 1 trong 2 Sat yêu cầu, được đưa ra một tập các mệnh đề mỗi …

8 graph-algorithms  sat  max2sat 

(Tôi đã đăng câu hỏi này trên CS mười ngày trước, không có câu trả lời kể từ đó - vì vậy tôi đăng nó ở đây.) Bất kỳ công thức CNF nào cũng có thể được chuyển đổi trong thời gian đa thức thành công thức 3-CNF bằng cách …

8 cc.complexity-theory  complexity-classes  sat