P / polyは、多項式サイズのブール回路のファミリーによって解決可能な決定問題のクラスです。あるいは、nのサイズ多項式であり、nのサイズのみに基づくアドバイス文字列を受け取る多項式時間チューリングマシンとして定義できます。
mP / polyは、多項式サイズの単調なブール回路のファミリーによって解決可能な決定問題のクラスですが、多項式時間チューリングマシンに関してmP / polyの自然な代替定義はありますか?
3
知る限りでは、モノトーン回路に対応するチューリングマシンの概念はありません。答えはノーです。
—
カベ
私はそれが事実かもしれないと考えました。時間制限チューリングマシンの観点から、単調であるか、否定の数が制限されている制限サイズの回路ファミリによって解決可能なクラスを表現する問題に関する、オンラインまたは論文での注目すべき議論はありますか?そのようなクラスを定義するための彼らの特定の障壁はありますか、それとも人々は単に気にされていませんか?
—
ジェシースターン