Nondeterministic Algorithm

Um algoritmo não determinístico é um algoritmo que, mesmo para a mesma entrada, pode exibir comportamentos diferentes em execuções diferentes. Ele pode ter múltiplos caminhos de execução possíveis.