传说中的算法宝典论述.docVIP

一共考5道题，每道题2问 （★重要）设L为n元数组，其中的数已按增序排列，另给定数值x，试采用二分搜索技术设计算法，查找数值是否在L中。要求若x在L中，则输出j，使L(j)=x；其x不在L中，则输出0。并证明，在最坏情况下，对所有n元数组L(n≥1)，二分搜索算法将数值x与L中元素比较次数为。 二、满足三角不等式的TSP问题是否是NPC？为什么？ 三、给定城市集合，任两城市距离，求最小货郎旅游。试证明满足三角不等式的货郎优化问题为NP-hard。满足三角不等式的并设计出能解答该问题的多项式时间近似算法A，其近似性能比为。 对于背包问题 证明： 、当时，该问题不存在多项式时间绝对近似算法 、背包问题存在绝对近似性能比的多项式时间近似算法 证明（）：实例为价值，为重量，为背包容量 询问：求向量，使。 算法：①将物体按照排序，使 ②从1到n将物体装包，直到不能装为止，记其总价值和为③取 复杂性：步骤①，步骤②，故总的时间复杂性为 近似性能比：设包含物体价值为，则 ， 而， 故， 即 n个整数，正整数m。求向量。 证明是NPC的；若，求多项式时间算法，证明其正确性。 六、给定WPAR问题 实例：集合，对于每个有长度。 询问：是否存在子集 、试利用划分PAR是NPC问题，证明WPAR问题属于NPC类； 、试设计拟多项式算法： 判断是否存在，(b)若存在，应给出一个满足询问条件的。 、针对如下实例，说明你设计算法的执行过程 解：(1)、证明WPAR是NPC 证明：设PAR实例为， 构造WPAR实例：，其中 若PAR中存在一个划分，使得，则在WPAR中，，而。 因此，必存在使 若WPAR中存在使，则。 分析元素构成，中必含不含，而中必含，不含。则有，即A中存在一个划分。 又上述变换可在多项式时间内进行，因此，又，因此 、设计WPAR拟多项式算法 解：设，若B不能被3整除则无划分；若B能被3整除，则设计表t为n行，列。 ， 若，则最终回答yes，否则no ① ② ③若则 ④若，则 ⑤ ⑥ 求解算法：记 、用设计算法求解实例 j：i 0 1 2 3 4 5 6 7 8 9 10 1 T T 2 T T T T 3 T T T T T T 4 T T T T T T T 5 T T T T T T T T 七、给定2SAT问题实例，布尔变量集合，项集合，为U上布尔变量字母。试设计多项式时间算法：(1)、判定2SAT实例是否有可满足真值指派；(2)、若有可满足真值指派则算法给出使C满足U的真值指派。 证明团问题属于NPC 思路：已知顶点覆盖，而最大独立集问题，故最大独立集问题（若是上的点覆盖，则是上的最大独立集。若是上的最大独立集，则是上的点覆盖）。又最大独立集问题，故(若是上的最大独立集，则在的补图上所对应的子图是上的团) 点覆盖：上的最小顶点集合，覆盖上所有的边； 独立集：上的点集合，中任两点之间无边； 补图：（？？？） 团：上最大完全子图 TSP判定问题是数问题吗？是否存在拟多项式算法？为什么？ 答：TSP判定问题是数问题，因为任两城市间的距离及界值没有任何约束。因为可以将，从而证明，而有限制，事实上,故不受限制的原始TSP问题是强NPC。因此TSP问题不存在拟多项式时间算法。 集合覆盖问题T 实例：为子集族 询问：求，使最小 求证：时，上述问题无多项式时间绝对近似算法 证明：若限制,则集合覆盖问题变为X3C问题。而，故集合覆盖问题是NPC问题。 (反证法)设存在多项式时间绝对算法A，有 现将复制份到，易知，在上应用算法A有，故： (之所以取整，是因为集合覆盖问题是求最小值问题） 因此可以构造算法：（1）、；（2）、对调用A，得子集族的子集及；（3）、计算即为实例的最优解值 因为是多项式的，所以也是多项式的，这就多项式时间回答了集合覆盖问题。而我们已知集合覆盖问题是NPC，这与矛盾，故假设不成立。即不存在多项式时间绝对近似算法。 、假设一台处理机可连续加工任务。但在每个时刻，只允许加工一个任务，含有待加工任务集合。其中所有任务都有相同的加工最早起始时间，但它们所需要的加工时间和加工最迟完成时间不同，即对于一个任务，其所需加工时间为，加工最迟完成时间为且，试设计一个多项式时间算法，给出任务集合的排工表，使能按要求完成的任务数达到最大。 要求证明你所设计算法的正确性，并分析其时间复杂性，并通过下述实例说明算法的运行情况： 算法，将所有任务按其结束时间由小到大排列，若满足时，有。令空，S为排工表。 ① ②若，转④ ③设对个任务，已经安排了个任务加工。。则对第个任务，只要有,则将其安排为第个任务：即，然后转② 若,则从已安排