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

Chúng ta hãy sửa mã hóa máy Turing không có tiền tố và máy Turing phổ dụng UUU trên đầu vào (T,x)(T,x)(T,x) (được mã hóa dưới dạng mã không có tiền tố của TTT theo sau xxx ) xuất ra bất cứ thứ gì TTT xuất ra trên đầu vào …

28 cc.complexity-theory  kolmogorov-complexity  universal-computation  universal-turing-machines 

Độ phức tạp tiền tố Kolmogorov (tức là là kích thước của chương trình tự phân định tối thiểu xuất ra x ) có một số tính năng hay:K(x)K(x)K(x)xxx Nó tương ứng với một trực giác cho các chuỗi có patters hoặc cấu trúc có độ phức tạp thấp hơn …

28 it.information-theory  kolmogorov-complexity  formal-modeling 

Hãy xem xét các lý do sau đây: Gọi biểu thị độ phức tạp Kolmogorov của chuỗi x . Định lý bất toàn Chaitin nói rằngK(x)K(x)K(x)xxx cho bất kỳ hệ thống chính thức phù hợp và đủ mạnh mẽ , có tồn tại một hằng số T (chỉ phụ thuộc …

21 cc.complexity-theory  reference-request  lo.logic  circuit-complexity  kolmogorov-complexity 

Giả sử chúng ta có một vấn đề tính toán, ví dụ như 3-SAT, có một tập hợp các trường hợp vấn đề (đầu vào có thể) . Thông thường trong phân tích thuật toán hoặc lý thuyết độ phức tạp tính toán, chúng ta có một số bộ của …

20 cc.complexity-theory  kolmogorov-complexity  parameterized-complexity  succinct  analysis-of-algorithms 

Nhiều định lý và "nghịch lý" - Đường chéo của Cantor, tính không ổn định của sự hận thù, sự không ổn định của độ phức tạp Kolmogorov, Sự không hoàn hảo của Gôdel, Sự bất toàn của Chaitin, Nghịch lý của Russell, v.v. - tất cả đều có cùng …

17 lo.logic  computability  ct.category-theory  kolmogorov-complexity 

Gọi biểu thị độ phức tạp Kolmogorov của một chuỗi x . Có tồn tại một chuỗi sao cho K ( x x ) < K ( x ) . (Ở đây x x là phép nối của x với chính nó). Một câu hỏi tương tự nhưng khác nhau …

16 cc.complexity-theory  kolmogorov-complexity 

Định lý không hoàn chỉnh của Chaitin nói rằng không có lý thuyết số học nào đủ mạnh có thể chứng minh trong đó là độ phức tạp Kolmogorov của chuỗi và là hằng số đủ lớn. là đủ lớn nếu nó lớn hơn kích thước theo bit của một …

14 lo.logic  kolmogorov-complexity 

Thông thường entropy Shannon được sử dụng để chứng minh kết quả mã hóa kênh. Ngay cả đối với các kết quả tách kênh nguồn, entropy shannon cũng được sử dụng. Với sự tương đương giữa các khái niệm thông tin của Shannon (toàn cầu) và Kolmogorov (địa phương), đã …

12 it.information-theory  kolmogorov-complexity  shannon-entropy 

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 

Động lực cho câu hỏi này là thực tế là hầu hết các chuỗi n-bit là không thể nhấn được. Theo trực giác, chúng ta có thể đề xuất bằng cách tương tự rằng hầu hết các bằng chứng cho Tautology là không thể áp dụng cho kích thước đa …

11 lower-bounds  proof-complexity  kolmogorov-complexity 

Để trả lời "những vấn đề nào có thể được giải quyết bằng điện toán", chúng tôi đã phát triển lý thuyết về khả năng tính toán. Đối với các vấn đề có thể tính toán được, có lý thuyết nào để trả lời câu hỏi "chương trình tôi có …

10 big-picture  kolmogorov-complexity 

Máy phát điện bất khả xâm phạm được định nghĩa như sau: Đặt là quan hệ NP và M là máy chấp nhận L ( R ) . Không chính thức, một chương trình là một máy phát điện bất khả xâm phạm nếu, trên đầu vào 1 n , …

10 cc.complexity-theory  cr.crypto-security  oracles  relativization  kolmogorov-complexity 

Tôi đang tìm kiếm một bằng chứng cho thấy sự phức tạp của Kolmogorov là không thể tính toán được bằng cách sử dụng một giảm từ một vấn đề không thể giải quyết khác. Bằng chứng phổ biến là sự chính thức hóa nghịch lý của Berry chứ không …

9 computability  reductions  kolmogorov-complexity 

Chúng ta hãy sửa mã hóa máy Turing và máy Turing phổ dụng, U, trên đầu vào (T, x) xuất ra bất cứ thứ gì T xuất ra trên đầu vào x (có thể cả hai chạy mãi mãi). Xác định độ phức tạp Kolmogorov của x, K (x), là …

9 cc.complexity-theory  universal-computation  kolmogorov-complexity  universal-turing-machines 

Độ phức tạp Kolmogorov của một chuỗi là không thể tính toán được. Tuy nhiên, trong một tập hợp con ngẫu nhiên có kích thước của các chuỗi nhị phân có độ dài n , có bao nhiêu dự kiến ​​có độ phức tạp nhỏ hơn một số nguyên n …

9 cc.complexity-theory  kolmogorov-complexity