(第2章第4节WPF完全问题.docVIP

第2章 WPF完全理论 2.4 WPF完全问题 2.4.1 问题变换与计算复杂性归约 2.4.2 WPF完全问题的定义 2.4.3 基本的WPF完全问题 2.4.4 WPF完全问题的计算机处理 2.4.1 问题变换与计算复杂性归约 定义 2.5 假设问题Π存在一个算法A，对于问题Π的输入实例I，算法A求解问题Π得到一个输出O，另外一个问题Π的输入实例是I，对应于输入I，问题Π有一个输出O，则问题Π变换到问题Π是一个三步的过程： 1. 输入转换：把问题Π的输入I转换为问题Π的适当输入I； 2. 问题求解：对问题Π应用算法A产生一个输出O ； 3.输出转换：把问题Π的输出O转换为问题Π对应于输入I的正确输出。 问题变换的一般过程 问题变换的主要目的不是给出解决一个问题的算法，而是给出通过另一个问题理解一个问题的计算时间上下限的一种方式。 例：配对问题到排序问题的变换 排序问题——输入I是一组整数X=(x1, x2, …, xn)，输出O是这组整数的一个排列xi1≤xi2≤…≤xin。 配对问题——输入I是两组整数X=(x1, x2, …, xn)和Y=(y1, y2, …, yn)，输出O是两组整数的元素配对，即X中的最小值与Y中的最小值配对，X中的次小值与Y中的次小值配对，依此类推。 配对问题到排序问题的变换过程