量子计算和图灵机:图灵机是否仍是一种精确的度量?
上周在课堂上,我的教授评论说,图灵机被用作可计算内容的标准度量/模型,是对该主题进行讨论的有用基础。她还说,图灵机的所有变体都被证明在计算上是等效的-读起来一样强大-彼此一样。w ^ 昨天,我评论并说,关于可计算性,我注意到某些图灵机可能花费大量时间来计算非常简单的内容,而带有更多磁带的图灵机可以计算出数量相对较低的渐近复杂性需要的步骤。 她说,关于课堂讨论,图灵机上特定算法的运行时间不会改变可计算性的定义,也不会改变我们衡量可计算性的能力。“我们担心的是此时可计算的内容,而不是有效地计算的内容。” 因此,图灵机是否有越来越多的磁带并不重要,越来越多的磁带意味着它可以以更少的步骤进行计算。好的,我知道我们实际上是在关注可计算的内容,而不是计算的速度。 到目前为止,渐进时间和空间复杂度异常大的算法确实定义了可计算的极限,也许我应该说。 因此,我有几个问题: 假设我们有一个量子图腾机的模型,它必须等效于“常规”图腾机,对吗? 因此,我认为该问题的答案实际上与我撰写本文的原因有关。量子计算技术是否过时了通过图灵机可计算的经典定义? 这是我头上的东西吗,我应该删除此帖吗?我并不是说要早熟,我只是没有看到类似我的问题。