Клас складності, пов'язаний з вичерпним пошуком

Який клас складності пов'язаний з вичерпними алгоритмами пошуку? (якщо є)

Це NP чи PSPACE?

Чи існують обмежені моделі обчислень, що фіксують клас вичерпних алгоритмів пошуку, схожих на моделі жадібного та динамічного програмування?

— Анонімний
джерело

Більше підходить cs.stackexchange.

— Yuval Filmus

Як щодо E або EXP?

— Yuval Filmus

@YuvalFilmus насправді? Мені це здається цікавим питанням і зовсім не банальним

— Суреш Венкат

Різні локальні класи пошуку починаються з проблемного простору, де гарантовано існує рішення, і завдання полягає в пошуку простору в субекспоненціальний час. Це може бути пов'язано.

— Суреш Венкат

Це трохи невиразно, але мені подобається питання. Про це я писав давно. Можливо, це допоможе анонімному питаючому : stanford.edu/~rrwill/bfsearch-rev.ps [ПОПЕРЕДЖЕННЯ: Можливо, я не згоден майже з усіма висловленими там думками, це було написано 10 років тому]

— Райан Вільямс

Це трохи розпливчасто, але мені подобається питання. Про це я написав ДУГУ час назад. Можливо, це допоможе анонімному питаючому:

Пошук грубої сили та обчислення на базі Oracle

Ось підсумок Неформально, якщо ви не зберігайте дряпання роботи від попередніх випробувань, і просто перебрати всі можливі рішення в лексикографічному порядку , поки шукане рішення не буде знайдено, то груба сила в точності відповідає . Якщо ви збережете навіть біти подряпини від одного можливого рішення до іншого, тоді ви можете зробити за допомогою теореми Баррінгтона. Є й інші можливості, наприклад, що відбувається, коли ви не запускаєте в lex порядку, але згідно з деяким іншим ефективно обчислюваним списком усіх рядків. $P^{NP}$ $3$ $PSPACE$

[ ПОПЕРЕДЖЕННЯ ПОПЕРЕДЖЕННЯ ПОПЕРЕДЖЕННЯ: Можливо, я не згоден з майже всіма думками, викладеними в цій роботі. Це було написано близько 10 років тому, хтось з тим самим іменем, але хто по суті інша людина. ]

— Райан Вільямс
джерело

Любіть попередження! :)

— Tayfun заплатить