P / poly è la classe di problemi di decisione risolvibili da una famiglia di circuiti booleani di dimensioni polinomiali. In alternativa, può essere definita come una macchina di Turing a tempo polinomiale che riceve una stringa di avviso che ha dimensione polinomiale in n e che si basa esclusivamente sulla dimensione di n.
mP / poly è la classe di problemi di decisione risolvibili da una famiglia di circuiti booleani monotone di dimensione polinomiale, ma esiste una definizione alternativa naturale di mP / poly in termini di macchina di Turing a tempo polinomiale?
3
AFAIK, non abbiamo un'idea delle macchine di Turing corrispondenti ai circuiti monotoni. Quindi la risposta è no.
—
Kaveh,
Ho pensato che potrebbe essere il caso. Qualche discussione degna di nota, online o in articoli, sulla questione dell'espressione di classi risolvibili da famiglie di circuiti di dimensioni limitate che sono monotone o con un numero limitato di negazioni, in termini di macchina di Turing limitata nel tempo? Le loro specifiche barriere alla definizione di tali classi o semplicemente le persone non si preoccupano?
—
Jesse Stern,