Khoa học máy tính lý thuyết sat

2

Hãy là một công thức với CNF n biến và m khoản. Hãy t ∈ { 0 , 1 } n đại diện cho một nhiệm vụ khác nhau và f φ ( t ) ∈ { 0 , ... , m } đếm số lượng các điều khoản thoả …

14 cc.complexity-theory sat counting-complexity

1

Hậu quả của bằng chứng / thuật toán theo cấp số nhân cho SAT

Sẽ có bất kỳ hậu quả lớn nào nếu SAT có hầu hết các bằng chứng không phụ thuộc hoặc thậm chí mạnh hơn, SAT có các thuật toán thời gian phụ?

14 cc.complexity-theory sat proof-complexity

2

Đếm số lượng bài tập thỏa mãn trong CNF-SAT TÍCH CỰC

Chúng tôi biết vấn đề đếm số lượng bài tập thỏa mãn trong một công thức boolean chung nhất định (CNF-SAT), một công thức DNF nhất định hoặc thậm chí một công thức 2SAT đã cho là một vấn đề # P- Complete. Bây giờ, hãy xem xét một CNF-SAT …

13 sat counting-complexity polynomial-time monotone

1

Làm thế nào là phiên bản MA của SETH được chứng minh là sai?

Theo bài báo này , thảo luận về một phần mở rộng không xác định của Giả thuyết Thời gian theo hàm mũ mạnh mẽ (SETH), "[[]] Williams gần đây đã đưa ra các giả thuyết liên quan về độ phức tạp của Merlin-Arthur của k-TAUT là sai". Tuy nhiên, …

13 sat proofs nondeterminism

2

Lượng màu tối thiểu ngăn chặn một subtrigin có màu đồng đều

Trong Bundeswettberweb Infomatik 2010/2011, có một vấn đề thú vị: Đối với cố định , tìm tối thiểu và bản đồ , sao cho không có bộ ba với .knnnkkk( i , j ) , ( i + l , j ) , ( i + l , j + …

13 graph-theory sat combinatorics

1

Công thức 3-CNF yêu cầu độ phân giải

Nhớ lại rằng chiều rộng của một nghị quyết bác bỏ của một công thức CNF là số tối đa các chữ trong bất kỳ khoản xảy ra trong . Đối với mỗi , có các công thức không thỏa mãn trong 3-CNF st mỗi lần từ chối độ phân …

13 cc.complexity-theory lo.logic sat proof-complexity

2

Khảo sát các biến đổi liên quan đến việc sử dụng bộ giải SAT

Tôi đang bắt đầu nghiên cứu khả năng dựa vào bộ giải SAT để giải quyết vấn đề tối ưu hóa mà tôi quan tâm và hiện đang tìm kiếm một cuộc khảo sát có các ví dụ về các phép biến đổi "thông minh" thành các biến thể của …

13 ds.algorithms reference-request sat optimization

2

Đếm các giải pháp của công thức Monotone-2CNF

Công thức Monotone-2CNF là một công thức CNF trong đó mỗi mệnh đề được cấu tạo bởi chính xác 2 nghĩa đen. Bây giờ, tôi có một giọng đều đều-2CNF công thức . Đặt là tập hợp các bài tập thỏa mãn củaTôi cũng có một orory có thể cung …

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

2

SAT có phải là ngôn ngữ không ngữ cảnh không?

Tôi đang xem xét ngôn ngữ của tất cả các công thức logic mệnh đề thỏa đáng, SAT (để đảm bảo rằng điều này có một bảng chữ cái hữu hạn, chúng tôi sẽ mã hóa các chữ cái mệnh đề theo một cách phù hợp [sửa: các câu trả …

12 cc.complexity-theory circuit-complexity sat context-free

3

Thuộc tính rõ ràng trong 2-CNF hoặc 2-SAT

Làm thế nào một người cho thấy rằng một tài sản nhất định không thể được thể hiện trong 2-CNF (2-SAT)? Có trò chơi nào, chẳng hạn như trò chơi cuội không? Có vẻ như trò chơi cuội đen cổ điển và trò chơi cuội đen trắng không phù hợp …

12 sat lower-bounds combinatorial-game-theory

2

?

Có thể là ? Có những hậu quả thú vị của việc ngăn chặn như vậy? Nó sẽ mâu thuẫn với giả thuyết thời gian theo cấp số nhân?SAT¯¯¯¯¯¯¯¯¯¯∈NTIME(exp(n0.9))SAT¯∈NTIME(exp⁡(n0.9))\overline{SAT} \in NTIME(\exp(n^{0.9}))

12 sat exp-time-algorithms nexp

1

Mô hình SAT độc đáo vs Chính xác

SAT duy nhất là vấn đề nổi tiếng: được đưa ra một công thức CNF , có đúng là F có chính xác một mô hình không?FFFFFF Tôi quan tâm đến vấn đề «Chính xác -SAT»: đưa ra công thức CNF F và số nguyên m > 1 , có …

12 cc.complexity-theory reference-request np-hardness sat reductions

1

Đo tính ngẫu nhiên của các công thức CNF

Người ta biết rộng rãi rằng các công thức CNF có thể được phân vùng thô trong 2 lớp rộng: ngẫu nhiên so với cấu trúc. Các công thức CNF có cấu trúc, đối lập với các công thức CNF ngẫu nhiên, thể hiện một số thứ tự, hiển thị …

12 cc.complexity-theory sat randomness symmetry

2

Định nghĩa chính xác của Random K-SAT là gì?

Có 4 ràng buộc khác nhau mà chúng ta có thể có khi xác định K-SAT ngẫu nhiên. 1) Tổng số chữ trong một mệnh đề đã cho chính xác là K hoặc AT nhiều nhất K 2) Một chữ có thể được sử dụng có hoặc không có thay …

12 cc.complexity-theory sat randomness phase-transition

1

Điều kiện cho khả năng di chuyển của 3SAT-Hài lòng

Điều tôi đặc biệt thắc mắc là liệu có một điều kiện thú vị về tỷ lệ phần trăm bài tập thỏa mãn công thức 3SAT để đảm bảo rằng các vấn đề đó có thể xử lý được. Giả sử ví dụ lớp các bài toán 3SAT mà của …

12 cc.complexity-theory ds.algorithms sat np

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