Question

日本我一直在研究国家警察的问题、计算复杂性和理论。我认为,我终于掌握了 Tur机的概念,但我有两点怀疑。

我可以认为,非决定性的涡轮机有几种选择,可以选择对某一特定国家和象征而言应做些什么,而且它总是选择最佳选择,如维基百科全书所述。

How does the NTM "know" which of these actions it should take? There are two ways of looking at it. One is to say that the machine is the "luckiest possible guesser"; it always picks the transition which eventually leads to an accepting state, if there is such a transition. The other is to imagine that the machine "branches" into many copies, each of which follows one of the possible transitions. Whereas a DTM has a single "computation path" that it follows, an NTM has a "computation tree". If any branch of the tree halts with an "accept" condition, we say that the NTM accepts the input.

我无法理解的是,由于这是一个富有想象力的机器,我们从说它能够在多半的时间内解决国家警察的问题,取得了哪些成果? 我指的是,我也可以把解决国家警察问题的一个神职机器ize魔化,如果永远不会存在,我会从中获益吗?

提前感谢。

Answer 1

一种非决定性的硫化机器是一种欺骗概念。 5. 其他观点:

机器不是运行一个最快的gues子,而是运行一个更精彩的 met合机,在平行宇宙中形成一定数量的随机gues合机。在某些宇宙中,都尽可能地进行轮.。如果至少在宇宙中,机器停止并接受投入,那么就足够了:问题的例子得到了建立这些平行宇宙的元件的接受。如果机器在所有宇宙都拒绝或未能停止,则冲锋枪拒绝。
任何人试图说服另一人接受该案件,而不是任何猜测或分.。第一人提供非决定性的提炼机器将作出的一系列选择,第二人检查机器是否接受这些选择。如果是这样的话,第二人会相信;如果没有,第一人就失败了(这可能是因为不能以任何一系列选择接受该案件,或者因为第一人选择了不好的选择顺序)。
植被 Tur机。如果能够用现成的公式(http://en.wikipedia.org/wiki/second-order_logic” rel=“noretinger”>,则在法国国家警察中出现问题。也就是说,你采取冲锋枪的逻辑,允许任何从表面上变数上作反背的人,并允许在开始时就机体、关系和功能打脚。例如, 可以用一种公式来描述,即从表面上对肤色( no点)存在量化:

∃ R ∃ G ∃ B

每一节点都必须有:

∃ R ∃ G ∃ B (∀ x (R(x) ∨ G(x) ∨ B(x))

两个相邻的节点可能具有相同的颜色,即:

∃ R ∃ G ∃ B (∀ x (R(x) ∨ G(x) ∨ B(x)) ∧ (∀ x,y ¬ (E(x,y) ∧ ((R(x) ∧ R(y)) ∨ (G(x) ∧ G(y)) ∨ (B(x) ∧ B(y)))))

二级变量的现成量化像是一种非决定性的 Tur光机,使gue光完美。如果你要说服某个人, formulaX(......)的公式是真实的,你可以首先给予X的价值。这种超时的国家自动取款机和这些公式不仅“类似”而且实际上相当,都是Fagin s orem,它开始在 :复杂班,不是以 Tur机为特征,而是按逻辑公式分类。

你也说过:

我也可以把解决国家警察在O(1)的问题的魔法机器ize化。

是的,你可以。 http://en.wikipedia.org/wiki/Oracle_Actionne”rel=“noretinger”>oracle Cass 。 (与房舍管理处无关)在复杂的理论中产生了令人感兴趣的结果。例如,Baker-Gill-Solovay orem说,有A和B类矿石,可进入A、P=NP的 Tur机,但可进入B、P≠NP的 Tur机。 (A) 极具威力的分母,使非决定性因素无关;B的定义非常复杂,涉及分化。) 这是一种计量结果:任何解决P诉NP问题的证据都必须足够敏感,足以符合当你增加某些种类的矿石时其失败的 Tur机的定义。

非决定性的拖网机的价值是,这些机器对复杂的国家警察(和其他)类别提供了比较简单、计算性的描述:你不考虑计算树木或二类逻辑公式,就可以认为几乎普通的计算机(相对而言)稍作改动,从而可以完善地评估。

Answer 2

你们从中获益的是,你可以证明问题存在于法国国家警察,证明这一问题可在多半时间由国家排雷中心解决。

换言之,你可以利用国家自动取款机查明某一问题是否属于国家机器。

Answer 3

顾名思义,法国国家警察拥有不可确定的多功能,可在以下网址查阅:。

任意选择和审查(或组)下一个潜在解决办法的非定型推测机将解决多半时间的国家警察问题(如果是“最有可能的推论者”的话,可在全时以绝对确定的方式解决问题)。

因此,说国家扫盲十年can>/em>在多民族时间内解决了一个问题,这实际上意味着这一问题在国民教育体系中。这再次相当于国家警察一类问题的定义。

Answer 4

我认为你的回答是你们的问题。换言之,鉴于一个问题,你可以证明,如果你能够找到一个能够解决该问题的国家自动取款机,这是一个国家的问题。

国家警察的问题属于特殊一类问题,而国家扫盲计划只是一种手段,可以检查特定问题是否属于一类。

请注意,国家自动取款机并不是一个特定的机器,它是一个整类机器,其可用和无法做的事情有明确界定的规则。为了使用“魔法”机器,你需要界定这些机器,并显示这些机器与哪类问题相对应。

See http://en.wikipedia.org/wiki/Computational_complexity_theory#Complexity_classes for more info.

Answer 5

希伯来语Wikipedia——“NTM主要是思想工具,无法实际使用这种机器”。您可将“NTM”一词改为“在每一步骤中尝试一切可能的步骤”或“在每一步骤中选择最好的下一个步骤”。我认为,你们会理解其他。国家自动取款机在此只能帮助我们看清这种算法。参看。如何帮助你直观(Pascal Cuoq的回答)。

Answer 6

我们获得的是,if,我们有想象正确步骤的魔力,这总是会变成正确的,我们可以解决在《国际热带风暴评估》中的国家气候委员会的问题。当然,我们总是可以采取正确的步骤。因此,它具有想象力。但是,正如想象的数字适用于真正的世界问题一样,后果在理论上是有用的。

如何确定原始问题的一个积极方面是,我们能够从不同角度解决这些问题。在理论上,这是一件好事,因为(1) 我们可以采取更多的办法(用更多的文件)和(2)如果能够在其他领域使用更多的工具。

友情链接