8.2.26 蒙旭虚拟算法与TNl类问题.pptVIP

* 8.2 图问题中的流塑法 8.2.26 蒙旭虚拟算法与TNl类问题 此算法结构清晰，可读性强，而且容易用数学归纳法来证明算法的正确性，因此，它为设计算法和调试程序带来很大方便，是算法设计中的一种强有力的工具。但是，因为算法是一种自身调用自身的算法，随着深度的增加，工作栈所需要的空间增大，调用时的辅助操作增多，因此，算法的运行效率较低。 8.2.26 蒙旭虚拟算法与TNl类问题 定义2.3 设A是求解问题Π的一个算法，如果算法A以如下猜测并验证的方式工作，就称算法A是非确定性（Nondeterminism）算法： （1）猜测阶段：在这个阶段，对问题的输入实例产生一个任意字符串y，在算法的每一次运行时，串y的值可能不同，因此，猜测以一种非确定的形式工作。 （2）验证阶段：在这个阶段，用一个确定性算法验证： ① 检查在猜测阶段产生的串y是否是合适的形式，如果不是，则算法停下来并得到no； ② 如果串y是合适的形式，则验证它是否是问题的解，如果是，则算法停下来并得到yes，否则算法停下来并得到no。 （1）证明问题Π属于NQ类问题，也就是说，可以在多项式时间以确定性算法验证一个任意生成的串，以确定它是不是问题的一个解； （2）证明NQ类问题中的每一个问题都能在多项式时间变换为问题Π。由于多项式问题变换具有传递性，所以，只需证明一个已知的