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

P so với NP và tính toán giới hạn tài nguyên khác.

2
APX có trong NP không?
Một vấn đề P được cho là trong APX nếu tồn tại một số hằng số c> 0 sao cho thuật toán xấp xỉ thời gian đa thức tồn tại cho P với hệ số xấp xỉ 1 + c. APX chứa PTAS (được nhìn thấy bằng cách chọn bất …
1
Liệu ?
Tôi hy vọng câu trả lời là không, nhưng tôi thực sự không thể xây dựng một ví dụ mẫu. Sự khác biệt là trong , chúng tôi có thể không thể chọn thuật toán một cách thống nhất trong .∩ ε > 0 D T I M E ( …
3
Công thức Boolean được định lượng với các phép xen kẽ logarit
Tôi đang nghiên cứu một vấn đề khó đối với lớp các công thức boolean được định lượng với số lượng xen kẽ logarit của các bộ lượng hóa. Một vấn đề trong lớp này sẽ giống như: ∀(x1,x2,…xa1)∃(xa1+1,…xa2),…∃(xalogn−1,…xalogn)F∀(x1,x2,…xa1)∃(xa1+1,…xa2),…∃(xalog⁡n−1,…xalog⁡n)F\forall (x_1, x_2, \ldots x_{a_1}) \exists (x_{{a_1}+1}, \ldots x_{a_2}), \ldots \exists(x_{a_{\log n …
3
Ví dụ về quá trình khử cộng đồng thành công từ BPP sang P
Một số ví dụ chính của quá trình khử cộng đồng thành công hoặc ít nhất là tiến bộ trong việc hiển thị bằng chứng cụ thể đối với mục tiêu (không phải là kết nối ngẫu nhiên về độ cứng)?P=BPPP=BPPP=BPP Ví dụ duy nhất xuất hiện trong đầu tôi …
1
Sự tách biệt ngoạn mục giữa các mạch lượng tử đa chiều sâu và log
Vấn đề sau đây xuất hiện trong danh sách Mười thách thức bán lớn của Aaronson cho Lý thuyết tính toán lượng tử . Là B Q P = B P PB Q N CBQP= =BPPBQNC\mathsf{BQP}=\mathsf{BPP}^{\mathsf{BQNC}} Nói cách khác, phần "lượng tử" của bất kỳ thuật toán lượng tử nào …
1
Có
Điều gì xảy ra nếu chúng ta định nghĩa P P A DPPAD{\bf PPAD} sao cho thay vì mạch Turing-machine / polysize polytime, logspace Turing-machine hoặc mạch A C 0AC0{\bf AC^0} mã hóa vấn đề? Gần đây đưa ra các thuật toán nhanh hơn cho Circuit satisfiability cho mạch nhỏ …
1
so với
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 …
5
Lớp phức tạp cho các chương trình con lượng tử lấy ở trạng thái lượng tử tùy ý làm đầu vào là gì?
Lớp BQP phức tạp tương ứng với các chương trình con lượng tử thời gian đa thức lấy các đầu vào cổ điển và tạo ra một đầu ra cổ điển xác suất. Lời khuyên lượng tử sửa đổi rằng bao gồm các bản sao của một số trạng thái …
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.