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

Xem xét các báo cáo vấn đề sau: Cho một số ban đầu, bạn và bạn của bạn lần lượt trừ đi một hình vuông hoàn hảo từ nó. Người đầu tiên có được chiến thắng bằng không. Ví dụ: Trạng thái ban đầu: 37 Người chơi1 trừ 16. Bang: …

10 complexity-theory  time-complexity  np-complete  dynamic-programming  pseudo-polynomial 

Hôm nay tôi đã học được rằng phân tích thuật toán khác nhau dựa trên mô hình tính toán. Đó là điều mà tôi chưa bao giờ nghĩ tới hoặc nghe nói đến. Một ví dụ được đưa ra cho tôi, được minh họa thêm bởi Người dùng @chi là: …

10 complexity-theory  algorithm-analysis  computability  computation-models  lambda-calculus 

Tuyên bố miễn trừ trách nhiệm: Tôi biết có những câu hỏi nghe có vẻ tương tự đã có ở đây và trên Stackoverflow. Nhưng tất cả chúng là về sự va chạm, đó không phải là điều tôi đang yêu cầu. Câu hỏi của tôi là: tại sao đầu …

10 complexity-theory  hash  hash-tables  performance 

x1,…,xn∈R2x1,…,xn∈R2x_1, \ldots, x_n \in \mathbb{R}^2rrrrrr∑ni=11∥x−xi∥≤r∑i=1n1‖x−xi‖≤r\sum_{i=1}^n \mathbb{1}_{\|x - x_i\| \leq r} Một thuật toán vũ lực sẽ đi qua mọi điểm và đếm số điểm ở khoảng cách nhỏ hơn . Điều đó sẽ tạo ra sự phức tạp của .rrrO(n2)O(n2)\mathcal{O}(n^2) Có một cách tiếp cận tốt hơn?

10 algorithms  complexity-theory  computational-geometry 

Nếu P = N PP=NP\mathbf{P} = \mathbf{NP} thì L = N LL= =NL\mathbf{L} = \mathbf{NL} ? Tôi đang đặt câu hỏi này bởi vì, đối với các lớp không xác định khác, có vẻ như P = N PP= =NP\mathbf{P} = \mathbf{NP} luôn xác định rằng chúng bằng với các …

10 complexity-theory  p-vs-np 

Câu hỏi này có phần trái ngược với câu hỏi trước đó về các bộ được hình thành từ các thao tác tập hợp trên các bộ hoàn chỉnh NP: Nếu tập hợp kết quả từ sản phẩm hợp nhất, giao lộ hoặc Cartesian của hai bộ có thể quyết …

10 complexity-theory  np-hard  np  np-intermediate 

Liên quan đến luồng Chứng minh rằng việc chuyển đổi từ CNF sang DNF là NP-Hard (và một luồng toán học có liên quan ): Làm thế nào về hướng khác, từ DNF đến CNF? Nó dễ hay khó? Trên trang 2 của bài báo này , họ dường như …

10 complexity-theory  logic  satisfiability  normal-forms 

Các ví dụ phổ biến về các vấn đề NP-hard (clique, 3-SAT, đỉnh đỉnh, v.v.) thuộc loại mà chúng ta không biết câu trả lời là "có" hay "không" trước đó. Giả sử rằng chúng ta có một vấn đề trong đó chúng ta biết câu trả lời là có, …

10 complexity-theory  np-hard  search-problem 

Cho hai số nguyên và trong biểu diễn nhị phân, độ phức tạp của việc tính toán kích thước bit của gì?n x nxxxnnnxnxnx^n Một cách để làm như vậy là tính toán bằng cách tính xấp xỉ với độ chính xác đủ. Dường như tính toán với bit của …

10 complexity-theory  time-complexity  binary-arithmetic 

Nếu thì hệ thống phân cấp sụp đổ xuống cấp thứ hai (theo định lý Karp-Lipton). Nhưng còn N P và c o N P thì sao?RP=NPRP=NP\sf RP = NPNPNP\sf NPcoNPcoNP\sf coNP Tôi đã cố gắng chứng minh rằng được chứa trong N P (hướng khác là tầm thường nếu …

10 complexity-theory  complexity-classes  probabilistic-algorithms 

Có một trò chơi giải đố cổ điển rất giống với trò chơi ô chữ, ngoại trừ một danh sách các từ được đưa ra và sau đó một bảng vuông được tạo thành từ các ô vuông đơn vị được đưa ra, với một số ô vuông được bôi …

10 complexity-theory  np-complete  board-games 

Để suy luận về những thứ như tính đầy đủ của NP, chúng tôi thường sử dụng các mức giảm nhiều người (nghĩa là giảm Karp). Điều này dẫn đến hình ảnh như thế này: (theo phỏng đoán tiêu chuẩn). Tôi chắc rằng tất cả chúng ta đều quen thuộc …

10 complexity-theory  reductions  complexity-classes 

Giả sử tôi cung cấp cho bạn một biểu đồ vô hướng với các cạnh có trọng số và cho bạn biết rằng mỗi nút tương ứng với một điểm trong không gian 3d. Bất cứ khi nào có một cạnh giữa hai nút, trọng lượng của cạnh là khoảng …

10 complexity-theory  graph-theory  computational-geometry  euclidean-distance 

Tôi mới bắt đầu đi vào lý thuyết tính toán, nghiên cứu những gì có thể tính toán, nhanh như thế nào, sử dụng bao nhiêu bộ nhớ và với mô hình tính toán nào. Tôi có một câu hỏi khá cơ bản, nhưng tôi thực sự hy vọng một …

10 complexity-theory  formal-languages 

Chúng tôi đã có một số câu hỏi về mối quan hệ của việc giảm Cook và Karp . Rõ ràng là giảm Cook (giảm Turing theo thời gian đa thức) không định nghĩa cùng một khái niệm về tính đầy đủ của NP như giảm Karp (giảm nhiều lần …

10 complexity-theory  reference-request  np-complete  reductions