Turing 기계와 관련하여 mP / poly에 대한 동등한 정의는 무엇입니까?

P / poly는 다항식 크기의 부울 회로로 해결할 수있는 결정 문제의 클래스입니다. 대안 적으로 다항식 시간 튜링 기계로 정의 될 수 있으며, 다항식 크기는 n 단위이고 어드바이스 문자열은 n 크기에만 기반하는 어드바이스 문자열을받습니다.

mP / poly는 다항식 크기의 모노톤 부울 회로로 해결할 수있는 의사 결정 문제의 클래스이지만 다항식 시간 튜링 머신과 관련하여 mP / poly의 자연스러운 대체 정의가 있습니까?

Grigni와 Sipser 의 논문 Monotone Complexity 에는 단조 비결정적이고 보다 일반적으로 교대하는 튜링 머신이라는 개념이 있습니다 . 다항식 시간은 대수 로그 공간과 동일하기 때문에 균일 의 기계 특성은 모노톤 교대 로그 공간 튜링 기계입니다. 그런 기계에 다항식 조언을 제공하면 의 기계 정의가 제공됩니다 .$\mathsf{mP}$$\mathsf{mP/poly}$

실제로 mP / Poly와 일치하는 결정 론적 튜링 머신 이라는 개념이 있습니다. Lauteman, Schwentick 및 Stewart 의 다항식 시간의 긍정적 인 버전 기사에서 찾을 수 있습니다.