nondeterministic algorithm

来自维基百科,自由的百科全书

Found in articles
确定性算法
确定性算法(英語:deterministic algorithm)是计算机算法的一类。如果以算法的每一步骤是否确定来分类,计算机算法可以分为确定性算法和非确定性算法(英語:nondeterministic algorithm)。
通信顺序进程
事件并接着停止,或者就地停止的进程。换句话说,如果我们把这个抽象当作对这个系统的外部查看(比如未看到这个人的做出如何决定的某个人),非确定性(英语:Nondeterministic algorithm)就已经介入了。 CSP的语法定义了进程和事件可以组合的“合法”方式。设 e {\displaystyle \,e\,} 是一个事件,
迈克尔·拉宾 (科学家)
迈克尔·拉宾 (科学家)
Automata and Their Decision Problem," which introduced the idea of nondeterministic machines, which has proved to be an enormously valuable concept. Their
空间复杂度
[2021-08-11], ISBN 9780511804090, (原始内容 (PDF)存档于2021-03-20)  Immerman, Neil, Nondeterministic space is closed under complementation (PDF), SIAM Journal on Computing
哥德尔奖
ISBN 978-0-89232-896-3, (原始内容 (PDF)存档于2012-02-22)  Immerman, Neil, Nondeterministic space is closed under complementation (PDF), SIAM Journal on Computing