更改
跳到导航
跳到搜索
←上一编辑
下一编辑→
计算力学
(查看源代码)
2024年9月7日 (六) 05:42的版本
添加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
个编辑
导航菜单
个人工具
登录
名字空间
页面
讨论
变种
视图
阅读
查看源代码
查看历史
更多
搜索
导航
集智百科
集智主页
集智斑图
集智学园
最近更改
所有页面
帮助
工具
特殊页面
可打印版本