计算理论10_不可压缩性.ppt

Outline Measuring Information ep213 cp 146 Measuring Information ep213 cp 140 Measuring Information ep213 cp 140 Regularity Regularity Allowed Descriptions 用Pi表示一长串01 Allowed Descriptions 用Pi表示一长串01 ‘Turing Describable’ ep215 cp141 ‘Turing Describable’ ep215 cp141 ‘Turing Describable’ ep215 cp141 Measuring the size of (M,y) Measuring the size of (M,y) An Encoding for M,y ep214, cp147思想 ：0,1和分隔符号，需三符号，可用三进位， 但这里巧用 二进位编码 Description Length of M,y Description Length of M,y Minimum Description x Descriptive Complexity of xK-kolmogolov , cp147 Descriptive Complexity of xK-kolmogolov ,cp147 Kolmogorov( ) Complexity Kolmogorov(?) Complexity Kolmogorov(?) Complexity How Universal is K? 如何通用？有多大误差？ How Universal is K? 如何通用？有多大误差？ Invariance Theorem ep217 Invariance Theorem ep217 An Obvious First Result ep215 可自学 An Obvious First Result ep215 可自学 Data Compression ep215 cp14７ 可自学 Data Compression ep215 cp147 Concatenation 一个意料之外的例子 Log Cost of Concatenation ep216 cp147 Log Cost of Concatenation ep216 cp147 不可压缩串 X是串， c0 , K(x)|x|-c, 称x是C-可压缩（长度压了C） 反之 不可c压缩, c=1时 称为不可压缩的， 最小描述比原串长度小C 反过来， 对不可压缩的串x。描述就不能太小。 一个图灵机M ,M 长度2002 , 一个串 w 复杂度2003,且不可压缩， M 一定不能描述 W. 我们称为 小马 拉 大车 这一直观感觉 在后面有用 许多软件。增加能力，增加EXE的字节数（Win) 升级软件要求升级硬盘。符合这一深层次的信息压缩定理。 1k长的程序不能描述windows 不可压缩串 X是串， c0 , K(x)|x|-c, 称x是C-可压缩（长度压了C） 反之 不可c压缩, c=1时 称为不可压缩的， 最小描述比原串长度小C 反过来， 对不可压缩的串x。描述就不能太小。 一个图灵机M ,M 长度2002 , 一个串 w 复杂度2003,且不可压缩， M 一定不能描述 W. 我们称为 小马 拉 大车 这一直观感觉 在后面有用 许多软件。增加能力后，EXE的字节数增加了。（Win) 升级软件要求升级硬盘。符合这一深层次的信息压缩定理。 1k长的程序不能描述windows 不可压缩串 X是串， c0 , K(x)|x|-c, 称x是C-可压缩（长度压了C） 反之 不可压缩c, c=1时 称为不可压缩的， 最小描述比原串长度小C 反过来， 对不可压缩的串x。描述就不能太小。 一个图灵机M ,M 长度2002 , 一个串 w 复杂度2003,且不可压缩， M 一定不能描述 W. 适当规定大小概念。则 小马 不能拉 大车 这一直观感觉 在后面有用 许多软件。增加能力后，EXE的字节数增加了。（Win) 升级软件要求升级硬盘。符合这一深层次的信息压缩定理。 1k长的程序不能描述windows Incompres