470
个编辑
更改
→柯式复杂度： 复杂度下标的标准化
<math>
<math>
K(s) := C_u(x) = min\{ \lvert \lang M,w \rang \rvert: 通用计算机M在输入w时停机并输出x \}
K(s) := C_m(x) = min\{ \lvert \lang M,w \rang \rvert: 通用计算机M在输入w时停机并输出x \}
</math>
</math>
<math>
<math>
K(s) := C_u(x) = min\{ \lvert \lang M,w \rang \rvert: M(w) = x \}
K(s) := C_m(x) = min\{ \lvert \lang M,w \rang \rvert: M(w) = x \}
</math>
</math>