计算理论基础章7.pptVIP

7.1 图灵机计算复杂性量度 7.1.1 复杂性的量度 1．空间复杂度 2．时间复杂性 3．巡回复杂性 7.1.1 复杂性的量度 1．空间复杂度 定义7-1 令M是一个对于所有输入都停机的离线图灵机，s：N?N是一个函数。如果对于每个长度为n的输入字，M在任一条存贮带（或工作带）上至多扫视s(n) 个单元，那么称M是s(n)空间有界图灵机，或称M具有空间复杂度s(n)。 7.1.1 复杂性的量度 2．时间复杂性 定义7-2 设M是一个对于所有输入都停机的确定图灵机，t：N?N是一个函数。如果对于每个长度为n的输入，M在停机前最多做t(n)动作（步骤），那么就称M是一个t(n)时间有界的图灵机，或称M具有时间复杂度t(n)。 7.1.1 复杂性的量度 3．巡回复杂性 定义7-3 TM M对于给定的输入w ，其运行的周相为（0, i1）,（i1, i2）,（i2, i3）,…,（ir-2, ir-1），则称0，i1， i2，…，ir-1，是一个有限周相的划分，数r称为该划分的巡回数。 7.1.2 复杂性量度的记法 定义7-4 设f和g是两个函数，f、g：N?R+。如果 则称f(n)=O(g(n))。此时，g(n)是f(n)渐近增长的一个上界。 7.1.2 复杂性量度的记法 定义7-5 设f和g是两个函数，f、g：N?R+，称f(n)