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

Tôi là một học sinh năm hai trung học, người quan tâm đến khoa học máy tính. Tôi đã phát triển một thuật toán tuyệt vời cho #SAT và tôi đang thực hiện và thực hiện một dự án khoa học công bằng về nó. Cố vấn của tôi, giáo …

9 algorithms  satisfiability 

Valiant & Vazirani đã chứng minh SAT có thể giảm xuống còn UNIQUE SAT dưới các mức giảm xác suất ngẫu nhiên trong thời gian đa thức. Calabro và cộng sự . cho thấy rằng UN -QUE k-SAT cũng khó như k-SAT. Bây giờ câu hỏi là, nếu ai đó …

9 complexity-theory  satisfiability  p-vs-np 

Tôi đã tự hỏi nếu vấn đề này có một tên: Cho một đồ thị đơn giản có các cạnh được tô màu đỏ, xanh dương và xanh lục, , có một đỉnh màu sao cho mọi cạnh có một điểm cuối với cùng màu?G = ( V, B ∪ …

9 algorithms  complexity-theory  graphs  satisfiability  colorings 

Đặt là ngôn ngữ của tất cả các công thức -CNF , sao cho ít nhất các mệnh đề của có thể được thỏa mãn. 2 φ ( 1LϵLϵL_\epsilon222φφ\varphiφ(12+ϵ)(12+ϵ)(\frac{1}{2}+\epsilon)φφ\varphi Tôi cần chứng minh rằng có tồn tại st là -hard cho bất kỳ .L ε N P ε < ε …

9 complexity-theory  satisfiability  approximation 

Tôi đã đọc bài báo này trong đó các tác giả giải thích Định lý 1, trong đó nêu rõ "Đối tượng có thể tiếp cận" (như được định nghĩa trong bài viết) là NP-đầy đủ. Tuy nhiên, họ chứng minh việc giảm chỉ theo một hướng, tức là từ …

8 complexity-theory  np-complete  np-hard  satisfiability 

Tôi có câu hỏi sau đây. Là người giải SAT có tính quyết định? Ý tôi là, ví dụ, về thuật toán miniSAT và DPLL . Họ hoàn toàn xác định? Nếu các thuật toán này sẽ trả về unSAT, điều đó có nghĩa là chắc chắn giải pháp đó …

8 algorithms  logic  satisfiability  sat-solvers 

Hãy tưởng tượng chúng ta có một công thức thỏa đáng Vấn đề cần giải quyết là "Có một phép gán cho các biến sẽ tạo ra F không thỏa mãn? ". Một cách giải quyết là tìm tất cả các giải pháp cho F theo các biến và nếu …

8 logic  satisfiability  sat-solvers 

Gần đây, tôi đang đọc các bài báo về sự phân đôi . Tôi không hiểu điều kiện nào có thể được gọi là sự phân đôi ? Ý nghĩa của "một câu hỏi là trong P hoặc trong NP - hoàn thành " là gì? (giả sử P NP …

8 complexity-theory  np-complete  satisfiability 

Hãy để x=(x1,…,xn)x=(x1,…,xn)x=(x_1,\dots,x_n) và được -vectors biến boolean. Tôi có một vị từ boolean trên . Tôi đưa cho bạn tôi Priscilla . Đáp lại, cô ấy đưa cho tôi , một vị từ boolean trên và cô ấy tuyên bố rằngn Q ( x , y ) x , …

8 logic  satisfiability  first-order-logic  software-verification  model-checking 

Nếu chúng tôi cho rằng chúng tôi bắt đầu bằng một thể hiện của kkk -SAT và thử chuyển đổi vấn đề sang một thể hiện của (k+m)(k+m)(k+m) -SAT, trong đó có (k+m)(k+m)(k+m) đen cho mỗi mệnh đề, chúng tôi có thể đảm bảo giảm bớt tổng số mệnh đề? …

8 complexity-theory  logic  satisfiability 

Sự thỏa mãn chung (với một vài ngoại lệ như Điều khoản sừng) không được tin là có một giải pháp thuật toán. Tuy nhiên, thuật toán sau đây dường như là một giải pháp cho sự thỏa mãn chung. Chính xác lỗ hổng với thuật toán sau là gì? …

8 algorithms  logic  satisfiability  constraint-programming 

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 

Concorde TSP là một người giải quyết cho TSP. Người giải SAT là người giải quyết sự thỏa mãn của boolean. TSP và SAT hoàn thành NP. Do đó, tại sao lại dành thời gian để phát triển TSP của Concorde khi có rất nhiều người giải SAT trên thị …

7 np-complete  satisfiability  p-vs-np  traveling-salesman  sat-solvers 

Gần đây tôi đã biết rằng đối với bất kỳ trường hợp nào của bài toán k-SAT với mệnh đề và chữ, chúng ta có một phép gán nghĩa đen sao cho ít nhất mệnh đề được thỏa mãn.mmmnnnm(1−2−k)m(1−2−k)m(1 - 2^{-k}) Tôi đã tự hỏi nếu chúng ta có thể …

7 graphs  satisfiability  lower-bounds