为什么不分发计算和/或GPU被认为是非确定性的图灵机,如果它们可以一次运行多个作业?

cs.stackexchange https://cs.stackexchange.com/questions/119284

所以我们知道一个非确定的图灵机(NTM)只是一个理论上的计算模型。它们用于思想实验,以检查计算机的能力和限制。除非在假设的NTM上完成计算,否则通常用于DiCuss P与NP,以及如何在多项式时间中解决NP问题。 我们还知道一个NTM将使用一组规则来规定对任何给定情况执行的多个动作。换句话说,同时尝试许多不同的选项。

这不是商品硬件的分布式计算吗?并行运行许多不同的可能计算?和GPU,这是一个机器内的。为什么这不是被认为是ntm?

有帮助吗?

解决方案

在并行计算中,线程可以在计算期间彼此交换并交换信息。在不确定的中,线程之间唯一的“通信”是我们计算所有可能的计算路径。这更有限。

如果通过对每个非季度选择的并行计算产生并行计算来模拟非eterminism,您需要一个用于多项式时间计算的指数线线程。我们知道如何在现实世界中建立并行机器,我们不知道如何建立非法化。

许可以下: CC-BY-SA归因
不隶属于 cs.stackexchange
scroll top