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

Chúng tôi biết rằng và rằng , trong đó . Chúng ta cũng biết rằng bởi vì cái sau có vấn đề hoàn toàn trong việc giảm nhiều không gian logarit trong khi cái trước thì không (do định lý phân cấp không gian). Để hiểu mối quan hệ giữa …

46 cc.complexity-theory  complexity-classes  conditional-results  structural-complexity 

Nhiều kết quả quan trọng trong lý thuyết phức tạp tính toán, và đặc biệt là lý thuyết phức tạp "cấu trúc", có đặc tính thú vị mà chúng có thể được hiểu là theo cơ bản (như tôi thấy ...) từ các kết quả thuật toán đưa ra một …

21 cc.complexity-theory  structural-complexity 

Lý lịch Được biết, có tồn tại một oracle ví dụ đó, .P S P A C E A ≠ P H AAAAPSPACEA≠PHAPSPACEA≠PHAPSPACE^A \neq PH^A Thậm chí người ta còn biết rằng sự tách biệt giữ tương đối với một lời sấm truyền ngẫu nhiên. Một cách không chính thức, …

17 cc.complexity-theory  oracles  relativization  pspace  structural-complexity 

Trêu chọc Vì vấn đề là lâu dài nên đây là một trường hợp đặc biệt nắm bắt được bản chất của nó. Vấn đề: Đặt A là thuật toán chi tiết cho 3-SAT. Là vấn đề mô phỏng hoàn toàn thuật toán A (trên mọi trường hợp của vấn …

17 cc.complexity-theory  big-picture  structural-complexity 

Người ta không biết nếu phép đẳng cấu đồ thị (GI) cho đồ thị mạnh mẽ thường xuyên (SRGs) là P . Có gợi ý nào cho thấy nó có thể hoặc không phải là GI -Complete không? Có bất kỳ hậu quả mạnh mẽ trong các trường hợp như …

16 cc.complexity-theory  graph-theory  graph-algorithms  graph-isomorphism  structural-complexity 

Trong nghiên cứu gần đây của chúng tôi, chúng tôi giải quyết một vấn đề tính toán phát sinh trong bối cảnh tổ hợp, dưới giả định rằng , trong đó ⊕EXP≠⊕EXPEXP≠⊕EXP\mathsf{EXP} \ne \mathsf{\oplus{}EXP} là chuyển đổi E X P của ⊕⊕EXP⊕EXP\mathsf{\oplus{}EXP}EXPEXP\mathsf{EXP} . Các chỉ báo về ⊕⊕P⊕P\mathsf{\oplus{}P} mà chúng …

15 cc.complexity-theory  complexity-classes  conditional-results  structural-complexity 

Đối với bất kỳ ngôn ngữ NP hoàn toàn tùy ý, luôn luôn có một siêu thời gian thay thế bổ sung của nó cũng là vô hạn? Một phiên bản tầm thường không quy định superset có bổ sung vô hạn đã được yêu cầu tại /cs//q/50123/42961 Đối với …

14 cc.complexity-theory  np-complete  structural-complexity 

Hai giấy tờ tôi sẽ bao gồm: D. Kozen, "Lập chỉ mục các lớp học phụ" , STOC, 1978. R. Ladner, "Về cấu trúc của thời gian đa thức" , JACM, 1975.

14 cc.complexity-theory  lo.logic  computability  big-list  structural-complexity 

Các mật độ của một ngôn ngữ XXX là một hàm dX:N→NdX:N→Nd_X \colon \mathbb{N} \to \mathbb{N} được định nghĩa là dX(n)=|{x∈X∣|x|≤n}|.dX(n)=|{x∈X∣|x|≤n}|.d_X(n) = |\{x\in X \mid |x| \le n\}|. Giả sử và là các ngôn ngữ trong một số bảng chữ cái hữu hạn, không gian log nhiều giảm xuống và …

12 cc.complexity-theory  reductions  structural-complexity 

Liệu có nghĩa là ?E = N EE X P = N E X PEXP= =NEXP\mathsf{EXP}=\mathsf{NEXP}E = N EE= =NE\mathsf{E}=\mathsf{NE}

10 cc.complexity-theory  conditional-results  nexp  structural-complexity 

Đặt là lớp ngôn ngữ được quyết định bằng cách xen kẽ các máy Turing tạm dừng trong thời gian f ( n ) bằng cách sử dụng khoảng trắng g ( n ) . Đặt A A L T S P ( f ( n ) , g ( …

9 cc.complexity-theory  complexity-classes  structural-complexity 

Giả thuyết đẳng cấu của Berman và Hartmanis nói rằng tất cả các tập hợp là các đa thức thời gian đẳng cấu với nhau. Điều này có nghĩa là các vấn đề N P -complete có thể giảm thiểu một cách hiệu quả thông qua các mệnh đề tính …

8 cc.complexity-theory  structural-complexity