要了解P和NP类，首先我们应该知道计算模型。因此，在本章中，我们将讨论两个重要的计算模型。

确定性计算与P类

确定性图灵机

这些模型之一是确定性单带图灵机。该机器由一个有限状态控制，一个读写头和一个具有无限序列的双向磁带组成。

以下是确定性单带图灵机的示意图。

确定性图灵机的程序指定以下信息-

• 磁带符号的有限集合(输入符号和空白符号)
• 有限状态集
• 过渡函数

在算法分析中，如果问题可以通过确定性的一台磁带图灵机在多项式时间内解决，则该问题属于P类。

非确定性计算和NP类

非确定性图灵机

为了解决计算问题，另一个模型是非确定性图灵机(NDTM)。 NDTM的结构类似于DTM，但是这里我们有一个附加模块，称为猜测模块，与一个只写磁头相关联。

以下是示意图。

如果问题可以通过不确定的图灵机在多项式时间内解决，则该问题属于NP类。