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

Có những lời biện minh triết học thường được trích dẫn vì tin rằng P! = NP ngay cả khi không có bằng chứng. Các lớp phức tạp khác có bằng chứng cho thấy chúng là khác biệt, bởi vì nếu không, sẽ có những hậu quả "đáng ngạc nhiên" …

32 cc.complexity-theory  complexity-classes  gt.game-theory  conditional-results 

Có hàng tấn vấn đề NP-đầy đủ xung quanh và các nguồn thu thập chúng, ví dụ như xem cuốn sách của Garey và Johnson. Tôi cũng muốn thấy một danh sách các vấn đề hoàn chỉnh của NEXP. Có một cái có sẵn? Như tôi cho là không có, …

31 cc.complexity-theory  complexity-classes  big-list  nexp 

Hậu quả khó chịu của NP = PSPACE là gì? Tôi ngạc nhiên vì tôi không tìm thấy bất cứ điều gì về điều này, vì các lớp học này là một trong những lớp nổi tiếng nhất. Cụ thể, nó có gây hậu quả gì cho tầng lớp thấp …

30 cc.complexity-theory  complexity-classes  conditional-results 

Giả sử P = NP là đúng. Sau đó, sẽ có bất kỳ ứng dụng thực tế nào để xây dựng một máy tính lượng tử như giải quyết các vấn đề nhất định nhanh hơn hay bất kỳ cải tiến nào như vậy không liên quan dựa trên thực …

29 cc.complexity-theory  complexity-classes  quantum-computing 

N P ⊈ P / poly P H = Σ 2 P ≠ N P N P I : = N P ∖ ( N P C ∪ P ) ≠ ∅ P / poly N P I ⊂ P / poly N P ⊂ N P C ∪ P …

29 cc.complexity-theory  complexity-classes  advice-and-nonuniformity  p-vs-np  np-intermediate 

Log-space-NC NC được chứa trong không gian polylog xác định (đôi khi được viết bằng PolyL). Là RNC log-space-thống nhất cũng trong lớp này? Phiên bản ngẫu nhiên tiêu chuẩn của PolyL phải có trong PolyL, nhưng tôi không thấy RNC (đồng nhất) đó là ngẫu nhiên-PolyL. Khó khăn tôi …

28 complexity-classes  randomized-algorithms 

Trong khi đọc bài viết "Đã đến lúc tuyên bố chiến thắng trong việc đếm độ phức tạp?" tại blog "Thư bị mất của Godel và P = NP" , họ đã đề cập đến sự phân đôi cho CSP. Sau một số liên kết sau, googling và wikipinating, tôi …

27 cc.complexity-theory  np-hardness  complexity-classes  sat  csp 

Parity-L là tập hợp các ngôn ngữ được công nhận bởi máy Turing không xác định, chỉ có thể phân biệt giữa số chẵn hoặc số lẻ của các đường dẫn "chấp nhận" (chứ không phải là số đường dẫn chấp nhận bằng 0 hoặc không bằng 0) và đó …

27 cc.complexity-theory  complexity-classes  conditional-results 

Shiva Kintali vừa công bố một (cool!) Cho kết quả rằng phép đẳng cấu đồ thị cho các biểu đồ treewidth bị chặn chiều rộng là -Hard≥4≥4\geq 4⊕L⊕L\oplus L . Một cách không chính thức, câu hỏi của tôi là "Khó đến mức nào?" Chúng tôi biết rằng không đồng …

26 cc.complexity-theory  complexity-classes  logspace 

Nghiên cứu về biểu diễn Succinc của đồ thị được Galperin và Wigderson khởi xướng trong một bài báo từ năm 1983, trong đó họ chứng minh rằng đối với nhiều vấn đề đơn giản như tìm tam giác trong biểu đồ, phiên bản cô đọng tương ứng trong . …

26 cc.complexity-theory  reference-request  complexity-classes 

Đó sẽ là hậu quả của #P = FP? Tôi quan tâm đến cả hậu quả thực tế và lý thuyết. Từ quan điểm thực tế, tôi đặc biệt quan tâm đến hậu quả đối với Trí tuệ nhân tạo. Con trỏ đến giấy tờ hoặc sách được chào đón …

26 cc.complexity-theory  ds.algorithms  complexity-classes  counting-complexity  ai.artificial-intel 

Có bất kỳ vấn đề tự nhiên nào trong không (được biết là / được cho là) ​​trong không?NP∩coNPNP∩coNPNP \cap coNPUP∩coUPUP∩coUPUP \cap coUP Rõ ràng cái lớn mà mọi người đều biết trong là phiên bản quyết định của bao thanh toán (n có yếu tố kích thước tối đa …

26 cc.complexity-theory  complexity-classes  np 

Gần đây, Ryan Willams đã chứng minh rằng Cấu trúc trong Bằng chứng tự nhiên là không thể tránh khỏi để rút ra sự phân tách các lớp phức tạp: NEXPNEXP\mathsf{NEXP} và TC0TC0\mathsf{TC}^{0} . Cấu trúc trong Bằng chứng tự nhiên là điều kiện mà tất cả các bằng chứng …

25 cc.complexity-theory  complexity-classes  circuit-complexity  gct  barriers 

Hey Guys, tôi hiểu rằng các trick đệm cho phép chúng tôi để dịch các lớp phức tạp trở lên - ví dụ . Đệm hoạt động bằng cách "thổi phồng" đầu vào, chạy chuyển đổi (giả sử từ N P sang P ), tạo ra thuật toán "ma thuật" …

25 cc.complexity-theory  complexity-classes  padding 

Điều này có liên quan đến câu hỏi Kích thước thành viên chứng kiến ​​cho mọi ngôn ngữ NP đã được biết đến chưa? Một số vấn đề (-complete) tự nhiên có các nhân chứng độ dài tuyến tính: một phép gán thỏa mãn cho S A T , một …

24 cc.complexity-theory  complexity-classes  np