P / poly adalah kelas masalah keputusan yang dipecahkan oleh keluarga sirkuit Boolean ukuran polinomial. Alternatifnya dapat didefinisikan sebagai mesin Turing polinomial-waktu yang menerima string saran yang ukuran polinomial dalam n dan yang hanya didasarkan pada ukuran n.
mP / poli adalah kelas masalah keputusan yang dipecahkan oleh keluarga sirkuit Boolean monoton ukuran polinomial, tetapi apakah ada definisi alternatif alami mP / poli dalam hal mesin Turing polinomial waktu?
cc.complexity-theory
complexity-classes
circuit-complexity
polynomial-time
monotone
Jesse Stern
sumber
sumber
Jawaban:
sumber
Sebenarnya ada gagasan mesin Turing positif deterministik yang cocok dengan mP / Poly. Itu dapat ditemukan di artikel Positive Version of Polynomial Time oleh Lauteman, Schwentick dan Stewart
sumber