确定和非确定性算法

本文摘自http://wenda.so.com/q/1465703473723556?src=140

所谓非确定性是指在理论计算机科学中，针对各种计算机器模型（自动机），在每一时刻，根据当时的状态和输入，若机器有多个动作可供选择时，则称机器为非确定性的；相反，若机器的动作可唯一确定时。且非确定性是相对于确定性来说，对于非确定性的机器，在性能各方面要高于确定性机器。

任意一种自动机，按其动作的确定程度，大体可分为确定的和非确定的两类。在对非确定性的研究中，一个核心课题就是非确定性能否增加机器的计算能力。具体说，对同一类自动机，确定型和非确定型机器在计算能力方面有没有区别？是什么关系？这类问题因其在理论上和实践中的重要意义而受到普遍重视。其中有些问题至今尚未解决，成为理论计算机科学中重要的悬案,NP=?P问题就是一个突出的例子。