有什么后果

如果存在使用多项式建议量决定语言的logspace图灵机，则该语言为。 $L/poly$

请参阅此处以获取更多信息：https : //en.wikipedia.org/wiki/L/poly

题

什么后果？ $P \subseteq L/poly$

— 迈克尔·韦哈
source

注意：L / poly的特征还在于具有多项式大小分支程序的语言类别。

— Michael Wehar

是否知道L = P的任何有趣结果？（有趣的意思是（a）要求提供非平凡的证明，并且（b）结果不只是P具有L无条件地具有的这种特性）

— William Hoza，

在我的问题中，我愿意接受用户认为对他们有意义的任何后果，即使这些琐碎的事情也是如此。一些潜在的后果，我在想，如果大约为

意味着也许

或

或别的东西，弱与此有关。:)

P \subseteq L / p o l y

$P \subseteq L/poly$

P = L

$P = L$

P / p o l y = L / p o l y

$P/poly = L/poly$

— Michael Wehar

很公平！

确实是一个结果; 看到我的答案作为证明。

P / p o l y = L / p o l y

$P/poly = L/poly$

— 威廉·霍扎

@WilliamHoza另外，我觉得

意味着

对于某些功能

。有关更多信息，请参见“在分隔符，分隔符和时间与空间上”。

P = L

$P = L$

D T I M E (t (n)) \neq N T I M E (t (n))

$DTIME(t(n)) \neq NTIME(t(n))$

t (n)

$t(n)$

— Michael Wehar

一个简单的结果就是。证明：对于任何语言，有语言和多项式长度建议字符串序列，使得 $\mathbf{P}/\text{poly} = \mathbf{L}/\text{poly}$ $A \in \mathbf{P}/\text{poly}$ $B \in \mathbf{P}$ $y_1, y_2, y_3, \dots$ 。由假设，有语言和多项式长度建议字符串序列，使得 $x \in A \iff (x, y_{|x|}) \in B$ $C \in \mathbf{L}$ $z_1, z_2, z_3, \dots$ 。这意味着 ; 您的意见串是。 $(x, y) \in B \iff (x, y, z_{|(x, y)|}) \in C$ $A \in \mathbf{L}/\text{poly}$ $x$ $(y_{|x|}, z_{|(x, y_{|x|})|})$

（证明的简明版本： $\mathbf{P} \subseteq \mathbf{L}/\text{poly} \implies \mathbf{P}/\text{poly} \subseteq (\mathbf{L}/\text{poly})/\text{poly} = \mathbf{L}/\text{poly}$

— 威廉·霍扎
source

太棒了！非常感谢你。对此，我真的非常感激。:)

— Michael Wehar