如何解决计算复杂性:对矛盾感到困惑,无法证明大多数决策问题都无法计算
我对此证明有些困惑,在本讲座的13分钟处给出: https://www.youtube.com/watch?v=moPtwq_cVH8
证明依赖于这样一个事实,即程序需要是有限的,这使得所有程序的集合少于所有函数的集合。这应该意味着存在一个理论上最大的程序,因为可以说所有程序S的集合(据称是有限的)的大小为N。现在,如果我们将N中的最大程序加上1位,我们现在创建了一个不在S中的程序,这与S是所有程序的集合的说法相矛盾。
但是对于任何大小为K的程序,都可以制作大小为K + 1的程序。这意味着不可能有最大尺寸的程序。
解决方法
您误会了。每个程序都是有限的。不是程序集。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。