470
个编辑
更改
跳到导航
跳到搜索
小第55行：
第55行： − + 第65行：
第65行： − + 第71行：
第71行： − +
→柯式复杂度： 定义公式的定义符标准化
<math>
<math>
K_{u}(s) = \{ min(\lvert p \rvert), U(p) = s \}
K_{u}(s) = min\{\lvert p \rvert, U(p) = s \}
</math>
</math>
<math>
<math>
K(s) := C_U(x) = min\{ \lvert \lang M,w \rang \rvert): 图灵机M在输入w时停机并输出x \}
K(s) := C_U(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_U(x) = min\{ \lvert \lang M,w \rang \rvert: M(w) = x \}
</math>
</math>