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

Người ta đã chứng minh rằng các mạng thần kinh với trọng số hợp lý có sức mạnh tính toán của tính toán Turing Machine Universal Turing với tính năng Mạng lưới thần kinh . Từ những gì tôi nhận được, dường như việc sử dụng các trọng số có …

10 computability  neural-networks 

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ề …

10 computability  turing-machines  intuition 

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} ), …

10 formal-languages  computability  undecidability 

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 …

10 complexity-theory  computability  reductions 

Đặt A và B là các ngôn ngữ có A ⊆ B và B là Turing dễ nhận biết. A có thể không Turing-nhận ra? Nếu vậy, có ví dụ nào không?

10 computability 

OK, vì vậy đây là một câu hỏi từ một bài kiểm tra trước đây trong lớp Lý thuyết tính toán của tôi: Trạng thái vô dụng trong TM là trạng thái không bao giờ được nhập trên bất kỳ chuỗi đầu vào nào. Đặt Chứng minh rằng là không …

10 computability  undecidability  formal-methods  turing-machines 

Có phải "Định lý của Rice đối với các thực thể tính toán" - nghĩa là, không có thuộc tính không cần thiết nào của số được biểu thị bằng một thực tế tính toán nhất định là có thể quyết định - có đúng không? Điều này có tương …

10 computability  real-numbers  computable-analysis 

Trên trang web này có nhiều biến thể về câu hỏi liệu các TM có thể quyết định vấn đề tạm dừng hay không, cho dù tất cả các TM khác hoặc các tập hợp con nhất định. Câu hỏi này có phần khác nhau. Nó hỏi liệu thực tế …

9 computability  turing-machines  undecidability  halting-problem 

Một tuyên bố về định lý của Rice được đưa ra ở trang 35 của "Độ phức tạp tính toán: Cách tiếp cận hiện đại" (Arora-Barak): Hàm một phần từ đến là một hàm không nhất thiết phải được xác định trên tất cả các đầu vào của nó. Chúng …

9 computability  turing-machines  undecidability  rice-theorem 

Tôi đang cố gắng đưa ra một bằng chứng cho những điều sau đây: Đối với bất kỳ ngôn ngữ AAA , tồn tại một ngôn ngữ BBB mà A≤TBA≤TBA \le_{\mathrm{T}} B nhưng B ≰TA≰TA\nleq_{\mathrm{T}} A . Tôi đã nghĩ đến việc để BBB là ATMATMA_{\mathrm{TM}} , nhưng tôi nhận …

9 computability  reductions  undecidability 

Câu hỏi này xảy ra với tôi về vấn đề tạm dừng và tôi không thể tìm thấy câu trả lời hay trên mạng, tự hỏi liệu ai đó có thể giúp đỡ. Có thể là vấn đề tạm dừng có thể quyết định đối với bất kỳ TM nào …

9 computability  undecidability  halting-problem 

Hôm nay vào bữa trưa, tôi đã đưa ra vấn đề này với các đồng nghiệp của mình và thật ngạc nhiên, lập luận của Jeff E. rằng vấn đề có thể quyết định đã không thuyết phục được họ ( đây là một bài viết liên quan chặt chẽ …

9 computability  undecidability 

Để chứng minh rằng 3 màu là có thể quyết định, có đủ để nói: Mỗi nút trong biểu đồ có 3 màu có thể Do đó, chúng ta có thể liệt kê trên tất cả khả năng và sau đó kiểm tra xem không có hai cạnh nào kết …

9 computability  turing-machines  colorings 

Giả sử tôi có hai hàm và và tôi quan tâm đến việc xác định xemFFFGGG F(x)=∫G(x)dx.F(x)=∫G(x)dx.F(x) = \int G(x)dx. Giả sử rằng các hàm của tôi bao gồm các hàm cơ bản (đa thức, hàm mũ, nhật ký và hàm lượng giác), nhưng không, giả sử, chuỗi Taylor. Là …

9 computability  undecidability  mathematical-analysis  computer-algebra 

Đây là phần tiếp theo của một câu hỏi khác ở đây và tôi hy vọng nó không quá triết lý. Như Raphael đã chỉ ra trong một nhận xét về câu hỏi trước đây của tôi, tôi thực sự không có định nghĩa về "tính toán", nhưng theo một …

9 computability  computation-models