algoritmo não determinístico

Em ciência da computação, um algoritmo não determinístico é um algoritmo em que, dada uma certa entrada, pode apresentar comportamentos diferentes em diferentes execuções, ao contrário de um algoritmo determinístico. Um pode executar de forma diferente em diferentes execuções devido a uma condição de concorrência. O comportamento de um depende de um gerador de números aleatórios. Um algoritmo que resolve um problema de pode ser executado em tempo polinomial ou tempo exponencial em função das escolhas que faz durante a execução.