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

Một câu hỏi gần đây (xem Hậu quả của NP = PSPACE ) đã hỏi về hậu quả "khó chịu" của . Các câu trả lời liệt kê khá nhiều hậu quả sụp đổ, bao gồm và các lý do khác, cung cấp nhiều lý do để tin .N P …

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

Tất cả những điều sau đây có thể giữ đồng thời? được chứa trong L s + 1 cho tất cả các số nguyên dương s .LsLsL_sLs+1Ls+1L_{s+1}sss là ngôn ngữ của tất cả các từ hữu hạn trên { 0 , 1 } .L=⋃sLsL=⋃sLsL = \bigcup_s L_s{0,1}{0,1}\{0,1\} Có một số …

13 cc.complexity-theory  complexity-classes  reductions 

Định lý giả định song song của Raz là một kết quả quan trọng trong PCP, không gần đúng, v.v ... Định lý này được định hình như sau. Một trò chơi , trong đó S , T , A , B là các tập hữu hạn, π là phân …

13 cc.complexity-theory  complexity-classes  pcp  interactive-proofs 

Tôi đã thực hiện một số tìm kiếm về điều này nhưng tôi cũng không thể tìm thấy câu trả lời. Huck trả lời đầy đủ. Cảm ơn :)

13 cc.complexity-theory  complexity-classes  time-complexity  space-complexity 

Mỗi lần tôi dạy NP-Complete, sinh viên hỏi "có vấn đề nào được biết là không thuộc về NP không?" Làm thế nào bạn sẽ trả lời? Tôi thường đưa ra cho họ một vấn đề không thể giải quyết được như một ví dụ, nhưng điều này thường không …

13 cc.complexity-theory  complexity-classes  teaching 

Nhiều lớp phức tạp được định nghĩa với máy Turing có định nghĩa về các mạch đồng nhất. Ví dụ, P cũng có thể được xác định bằng cách sử dụng các mạch kích thước đa thức đồng nhất và tương tự như BPP, NP, BQP, v.v. có thể được …

13 cc.complexity-theory  complexity-classes  circuit-complexity 

Lớp PPAD phức tạp thường được xác định bằng cách nói rằng End-Of-The-Line là PPAD-perfect. End-Of-The-Line là một vấn đề tìm kiếm. Đầu vào bao gồm một đồ thị có hướng trong đó mỗi nút có nhiều mức độ và mức độ tối đa 1. Đồ thị được đưa ra …

13 cc.complexity-theory  complexity-classes  ppad 

Hãy tưởng tượng chúng ta có hai tập hợp kích thước mmm của các điểm X,Y⊂RnX,Y⊂RnX,Y\subset \mathbb{R}^n . Độ phức tạp của thời gian kiểm tra là gì nếu chúng chỉ khác nhau bởi phép quay? : tồn tại ma trận xoay OOT=OTO=IOOT=OTO=IOO^T=O^TO=I sao cho X=OYX=OYX=OY ? Có một vấn …

12 cc.complexity-theory  complexity-classes  graph-isomorphism  computational-geometry  high-dimensional-geometry 

Định lý phân cấp thời gian nói rằng máy turing có thể giải quyết nhiều vấn đề hơn nếu chúng có (đủ) nhiều thời gian hơn. Liệu nó có giữ theo một cách nào đó nếu không gian bị giới hạn không có triệu chứng? Làm thế nào để liên …

12 cc.complexity-theory  complexity-classes  turing-machines  space-bounded  time-hierarchy 

'Cho , có , ' là . x , y ∈ N a x 2 + b y = c N Pa,b,c∈Na,b,c∈Na,b,c\in\Bbb Nx,y∈Nx,y∈Nx,y\in\Bbb Nax2+by=cax2+by=cax^2+by=cNPNP\mathsf{NP} Lớp phức tạp nào 'Cho , có , ' thuộc về? x , y ∈ N a x 2 + b y 2 = ca,b,c∈Na,b,c∈Na,b,c\in\Bbb Nx,y∈Nx,y∈Nx,y\in\Bbb …

12 ds.algorithms  complexity-classes  reductions  nt.number-theory  np-complete 

Trang wikipedia trên PSPACE đề cập rằng không được biết là nghiêm ngặt (không may không có tài liệu tham khảo).NL⊂PHNL⊂PHNL\subset PH Câu 1: Điều gì về và - những điều này được biết là nghiêm ngặt?L⊂PHL⊂PHL\subset PHL⊂P#PL⊂P#PL\subset P^{\#P} Câu 2: Nếu không, có một lớp được thành lập có …

12 cc.complexity-theory  complexity-classes  logspace 

Chúng ta có thể chứng minh rằng cho mọi ngôn ngữ đó không phải là N P -Hard (điều này giả định P ≠ N P ), P L ≠ P SAT ? Thay phiên, điều này có thể được chứng minh theo bất kỳ giả định hợp lý?L ∈ …

12 cc.complexity-theory  complexity-classes  np-intermediate 

Tôi đang đọc một bài báo của Buhrman và Homer Hồi Superpolynomial Circuits, Hầu như thưa thớt thưa thớt và Phân cấp cấp số mũ . Ở cuối trang 2, họ nhận xét rằng kết quả của Kannan ngụ ý rằng không có mạch kích thước đa thức. Tôi biết …

12 cc.complexity-theory  complexity-classes  time-complexity  oracles  circuits 

Liệu giữ?NPNP∩coNP=NPNPNP∩coNP=NP\mathsf{NP^{NP \,\cap\, coNP}=NP} Rõ ràng , nhưng đối với tôi, là "xác định" khiến tôi tin rằng điều này là đúng.N P ∩ c o N PNPNP≠NPNPNP≠NP\mathsf{NP^{NP}\neq NP}NP∩coNPNP∩coNP\mathsf{NP\cap coNP} Có một bằng chứng đơn giản (hoặc có thể chỉ theo định nghĩa)?

12 cc.complexity-theory  complexity-classes  oracles 

Chúng ta có biết rằng hệ thống phân cấp không sụp đổ ( cho tất cả ) không?TC0TC0\mathsf{TC^0}TC0d⊊TC0d+1TCd0⊊TCd+10\mathsf{TC^0_d} \subsetneq \mathsf{TC^0_{d+1}}ddd Mục Zoo choTC0TC0\mathsf{TC^0} chỉ đề cập đến sự tách biệt giữa độ sâu 2 và 3. Ngoài ra có một tài liệu tham khảo tiêu chuẩn cho thực tế rằng …

12 cc.complexity-theory  reference-request  complexity-classes  circuit-complexity  bounded-depth