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

Trong mô tả phức tạp , Immerman có Hệ quả 7.23. Các điều kiện sau là tương đương: 1. P = NP. 2. Trên cấu trúc hữu hạn, có trật tự, FO (LFP) = SO. Điều này có thể được coi là "khuếch đại" P = NP thành một câu …

54 cc.complexity-theory  reference-request  complexity-classes  conditional-results  polynomial-hierarchy 

Chúng tôi biết rằng cấp độ đầu tiên của hệ thống phân cấp đa thức (ví dụ NP và co-NP) là trong PP và . Chúng ta cũng biết từ Định lý của Toda rằng .PP⊆PSPACEPP⊆PSPACEPP \subseteq PSPACEPH⊆PPPPH⊆PPPPH \subseteq P^{PP} Chúng tôi có biết liệuPH⊆PPPH⊆PPPH \subseteq PPPPPPPPPPPPPPPPPPH⊈PPPH⊈PPPH \nsubseteq PPPP⊈PHPP⊈PHPP \nsubseteq …

37 cc.complexity-theory  counting-complexity  polynomial-hierarchy 

Chỉnh sửa : Như Ravi Boppana đã chỉ ra một cách chính xác trong câu trả lời của anh ấy và Scott Aaronson cũng đã thêm một ví dụ khác trong câu trả lời của anh ấy , câu trả lời cho câu hỏi này hóa ra là vâng vâng …

28 cc.complexity-theory  conditional-results  np  polynomial-hierarchy 

Người ta biết rằng nếu thì hệ thống phân cấp đa thức sụp đổ và .P = P HP=NPP=NP\mathbf{P}=\mathbf{NP}P=PHP=PH\mathbf{P}=\mathbf{PH} Điều này có thể dễ dàng được hiểu theo cách sử dụng máy orory. Câu hỏi là - tại sao chúng ta không thể tiếp tục quá trình quy nạp vượt …

18 cc.complexity-theory  polynomial-hierarchy  intuition 

Có đúng là có các vấn đề trong hệ thống phân cấp đa thức có thể giải quyết được trong thời gian (bởi một máy Turing xen kẽ ở một mức độ nào đó của hệ thống phân cấp đa thức) không thể giải quyết được trong trong bất kỳ …

18 cc.complexity-theory  reference-request  polynomial-hierarchy  time-hierarchy 

Tôi cần một danh sách ngôn ngữ hoàn chỉnh. Có hai vấn đề như vậy được liệt kê trong Sở thú phức tạp , đó là:Σp2Σ2p\Sigma_2^p DNF tối thiểu tương đương. Cho công thức DNF F và số nguyên k, có công thức DNF tương đương với F với k …

16 complexity-classes  polynomial-hierarchy 

Được biết, việc thêm ngẫu nhiên lỗi giới hạn vào PSPACE không thêm sức mạnh. Đó là, BPPSAPCE = PSPACE. Người ta không biết có phải P = BPP hay không, nhưng người ta biết rằng .B PP⊆ Σ2∩ Π2BPP⊆Σ2∩Π2BPP\subseteq \Sigma_2\cap \Pi_2 Vì vậy, có thể (trong khi được phỏng …

12 randomness  derandomization  polynomial-hierarchy 

Chứa ở giữa mỗi cấp của hệ thống phân cấp đa thức là các lớp phức tạp khác nhau, bao gồm , , và . Vì thiếu thuật ngữ tốt hơn, tôi sẽ đề cập đến những thứ này và bất kỳ loại nào khác như các lớp trung gian …

12 cc.complexity-theory  polynomial-hierarchy 

Động vật học phức tạp của Greg Kuperberg nói rằng có một ngôn ngữ XXX sao cho BPPX⊈Δ2PXBPPX⊈Δ2PX\mathsf{BPP}^X \nsubseteq \mathsf{\Delta_2 \mathsf{P}}^X - nói cách khác, BPPX⊈PNPXBPPX⊈PNPX\mathsf{BPP}^X \nsubseteq \mathsf{P}^{\mathsf{NP}^X} - nhưng không đưa ra tham chiếu cho kết quả này. Tại sao điều này giữ? Hoặc một bằng chứng có thể …

12 cc.complexity-theory  oracles  relativization  polynomial-hierarchy  separation 

Chúng ta biết rằng nếu thì toàn bộ PH sụp đổ. Điều gì xảy ra nếu hệ thống phân cấp đa thức sụp đổ một phần? (Hoặc làm thế nào để hiểu rằng PH có thể sụp đổ trên một điểm nhất định chứ không phải bên dưới?)P=NPP=NPP=NP Nói cách …

12 cc.complexity-theory  complexity-classes  conditional-results  polynomial-hierarchy 

Định lý PCP nêu rõ rằng mọi vấn đề quyết định trong NP đều có bằng chứng có thể kiểm tra được về mặt xác suất (hoặc tương đương, rằng có tồn tại một hệ thống chứng minh hoàn chỉnh và gần đúng cho các định lý trong NP sử …

9 lo.logic  pcp  polynomial-hierarchy 

Khái niệm sau đây về thuật toán chưng cất xuất phát từ "Về các vấn đề không có hạt nhân đa thức". Hãy để một ngôn ngữ được đưa ra. Một thuật toán chưng cất cho có một danh sách nhất định của chuỗi đầu vào và tính ra một …

9 cc.complexity-theory  np-hardness  parameterized-complexity  polynomial-hierarchy  pspace 

Các phiên bản không đồng nhất của P, NP và coNP là P / poly, NP / poly và coNP / poly. Tương tự, chúng ta có thể định nghĩa một phiên bản không đồng nhất cho từng cấp độ trong PH. Ví dụ: / poly bao gồm các vấn …

8 cc.complexity-theory  complexity-classes  polynomial-hierarchy 

Tôi biết các biến thể sau của các vấn đề SUBSETSUM: ( Elberfeld tại. Al., 2010 ), NP- và NEXP-hoàn thành ( liên kết ).S U B S E T S U M S U C C I N C T - S U B S E T S U …

8 cc.complexity-theory  reference-request  np-hardness  polynomial-hierarchy  subset-sum