为什么我们不能有效地翻转NDTM的答案？

11

我读过几次书，说不可能有效地扭转NDTM的答案。但是，我不明白为什么。例如，给定以运行的NDTM ，此文本（第3.3节）指出，尚不清楚另一个NDTM 如何确定在时间内如何翻转的答案。 $M$ $O(n)$ $T$ $O(n^{100})$ $M$

我的问题如下：如果存在一系列导致进入接受状态的不确定性选择，则NDTM输出。此外，存在一种通用的NDTM ，它可以以很小的（对数）开销模拟每个NDTM。那么为什么我们不能这样构造T：首先，用通用NDTM模拟M，这应该在时间。然后输出1 – M的答案。这意味着我们可以在时间翻转任何线性NDTM的答案。 $1$ $NU$ $O(n\log n)$ $O(n\log n)$

complexity-theory turing-machines

— 用户名
source

NDTM不会“输出”任何东西。调整不确定性的心理模型。

— 拉斐尔

15

如果至少一条路径接受，则不确定的图灵机接受；否则，图灵机将接受。仅当所有路径都拒绝时，它才会拒绝。这种不对称使得很难“翻转答案”。

$M$ $w$ $M$ $w$ $M$ $M$ $M$ $w$ $M'$ $w$

非确定性机器无法同时查看其所有路径，并且无法根据所有这些路径的作用采取行动。如果愿意，可以将其视为并行性的一种形式，其中线程彼此之间禁止通信。当所有线程都结束后，程序必须问自己以下问题：“我的至少一个线程接受了吗？” 如果答案是肯定的，则在法律上有义务接受；否则，请取消。如果答案是否定的，则法律上有义务拒绝。它无能为力。

$M$ $M'$ $M'$ $M$ $M$ $M'$ $M$ $M$

我们知道弄清一个不确定性机器是否拒绝其输入的唯一方法是尝试所有可能的路径并验证它们是否全部被拒绝。毕竟，即使其中之一接受了，机器也会接受输入。但是尝试所有可能的路径比仅尝试一条路径慢得多。

— 大卫·里希比
source

2

$O(n)$ $O(n)$

$NU$ $O(n log( n))$ $n log (n)$ $M$ $M$

— 丹尼斯
source

-3

$\stackrel{?}{=}$ $\stackrel{?}{=}$

— z
source

1

实际上，他在问类似于co-NP = NP的问题：很有可能P和NP不同，但NDTM可以有效地被否定。

— David Richerby 2014年