P / poly - клас задач вирішення, який вирішується сімейством булевих ланцюгів поліноміального розміру. Він також може бути визначений як поліномальна машина Тьюрінга, яка отримує рядок поради, яка має розмір полінома в n і заснована виключно на розмірі n.
mP / poly - клас задач вирішення, який вирішується сімейством однотонних булевих ланцюгів розміру полінома, але чи існує природне альтернативне визначення mP / poly з точки зору машини полірування Тюрінга в поліномі.
3
AFAIK, у нас немає поняття машин Тьюрінга, відповідних монотонним схемам. Тож відповідь - ні.
—
Kaveh
Я зрозумів, що це може бути так. Будь-які помітні дискусії, в Інтернеті чи в документах, щодо питання вираження класів, вирішуваних сімействами обмежених розмірів, які є монотонними або мають обмежену кількість негативів, з точки зору обмеженої часом машини Тюрінга? Чи є їхні специфічні бар'єри для визначення таких класів, чи люди просто не турбуються?
—
Джессі Стерн