图灵机对mP / poly的等效定义是什么？

13

P / poly是一类可由多项式大小的布尔电路解决的决策问题。它也可以定义为一个多项式时间图灵机，该机器接收一个建议字符串，该建议字符串的大小为n的多项式，并且仅基于n的大小。

mP / poly是可以由多项式大小的单调布尔电路解决的一类决策问题，但是就多项式时间图灵机而言，是否存在mP / poly的自然替代定义？

cc.complexity-theory complexity-classes circuit-complexity polynomial-time monotone

— 杰西·斯特恩
source

3

AFAIK，我们没有与单调电路相对应的图灵机概念。所以答案是否定的。

— 卡夫

我认为可能是这种情况。关于用时间限制的图灵机来表示可被单调或负数的有界电路家族解决的类的问题，在线或论文方面有任何值得注意的讨论吗？是他们定义此类课程的具体障碍，还是人们根本不打扰他们？

— Jesse Stern 2015年

15

$\mathsf{mP}$ $\mathsf{mP/poly}$

— 扬·约翰森（Jan Johannsen）
source

7

实际上，存在与mP / Poly相匹配的确定性正图灵机概念。可以在Lauteman，Schwentick和Stewart 的文章“多项式时间的正版本”中找到

— 托马斯·S
source