| 第46行: |
第46行: |
| | === 柯式复杂度 === | | === 柯式复杂度 === |
| | | | |
| − | [[柯式复杂度]]是大家公认的复杂度度量方法, | + | [[柯式复杂度]]是大家公认的复杂度度量方法,在文献《Towards a stable definition of Kolmogorov-Chaitin complexity》中,定义是一个字符串s对于通用图灵机U的'''柯尔莫哥洛夫-蔡汀(Kolmogorov-Chaitin)复杂度'''<math>K_{\mu}(s)</math>定义为输出该字符串s的最短程序p的二进制长度。 |
| | | | |
| | + | <math> |
| | + | K_{\mu}(s) = \{ min(\lvert p \rvert), U(p) = s \} |
| | + | </math> |
| | + | |
| | + | 柯式复杂度的主要缺点是因为停机问题而导致的不可计算性,针对K式复杂度的主要评论是它高度依赖编程语言的选择。 |
| | | | |
| | === 统计复杂度 === | | === 统计复杂度 === |