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

Tôi có một phần trong nỗ lực chứng minh của . Nỗ lực chứng minh bao gồm một giảm Karp từ vấn đề -complete VERTEX BÌA 3 THƯỜNG XUYÊN để thi SAT. ⊕ P ⊕⊕P⊆NP⊕P⊆NP\oplus \mathbf{P} \subseteq \mathbf{NP}⊕P⊕P\oplus \mathbf{P}⊕⊕\oplus Cho một đồ thị khối , phần giảm tạo ra công …

12 cc.complexity-theory  graph-theory  complexity-classes  sat  counting-complexity 

Có một kết quả được biết đến về mức độ phức tạp của 1 trong 3-SAT với số lần xuất hiện hạn chế không? Tôi đã đưa ra cách giảm đáng kể sau đây với Peter Nightingale, nhưng tôi muốn trích dẫn điều gì đó nếu điều này được biết. …

11 reference-request  sat  reductions 

Impagliazzo, Paturi và Calabro, Impagliazzo, Paturi đã giới thiệu Giả thuyết theo thời gian lũy thừa (ETH) và Giả thuyết thời gian theo hàm mũ mạnh mẽ (SETH). Một cách thô bạo, SETH nói rằng không có thuật toán nào giải được SAT trong thời gian . 1.99n1.99n1.99^n Tôi đã …

11 cc.complexity-theory  sat  exp-time-algorithms 

Đặt là một vectơ của các biến boolean. Gọi là hai mạch boolean trên . Nói rằng tương tự như nếu:x=(x1,…,xn)x=(x1,…,xn)x=(x_1,\dots,x_n)x C DC,DC,DC,DxxxCCCDDD Pr[C(x)≠D(x)]Pr[C(x)≠D(x)]\Pr[C(x) \ne D(x)] nhỏ theo cấp số nhân, khi xxx được vẽ đồng đều ngẫu nhiên từ {0,1}n{0,1}n\{0,1\}^n (nói cách khác, chúng có chức năng gần như …

11 sat  application-of-theory 

Bài báo gần đây từ FOCS2013, Strong Backreen to Bounded Treecreen SAT của Gaspers và Szeider nói về mối liên hệ giữa treewidth của biểu đồ mệnh đề SAT và độ cứng của thể hiện. Đối với các trường hợp 3-SAT ngẫu nhiên, tức là các trường hợp 3-SAT được …

11 graph-algorithms  sat  treewidth  random-k-sat  hard-instances 

Tất cả các bộ giải #SAT mà tôi biết, ví dụ RelSat, C2D, chỉ trả về số lượng phiên bản thỏa đáng. Nhưng tôi muốn biết từng trường hợp đó? Có một bộ giải #SAT như vậy hay tôi nên sửa đổi một bộ giải #SAT có sẵn để làm …

11 lo.logic  sat  software 

Những trở ngại để làm cho người giải SAT cạnh tranh với các thuật toán đồ thị chuyên dụng là gì? Nói cách khác, có khả thi khi mong đợi các bộ giải SAT có thể thay thế vai trò của người thiết kế thuật toán - tức là có …

11 ds.algorithms  graph-theory  sat 

Tôi đã phát triển thuật toán SAT được một thời gian và đã đạt đến điểm mà tôi muốn chia sẻ nó. Tôi không biết nhiều người trong ngành khoa học máy tính và tôi không biết chính xác nơi nào để rẽ. Tôi đang tự hỏi những tài nguyên …

11 sat  soft-question  proofs 

Tôi quan tâm đến một biến thể SAT trong đó công thức CNF là đơn điệu (không có biến nào bị phủ định). Một công thức như vậy rõ ràng là thỏa đáng. Nhưng nói rằng số lượng các biến thực sự là thước đo mức độ tốt của giải …

11 cc.complexity-theory  np-hardness  sat 

Elberfeld, Jakoby và Tantau 2010 ( ECCC TR10-062 ) đã chứng minh một phiên bản hiệu quả của định lý Bodlaender. Họ đã chỉ ra rằng đối với các đồ thị có treewidth nhiều nhất là , có thể tìm thấy phân rã cây có chiều rộng bằng cách sử …

10 cc.complexity-theory  sat  treewidth  space-complexity 

Tôi quan tâm đến việc giảm -Clique thành SAT mà không làm cho ví dụ lớn hơn nhiều.kkk Clique nằm trong NP nên có thể giảm xuống SAT bằng không gian logarit. Việc giảm bớt sách giáo khoa đơn giản của Garey / Johnson sẽ làm tăng thể tích lên …

10 cc.complexity-theory  sat  reductions  clique 

Định nghĩa tiêu chuẩn của Planar 3-SAT là gì? Tôi đã thấy một số định nghĩa khác nhau. Bài báo gốc đã định nghĩa nó là gì và chứng minh nó là NP-Complete?

10 cc.complexity-theory  reference-request  np-hardness  sat  planar-graphs 

Là một vấn đề CNF SAT NP có khó không khi tổng số (nhưng không phải chiều rộng) của các mệnh đề 3 hoặc nhiều hơn được giới hạn ở trên bởi một hằng số? Điều gì đặc biệt khi chỉ có một điều khoản như vậy?

10 np-hardness  sat  upper-bounds 

Có một loại tự nhiên của các công thức CNF - tốt nhất là một công thức đã được nghiên cứu trước đây trong tài liệu - với các thuộc tính sau:CCC là một trường hợp dễ dàng của SAT, ví dụ như Horn hoặc 2-CNF, nghĩa là tư cách …

10 sat  proof-complexity 

Bối cảnh : Kavvadias và Sideri đã chỉ ra rằng vấn đề 3-SAT nghịch đảo là coNP Hoàn thành: Cho một bộ mô hình trên biến, có công thức 3-CNF sao cho là bộ mô hình chính xác của nó không? Một công thức ứng cử viên ngay lập tức …

10 cc.complexity-theory  lo.logic  complexity-classes  computability  sat