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

G=(V,E)G=(V,E)G=(V,E) iV(G)=min{|N(S)||S|:S⊆V,1≤|S|≤|V|2}iV(G)=min{|N(S)||S|:S⊆V,1≤|S|≤|V|2}i_V(G) = \min\{\frac{|N(S)|}{|S|} : S \subseteq V, 1\le |S|\le \frac{|V|}{2}\} Bạn có thể đưa ra một tham chiếu trong đó vấn đề sau được hiển thị NP-đầy đủ: đưa ra một biểu đồ và một số , câu hỏi là để quyết định xem có số lượng isoperimetric nhiều …

8 reference-request  graph-theory  np-hardness 

Hãy để Alice và Bob tính toán hàm boolean f(x1,…,x2n)f(x1,…,x2n)f(x_1,\dots,x_{2n}) . Chọn một tập hợp con ngẫu nhiên I⊆{1,…,2n}I⊆{1,…,2n}\mathcal I\subseteq\{1,\dots,2n\} của cardinality nnn và để J={1,…,2n}∖IJ={1,…,2n}∖I\mathcal J=\{1,\dots,2n\}\backslash\mathcal I . Hãy Alice nhận được các biến xixix_i nơi i∈Ii∈Ii\in\mathcal I và Bob có được xjxjx_j đâu j∈Jj∈Jj\in\mathcal J . Đặt độ …

8 reference-request  communication-complexity 

Một kết quả cơ bản trong độ phức tạp được tham số hóa của các vấn đề đồ thị là VERTEX COVER được tham số hóa bởi kích thước giải pháp là cố định tham số có thể điều chỉnh (FPT). Mặt khác, khi được tham số hóa bởi "tham …

8 reference-request  graph-algorithms  fixed-parameter-tractable 

Ấn phẩm đầu tiên của khái niệm tối ưu hóa sắp xếp hợp nhất là gì xác định chuỗi các vị trí liên tiếp theo thứ tự tăng dần (còn gọi là chạy) trong thời gian tuyến tính; sau đó liên tục hợp nhất hai chuỗi ngắn nhất như vậy …

8 reference-request  sorting  huffman 

Trước đây tôi đã hỏi câu hỏi này trên Lập trình viên . Không thành công. Tôi đang tìm kiếm tài nguyên học tập bằng văn bản về cách thiết kế cấu trúc dữ liệu đồng thời. Tôi quan tâm nhiều hơn đến quá trình thiết kế (ví dụ: xác …

8 ds.algorithms  reference-request  ds.data-structures  concurrency 

Có bất kỳ giới hạn giao tiếp ngẫu nhiên nào (không tầm thường) đã biết về các giới hạn khoảng cách tự nhiên trong đó các đầu vào 1 nằm cách xa tuyến tính 0 đầu vào không? Đó là, các chức năng phần như vậy mà khoảng cách Hamming …

8 reference-request  communication-complexity 

Tôi đã xem qua một bài thuyết trình của Ryan O'Dellell về các nguyên tắc bất biến. Sau khi chứng minh định lý Berry-Esseen, có một slide thảo luận về các phần mở rộng của định lý và một phần được đề cập có một cái gọi là "phiên bản …

8 reference-request  pr.probability  limited-independence  k-wise-independence 

Trong bộ phim, Inception Cobb yêu cầu Ariadne thiết kế một mê cung cần gấp đôi thời gian để thiết kế. Điều này dẫn đến một vấn đề tổng quát trong đó chúng ta có một tình huống trong đó chúng ta bị giới hạn tài nguyên bởi một số …

8 cc.complexity-theory  reference-request  time-complexity  space-complexity 

Một biểu đồ là lưỡng cực cục bộ nếu vùng lân cận mở của mọi đỉnh tạo ra một biểu đồ lưỡng cực. (Theo các tìm kiếm cùng tên có thể được sử dụng cho một cái gì đó khác liên quan đến các bề mặt). NP-hard nào cho các …

8 reference-request  graph-theory 

Với d⃗ ∈Nnd→∈Nn\vec{d} \in \mathbb{N}^n , hãy đặt Q(d⃗ )⊂NnQ(d→)⊂NnQ(\vec{d}) \subset \mathbb{N}^n là tập hợp các đỉnh của khối nnn chiều hai chiều được chia tỷ lệ theo hướng tọa độ thứ iii bởi didid_i , tức là Q(d⃗ ={⟨±d1,…,±dn⟩}Q(d→={⟨±d1,Giáo dục,±dn⟩}Q(\vec{d} = \{\langle \pm d_1, \ldots, \pm d_n\rangle\} . Hãy …

8 cc.complexity-theory  reference-request  co.combinatorics  cg.comp-geom  time-complexity 

Có một số thuật toán xấp xỉ 2 cho bài toán đặt đỉnh phản hồi KHÔNG GIỚI HẠN (FVS), được tóm tắt trong [4]. Lưu ý rằng việc giảm từ nắp đỉnh xuống FVS là bảo toàn gần đúng. Giả sử phỏng đoán trò chơi độc đáo, chúng ta không …

8 reference-request  graph-algorithms  approximation-algorithms 

Tôi đọc nó ở đây rằng có những gia đình chức năng mà cần các nút trên mạng nơron với ít nhất d - 1 lớp để đại diện cho các chức năng trong khi nhu cầu chỉ O ( n ) nếu mạng thần kinh có ít nhất d …

8 cc.complexity-theory  reference-request 

Vấn đề đồ thị con được kết nối trọng lượng tối đa như sau: Input: một đồ thị G=(V,E)G=(V,E)G=(V,E) và một trọng lượng wiwTôiw_i (có thể là tiêu cực) cho mỗi đỉnh i∈VTôi∈Vi \in V . Đầu ra: một tập hợp con có trọng số tối đa SSS của các …

8 reference-request  np-hardness  reductions  planar-graphs 

Gần đây, đã có một số kết quả mới về nghiên cứu thử nghiệm dựa trên máy tính về Vấn đề sai lệch Erdos (EDP) (thông qua các bộ giải SAT, được trích dẫn bên dưới). Vấn đề này đã được một số nhà nghiên cứu (T) CS trích dẫn …

8 reference-request  co.combinatorics  soft-question  big-picture 

Có ai nghĩ về khả năng của một ngôn ngữ lập trình và một trình biên dịch, sao cho trình biên dịch có thể tự động thực hiện phân tích tiệm cận trong trường hợp xấu nhất? Trường hợp sử dụng mà tôi có trong đầu là một ngôn ngữ …

8 reference-request  pl.programming-languages  time-complexity  compilers  program-analysis