Classe di complessità associata a una ricerca esaustiva

Qual è la classe di complessità associata agli algoritmi di ricerca esaustiva? (se ce n'è uno)

NP o PSPACE?

Esistono modelli ristretti di calcolo che catturano la classe di algoritmi di ricerca esaustivi simili ai modelli per la programmazione avida e dinamica?

— Anonimo
fonte

Più appropriato per cs.stackexchange.

— Yuval Filmus,

Che ne dici di E o EXP?

— Yuval Filmus,

@YuvalFilmus davvero? Questa mi sembra una domanda interessante e per nulla banale

— Suresh Venkat,

Le varie classi di ricerca locale iniziano con uno spazio problematico in cui è garantita l'esistenza di una soluzione e la sfida è quella di cercare lo spazio in tempi poco esponenziali. Potrebbe essere correlato.

— Suresh Venkat,

È un po 'vago ma mi piace la domanda. Ne ho scritto un articolo molto tempo fa. Forse questo aiuterà l'interrogatore anonimo: stanford.edu/~rrwill/bfsearch-rev.ps [ATTENZIONE: è probabile che io non sia d'accordo con quasi tutte le opinioni dichiarate lì, è stato scritto 10 anni fa]

— Ryan Williams

È un po 'vago, ma mi piace la domanda. Ne ho scritto un articolo molto tempo fa. Forse questo aiuterà l'interrogatore anonimo:

Brute Force Search e calcolo basato su Oracle

$P^{NP}$ $3$ $PSPACE$

[ AVVERTENZA AVVERTENZA AVVERTENZA: è probabile che non sia d'accordo con quasi tutte le opinioni espresse in questo documento. È stato scritto circa 10 anni fa, da qualcuno con lo stesso nome ma che è essenzialmente una persona diversa. ]

— Ryan Williams
fonte

Adoro l'avvertimento! :)

— Tayfun paga il