O strategie irevocabila este strategia de cautare a alpinistului, bazata pe criterii de optim local. Aceasta strategie se numeste a alpinistului deoarece, la fel ca un alpinist care doreste sa ajunga repede pe varful unui munte, alege starea urmatoare de nivel maxim pe baza unei functii de evaluare a starilor.
Strategia este irevocabila deoarece pentru o stare curenta, se genereaza starile urmatoare, se alege starea de nivel maxim ca stare urmatoare si atat starea curenta cat si celelalte stari de pe nivelul starii urmatoare sunt uitate. Selectia se face irevocabil, deci nu se mai poate reveni intr-una din starile anterioare starii curente sau intr-una din alternativele starii curente. Strategia alpinistului, desi simpla si putin consumatoare de memorie, prezinta o serie de limitari. De exemplu, daca problema cere determinarea starii cu o valoare maxima a functiei de evaluare, maximul global poate sa nu fie niciodata atins, cautarea blocandu-se intr-un maxim local.
Daca starea anterioara la care se poate reveni in timpul cautarii se afla numai pe calea curenta intre starea initiala si starea finala, strategia de cautare este o strategie tentativa de tip "backtracking". Aceasta este, de exemplu, strategia utilizata de limbajul Prolog. Daca starea anterioara in care se poate reveni se afla pe orice cale deja parcursa in expandarea spatiului de cautare, strategia este de cautare tentativa generala pe grafuri.
