算法分析设计回溯法求解装载问题实验报告.pdfVIP

回溯法求解装载问题 一、方法一般原理 回溯法也称为试探法，该方法首先暂时放弃关于问题规模大小的限制，并将问题的候选 解按某种顺序逐一枚举和检验。当发现当前候选解不可能是解时，就选择下一个候选解；倘 若当前候选解除了还不满足问题规模要求外，满足所有其他要求时，继续扩大当前候选解的 规模，并继续试探。如果当前候选解满足包括问题规模在内的所有要求时，该候选解就是问 题的一个解。在回溯法中，放弃当前候选解，寻找下一个候选解的过程称为回溯。扩大当前 候选解的规模，以继续试探的过程称为向前试探。 可用回溯法求解的问题P，通常要能表达为：对于已知的由n 元组（x ，x ，…，x ）组 1 2 n 成的一个状态空间 E={ （x ，x ，…，x ）∣x ∈S ，i=1，2，…，n}，给定关于n 元组中 1 2 n i i 的一个分量的一个约束集D，要求E 中满足D 的全部约束条件的所有n 元组。其中S 是分量 i x 的定义域，且 |S | 有限，i=1，2，…，n。我们称E 中满足D 的全部约束条件的任一n i i 元组为问题P 的一个解。 解问题P 的最朴素的方法就是枚举法，即对E 中的所有n 元组逐一地检测其是否满足D 的全部约束，若满足，则为问题P 的一个解。但显然，其计算量是相当大的。 我们发现，对于许多问题，所给定的约束集D 具有完备性，即i 元组（x ，x ，…，x ） 1 2 i 满足D 中仅涉及到x ，x ，…，x 的所有约束意味着j （ji）元组（x ，x ，…，x ）一定 1 2 i 1 2 j 也满足 D 中仅涉及到x ，x ，…，x 的所有约束，i=1，2，…，n。换句话说，只要存在0 1 2 j ≤j≤n-1，使得（x ，x ，…，x ）违反D 中仅涉及到x ，x ，…，x 的约束之一，则以（x ， 1 2 j 1 2 j 1 x ，…，x ）为前缀的任何n 元组（x ，x ，…，x ，x ，…，x ）一定也违反D 中仅涉及到 2 j 1 2 j j+1 n x ，x ，…，x 的一个约束，n≥ij。因此，对于约束集D 具有完备性的问题P，一旦检测 1 2 i 断定某个j 元组（x ，x ，…，x ）违反D 中仅涉及x ，x ，…，x 的一个约束，就可以肯定， 1 2 j 1 2 j 以（x ，x ，…，x ）为前缀的任何n 元组（x ，x ，…，x ，x ，…，x ）都不会是问题P 1 2 j 1 2 j j+1 n 的解，因而就不必去搜索它们、检测它们。回溯法正是针对这类问题，利用这类问题的上述 性质而提出来的比枚举法效率更高的算法。 回溯法首先将问题P 的n 元组的状态空间E 表示成一棵高为n 的带权有序树T，把在E 中求问题P 的所有解转化为在T 中搜索问题P 的所有解。树T 类似于检索树，它可以这样构 造： 设S 中的元素可排成x (1) ，x (2) ，…，x