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

Tôi đang cố gắng chỉ ra vấn đề sau đây là NP-hard. Đầu vào: Số nguyên và được kết nối, đồ thị vô hướng , đồ thị có trọng số đỉnheeeG=(V,E)G=(V,E)G=(V,E) Đầu ra: Phân vùng , thu được bằng cách xóa bất kỳ cạnh nào khỏi để tối đa hóaGGGGp=(V,Ep)Gp=(V,Ep)G_p=(V,E_p)eeeEEE …

7 algorithms  complexity-theory  np-hard  set-cover 

Đặt là một vấn đề đếm được tham số hóa , trong đó tham số là chi phí giải pháp, ví dụ: đếm số lượng đỉnh đỉnh -ized trong đồ thị, được tham số hóa bởi .ΠΠ\Pikkkkkk Giả sử rằng là [1] (ví dụ, một vấn đề đã biết sẽ …

7 complexity-theory  approximation  counting  parameterized-complexity 

Vấn đề (tl; dr) Đưa ra một ngữ pháp không có ngữ cảnh, , hãy tìm một tập hợp các chuỗi đưa qua mọi sản phẩm mà nó có ít nhất một lần.GGGGGG Làm thế nào và nhanh như thế nào nó có thể được thực hiện? Lý lịch Tôi …

7 complexity-theory  context-free  formal-grammars 

Là lớp học NPNP\sf NPđóng dưới bổ sung hoặc là không biết? Tôi đã xem trực tuyến, nhưng tôi không thể tìm thấy bất cứ điều gì.

7 complexity-theory  closure-properties  complexity-classes  np 

Một vấn đề là NP-đầy đủ nếu: Đó là trong NP. Tất cả các vấn đề trong NP có thể làm giảm nó. Đó là số 2 mà tôi quan tâm ở đây. Tôi sẽ rất ngạc nhiên nếu chúng tôi biết mọi vấn đề trong NP. Dựa trên giả …

7 complexity-theory  np-complete  np 

Tôi hiểu đây là một câu hỏi hơi mơ hồ, nhưng có kết quả cho P so với NP, chẳng hạn như câu hỏi không thể được giải quyết dễ dàng bằng cách sử dụng các phép lạ. Có bất kỳ kết quả nào như thế này đã được hiển …

7 complexity-theory  time-complexity  space-complexity 

Có một kết quả cơ bản về độ phức tạp của mạch cho biết: Tồn tại một ngôn ngữ không thể giải quyết bằng các mạch có kích thước o(2nn)o(2nn)o(\frac{2^n}{n}). Đối số là một đối số đếm đơn giản về số lượng hàm boolean và số lượng mạch riêng biệt. …

7 complexity-theory  lower-bounds  circuits 

Mảng sau chiếm 10000 khe trong bộ nhớ: a = [0,1,2,3,4,5,6,7,8,9,10,...,10000] Nhưng người ta có thể dễ dàng biểu diễn cùng một mảng như: a = {len:10000, get: λ idx -> idx} Mà nhỏ gọn hơn nhiều. Tương tự, có một số mảng có thể được biểu diễn nhỏ gọn: …

7 algorithms  complexity-theory  formal-languages  programming-languages  data-compression 

Tôi nghe nói ở đây rằng bài toán chu trình Hamilton là đa thức trên đồ thị của treewidth giới hạn. Tôi quan tâm đến các ví dụ / tài liệu tham khảo cho các vấn đề khác nhau, về cơ bản là khó nhưng có độ phức tạp đa …

7 complexity-theory  graph-theory  reference-request  np  polynomial-time 

Đặt là công thức 3-CNF trên các biến . Mỗi biến , , xảy ra nhiều lần như một nghĩa đen và một nghĩa đen trong .ϕϕ\phix1,x2,…,xnx1,x2,…,xnx_1,x_2,\ldots,x_nxixix_ii∈[n]i∈[n]i \in [n]ϕϕ\phi Là NP-đầy đủ để quyết định sự thỏa mãn của một công thức như vậy? Giả sử nó là, tôi sẽ …

7 complexity-theory  np-complete  satisfiability  decision-problem 

Người ta biết rằng bất kỳ công thức CNF nào cũng có thể được chuyển đổi trong thời gian đa thức thành công thức 3-CNF bằng cách sử dụng các biến mới ( xem tại đây ). Nếu không sử dụng các biến mới, không phải lúc nào cũng có …

7 complexity-theory  satisfiability  decision-problem  complexity-classes 

Để tiếp tục bài đăng này , chúng ta hãy xác định vấn đề Đơn điệu -SAT:( + ,2-)(+,2-)(+, 2^-) Cho một công thức CNF đơn điệu , trong đó mỗi biến xuất hiện chính xác một lần (dưới dạng chữ dương) và công thức 2-CNF đơn điệu được xác …

7 complexity-theory  np-complete  decision-problem  complexity-classes 

Với máy Turing vanilla, ý tôi là máy Turing có một băng (không có băng đầu vào hoặc đầu ra đặc biệt). Vấn đề như sau: băng ban đầu trống, ngoài một chuỗi nnn 111cát 000s bị chấm dứt bởi một ký tự cuối chuỗi. Đầu băng bắt đầu ở …

7 complexity-theory  turing-machines  time-complexity  lower-bounds 

Giả sử tôi có một vấn đề quyết định DDD và tôi mã hóa nó thành một ngôn ngữ L⊂{0,1}∗L⊂{0,1}∗L \subset \{0,1\}^*. Bây giờ, tôi cũng có thể mã hóa nó sang một ngôn ngữ khácL′L′L'. Có định lý nào liên quan đến độ phức tạp thời gian của LLL …

7 complexity-theory  terminology  time-complexity 

Tôi đã đọc rằng máy tính lượng tử có thể giải quyết 'một số vấn đề nhất định' tốt hơn theo cấp số nhân so với máy tính cổ điển. Theo tôi nghĩ tôi hiểu điều đó, không giống nhau khi nói rằng máy tính lượng tử có bất kỳ …

7 complexity-theory  time-complexity  quantum-computing