算法分析课件第08章.pptVIP

第 八 章 回 溯 解的形式 n-元组(x1,…,xn),其中xi取自某个有穷集Si 规范函数 P(x1,…,xn) 假设集合Si的大小是mi,满足规范函数P的可能的元组数为m=m1m2…mn 硬性处理:构造m个n元组并依次测试是否满足P 回溯法 不断地用修改过的限界函数Pi(x1,…,xi)去测试正在构造的n元组的部分向量, 看是否可能导致最优解, 如果不能, 就将可能要测试的mi+1 … mn个向量略去。 例8.1（8-皇后问题） 在一个8*8棋盘上放8个皇后, 使每两个皇后之间都不能互相“攻击”, 即：使得每两个皇后都不能在同一行、同一列及同一条斜角线上。 将皇后i放在行i上，8皇后问题可以表示为8-元组(x1,…x8)，其中xi是皇后i被放置的列号。 显式约束条件: Si={1, 2, 3, 4, 5, 6, 7, 8}, 1≤i≤8 隐式约束条件: 没有两个xi可以相同, 且没有两个皇后可以在同一条斜角线上。 例8.2 子集和数问题 已知n+1个正数：wi, 1?i?n, 和M。要求找出{wi }的所有子集使得子集中元素之和等于M。 例如：n=4, (w1,w2,w3,w4)=(11,13,24,7)，M=31。 则满足要求的子集是(11,13,7) 和(24,7) 可表示为(1,2,4) 和 (3,4) 子集和数问题的描述