Khoa học máy tính lý thuyết

Q & A cho các nhà khoa học và nhà nghiên cứu máy tính lý thuyết trong các lĩnh vực liên quan

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 …
2
(Làm thế nào) Chúng ta có thể khám phá / phân tích các vấn đề NP khi không có mô hình tính toán Turing không?
Từ quan điểm toán học / lý luận tính toán hoàn toàn trừu tượng, người ta thậm chí có thể khám phá hoặc suy luận về các vấn đề như 3-SAT, Subset Sum, Nhân viên bán hàng du lịch, v.v.? Chúng ta thậm chí có thể suy luận về chúng …
3
Ngôn ngữ không thể tin được
Đây không nhất thiết là một câu hỏi nghiên cứu. Chỉ là một câu hỏi vì tò mò: Tôi đang cố gắng để hiểu nếu người ta có thể định nghĩa các ngôn ngữ "không thể sửa chữa". Là một đoán đầu tiên tôi gọi một ngôn ngữ L "khử" …
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 …
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.