Un algoritmo di cui tempo di esecuzione, f (n), cresce più lentamente rispetto alla dimensione del problema, n, ma solo dà una risposta approssimativa o probabilmente corretta.