tailieunhanh - ALGORITHMIC INFORMATION THEORY - CHAPTER 6

Program Size Trong chương này chúng tôi trình bày một nition de mới của chương trình kích thước phức tạp. H (AB = CD) de ned để được kích thước bit của các chương trình tự phân chia ranh giới ngắn nhất tính cho chuỗi A và B nếu được đưa ra một chương trình tự phân chia ranh giới kích thước tối thiểu để tính toán chuỗi C và D. là trường hợp trong LISP, các chương trình được yêu cầu để được tự phân chia ranh giới, nhưng thay vì đạt được điều này với các dấu ngoặc. | Chapter 6 Program Size Introduction In this chapter we present a new definition of program-size complexity. H A B C D is defined to be the size in bits of the shortest self-delimiting program for calculating strings A and B if one is given a minimal-size self-delimiting program for calculating strings c and D. As is the case in LISP programs are required to be self-delimiting but instead of achieving this with balanced parentheses we merely stipulate that no meaningful program be a prefix of another. Moreover instead of being given c and D directly one is given a program for calculating them that is minimal in size. Unlike previous definitions this one has precisely the formal properties of the entropy concept of information theory. What train of thought led US to this definition Following Chaitin 1970a think of a computer as decoding equipment at the receiving end of a noiseless binary communications channel. Think of its programs as code words and of the result of the computation as the decoded message. Then it is natural to require that the programs code words form what is called a prefix-free set so that successive messages sent across the channel . subroutines can be separated. Prefix-free sets are well understood they are governed by the Kraft inequality which therefore plays an important role in this chapter. One is thus led to define the relative complexity H A BIc D of 157 158 CHAPTER 6. PROGRAM SIZE A and B with respect to c and D to be the size of the shortest selfdelimiting program for producing A and B from c and D. However this is still not quite right. Guided by the analogy with information theory one would like H A B H A H B A A to hold with an error term A bounded in absolute value. But as is shown in the Appendix of Chaitin 1975b A is unbounded. So we stipulate instead that R A B C -D is the size of the smallest selfdelimiting program that produces A and B when it is given a minimal-size self-delimiting program for c and D. We shall show .

• Cơ sở dữ liệu
• thuật toán máy tính
• Cơ bản LISP
• môn hình máy tính
• xử lý thông tin
• lý thuyết thông tin
• chương trình máy tính
• sử dụng máy tính cầm tay
• giải toán bằng máy tính
• toán học phổ thông
• thi học sinh giỏi toán
• máy tính cầm tay FX 570ES
• giải toán bằng máy tính bỏ túi
• thủ thuật máy tính bỏ túi
• giới thiệu máy tính bỏ túi
• Kỹ thuật sửa chữa máy tính
• Kỹ thuật lắp ráp máy tính
• Giáo trình Mạng máy tính
• Mạng máy tính
• Mô hình điện toán mạng
• Kỹ thuật mạng cục bộ
• kỹ thuật máy tính
• kỹ năng máy tính
• cấu trúc máy tính
• kiến trúc máy tính
• ngôn ngữ máy tính
• các phép toán
• Bài giảng Đồ họa máy tính
• Đồ họa máy tính
• Tìm hiểu đồ họa máy tính
• Lý thuyết đồ họa máy tính
• Thuật toán đồ họa máy tính
• Thuật toán cơ sở
• Luận án tiến sĩ Khoa học Máy tính
• Luận án tiến sĩ
• Khoa học Máy tính
• Tính toán đám mây
• Thuật toán lập lịch
• Môi trường tính toán đám mây
• Các thuật toán mành hóa
• Thuật toán mành hóa
• Thuật toán tô phủ
• Thuật toán đường quét
• Kĩ thuật sử dụng máy tính
• Cách giải Toán đại cương
• Cách sử dụng máy tính để giải toán
• Cách giải bài toán tính Lim
• Cách giải bài toán hàm số
• Cách giải bài toán đạo hàm
• Máy trục
• Tính toán bộ máy máy trục
• Thiết bị động lực
• Phanh hãm
• máy trục đơn giản
• Tính toán bộ máy di chuyển
• Tính toán bộ máy quay
• Sáng kiến kinh nghiệm
• Bài tập xây dựng thuật toán giải bài toán
• Thuật toán giải bài toán
• Xây dựng thuật toán máy tính
• Xây dựng thuật toán
• Lắp ráp máy tính
• Mô hình OSI
• Công nghệ WLAN
• Bộ giao thức
• Mô hình truyền thông
• Ngôn ngữ lập trình
• Bài giảng thuật toán
• Thuật toán quay lưng
• Thuật toán quay lui
• Bài toán thuật toán
• Khóa học máy tính
• Kỹ thuật máy lạnh
• Điều hòa không khí
• Giáo trình Tính toán thiết kế hệ thống Máy lạnh
• Thiết kế hệ thống Máy lạnh
• Tính toán xác định phụ tải lạnh
• Thiết kế sơ bộ hệ thống máy lạnh
• Bài giảng Tin học 10
• Bài giảng Tin học 10 Bài 6
• Bài 6 Giải bài toán trên máy tính
• Bài giảng Giải bài toán trên máy tính
• Xác định bài toán trên máy tính
• Diễn tả thuật toán
• phương pháp giải toán
• máy tính casio
• giải toán máy tính casio
• thuật toán để tính dãy số
• thuật toán máy tính casio
• Phân loại Thuật toán mành hóa
• Cách cài đặc Thuật toán mành hóa
• Định lý Jordan
• Bài giảng Kiến trúc máy tính
• Thuật toán
• Biểu diễn thuật toán
• Cấu trúc thuật toán cơ bản
• Cấu trúc thuật toán
• Kỹ thuật giải nhanh đề thi THPTQG
• Kỹ thuật giải toán bằng máy tính Casio
• Đề thi THPTQG môn Toán
• Kỹ thuật giải toán THPTQG trên Casio
• Giải toán bằng máy tính Casio
• Giáo trình Kỹ thuật đồ họa máy tính
• Kỹ thuật đồ họa máy tính
• Thuật toán vẽ đường thẳng
• Kỹ thuật Storyboard
• giáo trình
• thuật toán vẽ
• kỹ sư máy tính
• học đồ họa máy tính
• hướng dẫn học đồ họa máy tính
• giáo trình đồ họa máy tính
• Luận văn Thạc sĩ Khoa học máy tính
• Các bài toán tính toán
• Lý thuyết xử lý song song
• Lý thuyết xử lý phân tán
• Tính toán phân tán bằng Cluster
• máy tính bỏ túi
• giải toán trên máy tính
• thủ thuật máy tính
• cách giải toán nhanh
• giáo án điện tử
• toán học trong Excel
• mẹo sử dụng máy tính
• khắc phục sự cố máy tính
• cách sửa lỗi máy tính
• lỗi máy tính