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

Trong bài báo "Bản tóm tắt các vấn đề hoàn chỉnh cho P" của Greenlaw, Hoover và Ruzzo (PS) (PDF) , có một danh sách các vấn đề trong P không được biết đến ở NC và cũng không được biết là P-Complete . (Danh sách này bao gồm tất …

20 cc.complexity-theory  open-problem  circuit-complexity 

Ngôn ngữ lá là một cách hay để xác định thống nhất nhiều lớp phức tạp. Hầu hết các lớp phức tạp thường được chỉ định bởi một mô hình tính toán (ví dụ: TM xác định / ngẫu nhiên) và ràng buộc tài nguyên (thời gian đăng nhập, không …

20 cc.complexity-theory  complexity-classes 

Nói chung, băng truy vấn cho một nhà tiên tri được tính vào độ phức tạp không gian của một TM. Tuy nhiên, có vẻ hợp lý khi cho phép một băng orory chỉ ghi (chẳng hạn như được sử dụng trong giảm bớt không gian L). Là một xây …

20 cc.complexity-theory  space-bounded  oracles 

Đọc một số chủ đề gần đây về điện toán lượng tử ( ở đây , ở đây và ở đây ), khiến tôi nhớ một câu hỏi thú vị về sức mạnh của một loại máy bảo quản -norm.ℓpℓp\ell_p Đối với những người làm việc trong lý thuyết phức …

20 cc.complexity-theory  quantum-computing  computability  turing-machines  norms 

[Lưu ý: Tôi tin rằng câu hỏi này không hề ảnh hưởng đến tính chính xác hay không chính xác của bài viết của Deolalikar.] Trên blog của Scott Aaronson Shtetl Tối ưu hóa , trong cuộc thảo luận về nỗ lực gần đây của Deolalikar trên P vs NP, …

20 cc.complexity-theory  lower-bounds  tensor-rank 

Tính tự giới thiệu của vấn đề P / NP đôi khi được nêu bật như một rào cản đối với độ phân giải của nó, xem, ví dụ, bài viết của Scott Aaronson, P so với NP có độc lập chính thức không? Một trong nhiều nghị quyết có …

20 cc.complexity-theory  lo.logic 

Hôm nay tại New York và trên toàn thế giới, sinh nhật của Christos Papadimitriou được tổ chức. Đây là một cơ hội tốt để hỏi về mối quan hệ giữa lớp PPAD phức tạp của Christos (và các lớp liên quan khác của anh ấy) và máy tính lượng …

20 cc.complexity-theory  complexity-classes  quantum-computing  cr.crypto-security  nash-equilibrium 

Đặt là hàm có giá trị nguyên sao cho nằm trong . Nó có theo F ở trong \ #P không? Có lý do để tin rằng điều này không có khả năng luôn luôn giữ? Bất kỳ tài liệu tham khảo tôi nên biết về?2 F # P FFFF2F2F2F#P#P\#PFFF#P#P\#P …

19 cc.complexity-theory  complexity-classes  counting-complexity 

Wikipedia liệt kê bốn vấn đề nằm trong nhưng được phỏng đoán nằm ngoài : Hệ số nguyên; Logarit rời rạc; Mô phỏng hệ thống lượng tử; Tính toán đa thức Jones ở một số gốc nhất định.PB Q PBQPBQPPPP Có bất kỳ vấn đề khác như vậy?

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

Hiện tại, việc tính toán các số thực trong hầu hết các ngôn ngữ phổ biến vẫn được thực hiện thông qua các phép toán dấu phẩy động. Mặt khác, các lý thuyết như hiệu quả loại hai (TTE) và lý thuyết miền từ lâu đã hứa hẹn tính toán …

19 cc.complexity-theory  computing-over-reals  computable-analysis  domain-theory 

USTCONN là vấn đề yêu cầu quyết định xem có đường dẫn từ đỉnh nguồn sss đến đỉnh đích trong đồ thị , trong đó tất cả đều được đưa ra như một phần của đầu vào.GtttGGG Omer Reingold cho thấy USTCONN đang ở L (doi: 10.1145 / 1391289.1391291 ). …

19 cc.complexity-theory  lower-bounds  reductions  space-bounded 

Theo tài khoản lịch sử (chưa được xác minh), Kolmogorov nghĩ rằng mọi ngôn ngữ trong đều có độ phức tạp mạch tuyến tính. (Xem câu hỏi trước đó của Kolmogorov phỏng đoán rằng có các mạch kích thước tuyến tính .) Lưu ý rằng nó ngụ ý .P P …

19 cc.complexity-theory  circuit-complexity  ho.history-overview 

Phản hồi Vertex Set là NP-hoàn chỉnh cho các biểu đồ chung. Nó được biết là hoàn thành NP cho đồ thị giới hạn độ 8 do giảm từ nắp đỉnh. Các bài viết trên Wikipedia nói rằng nó là poly-thời gian có thể giải quyết cho độ-3 đồ thị …

19 cc.complexity-theory  graph-theory  graph-algorithms  np-hardness  bounded-degree 

Một ma trận được gọi là hoàn toàn đều đặn nếu tất cả các ma trận vuông của nó có thứ hạng đầy đủ. Ma trận như vậy đã được sử dụng để xây dựng các siêu tập trung. Sự phức tạp của việc quyết định liệu một ma trận …

19 cc.complexity-theory  reference-request  linear-algebra  matrices 

Chúng ta có thể tính toán một ngưỡng ngưỡng -bit theo các mạch kích thước đa thức (không giới hạn quạt) có độ sâu lg n khôngnnn ? Ngoài ra, chúng ta có thể đếm số lượng 1 trong các bit đầu vào bằng các mạch này không?lgnlglgnlg⁡nlg⁡lg⁡n\frac{\lg n}{\lg \lg …

19 cc.complexity-theory  circuit-complexity  circuit-depth