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

3
Mã nhị phân có ràng buộc
Giả sử tôi có một bảng chữ cái của n ký hiệu. Tôi có thể mã hóa chúng một cách hiệu quả với các -bits. Chẳng hạn nếu n = 8: A: 0 0 0 B: 0 0 1 C: 0 1 0 D: 0 1 1 E: 1 0 …
3
Định nghĩa chuẩn của máy Turing
Tôi đã theo dõi hai cuốn sách nổi tiếng về "Lý thuyết tự động và ngôn ngữ chính thức": Cuốn sách của Micheal Sipser Cuốn sách của Jeffrey Ullman và John Hopcroft trong cả hai cuốn sách, định nghĩa cấp độ của máy Turing khác nhau. Mặc dù mức độ …
1
NP-XOR-SAT có trọng số không?
Được nnn biến boolean x1,…,xnx1,…,xnx_1,\ldots,x_n mỗi trong số đó được chỉ định một chi phí tích cực c1,…,cn∈Z&gt;0c1,…,cn∈Z&gt;0c_1,\ldots,c_n\in\mathbb{Z}_{>0} và một hàm boolean fff trên các biến được đưa ra trong mẫu f(x1,…,xn)=⋀i=1k⨁j=1lixrijf(x1,…,xn)=⋀i=1k⨁j=1lixrijf(x_1,\ldots,x_n)=\bigwedge_{i=1}^k\bigoplus_{j=1}^{l_i}x_{r_{ij}} (⊕⊕\oplus biểu thị XOR) với k∈Z&gt;0k∈Z&gt;0k\in\mathbb{Z}_{>0}, số nguyên 1≤li≤n1≤li≤n1\leq l_i\leq n và 1≤ri1&lt;⋯&lt;rili≤n1≤ri1&lt;⋯&lt;rili≤n1\leq r_{i1}<\cdots<r_{il_i}\leq n cho tất cả …
1
Lớp nhỏ nhất của mô hình automata có lớp ngôn ngữ tương ứng chứa CFL và được đóng lại (dis) cho phép không thuyết phục trong mô hình
Từ một bình luận , một câu hỏi thú vị xuất hiện. Lớp CFL (các ngôn ngữ được công nhận bởi các PDA) rõ ràng không bị đóng cửa theo thuyết không điều kiện - điều tôi muốn nói là điều này là các PDA xác định không có sức …
2
Tại sao trong một hàng đợi ưu tiên tối thiểu (dựa trên heap), nó được gọi là khóa giảm dần và không chỉ là khóa set-key
Khi bạn gọi phím giảm trong hàng đợi ưu tiên tối thiểu, về cơ bản bạn đang đặt khóa, bạn có thể vô tình đặt phím cao hơn, phải không? vậy tại sao nó không được gọi là "set-key" hay "update-key"? tại sao (theo Wikipedia và các nguồn khác) hàng …
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.