470
个编辑
更改
跳到导航
跳到搜索
第57行：
第57行： − + 第63行：
第63行： − +
→柯式复杂度： 复杂度下标的标准化
<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>