Khoa học máy tính lý thuyết approximation-algorithms

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

Sự đánh đổi gần đúng không gian

Trong bài báo của họ xấp xỉ Khỏang cách Oracles , Thorup và Zwick đã chỉ ra rằng đối với bất kỳ đồ thị vô hướng có trọng số, chúng ta có thể xây dựng một cấu trúc dữ liệu kích thước có thể trả về một ( 2 k …

14 ds.algorithms graph-theory approximation-algorithms space-complexity

1

Phát hiện quan hệ số nguyên cho Subset Sum hoặc NPP?

Có cách nào để mã hóa một thể hiện của Subset Sum hoặc Bài toán phân vùng số để giải pháp (nhỏ) cho một quan hệ số nguyên mang lại câu trả lời không? Nếu không chắc chắn, thì trong một số ý nghĩa xác suất? Tôi biết rằng LLL …

14 cc.complexity-theory np-hardness approximation-algorithms reductions subset-sum

1

Tại sao phỏng đoán tham lam rất khó khăn?

Gần đây tôi đã biết về phỏng đoán tham lam cho vấn đề siêu dây ngắn nhất . Trong bài toán này, chúng tôi được cung cấp một tập hợp các chuỗi S1, Lọ , snS1,Giáo dục,Sns_1,\dots, s_n và chúng tôi muốn tìm các chuỗi siêu ngắn nhất nghĩa là …

14 reference-request approximation-algorithms greedy-algorithms

1

Là tổng con DAG xấp xỉ?

Chúng tôi được cung cấp một biểu đồ chu kỳ có hướng với một số được liên kết với mỗi đỉnh ( ) và số mục tiêu .G = ( V, E)G= =(V,E)G=(V,E)g: V→ Ng:V→Ng:V\to \mathbb{N}T∈ NT∈NT\in \mathbb{N} Vấn đề tổng hợp tập hợp con DAG (có thể tồn tại …

13 ds.algorithms graph-theory graph-algorithms approximation-algorithms subset-sum

1

Tài liệu tham khảo tốt về các phương pháp gần đúng để giải quyết các vấn đề logic

Người ta biết rằng nhiều vấn đề logic (ví dụ như các vấn đề thỏa mãn của một số logic phương thức) không thể quyết định được. Ngoài ra còn có nhiều vấn đề không thể giải quyết được trong lý thuyết thuật toán, ví dụ như trong tối ưu …

13 lo.logic approximation-algorithms undecidability

2

Tăng cường của Subodularity

Hàm tập hợp là mô đun con đơn điệu nếu với tất cả A , B , f ( A ) + f ( B ) ≥ f ( A ∪ B ) + f ( A ∩ B ) .fffA , BMột,BA,Bf( A ) + f( B ) ≥ …

13 ds.algorithms approximation-algorithms submodularity

2

Mối liên quan giữa tham số cố định và thuật toán xấp xỉ

Tham số cố định và xấp xỉ là các cách tiếp cận hoàn toàn khác nhau để giải quyết các vấn đề khó khăn. Họ có động lực khác nhau. Xấp xỉ tìm kết quả nhanh hơn với giải pháp gần đúng. Tham số cố định tìm kiếm giải pháp …

13 cc.complexity-theory reference-request approximation-algorithms fixed-parameter-tractable

2

Biến thể của vấn đề bao gồm tập hợp này được gọi là gì?

Đầu vào là một vũ trụ UUU và một họ các tập con của UUU , nói, F⊆2UF⊆2U{\cal F} \subseteq 2^U . Chúng tôi giả định rằng các tập con trong FF{\cal F} có thể bao gồm UUU , tức là, ⋃E∈FE=U⋃E∈FE=U\bigcup_{E\in {\cal F}}E=U . Một chuỗi bao phủ gia …

12 cc.complexity-theory ds.algorithms approximation-algorithms optimization set-cover

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

1

Mối quan hệ giữa

Mối quan hệ giữa P L SPLS\mathsf{PLS} và Một P XMộtPX\mathsf{APX} gì? Nói cách khác, các vấn đề thừa nhận tìm kiếm cục bộ thời gian đa thức có thể xấp xỉ không? Các vấn đề tối ưu hóa gần đúng có nghĩa là một thuật toán tìm kiếm cục …

12 cc.complexity-theory approximation-algorithms

2

Tô màu đồ thị gần đúng với giới hạn trên được hứa hẹn trên tập độc lập tối đa

Trong công việc của tôi, vấn đề sau đây phát sinh: Có một thuật toán đã biết, xấp xỉ số màu của đồ thị mà không có một bộ thứ tự 65 độc lập không? (Vì vậy, alpha (G) <= 64 được biết đến và | V | / 64 …

12 ds.algorithms graph-algorithms approximation-algorithms graph-colouring

2

Ước tính kích thước VC

Những gì được biết về vấn đề sau đây? Với một bộ sưu tập chức năng f : { 0 , 1 } n → { 0 , 1 } , hãy tìm một subcollection lớn nhất S ⊆ C chịu sự ràng buộc VC-Dimension ( S ) ≤ k …

12 reference-request approximation-algorithms cg.comp-geom lg.learning vc-dimension

3

Các vấn đề với tỷ lệ xấp xỉ tốt nhất đạt được bằng thuật toán trả về giải pháp ngẫu nhiên thống nhất là gì?

Các vấn đề với tỷ lệ xấp xỉ được biết đến tốt nhất đạt được bằng một thuật toán trả về một giải pháp ngẫu nhiên thống nhất là gì? Tôi biết một ví dụ cho vấn đề hoán vị cửa hàng dòng : trong giấy " Bounds Tight cho …

12 ds.algorithms reference-request approximation-algorithms

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