알고리즘(영어: Nondeterministicalgorithm)은 결정론적 알고리즘과는 달리, 동일한 입력이 주어지더라도 매번 다른 과정을 거쳐 다른 결과를 도출하는 알고리즘을 의미한다. 비결정론적 튜링 기계 비결정론적 프로그래밍(:en:Nondeterministic programming)
프로토콜이 문제를 해결할 것이다. 분명히 이것은 불가능하다. 따라서 문제를 해결하는 비결정적 프로토콜은 존재할 수 없다. A nondeterministic protocol with a variable message count can be compared to a finite
ISBN 978-0-89232-896-3, 2012년 2월 22일에 원본 문서 (PDF)에서 보존된 문서 Immerman, Neil (1988), “Nondeterministic space is closed under complementation” (PDF), 《SIAM Journal on Computing》