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

Có thuật toán nào để giải SAT không dựa trên DPLL không? Hoặc tất cả các thuật toán được sử dụng bởi người giải SAT đều dựa trên DPLL?

18 ds.algorithms  reference-request  sat 

Ở đây, mục tiêu là giảm một vấn đề SAT tùy ý xuống còn 3-SAT trong thời gian đa thức bằng cách sử dụng số lượng mệnh đề và biến số ít nhất. Câu hỏi của tôi được thúc đẩy bởi sự tò mò. Ít chính thức hơn, tôi muốn …

18 cc.complexity-theory  sat  reductions 

Tất nhiên, vấn đề thỏa mãn là một vấn đề cơ bản trong lý thuyết CS. Tôi đã chơi với một phiên bản của vấn đề với vô số biến. \newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} Thiết lập cơ bản. Đặt là tập hợp các biến không trống và có thể là vô hạn …

18 reference-request  lo.logic  sat  topology  lattice 

Phiên bản ngắn. Bằng chứng ban đầu rằng # 2-SAT là #P -complete cho thấy, trên thực tế, những trường hợp của # 2-SAT là cả hai đơn điệu (không liên quan đến phủ định của bất kỳ biến nào) và bipartite (biểu đồ được tạo bởi các mệnh đề …

17 cc.complexity-theory  sat  counting-complexity 

Cho m,n,km,n,km, n, k , có bao nhiêu kkk -DNF với biến và mệnh đề là tautology? (hoặc có bao nhiêu -CNF không thỏa mãn?)m knnnmmmkkk

17 co.combinatorics  lo.logic  sat 

Trước đây, tôi đã thực hiện các mô hình phối hợp sử dụng SAT và sự hài lòng ràng buộc thường xuyên như là công việc cốt lõi trong động cơ của họ. Tiếp tục công việc này, tôi muốn làm cho các mô hình trở nên tương tác hơn, …

17 sat  lo.logic  csp 

Câu hỏi này có lẽ nằm ở ranh giới giữa chủ đề và ngoài chủ đề, tuy nhiên tôi đã thấy những câu hỏi tương tự ở đây, vì vậy tôi sẽ hỏi nó. Tôi đang thực hiện một cách độc đáo -SAT giải, mà đầu vào là một thức …

16 sat 

Theo kết quả kinh điển của Kuroda, lớp phức tạp NSPACE [ ]nnn (còn được gọi là NLIN-SPACE) chính xác là lớp CSL của các ngôn ngữ nhạy cảm theo ngữ cảnh . Vấn đề thỏa mãn SAT nằm ở NSPACE [ ], do có thể kiểm tra dự đoán …

16 cc.complexity-theory  fl.formal-languages  sat  space-bounded 

Người ta biết rằng các công thức -CNF ngẫu nhiên trên biến có mệnh đề là không thỏa mãn (nghĩa là chúng mâu thuẫn) với xác suất cao, cho hằng số đủ lớn . Do đó, các công thức -CNF ngẫu nhiên (đối với đủ lớn) tạo thành một phân …

16 cc.complexity-theory  reference-request  lo.logic  sat  random-k-sat 

Câu hỏi này liên quan chặt chẽ đến một bài khác: Chuyển pha trong các vấn đề khó khăn của NP nhưng nó hơi khác một chút. Trong khi câu hỏi đó là về độ cứng của các trường hợp cụ thể của các vấn đề NP, thì đây là …

15 cc.complexity-theory  np-hardness  sat 

Nếu , thì có một thuật toán logspace giải quyết phiên bản quyết định của 2-SAT.L=NLL=NL\mathsf{L = NL} Có phải ngụ ý rằng có một thuật toán logspace để có được một bài tập thỏa mãn , khi được đưa ra một ví dụ 2-SAT thỏa đáng làm đầu vào …

15 sat  search-problem  logspace 

Người giải SAT đưa ra một cách mạnh mẽ để kiểm tra tính hợp lệ của công thức boolean với một bộ định lượng. Chẳng hạn, để kiểm tra tính hợp lệ của , chúng ta có thể sử dụng bộ giải SAT để xác định xem có thỏa đáng …

15 ds.algorithms  lo.logic  sat  boolean-functions 

Tỷ lệ quan trọng của mệnh đề cho các biến cho 3-SAT ngẫu nhiên là nhiều hơn 3 và nhỏ hơn 6 và dường như thường được mô tả là "khoảng 4.2" hoặc "khoảng 4.25". Mezard, Parisi và Zecchina chứng minh (theo nghĩa vật lý) rằng tỷ lệ tới hạn …

14 sat  phase-transition  random-k-sat 

Tôi đã tra cứu trên internet, nhưng tôi không thể tìm thấy bất kỳ 'danh sách lớn' nào về các biến thể của vấn đề SAT. Ngoài (chung) ĐÃ NGỒI, k-SAT, MAX-kSAT, Nửa SAT, XOR-SAT, NAE-SAT Có những biến thể nào khác không? (cũng sẽ thực sự hữu ích nếu …

14 cc.complexity-theory  sat  big-list 

Vấn đề #SAT là vấn đề # P-đầy đủ. Đây là một vấn đề chức năng chứ không phải là một vấn đề quyết định. Nó hỏi, đưa ra một công thức boolean trong logic mệnh đề, có bao nhiêu bài tập thỏa mãn . Giới hạn dưới tốt nhất …

14 cc.complexity-theory  lower-bounds  sat  counting-complexity