アットウィキロゴ

コルモゴロフ複雑性


普遍計算機\cal Uに対して,記号列xのコルモゴロフ複雑性K_{\cal U}(x)は以下の様に定義される:

 K_{\cal U} (x)=\min_{p:{\cal U}(p)=x}  {l(p)},

即ち\cal Uの全てのプログラムの内,xを出力し停止する最も短かいプログラム\hat pの長さl(\hat p)である.


リンク

最終更新:2009年10月26日 16:55