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

Một TA đã bỏ qua hôm nay để hỏi một số điều về NP và đồng NP. Chúng tôi cũng đến một điểm mà tôi bị bối rối: biểu đồ Venn của P, NPI, NP và co-NP trông như thế nào khi giả sử P ≠ NP (trường hợp khác …

8 complexity-theory  reference-request  complexity-classes  np 

Giả sử là một vấn đề quyết định có thể quyết định.ΠΠ\Pi Liệu bao hàm Π là N P -Hard?Π ∉ NPΠ∉NP\Pi\not \in NPΠΠ\PiNPNPNP Chỉnh sửa: nếu chúng ta giả sử có tồn tại sau đó chúng tôi đã làm xong. Chúng ta có thể bác bỏ yêu cầu mà …

8 complexity-theory  np-hard  complexity-classes  np 

Lớp của Nick (NC) là lớp các vấn đề có thể được quyết định trong thời gian đa log bằng cách sử dụng số lượng bộ xử lý đa thức. Tôi muốn biết về sự tương tự theo cấp số nhân, nó sẽ bao gồm các vấn đề có thể …

8 complexity-theory  reference-request  parallel-computing  complexity-classes 

Khi định lý nổi tiếng của Savitch được nêu, người ta thường thấy yêu cầu là không gian có thể xây dựng được (thật thú vị, nó bị bỏ qua trong Wikipedia). Câu hỏi đơn giản của tôi là: Tại sao chúng ta cần điều này? Tôi hiểu yêu cầu …

8 complexity-theory  space-complexity  complexity-classes  nondeterminism 

Có bất kỳ vấn đề quyết định nào trong một lớp phức tạp được bao gồm đúng trong DLOGTIME không? (trừ , tất nhiên)Ô ( 1 )O(1)O(1) Nếu có, chúng ta có thể tạo ra các vấn đề hoàn chỉnh cho DLOGTIME không? Vì vậy, có thể giảm hay nhỏ …

8 complexity-theory  time-complexity  complexity-classes 

Chúng tôi biết PP=RP,coPP=coRP,PP=coPP=coRP=RP=ZPP=BPP⊆P/polyPP=RP,coPP=coRP,PP=coPP=coRP=RP=ZPP=BPP⊆P/poly\mathsf{PP=RP},\mathsf{coPP=coRP},\mathsf{PP=coPP=coRP=RP=ZPP=BPP\subseteq P/poly}là tương đương và hệ thống phân cấp đa thức sụp đổ xuống cấp .222 Các sụp đổ không tầm thường khác và hậu quả là gì?

7 complexity-theory  complexity-classes 

Là lớp học NPNP\sf NPđóng dưới bổ sung hoặc là không biết? Tôi đã xem trực tuyến, nhưng tôi không thể tìm thấy bất cứ điều gì.

7 complexity-theory  closure-properties  complexity-classes  np 

Tôi không thể hình dung bất kỳ vấn đề nào có thể được giải quyết trong thời gian theo cấp số nhân, nhưng không thể được kiểm tra trong thời gian đa thức.

7 complexity-classes 

Người ta biết rằng bất kỳ công thức CNF nào cũng có thể được chuyển đổi trong thời gian đa thức thành công thức 3-CNF bằng cách sử dụng các biến mới ( xem tại đây ). Nếu không sử dụng các biến mới, không phải lúc nào cũng có …

7 complexity-theory  satisfiability  decision-problem  complexity-classes 

Để tiếp tục bài đăng này , chúng ta hãy xác định vấn đề Đơn điệu -SAT:( + ,2-)(+,2-)(+, 2^-) Cho một công thức CNF đơn điệu , trong đó mỗi biến xuất hiện chính xác một lần (dưới dạng chữ dương) và công thức 2-CNF đơn điệu được xác …

7 complexity-theory  np-complete  decision-problem  complexity-classes 

Rõ ràng là bất kỳ ngôn ngữ trong EXPEXPEXPEXP\mathsf{EXP}^{\mathsf{EXP}} có thể được tính trong 2EXP=DTime(22poly(n))2EXP=DTime(22poly(n))\mathsf{2EXP} = \mathsf{DTime}(2^{2^{\mathsf{poly}(n)}}). Câu hỏi của tôi là liệu điều ngược lại có đúng không: 2EXP⊆EXPEXP2EXP⊆EXPEXP\mathsf{2EXP} \subseteq \mathsf{EXP}^{\mathsf{EXP}}?

7 complexity-theory  complexity-classes 

Tôi muốn biết vấn đề này có thể giải quyết được đa thức hay không? Vấn đề là: Cho một ma trận có giá trị nguyên không âm có kích thước và hai số nguyên không âm và .2×n2×n2\times nb&lt;nb&lt;nb<nccc Câu hỏi là: Tìm một tập hợp con của các …

2 algorithms  complexity-classes