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

Các câu hỏi liên quan đến sự phức tạp (tính toán) của việc giải quyết vấn đề

1
chuỗi các vấn đề xảy ra
Chúng ta có biết một chuỗi vô tận các vấn đề quyết định trong đó thuật toán hiệu quả nhất cho mỗi vấn đề Θ(nk)Θ(nk)\Theta(n^k) thời gian, ở đâu kkk tăng không giới hạn? Ví dụ, giả sử rằng chúng ta sẽ biết rằng việc tìm kiếm một k-clique mất …
1
kết quả
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ì?
2
Tại sao logic thứ nhất (không có số học) GIÁ TRỊ chỉ có thể liệt kê đệ quy và không đệ quy?
"Độ phức tạp tính toán" của Papadimitriou nói rằng GIÁ TRỊ, vấn đề quyết định liệu một công thức logic thứ nhất (không có số học) có hợp lệ hay không, có thể được liệt kê một cách đệ quy. Điều này xuất phát từ các định lý đầy đủ …
2
Bằng chứng một câu của P ⊆ NP
Gần đây tôi đang đọc một tài liệu [1]. Trong tài liệu này, Giáo sư Cook cung cấp một bằng chứng ngắn gọn vềP⊆NPP⊆NP\mathbf{P} \subseteq \mathbf{NP}, đó chỉ là một câu: Thật là tầm thường khi cho thấy rằng P⊆NPP⊆NP\mathbf{P} \subseteq \mathbf{NP}, vì đối với mỗi ngôn ngữ LLL kết …
Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookie và Chính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.