计算复杂性是指根据解决问题所需的时间、空间或任何其他资源(如处理器数量和通信成本)对问题进行分类。
一.图灵机
字母是一组有限的符号。语言L是从
中选择的所有有限长度的符号字符串集合的子集,用
*表示。
标准的图灵机只有一个工作带,它被分割成单独的单元。
每个单元包含中的一个符号。图灵机具有读取和重写单元中包含的符号的能力。
图灵机在任何时刻都处于某种状态。
对于工作带上的当前状态和当前扫描的符号,有限状态控件指定下一步进入哪个状态,在工作带的扫描单元上打印哪个符号
计算复杂性是指根据解决问题所需的时间、空间或任何其他资源(如处理器数量和通信成本)对问题进行分类。
字母是一组有限的符号。语言L是从
中选择的所有有限长度的符号字符串集合的子集,用
*表示。
标准的图灵机只有一个工作带,它被分割成单独的单元。
每个单元包含中的一个符号。图灵机具有读取和重写单元中包含的符号的能力。
图灵机在任何时刻都处于某种状态。
对于工作带上的当前状态和当前扫描的符号,有限状态控件指定下一步进入哪个状态,在工作带的扫描单元上打印哪个符号