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

Tôi đang tham gia một khóa học về điện toán và sự phức tạp , và tôi không thể hiểu những thuật ngữ này có nghĩa gì. Tất cả những gì tôi biết là NP là tập con của NP-perfect, là tập con của NP-hard, nhưng tôi không biết ý …

248 complexity-theory  terminology  complexity-classes  p-vs-np  reference-question 

Tôi đang gặp khó khăn khi hiểu trực giác tại sao PSPACE thường được cho là khác với EXPTIME. Nếu PSPACE là tập hợp các vấn đề có thể giải quyết được trong đa thức không gian ở kích thước đầu vào , thì làm thế nào có thể có …

31 complexity-theory  complexity-classes  intuition 

Bài toán 3SUM cố gắng xác định 3 số nguyên từ một tập S có kích thước n sao cho a + b + c = 0 .a,b,ca,b,ca,b,cSSSnnna+b+c=0a+b+c=0a + b + c = 0 Người ta phỏng đoán rằng không có giải pháp nào tốt hơn phương trình bậc hai, …

29 complexity-theory  combinatorics  complexity-classes 

Nếu ai đó chế tạo một máy tính lượng tử vạn năng, liệu điều đó có liên quan gì đến vấn đề P so với NP không?

25 complexity-theory  complexity-classes  quantum-computing 

Câu hỏi này đã được di chuyển từ Trao đổi ngăn xếp khoa học máy tính lý thuyết bởi vì nó có thể được trả lời trên trao đổi ngăn xếp khoa học máy tính. Di cư 7 năm trước . Trong bài viết Wikipedia này về vấn đề Clique …

23 complexity-theory  graph-theory  np-complete  complexity-classes 

Câu hỏi này đã được di chuyển từ Trao đổi ngăn xếp khoa học máy tính lý thuyết bởi vì nó có thể được trả lời trên trao đổi ngăn xếp khoa học máy tính. Di cư 6 năm trước . Có thể rằng và cardinality của P cũng giống …

19 complexity-classes  p-vs-np 

Tôi đã đọc một câu hỏi tại Stack Overflow hỏi liệu NP -hard có liệt kê tất cả các chu kỳ đơn giản trong biểu đồ có chứa một nút cụ thể không và tôi nhận ra rằng tôi không thể nghĩ ra bất kỳ lớp phức tạp nào phù …

15 complexity-theory  reference-request  complexity-classes  enumeration 

Giả sử A có thể rút gọn đến B, tức là, . Do đó, máy Turing chấp nhận Một có quyền truy cập vào một oracle cho B . Hãy để cho Turing máy chấp nhận Một là M Một và nhà tiên tri cho B là O B . …

15 complexity-theory  np-complete  reductions  complexity-classes 

Tôi đang cố gắng tìm hiểu bằng chứng của định lý Karp-Lipton như đã nêu trong cuốn sách "Độ phức tạp tính toán: Cách tiếp cận hiện đại" (2009). Cụ thể, cuốn sách này nêu rõ như sau: Định lý Karp-Lipton Nếu NP , thì PH .P ∖ p o …

14 complexity-theory  complexity-classes 

Một sinh viên gần đây đã yêu cầu tôi kiểm tra bằng chứng độ cứng NP cho họ. Họ đã thực hiện giảm dọc theo dòng: Tôi giảm vấn đề này mà được biết đến là NP-đầy đủ cho vấn đề của tôi P (với một poly-thời gian giảm nhiều-one), …

14 complexity-theory  reference-request  complexity-classes  real-numbers  computable-analysis 

Tôi có một số câu hỏi liên quan về hai chủ đề này. Đầu tiên, hầu hết các văn bản phức tạp chỉ phủ bóng lên lớp NCNC\mathbb{NC} . Có một nguồn lực tốt bao gồm các nghiên cứu sâu hơn? Ví dụ, một cái gì đó thảo luận về …

14 complexity-theory  reference-request  parallel-computing  complexity-classes 

Tôi là người mới, nhưng rất quan tâm đến lĩnh vực điện toán và lý thuyết phức tạp, và tôi muốn làm rõ sự hiểu biết của mình về cách giải quyết các vấn đề và mức độ mạnh của các vấn đề liên quan đến máy được sử dụng …

13 complexity-theory  computability  terminology  turing-machines  complexity-classes 

Từ những gì tôi đọc được trong preliminary version of a chapter of the book “Lectures on Scheduling” edited by R.H. M¨ohring, C.N. Potts, A.S. Schulz, G.J. Woeginger, L.A. Wolsey, to appear around 2011 A.D. Đây là định nghĩa PTAS : Lược đồ xấp xỉ thời gian đa thức ( …

13 algorithms  complexity-theory  terminology  complexity-classes  approximation 

Tôi tò mò về việc liệu có bất kỳ vấn đề hoàn chỉnh nào trong lớp phức tạp Arthur-Merlin không. Đồ thị không đẳng cấu (GNI) dường như là ví dụ điển hình cho một vấn đề trong AM, nhưng có lẽ nó không phải là một vấn đề hoàn …

12 complexity-theory  reductions  complexity-classes  interactive-proof-systems 

Gì lớp phức tạp nghĩa là gì? Tôi biết rằng ⊕ P là lớp phức tạp chứa các ngôn ngữ A có máy Turing không thời gian đa thức M sao cho x ∈ A iff số lượng trạng thái chấp nhận của máy M trên đầu vào x là …

12 complexity-theory  terminology  complexity-classes