Innen datavitenskap er en søkealgoritme en type algoritme som for et domene er et problem med dette domenet og gitt kriterier, som et resultat returnerer et sett med løsninger som svarer på problemet.
Anta at settet med innganger er delbart i en delmengde, med hensyn til et gitt kriterium, som for eksempel kan være en ordrerelasjon . Generelt sjekker en slik algoritme et visst antall av disse inngangene og returnerer en eller flere av de målrettede inngangene som utgang.
Settet med alle potensielle løsninger i feltet kalles søkeområdet .
På vanlige datastrukturer som lister , tabeller eller trær , er det kjente algoritmer som lett kan implementeres og som utnytter egenskapene til datastrukturen.
Et klassisk eksempel er dikotom søk der søkeområdet deles i to ved hvert forsøk, noe som gir logaritmisk kompleksitet (derfor veldig fordelaktig). To andre eksempler er sekvensielt søk og interpolasjonssøk .
For komplekse problemer er å finne løsninger et spørsmål om kunstig intelligens .
Disse algoritmene er i sentrum for viktige spørsmål i algoritmisk kompleksitet . De er også veldig viktige på grunn av deres brede bruksområder.