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

Greg Egan trong tiểu thuyết "Dark Integers" (câu chuyện về hai vũ trụ với hai toán học khác nhau giao tiếp bằng cách chứng minh các định lý xung quanh sự không nhất quán trong số học) cho rằng có thể xây dựng máy tính đa năng chỉ trên các …

14 computability  universal-computation 

Hai giấy tờ tôi sẽ bao gồm: D. Kozen, "Lập chỉ mục các lớp học phụ" , STOC, 1978. R. Ladner, "Về cấu trúc của thời gian đa thức" , JACM, 1975.

14 cc.complexity-theory  lo.logic  computability  big-list  structural-complexity 

Định lý của Rice nói rằng mọi thuộc tính không cần thiết của tập hợp được công nhận bởi một số máy Turing là không thể xác định được. Tôi đang tìm kiếm định lý loại gạo phức tạp - lý thuyết cho chúng ta biết các tính chất không …

14 cc.complexity-theory  computability  np 

Nếu là tập hợp thời gian tạm dừng của các máy Turing n -state trên bảng chữ cái nhị phân có băng ban đầu trống, thì B B ( n ) = max H T ( n ) .HT( n )HT(n)HT(n)nnnB B ( n ) = max HT( n )BB(n)=maxHT(n)BB(n) …

13 computability 

Cách thông thường để chứng minh tính không ổn định là giảm từ một vấn đề hoàn thành RE như vấn đề tạm dừng, tính hợp lệ trong logic thứ nhất, sự thỏa mãn của phương trình Diophantine, v.v. Được biết, có vô số đệ quy, nhưng không thể giải …

13 computability 

Có thể xây dựng một mục đích cơ học duy nhất (không hoàn thành Turing) của Microsoft Word không? Có thể thực hiện những thứ như vòng lặp, hàm bậc nhất, toàn bộ các kỹ thuật lập trình không? Có thể bánh răng và các bộ phận cơ khí khác …

13 computability  pl.programming-languages  machine-models  ar.hardware-architecture 

Theo tôi hiểu, một bằng chứng cho thấy P = NP hoặc P ≠ NP sẽ cần phải không tương đối (như trong các lý thuyết đệ quy đệ quy). Hầu như tất cả các bằng chứng dường như là tương đối, mặc dù. Các ví dụ tốt về các …

13 cc.complexity-theory  lo.logic  computability  p-vs-np  relativization 

Vấn đề tạm dừng nổi tiếng là không thể giải quyết được. Tuy nhiên, có thể "nén" thông tin theo cấp số nhân về vấn đề tạm dừng, do đó việc giải nén nó là có thể tính toán được. Chính xác hơn, có thể tính toán từ mô tả …

12 computability  lower-bounds  turing-machines  communication-complexity  oracles 

Tôi đã cố gắng quấn đầu xung quanh cái gì, tại sao và như thế nào về -calculus nhưng tôi không thể hiểu được "tại sao nó hoạt động"?λλ\lambda "Trực giác" Tôi có được mô hình tính toán của Turing Machines (TM). Nhưng việc này chỉ khiến tôi bối rối.λλ\lambda …

12 soft-question  computability  lambda-calculus  ho.history-overview  intuition 

Mô hình tính toán đơn giản nhất mà vấn đề trống rỗng là không thể giải quyết được là gì? Vấn đề trống rỗng cho một mô hình tính toán (ví dụ: máy tự động trạng thái hữu hạn, máy tự động đẩy xuống xen kẽ, máy tự động lượng …

12 computability  decidability  undecidability  unary-languages 

Có những vấn đề có thể quyết định sao cho không có thuật toán nào giải quyết được vấn đề chúng ta có thể đưa ra thời gian bị ràng buộc như là một hàm có độ dài n của thể hiện đầu vào không? Tôi đến câu hỏi này …

12 computability  time-complexity 

Thông thường đơn giản hơn là lý do về tính toán trong đó giới hạn là tính hữu hạn của tính toán thay vì một ngưỡng như "tính toán trong lượng thời gian đa thức". Trong lý thuyết ngôn ngữ chính thức chẳng hạn, thay vì sử dụng ∃ n …

12 cc.complexity-theory  computability 

Chúng ta có thể nghĩ về độ phức tạp Kolmogorov của một chuỗi xxx là độ dài của chương trình ngắn nhất PPPvà đầu vào yyy sao cho x=P(y)x=P(y)x = P(y) . Thông thường các chương trình này được rút ra từ một số bộ hoàn chỉnh Turing (như PPP …

12 reference-request  computability  kolmogorov-complexity 

Điều này có lẽ khá đơn giản, nhưng hãy xem xét vấn đề tương ứng bài viết tiêu chuẩn: Cho và , tìm một chuỗi các chỉ số sao cho . Điều này, tất nhiên, không thể giải quyết được.beta 1 , ... , β N i 1 , ... …

12 computability  fl.formal-languages 

Giấy Lauri Hella và José María Turull-Torres, Tính toán các truy vấn với logic bậc cao hơn , TCS 355 197 Tiết214, 2006. doi: 10.1016 / j.tcs.2006.01.009 đề xuất logic VO, logic thứ tự biến. Điều này cho phép định lượng trên các đơn đặt hàng qua các biến. VO …

12 cc.complexity-theory  complexity-classes  lo.logic  computability  descriptive-complexity