Khoa học máy tính

Q & A cho sinh viên, nhà nghiên cứu và thực hành khoa học máy tính


1
Turing Recognizable => vô số
Tôi có bằng chứng về việc chuyển từ một điều tra viên sang Máy Turing (tiếp tục chạy điều tra viên và xem liệu nó có khớp với đầu vào không) nhưng tôi không thấy cách khác hoạt động. Theo ghi chú của tôi và cuốn sách (Giới thiệu về …


1
Làm thế nào để chứng minh rằng phiên bản 3SAT bị ràng buộc trong đó không có nghĩa đen nào có thể xảy ra nhiều hơn một lần, có thể giải quyết được trong thời gian đa thức?
Tôi đang cố gắng thực hiện một bài tập (lấy từ cuốn sách Thuật toán - của S. Dasgupta, CH Papadimitriou, và UV Vazirani , Chap 8, vấn đề 8.6a), và tôi đang diễn giải những gì nó nói: Cho rằng 3SAT vẫn hoàn thành NP ngay cả khi bị …

4
Có một ngôn ngữ hữu hạn không thể giải quyết của các từ hữu hạn?
Có một nhu cầu cho L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* là vô hạn để có thể quyết định? Ý tôi là gì nếu chúng tôi chọn một ngôn ngữ L′L′L' là một phiên bản hữu hạn được giới hạn của L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* , có nghĩa là |L′|≤N|L′|≤N|L'|\leq N ( N∈NN∈NN \in \mathbb{N} ), …






2
Nếu A là ánh xạ có thể rút gọn thành B thì phần bù của A là ánh xạ có thể rút gọn thành phần bù của B
Tôi đang nghiên cứu cho lý thuyết tính toán cuối cùng của mình và tôi đang vật lộn với cách trả lời đúng đắn liệu tuyên bố này có đúng không. Theo định nghĩa của chúng ta có thể xây dựng câu lệnh sau,≤m≤m\leq_m w∈A⟺f(w)∈B→w∉A⟺f(w)∉Bw∈A⟺f(w)∈B→w∉A⟺f(w)∉Bw \in A \iff f(w) \in …



2
Làm cách nào để phân loại vấn đề tối ưu hóa đầu vào trình giả lập của tôi và tôi nên tiếp cận với thuật toán nào?
Do tính chất của câu hỏi, tôi phải bao gồm nhiều thông tin cơ bản (vì câu hỏi của tôi là: làm thế nào để thu hẹp điều này?) Điều đó nói rằng, nó có thể được tóm tắt (theo hiểu biết tốt nhất của tôi) như: Phương pháp nào …


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 cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.