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

1

Đánh tập hợp các gia đình giao nhau

Tập hợp gia đình là tập hợp con của sao cho cho . Vấn đề để tìm một tập hợp tối thiểu của một gia đình nhất định nói chung là NP-hard, vì nó khái quát hóa vấn đề che đỉnh. Bây giờ câu hỏi của tôi là:H ⋃ n …

15 cc.complexity-theory  np-hardness  approximation-hardness 

---

1

kích thước mạch nhỏ nhất sử dụng cổng XOR

Giả sử chúng ta được cung cấp một tập hợp n biến boolean x_1, ..., x_n và một tập hợp các hàm y y_1 ... y_m trong đó mỗi y_i là XOR của một tập hợp con (đã cho) của các biến này. Mục tiêu là tính toán số lượng …

15 circuit-complexity  approximation-hardness  approximation  matrix-product 

---

1

PSPACE-đầy đủ có nghĩa là độ cứng gần đúng?

Nó được đề cập trong một bình luận trong một bài đăng khác của cstheorySE rằng tính đầy đủ của PSPACE ngụ ý độ cứng APX. Bất cứ ai có thể vui lòng giải thích / chia sẻ một tài liệu tham khảo cho nó? Đây có phải là "chặt …

14 cc.complexity-theory  approximation-algorithms  approximation-hardness  np  pspace 

---

4

Sự tương đương eta cho các chức năng có tương thích với hoạt động seq của Haskell không?

Bổ đề: Giả sử tương đương eta chúng ta có điều đó (\x -> ⊥) = ⊥ :: A -> B. Bằng chứng: ⊥ = (\x -> ⊥ x)bằng cách tương đương eta, và (\x -> ⊥ x) = (\x -> ⊥)bằng cách giảm theo lambda. Báo cáo Haskell 2010, …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

---

1

Phân tích trơn tru các thuật toán gần đúng

Phân tích trơn tru đã được áp dụng nhiều lần để hiểu thời gian chạy của các thuật toán chính xác cho nhiều vấn đề như lập trình tuyến tính và phương tiện k. Có những kết quả khá chung trong lĩnh vực này, ví dụ Heiko Röglin và Berthold …

12 cc.complexity-theory  approximation-algorithms  approximation-hardness  smoothed-analysis 

---

4

độ cứng xấp xỉ số màu trong đồ thị với mức độ giới hạn

Tôi đang tìm kiếm kết quả độ cứng trên màu đỉnh của đồ thị với mức độ giới hạn. Cho một đồ thị , chúng ta biết rằng đối với bất kỳ ε > 0 , thật khó để ước tính χ ( G ) trong vòng hệ số | …

12 cc.complexity-theory  approximation-hardness  graph-colouring  hypergraphs  bounded-degree 

---

2

Định lý phân cấp cho tỷ lệ gần đúng?

Như đã biết, các bài toán tối ưu hóa NP-hard có thể có nhiều tỷ lệ xấp xỉ khác nhau, từ tất cả các cách từ có PTAS đến không thể xấp xỉ trong bất kỳ yếu tố nào. Ở giữa, chúng ta có các hằng số khác nhau, , …

12 cc.complexity-theory  approximation-hardness 

---

1

Hầu như luôn luôn gần đúng

Tôi đang tìm kiếm một lớp phức tạp liên quan đến APX vì BPP liên quan đến P. Tôi đã hỏi cùng một câu hỏi ở đây , nhưng có lẽ TCS sẽ là một địa điểm hiệu quả hơn cho câu trả lời. Lý do của câu hỏi là …

11 cc.complexity-theory  approximation-hardness 

---

2

Tính gần đúng của vấn đề chi

Những gì hiện được biết về tính gần đúng của vấn đề chi? Một tìm kiếm sơ bộ cho tôi biết rằng một xấp xỉ hệ số không đổi là tầm thường đối với các đồ thị đủ dày đặc và thuật toán -appro xấp xỉ đã bị loại trừ. …

11 cc.complexity-theory  approximation-hardness  topological-graph-theory 

---

2

Trò chơi 2P1R nào có tiềm năng sắc nét?

Trò chơi hai vòng một (2P1R) là một công cụ thiết yếu cho độ cứng gần đúng. Cụ thể, sự lặp lại song song của các trò chơi một vòng hai prover cung cấp một cách để tăng kích thước của một khoảng cách trong phiên bản quyết định của …

11 cc.complexity-theory  approximation-hardness 

---

2

Độ cứng của máy tách Vertex

Đối với một biểu đồ , Bài toán phân tách hỏi liệu một tập hợp đỉnh hoặc cạnh nhỏ của cardinality (hoặc trọng lượng) tồn tại có phân vùng loại bỏ thành hai biểu đồ tách rời có kích thước xấp xỉ bằng nhau. Đây được gọi là Sự cố …

11 cc.complexity-theory  approximation-hardness 

---

3

Khi nào khoảng cách đối ngẫu của lập trình semidefinite (SDP) bằng 0?

Tôi đã không thể tìm thấy trong tài liệu một đặc điểm chính xác về sự biến mất của khoảng cách đối ngẫu SDP. Hoặc, khi nào "nhị nguyên mạnh" giữ? Ví dụ, khi một người qua lại giữa Lasserre và SOS SDP, về nguyên tắc, người ta có một …

10 approximation-hardness  convex-optimization  semidefinite-programming  sum-of-squares  primal-dual 

---

2

Yêu cầu tham khảo: Độ cứng tiệm cận của đồ thị tô màu

Tôi nghe nói về một kết quả trong việc tô màu đồ thị gần đúng, nhưng không thể tìm thấy nguồn. Kết quả là: Với mỗi hằng số tồn tại một đủ lớn sao cho tô màu một đồ thị có màu với màu là NP-hard.hhhkkkkkkh khkhk Ai đó có …

10 reference-request  approximation-hardness  graph-colouring 

---

1

Độ cứng của số sắc độ gần đúng trên đồ thị mức giới hạn

Có phải là apx-hard để tính gần đúng số sắc độ phân đoạn trên biểu đồ mức giới hạn?

10 cc.complexity-theory  graph-theory  approximation-hardness  graph-colouring  bounded-degree 

---

2

Sự tồn tại của

Hãy xem xét vấn đề Tập hợp thống trị trong các biểu đồ chung và gọi là số đỉnh trong biểu đồ. Một thuật toán xấp xỉ tham lam mang lại sự đảm bảo gần đúng cho yếu tố , tức là có thể tìm thấy trong đa thức thời …

10 cc.complexity-theory  approximation-algorithms  approximation-hardness 

---