证明方法-ACM资料 楼天城PPT

【文件属性】：

文件名称：证明方法-ACM资料 楼天城PPT

文件大小：510KB

文件格式：PPT

更新时间：2024-05-15 11:40:29

ACM

证明方法 证明有点繁,大致是这样。 定义上面所说的输的状态全部属于T。 定义所有不属于T的状态属于S。 首先先证明对于T中一个状态执行一步后一定会属于S。 再证明对于S中的每一个状态一定有一种方法可以使它转移到T中。 最后注意到全空这个输的状态属于T。 O(1)