一.NP完全性理论
(1)在图灵机计算模型中,移动函数δ是单值的,即对于Q´Tk中的每一个值,当它属于δ的定义域时Q´(T´{L,R,S})k
中只有唯一的值与之对应,称这种图灵机为确定性图灵机,简记为DTM(Deterministic Turing Machine)。
(2)非确定性图灵机(NDTM
一.NP完全性理论
(1)在图灵机计算模型中,移动函数δ是单值的,即对于Q´Tk中的每一个值,当它属于δ的定义域时Q´(T´{L,R,S})k
中只有唯一的值与之对应,称这种图灵机为确定性图灵机,简记为DTM(Deterministic Turing Machine)。
(2)非确定性图灵机(NDTM