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

Tôi tự hỏi để biết rằng có ngôn ngữ thưa thớt (thậm chí được xây dựng bằng cách trì hoãn diagolanization) trong NPI với giả định rằng .P≠ NPP≠NPP \neq NP

10 cc.complexity-theory  complexity-classes 

Có bất kỳ lớp phức tạp nào có chứa các đối tác trực tuyến của các vấn đề tối ưu hóa không? Nếu không, làm thế nào lớp như vậy có thể được định nghĩa? Chúng tôi biết rằng nhiều vấn đề có phiên bản trực tuyến của họ: ví …

10 cc.complexity-theory  complexity-classes 

Máy phát điện bất khả xâm phạm được định nghĩa như sau: Đặt là quan hệ NP và M là máy chấp nhận L ( R ) . Không chính thức, một chương trình là một máy phát điện bất khả xâm phạm nếu, trên đầu vào 1 n , …

10 cc.complexity-theory  cr.crypto-security  oracles  relativization  kolmogorov-complexity 

Giả sửP≠ NPP≠NPP \neq NP Hãy sử dụng ký hiệu sau cho phép tetration (nghĩa là ).Tôimộtimột{}^iaTôia = amột⋅⋅⋅mộttôi lầnia=aa⋅⋅⋅a⏟i lần{}^ia = \underbrace{a^{a^{\cdot^{\cdot^{\cdot^{a}}}}}}_{i \mbox{ times}} | x | là kích thước của thể hiện x. Đặt L là ngôn ngữ,L |f( i ) ≤ | x | < g( tôi …

10 cc.complexity-theory  np-hardness  complexity-classes 

Tôi quan tâm đến các trường hợp "khó" riêng lẻ của các vấn đề hoàn thành NP. Ryan Williams đã thảo luận về vấn đề SAT0 tại blog của Richard Lipton . SAT0 hỏi liệu một trường hợp SAT có giải pháp cụ thể bao gồm tất cả 0 không. …

10 cc.complexity-theory  sat  hard-instances 

Một hệ thống sao là một gia đình n tập con của n-yếu tố thiết lập . Một hệ thống sao là đồ họa nếu có một số đồ thị mà là gia đình trong những khu phố đỉnh trong . Đó là -complete để quyết định xem một hệ …

10 cc.complexity-theory  np-hardness 

Chúng ta có các lớp phức tạp đối với độ phức tạp của trường hợp trung bình không? Ví dụ, có một lớp phức tạp (được đặt tên) cho các vấn đề cần thời gian đa thức dự kiến ​​để quyết định không? Một câu hỏi khác xem xét độ …

10 cc.complexity-theory  complexity-classes 

Hiển thị một hàm có thể xây dựng theo không gian nhưng không thể định thời gian.f( n )f(n)f(n) Vấn đề này có liên quan đến sự phân tách có thể có giữa các lớp phức tạp DTIME (f (n)) và SPACE (f (n)) không?

10 cc.complexity-theory  space-bounded  separation 

Theo BPP / tuyến tính, tôi đề cập đến các máy BPP với lời khuyên tuyến tính, đáp ứng lời hứa khi được đưa ra lời khuyên "chính xác" và thuật toán khử cộng đồng sẽ cung cấp cho chúng tôi thuật toán P / tuyến tính hoặc (SUBEXP / …

10 cc.complexity-theory  derandomization  advice-and-nonuniformity 

Bằng chứng nào cho thấy ?c o R P≠ NPcoRP≠NPcoRP \neq NP c o R PcoRPcoRP là lớp ngôn ngữ tồn tại Máy Turing xác suất chạy trong thời gian đa thức và luôn trả lời Có trên đầu vào thuộc ngôn ngữ và trả lời Không với xác suất …

10 cc.complexity-theory  complexity-classes 

Có thể (dấu gạch chéo bạn có thể cung cấp một ví dụ) để giảm độ phức tạp tính toán của một vấn đề bằng cách sử dụng thuật toán song song không yêu cầu số lượng bộ xử lý so với kích thước đầu vào không?

10 cc.complexity-theory  dc.parallel-comp 

Ví dụ về các biến thể -complete bị ràng buộc của các tập hợp không thể giải quyết được:NPNPNP Vấn đề giới hạn giới hạn = { | Máy NTM dừng lại và chấp nhận trong vòng bước}M x t( M, x , 1t)(M,x,1t)(M, x, 1^t)MMMxxxttt Ốp lát giới hạn …

10 cc.complexity-theory  np-hardness 

Người ta đã biết từ đầu những năm 70 rằng và không bằng nhau (vì không bị đóng trong nhiều thời gian đa thức giảm một lần, ngược lại với ). Tuy nhiên, theo như tôi biết, vẫn còn mở cho dù một lớp là tập con của lớp kia …

10 cc.complexity-theory  complexity-classes  np-complete 

Không biết hay P ⊈ C S L , ở đâuP⊆ CSLP⊆CSLP\subseteq CSLP⊈CSLP⊈CSLP\not\subseteq CSL là tập hợp tất cả các ngôn ngữ có thể quyết định theo thời gian đa thức trên máy Turing xác định vàPPP là lớp ngôn ngữ nhạy cảm theo ngữ cảnh, được biết là tương …

10 cc.complexity-theory  fl.formal-languages  polynomial-time 

Đặt biểu thị chuỗi có độ dài tương ứng với bảng chân lý của bài toán tạm dừng cho các đầu vào có độ dài .HALTnHALTnHALT_n2n2n2^nnnn Nếu chuỗi độ phức tạp Kolmogorov là , thì một trong những chuỗi lời khuyên sẽ được sử dụng vô cùng thường xuyên và …

10 cc.complexity-theory  reference-request  computability  lower-bounds