Khoa học máy tính lý thuyết reference-request

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

3

Những chương trình tuyến tính Integer nào dễ?

Trong khi cố gắng giải quyết vấn đề, cuối cùng tôi đã thể hiện một phần của nó như là chương trình tuyến tính số nguyên sau đây. Dưới đây là tất cả các số nguyên dương được cho là một phần của đầu vào. Một tập hợp con được …

13 reference-request linear-programming polynomial-time integer-programming integrality-gap

7

Phân tích toán học và độ phức tạp tính toán?

độ phức tạp tính toán liên quan đến một lượng lớn Combinatorics và lý thuyết số, một số kỹ năng từ stochatics và một số đại số mới nổi. Tuy nhiên, là một nhà phân tích, tôi tự hỏi liệu có những ứng dụng phân tích vào lĩnh vực này, …

13 cc.complexity-theory reference-request soft-question big-picture

4

Về phương pháp Pfaffian trong đếm và kết hợp

Gần đây, tôi đã đi qua phần giới thiệu về Thuật toán ba chiều. Tôi bắt gặp một số đối tượng kết hợp được gọi là Pfaffians. Tôi không thực sự biết nhiều về những thứ đó vào lúc này và đã tìm thấy một số cách sử dụng đáng …

13 reference-request co.combinatorics counting-complexity

1

Định lý Ramsey cho các bộ sưu tập

Trong khi khám phá các kỹ thuật khác nhau để chứng minh các giới hạn thấp hơn cho các thuật toán phân tán, tôi nhận thấy rằng biến thể sau đây của định lý Ramsey có thể có các ứng dụng - nếu điều đó là đúng. Các tham số: …

13 reference-request co.combinatorics ramsey-theory

5

Lỗi bộ xử lý trong điện toán phân tán không bị sập hoặc Byzantine

Có hai loại lỗi bộ xử lý chính trong các mô hình điện toán phân tán: (1) Lỗi sự cố: bộ xử lý dừng và không bao giờ khởi động lại. (2) Thất bại của Byzantine: bộ xử lý hành xử bất lợi, độc hại. Câu hỏi của tôi là: …

13 reference-request dc.distributed-comp

2

sự phức tạp của tin đồn ngẫu nhiên

Vấn đề tin đồn trong các hệ thống phân tán là như sau. Ta có đồ thị với đỉnh. Mỗi đỉnh có một thông điệp phải được gửi đến tất cả các nút.n v m vGGGnnnvvvmvmvm_v Bây giờ, câu hỏi của tôi là trong bối cảnh của mô hình mạng …

13 reference-request dc.distributed-comp

2

Danh sách khác biệt trong lập trình chức năng

Câu hỏi Có gì mới trong cấu trúc dữ liệu chức năng thuần túy kể từ Okasaki? và câu trả lời sử thi của jbapple, được đề cập bằng cách sử dụng danh sách khác biệt trong lập trình chức năng (trái ngược với lập trình logic), đó là điều …

13 reference-request ds.data-structures pl.programming-languages functional-programming logic-programming

3

Là vấn đề nhận dạng 3 hình cầu NP-hoàn thành?

Được biết, việc xác định có hay không một hình 3 cạnh tam giác đã cho là hình cầu 3 trong NP, thông qua công việc của Saul Schleimer năm 2004: "Nhận dạng hình cầu nằm trong NP" arXiv: math / 0407047v1 [math.GT] . Tôi tự hỏi nếu điều này …

13 cc.complexity-theory reference-request open-problem topology

1

Yêu cầu tham khảo: Tối thiểu hóa mô đun và các hàm Boolean đơn điệu

Bối cảnh: Trong học máy, chúng ta thường làm việc với các mô hình đồ họa để biểu diễn các hàm mật độ xác suất chiều cao. Nếu chúng ta loại bỏ ràng buộc mà mật độ tích hợp (tổng) thành 1, chúng ta sẽ có được một hàm năng …

13 reference-request machine-learning lg.learning boolean-functions

4

Tài liệu tham khảo cho định lý cơ bản về luân canh cây

Hai cây tìm kiếm nhị phân được cho là tương đương tuyến tính khi chúng đồng ý theo các đường ngang theo thứ tự. Định lý sau đây giải thích tại sao luân canh cây rất cơ bản: Đặt A và B là cây tìm kiếm nhị phân. Khi đó …

13 reference-request ds.data-structures

1

Tham chiếu đến giới hạn dưới trên dải phân cách trong một lưới?

Thật dễ dàng để xác minh rằng được cung cấp lưới chiều d của các điểm nguyên , với tính phụ thuộc thông thường, người ta có thể tìm thấy một dấu phân cách có kích thước (chỉ cần chọn bất kỳ siêu phẳng giữa, và loại bỏ tất cả …

13 reference-request cg.comp-geom lower-bounds

2

Không gian phân cấp xen kẽ

Được biết đến nhờ Immerman và Szelepcsényi rằng nếu (ngay cả đối với các hàm có thể xây dựng ngoài không gian).f = Ω ( log )N S P A C E (f) = c o N S P A C E ( f)NSPACE(f)= =coNSPMộtCE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)f= Ω ( nhật …

13 cc.complexity-theory reference-request space-bounded alternating-hierarchy

1

Giới thiệu nhẹ nhàng về các khía cạnh thuật toán của độ sâu cây

Độ rộng cây và độ rộng đường dẫn là các tham số phổ biến, đo lường mức độ gần gũi của biểu đồ với cây hoặc đường dẫn, tương ứng. Thật vậy, có vẻ như treewidth rất phổ biến, nó được xuất hiện trong nhiều bài báo, sách và ghi …

13 reference-request graph-algorithms parameterized-complexity

1

Giảm lỗi xác định, hiện đại?

Giả sử người ta có thuật toán ngẫu nhiên (BPP) sử dụng bit ngẫu nhiên. Các cách tự nhiên để khuếch đại xác suất thành công của nó thành , cho bất kỳ nào được chọn , làMộtAArrr1 - δ1−δ1-\deltaδ> 0δ>0\delta>0 Chạy độc lập + phiếu bầu đa số: chạy …

12 reference-request randomness pseudorandomness expanders

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