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

Trong khi đọc bài viết "Đã đến lúc tuyên bố chiến thắng trong việc đếm độ phức tạp?" tại blog "Thư bị mất của Godel và P = NP" , họ đã đề cập đến sự phân đôi cho CSP. Sau một số liên kết sau, googling và wikipinating, tôi …

27 cc.complexity-theory  np-hardness  complexity-classes  sat  csp 

Khi thiết kế các thuật toán gần đúng, đôi khi nó giải quyết một chương trình semidefinite theo sau là một bước làm tròn. Một ví dụ thường được sử dụng để minh họa điều này là Max-Cut. (Xem ví dụ: Thuật toán xấp xỉ của Vijay Vazirani.) Có các …

22 ds.algorithms  reference-request  approximation-algorithms  semidefinite-programming  csp 

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 

Bối cảnh : Trong bài báo UGC gốc của Subhash Khot ( PDF ), ông đã chứng minh độ cứng của UG khi quyết định liệu một trường hợp CSP nhất định có ràng buộc tất cả các dạng Không bằng nhau (a, b, c) trên bảng chữ cái tạm …

16 cc.complexity-theory  approximation-hardness  unique-games-conjecture  csp 

Vấn đề bảo trì đơn hàng (hoặc "duy trì trật tự trong danh sách") là để hỗ trợ các hoạt động: singleton: tạo một danh sách với một mục, trả về một con trỏ tới nó insertAfter: đưa ra một con trỏ tới một mục, chèn một mục mới vào …

15 ds.data-structures  soft-question  pl.programming-languages  graph-theory  tree  cc.complexity-theory  pcp  co.combinatorics  cg.comp-geom  pr.probability  vc-dimension  cc.complexity-theory  complexity-classes  relativization  soft-question  advice-request  career  soft-question  research-practice  paper-review  journals  co.combinatorics  cc.complexity-theory  complexity-classes  pr.probability  average-case-complexity  cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory  ds.algorithms  cc.complexity-theory  approximation-hardness  csp  pcp  cc.complexity-theory  circuit-complexity 

Định lý phân đôi của Schaefer cho thấy mỗi bài toán CSP trên đều có thể giải được trong thời gian đa thức hoặc là NP-đầy đủ. Điều này chỉ áp dụng cho các vấn đề CSP có chiều rộng giới hạn, ngoại trừ SAT và Horn-SAT, chẳng hạn. Các …

12 cc.complexity-theory  lo.logic  csp 

Đặt là công thức 2CNF và là số nguyên không âm. Nó được chứng minh trong này giấy rằng vấn đề của việc quyết định xem ai có thể xóa nhiều nhất là khoản để thực hiện φ satisfable, được cố định tham số dể làm, nơi k là tham …

12 parameterized-complexity  csp  fixed-parameter-tractable 

Một công thức tương đương của định lý PCP là: Đối với Max 3-SAT nó là -Hard để phân biệt giữa công thức satisfiable và công thức mà nhiều nhất là -fraction của các mệnh đề satisfiable (đối với một số ).NPNPNPrrrr<1r<1r\lt 1 Có bất kỳ định lý phân đôi …

12 cc.complexity-theory  pcp  csp 

Câu hỏi sau đây đã đưa ra một số lần khi kiểm tra tính bảo mật của hệ thống hoặc mô hình. Động lực: Lỗi bảo mật phần mềm thường không phải do lỗi do đầu vào hợp lệ, mà là lỗi do đầu vào không hợp lệ đủ gần …

12 lo.logic  csp  security 

Vấn đề N-queen là đây: Đầu vào: N Đầu ra: Vị trí của N "nữ hoàng" trên bàn cờ NXN sao cho không có hai nữ hoàng nằm trên cùng một hàng, cột hoặc đường chéo. Thực hiện tìm kiếm trên google, tôi thấy rằng nhiều slide của nhiều giáo …

11 cc.complexity-theory  np-hardness  csp 

Tại SODA 2006, bài viết của Martin Grohe và D niel Marx "Giải quyết ràng buộc thông qua bìa cạnh phân đoạn" ( trích dẫn ACM ) cho thấy đối với lớp siêu dữ liệu có độ rộng siêu phân đoạn giới hạn, CSP ( ) .a´a´\acute{\rm a}HHHHHH∈PTIME∈PTIME\in PTIME Định …

10 cc.complexity-theory  graph-theory  hypergraphs  treewidth  csp 

Cho một đồ thị có hướng cố định (sơ đồ) , bài toán quyết định D -COLORING hỏi xem một sơ đồ đầu vào G có đồng cấu với D không . (Phép đồng hình của G đến D là ánh xạ f của V ( G ) đến V …

9 reference-request  graph-theory  np-hardness  csp  homomorphism 

(Đây là "thượng kết thúc" của câu hỏi của tôi từ hơn 10 months ago trên cs.stackexchange. Đó là câu hỏi và "kết thúc thấp hơn" Tôi hỏi đây hơn 8 tháng trước đây , mà tôi cũng có một tiền thưởng trên, đều được trả lời. Những là ảnh …

8 np-hardness  csp  promise-problems