Nondeterministic_algorithm

🌐 🇮🇩 ID 🇺🇸 EN 🇩🇪 DE 🇫🇷 FR 🇪🇸 ES 🇷🇺 RU 🇮🇹 IT 🇵🇱 PL 🇨🇳 ZH 🇯🇵 JA 🇧🇷 PT ↗ Wikipedia

此條目可参照英語維基百科相應條目来扩充。 (2015年12月4日)
若您熟悉来源语言和主题，请协助参考外语维基百科扩充条目。请勿直接提交机械翻译，也不要翻译不可靠、低品质内容。依版权协议，译文需在编辑摘要注明来源，或于讨论页顶部标记{{Translated page}}标签。

此條目没有列出任何参考或来源。 (2015年12月4日)
維基百科所有的內容都應該可供查證。请协助補充可靠来源以改善这篇条目。无法查证的內容可能會因為異議提出而被移除。

确定性算法（英語：deterministic algorithm）是计算机算法的一类。如果以算法的每一步骤是否确定来分类，计算机算法可以分为确定性算法和非确定性算法（英語：nondeterministic algorithm）。

📚 Artikel Terkait di Wikipedia

通信顺序进程

事件并接着停止，或者就地停止的进程。换句话说，如果我们把这个抽象当作对这个系统的外部查看（比如未看到这个人的做出如何决定的某个人），非确定性（英语：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

单子 (函数式编程)

(xlist >>= f) = join ∘ (map f) xlist 这种单子列表的一个应用是表示非确定性计算（英语：nondeterministic algorithm）。List可以持有一个算法中所有执行路径的结果，接着每一步骤压缩自身来忘记那一步导致了这个结果（有时这是同确定性、穷举算法

确定有限状态自动机最小化

2001 . Kameda, Tsunehiko; Weiner, Peter, On the state minimization of nondeterministic finite automata, IEEE Transactions on Computers, 1970, 100 (7), doi:10