Tính chất quyết định của thực tế tính toán


10

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 ứng trong một số cách trực tiếp đến sự kết nối của thực tế?

Câu trả lời:


8

Đúng, định lý của Rice đối với các thực thể giữ trong mọi phiên bản hợp lý của các thực thể tính toán.

Trước tiên tôi sẽ chứng minh một định lý nhất định và một hệ quả, và giải thích những gì nó phải làm với khả năng tính toán sau này.

Định lý: Giả sử là một bản đồ và một , b R hai số thực mà p ( một ) = 0p ( b ) = 1 . Sau đó, tồn tại một chuỗi Cauchy ( x i ) i sao cho p ( lim i x i ) p ( x j ) cho tất cả jp:R{0,1}a,bRp(a)=0p(b)=1(xi)ip(limixi)p(xj) .jN

Bằng chứng. Chúng tôi xây dựng một chuỗi các cặp thực như sau: ( y 0 , z 0 )(yi,zi)i

(y0,z0)=(a,b)(yi+1,zi+1)={(yi,(yi+zi)/2)if p((yi+zi)/2)=1((yi+zi)/2,zi)if p((yi+zi)/2)=0
Quan sát mà cho tất cả :iN
  • p ( z i ) = 1p(yi)=0p(zi)=1
  • |ziyi|=|ba|2i
  • |yi+1yi||ba|2i
  • |zi+1zi||ba|2i

Do đó, các chuỗi ( z i ) i là Cauchy và chúng hội tụ đến một điểm chung c = lim i y i = lim i z i . Nếu p ( c ) = 0 thì ta lấy ( x i ) i = ( z i ) i và nếu p ( c ) = 1 thì ta lấy ( x(yi)i(zi)ic=limiyi=limizip(c)=0(xi)i=(zi)ip(c)=1 . (xi)i=(yi)i

Hệ quả: Giả sử a , b R hai số thực sao cho p ( a ) = 0p ( b ) = 1 . Sau đó, mọi máy Turing sẽ chạy mãi mãi hoặc nó không chạy mãi mãi.p:R{0,1}a,bRp(a)=0p(b)=1

Bằng chứng. Bởi định lý, có một dãy Cauchy như rằng p ( x j ) p ( lim i x i ) cho tất cả j B . Không mất tính tổng quát, chúng ta có thể giả sử rằng p ( x j ) = 1p ( lim i x i ) = 0 .(xi)ip(xj)p(limixi)jBp(xj)=1p(limixi)=0

Đặt là máy Turing. Xác định một chuỗi y i bởi y i = { x j nếu  T  dừng lại ở bước  j  và  j i x i nếu  T  không dừng lại trong   các bước i Trình tự được xác định rõ vì chúng tôi có thể mô phỏng T theo i bước và quyết định xem nó đã dừng lại hoặc không trong nhiều bước. Tiếp theo, hãy quan sát rằng ( y i ) i là một chuỗi Cauchy vì ( x i )Tyi

yi={xjif T halts in step j and jixiif T does not halt within i steps
Ti(yi)i là một chuỗi Cauchy (chúng tôi để nó như một bài tập). Đặt z = lim i y i . Hoặc p ( z ) = 0 hoặc p ( z ) = 1 :(xi)iz=limiyip(z)=0p(z)=1
  • p(z)=0Tjz=xjp(z)=p(xj)=1p(z)=0

  • p(z)=1Tz=limixip(z)=p(limixi)=0p(z)=0

Bây giờ chúng ta có thể giải thích tại sao điều này mang lại cho chúng ta định lý Rice cho các số thực. Các bằng chứng mang tính xây dựng, do đó chúng mang lại các thủ tục tính toán. Điều này đúng với bất kỳ mô hình tính toán nào và bất kỳ cấu trúc tính toán nào của các thực thể xứng đáng được gọi như vậy. Trên thực tế, bạn có thể quay lại và đọc bằng chứng dưới dạng hướng dẫn để xây dựng chương trình - tất cả các bước đều có thể tính toán được.

p:R{0,1}a,bRp(a)=0p(1)=1p:R{0,1} là hằng số.

Bổ sung: Cũng có một câu hỏi về việc liệu định lý của Rice có liên quan đến sự kết nối của thực tế hay không. Vâng, về cơ bản là tuyên bố rằng các thực tế được kết nối.

p:X{0,1}{0,1}U,VXUV=XU=p1({0})V=p1({1})p{0}{1}UVX(U,V)Xp:X{0,1}U0V1

Xp:X{0,1}a,bXp(a)=0p(1)=babXXX{0,1}

NN


Cảm ơn! Đây là những gì tôi đang tìm kiếm. Bất kỳ ý tưởng về câu hỏi khác - liệu điều này có liên quan trực tiếp đến sự kết nối của thực tế không?
Shachaf

Tôi đã thêm một lời giải thích về thực tế rằng định lý Rice thực tế là một dạng của định lý kết nối.
Andrej Bauer

p(x)=1,p(x)=0yi=xTiyi=xyixxx,xTyipTp1

1
TyiiyixxT

-1

Không. Hoặc, ít nhất, bằng chứng không tầm thường, vì bạn có thể chọn trong số các cách có thể (nói chung là nhiều) có thể để tính toán thực và có thể chọn một cách có cấu trúc là tổng tài sản được chọn sao cho bạn không giảm việc kiểm tra tài sản đối với vấn đề tạm dừng.

Ngoài ra, tôi nghĩ rằng tôi cần hiểu rõ hơn về "không tầm thường" nghĩa là viết các thuộc tính của số. Đối với định lý của Rice, "không cần thiết" về cơ bản là không cú pháp và không được ngụ ý theo cú pháp. Tuy nhiên, mỗi số thực tính toán không phải là một chương trình, mà là một lớp tương đương có đầy đủ các chương trình.


1
222/7π

Các đại diện khác nhau của thực tế tính toán thực sự có tính chất tính toán khác nhau đáng kể? Giả sử tôi đang sử dụng một trong các định nghĩa tại en.wikipedia.org/wiki/Computable_number , ví dụ: một thực tế tính toán được đại diện bởi một chương trình có một lỗi hợp lý bị ràng buộc và tạo ra một xấp xỉ trong giới hạn đó. Ý tôi là "tầm thường" theo nghĩa tương tự như định lý của Rice: Một thuộc tính áp dụng cho tất cả các thực thể tính toán hoặc không thuộc về chúng. Đúng là mỗi số có thể được đại diện bởi nhiều chương trình, nhưng điều đó cũng đúng với các chức năng một phần.
Shachaf

@Shachaf Điều đó "tầm thường" hơn Định lý của Rice yêu cầu. Các thuộc tính "Cú pháp" cũng không đáng kể - ví dụ "có ít nhất 4 trạng thái có thể truy cập từ trạng thái ban đầu", "có biểu đồ trạng thái được kết nối", "không có chuyển đổi ghi X vào băng", v.v. - và chúng cần không áp dụng cho mọi máy.
Boyd Stephen Smith Jr.

@DavidR Richby Vâng, tôi nghĩ rằng sự khác biệt là cần thiết. Nếu bạn có thể làm việc độc quyền với các đại diện toàn diện hoặc năng suất, bạn có nhiều quyền lực hơn.
Boyd Stephen Smith Jr.

Định lý Rice là về các thuộc tính của các hàm một phần, không phải là các thuật toán tính toán chúng. Tương tự, tôi đang hỏi về các thuộc tính của các thực tế tính toán, không phải các chương trình tính toán chúng.
Shachaf
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.