更改

添加63字节 、 2024年9月7日 (星期六)
→‎柯式复杂度 补充定理的公式
第57行: 第57行:       −
定理:总能找到一个常量E,对于任意的字符串s,两种计算模型的何式复杂度满足:
+
定理:总能找到一个常量E,对于任意的字符串s,两种计算模型U1和U2的柯式复杂度满足:
 
      +
<math>
 +
\lvert K_{U_1}(s) - K_{U_2}(s) \rvert < E
 +
</math>
    
即,在误差条件E以内,有程序P能让计算模型U1模拟U2。
 
即,在误差条件E以内,有程序P能让计算模型U1模拟U2。
470

个编辑