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

Các lớp phức tạp tính toán và quan hệ của chúng

3
Bằng chứng gì là có đó
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 …
2
Có một vấn đề điện toán trong thời gian đa thức nhưng (có thể) không phải trong
Thời gian bán đa thức, hay viết tắt là QP, là một lớp phức tạp trên máy Turing xác định. Đây là định nghĩa chính xác: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:Q#qp Trong khi βP là một lớp phức tạp của thuyết không điều kiện hạn chế. Đây là định nghĩa chính xác: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:B#betap Nó …
1
2-NEXPTIME-hoàn thành vấn đề
Chúng tôi có một vấn đề và chúng tôi đã tìm thấy một thuật toán có vẻ là 2 lần. Tôi muốn tìm các vấn đề 2-nexptime-hoàn thành đã biết để tìm giới hạn thấp hơn. Tôi tìm thấy trong văn học chủ yếu là hai vấn đề như vậy: …
2
Chính xác phức tạp của một vấn đề trong
Đặt xi∈{−1,0,+1}xi∈{−1,0,+1}x_i \in \{-1,0,+1\} cho i∈{1,…,n}i∈{1,…,n}i \in \{1,\ldots,n\} , với lời hứa rằng x=∑ni=1xi∈{0,1}x=∑i=1nxi∈{0,1}x = \sum_{i=1}^n{x_i} \in \{0,1\} (trong đó tổng là trên ZZ\mathbb{Z} ). Vậy thì độ phức tạp của việc xác định nếu x=1x=1x = 1 gì? ∩m≥2AC0[m]∩m≥2AC0[m]\cap_{m \geq 2}{\mathsf{AC}^0[m]}x≡1modmx≡1modmx \equiv 1\bmod{m}x=1x=1x = 1AC0AC0\mathsf{AC}^0
1
Trên
Chúng ta biết rằng L⊆NL⊆P⊆NPL⊆NL⊆P⊆NP\mathcal{L}\subseteq \mathcal{N\!L}\subseteq\mathcal{P}\subseteq\mathcal{N\!P} . Từ định lý Savitch,NL⊆L2NL⊆L2\mathcal{N\!L}\subseteq\mathcal{L}^2L≠L2L≠L2\mathcal{L}\neq\mathcal{L}^2L≠PL≠P\mathcal L\neq\mathcal PL2⊆PL2⊆P\mathcal L^2\subseteq\mathcal PL2⊈PL2⊈P\mathcal L^2\not\subseteq\mathcal PL2⊆PL2⊆P\mathcal L^2\subseteq\mathcal P Hơn nữa, có tồn tại hay không một vấn đề không phải là -complete là một câu hỏi mở và sự tồn tại như vậy sẽ ám chỉ , như mọi …
1
Có phải mọi ngôn ngữ không thể nhận dạng Turing đều có một tập hợp con hoàn chỉnh NP không?
Có phải mọi ngôn ngữ không thể nhận dạng Turing đều có một tập hợp con hoàn chỉnh NP không? Câu hỏi có thể được coi là một phiên bản mạnh mẽ hơn của thực tế là mọi ngôn ngữ có thể nhận biết Turing vô hạn đều có một …
1
Văn học xung quanh NP vs EXPTIME
Ngay cả khi đó không phải là một điểm quan trọng, tôi không thấy bất kỳ tài liệu nào xung quanh câu hỏi này. Có kết quả tương đối? Sẽ không hoàn toàn đơn giản để chứng minh sự bao gồm nghiêm ngặt bằng cách điều chỉnh định lý phân …
1
Điều gì sai với đối số
Những điều sau đây không được tin là đúng: L⊆L−uniform NC1L⊆L−uniform NC1\mathsf{L} \subseteq \mathsf{L}-\mbox{uniform } \mathsf{NC}^1 Bạn có thể giúp tôi xem nơi tranh luận bị phá vỡ? Vấn đề reachability đạo là hoàn chỉnh cho . Tôi lập luận rằng đó là trong L -uniform N C 1 .LL\mathsf{L}LL\mathsf{L}NC1NC1\mathsf{NC^1} …
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.