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

Nghiên cứu về biểu diễn Succinc của đồ thị được Galperin và Wigderson khởi xướng trong một bài báo từ năm 1983, trong đó họ chứng minh rằng đối với nhiều vấn đề đơn giản như tìm tam giác trong biểu đồ, phiên bản cô đọng tương ứng trong . …

26 cc.complexity-theory  reference-request  complexity-classes 

Bạn có biết bất kỳ wiki cập nhật nào dành riêng cho các vấn đề tối ưu hóa NP với kết quả gần đúng và độ cứng tốt nhất của chúng không? Dựa trên phản hồi, có vẻ an toàn khi cho rằng không có tài nguyên như vậy (xem …

26 ds.algorithms  reference-request  approximation-algorithms  approximation-hardness 

Có thể dịch một công thức boolean B thành một tổ hợp tương đương của mệnh đề Horn không? Bài viết trên Wikipedia về HornSAT dường như ngụ ý rằng nó là như vậy, nhưng tôi không thể theo đuổi bất kỳ tài liệu tham khảo nào. Lưu ý rằng …

26 reference-request  lo.logic  sat 

Xem xét vấn đề che phủ tập tối thiểu với các hạn chế sau: mỗi bộ chứa tối đa kkk phần tử và mỗi phần tử của vũ trụ xảy ra trong tối đa fff bộ. Ví dụ: trường hợp k=4k=4k = 4 và f=2f=2f = 2 tương đương với …

26 cc.complexity-theory  reference-request  approximation-algorithms  set-cover  np-hardness 

Theo D. den Hertog, Phương pháp tiếp cận điểm nội bộ đối với lập trình tuyến tính, bậc hai và lồi, 1994 , một chương trình tuyến tính với biến, ràng buộc và độ chính xác có thể giải quyết được trong thời gian . Điều đó đã được cải …

25 cc.complexity-theory  reference-request  linear-programming 

tttnnn1≤t≤n≤101≤t≤n≤101\le t \le n\le 10V1(n)=n−1V1(n)=n−1V_1(n) = n-1V2(n)=n−2+⌈n/2⌉V2(n)=n−2+⌈n/2⌉V_2(n) = n - 2 + \lceil n/2 \rceil Vt(n)Vt(n)V_t(n)M(n)=V⌈n/2⌉(n)M(n)=V⌈n/2⌉(n)M(n) = V_{\lceil n/2 \rceil}(n) Như @ MarkusBläser chỉ ra, bảng của Knuth dường như đã kết hợp các kết quả gần đây hơn từ Bill Gasarch, Wayne Kelly và Bill Pugh ( Tìm số …

25 ds.algorithms  reference-request  co.combinatorics  sorting  selection 

Kết quả của Robertson và Seymour chứng tỏ một thuật toán để thử nghiệm liệu một đồ thị cố định G là trẻ vị thành niên của H . Tôi có hai câu hỏi rưỡi về chủ đề này:O(n3)O(n3)O(n^3)GGGHHH 1) Có vẻ như đã có những cải tiến cho thuật …

25 reference-request  graph-theory  co.combinatorics  graph-algorithms 

Những gì được biết về sự phức tạp của vấn đề sau đây: Đưa ra: số hữu tỉ x1&lt;x2&lt;…&lt;xnx1&lt;x2&lt;…&lt;xnx_1 < x_2 < \dotso < x_n . Output: số nguyên y1≤y2≤…≤yny1≤y2≤…≤yny_1 \le y_2 \le \dotso \le y_n . Mục tiêu: giảm thiểu ∑1≤i&lt;j≤ne(i,j),∑1≤i&lt;j≤ne(i,j),\sum_{1 \le i < j \le n} e(i,j), nơi …

25 ds.algorithms  reference-request  optimization 

Có bất kỳ tài liệu tham khảo bao gồm điều này?

25 cc.complexity-theory  reference-request  np-hardness  factoring 

Trước kết quả gần đây của Arora, Barak và Steurer, Thuật toán phụ cho các trò chơi độc đáo và các vấn đề liên quan , tôi quan tâm đến các vấn đề đồ thị có thuật toán thời gian phụ nhưng được cho là không thể giải quyết được …

25 cc.complexity-theory  reference-request 

Tất nhiên, một số kết quả phức tạp có thể sụp đổ đối với các ngôn ngữ đơn nhất nhưng tôi tự hỏi liệu có một cuộc khảo sát nào đó tóm tắt các kết quả đã biết trong trường hợp này: một loại sở thú phức tạp cho các …

25 cc.complexity-theory  reference-request  big-list 

Tôi biết rằng không thể xác định được liệu một bộ gạch có thể xếp máy bay hay không, kết quả của việc Berger sử dụng gạch Wang . Câu hỏi của tôi là liệu nó cũng được biết đến là undecidable để xác định xem một single cho gạch …

24 reference-request  co.combinatorics  decidability  undecidability 

EDIT (v2): Đã thêm một phần ở cuối về những gì tôi biết về vấn đề. EDIT (v3): Đã thêm thảo luận về mức độ ngưỡng ở cuối. Câu hỏi Câu hỏi này chủ yếu là một yêu cầu tham khảo. Tôi không biết nhiều về vấn đề này. Tôi …

24 cc.complexity-theory  reference-request  circuit-complexity  polynomials 

Chỉnh sửa: Trước tiên tôi đã định dạng sai ràng buộc của mình (2), bây giờ nó đã được sửa. Tôi cũng đã thêm thông tin và ví dụ. Với một số đồng nghiệp, nghiên cứu một số câu hỏi thuật toán khác, chúng tôi có thể giảm vấn đề …

24 cc.complexity-theory  ds.algorithms  reference-request 

Nó được thiết lập tốt rằng tồn tại một ngưỡng nhiễu cho tính toán lượng tử, sao cho dưới ngưỡng này, tính toán có thể được mã hóa theo cách nó mang lại kết quả chính xác với xác suất bị ràng buộc (với hầu hết các chi phí tính …

24 quantum-computing  reference-request  fault-tolerance