Algorithm 为什么任何NP语言都能在P机器上运行?

Algorithm 为什么任何NP语言都能在P机器上运行?,algorithm,computer-science,np,turing-machines,Algorithm,Computer Science,Np,Turing Machines,我如何证明NP中的任何语言也可以在p机器上运行?我得到的结果不是多项式时间 这是因为NP中的任何问题都可以通过尝试在多项式图灵机上可以解决的所有可能的组合来解决吗?我发现很难提出一个可靠的真实论点 谢谢这个问题不清楚。首先,一种语言(或相当于一个决策问题)不能在图灵机上“运行”。问题可以通过图灵机解决。第二,“P机器”是什么?你是说一个确定性的图灵机,它在一系列的步骤后终止,这些步骤相对于它的输入是多项式的吗 我可以想象对你的陈述有两种可能的解释 NP中的每一个问题都可以在多项式时间内用确定性图

我如何证明NP中的任何语言也可以在p机器上运行?我得到的结果不是多项式时间

这是因为NP中的任何问题都可以通过尝试在多项式图灵机上可以解决的所有可能的组合来解决吗?我发现很难提出一个可靠的真实论点


谢谢这个问题不清楚。首先,一种语言(或相当于一个决策问题)不能在图灵机上“运行”。问题可以通过图灵机解决。第二,“P机器”是什么?你是说一个确定性的图灵机,它在一系列的步骤后终止,这些步骤相对于它的输入是多项式的吗

我可以想象对你的陈述有两种可能的解释

NP中的每一个问题都可以在多项式时间内用确定性图灵机求解 这实际上是一个公开的问题。为了证明这一点,首先要证明P=NP。一旦你做到了这一点,恭喜你成为千禧年价格赢家,接下来就是要证明的声明

NP中的每一个问题都可以用确定性图灵机求解 现在这是一个弱得多的声明。我们可以证明一个更强大、更有趣的语句,它暗示了这个语句:每个非确定性图灵机都可以被确定性图灵机模拟


证明大致如下:非确定性图灵机在某些输入上的计算可以表示为计算树。模拟机器使用广度优先搜索方法(基本上使用配置队列)遍历此树。当发现具有接受状态的配置或树已完全遍历时,机器停止。将这种模拟形式化虽然繁琐,但却是可能的,但我希望这能让您直观地了解为什么它是可能的。

问题还不清楚。首先,一种语言(或相当于一个决策问题)不能在图灵机上“运行”。问题可以通过图灵机解决。第二,“P机器”是什么?你是说一个确定性的图灵机,它在一系列的步骤后终止,这些步骤相对于它的输入是多项式的吗

我可以想象对你的陈述有两种可能的解释

NP中的每一个问题都可以在多项式时间内用确定性图灵机求解 这实际上是一个公开的问题。为了证明这一点,首先要证明P=NP。一旦你做到了这一点,恭喜你成为千禧年价格赢家,接下来就是要证明的声明

NP中的每一个问题都可以用确定性图灵机求解 现在这是一个弱得多的声明。我们可以证明一个更强大、更有趣的语句,它暗示了这个语句:每个非确定性图灵机都可以被确定性图灵机模拟


证明大致如下:非确定性图灵机在某些输入上的计算可以表示为计算树。模拟机器使用广度优先搜索方法(基本上使用配置队列)遍历此树。当发现具有接受状态的配置或树已完全遍历时,机器停止。将此模拟形式化虽然繁琐,但却是可能的,但我希望这能让您直观地了解为什么它是可能的。

什么是p机器?可能是多项式时间图灵机@b我投票结束此问题,因为它不是计算机编程问题。这是一个关于计算理论的问题,而不是一个实用的计算机程序。@Caspertijmen1在这种情况下,正确的术语是。首先,你需要证明P=NP。(抱歉,证明太大,无法进入评论部分。)然后,NP中的每个问题都可以通过多项式时间内的确定性图灵机来解决。什么是P机?可能是多项式时间图灵机@B我投票结束这个问题,因为它不是计算机编程问题。这是一个关于计算理论的问题,而不是一个实用的计算机程序。@Caspertijmen1在这种情况下,正确的术语是。首先,你需要证明P=NP。(抱歉,证明太大,无法进入注释部分。)然后,NP中的每个问题都可以通过多项式时间内的确定性图灵机来解决。