计算复杂性之回溯法.pptVIP

一个回溯算法 使用回溯法在一个从V中选出，具有r个顶点的的组合A。 假设程序Process(A)用来检查A中顶点是否形成团。 A意味着在一个潜在团中的一系列顶点。调用clique（n,r）. 无优化剪切回溯法： procedure clique(m,q) if q = 0 then process(A) else for i := q to m do A[q] := i clique(i ? 1,q ? 1) 优化剪切回溯法（3行）： procedure clique(m,q) 1.if q = 0 then print(A) else 2.for i := q to m do 3.if (A[q],A[j]) ∈ E for all q j ≤ r then 4.A[q] := i 5.clique(i ? 1,q ? 1) 分析 3行耗时为O(r).因此算法耗时为 独立集问题 独立集是一个没有边的诱发型子图，大小为所有顶点的数量。 独立集问题： 输入：一个图G = (V,E)，和一个整数r。 输出：图G中一个大小为r的小团体，如果该小团体存在。 假设:鉴于u,v ∈ V ,我们可以在 O(1)时间内检查是否(u,v)∈E。 补充图 G = (V,E)的补充图是 ， 其中 。 团和独立集 G中的团是 中的独立集，因此独立既问题能够用团问题的算法解决，在相同的运行时间内。 “if (A[q],A[j]) ∈ E” to “if (A[i],A[j]) ∈ E”. 拉姆齐数 拉姆齐定理：对任意的i, j ∈ IN,存在一个值R(i, j) ∈ IN，使得每一个具有R(i, j)各定点的图G，要么有一个大小为i的团，要么有一个大小为j的独立集。具有这样性质的最小自然数n就称为一个拉姆齐数，记作R(k,l) 。 R(3,8)是28或29，选最小值为28. 寻找拉姆齐数 如果下面程序输出任何，则R(i, j) n.不断运行下面程序，代入n = 1, 2, 3, . . .，直至第一次不输出任何。n的值就是R(i, j)。 for each graph G with n vertices do if (G doesn’t have a clique of size i) and (G doesn’t have an indept. set of size j) then print(G) 怎么实现这样的循环呢？ 寻找拉姆齐数 遍历所有字符串数组A表现为一个上升的阶梯形影响矩阵G。 一共有 个入口。 为了检验(i, j) ∈ E（i j），我们需要 查阅关联矩阵的入口(i, j)，将被存储在 A[n(i ? 1) ? i(i + 1)/2 + j]. 寻找拉姆齐数 Address is： 样例 因为链接是两点间的，所以矩阵图是斜对称的。 把每一排拆开后形成一维数组。 谢谢！ 谢谢！ 稠密图上的汉密尔顿循环 使用邻接矩阵:M[i,j]是真，如果(i, j) ∈ E. 1. for i := 1 to n do 2. A[i] := i 3. hamilton(n ? 1) procedure hamilton(m) comment find Hamiltonian cycle from A[m] with m unused nodes 4. if m = 0 then process(A) else 5. for j := m downto 1 do 6. if M[A[m + 1],A[j]] then 7. swap A[m] with A[j] 8. hamilton(m ? 1) 9. swap A[m] with A[j] procedure process(A) comment check that the cycle is closed 10. if M[A[1], n] then print(A) 分析 因此，，汉密尔顿换的运行时间为 ? O(dn) (使用广义字符窜) ? O((n ? 1)!) (使用排列). 两个范围那个更小？取决于d的取值。 当d ≤ n/e(e = 2.7183 . . .)，字符串算法更优。 和平皇后问题 该问题是十九世纪著名的数学家高斯1850年提出：在8X8格的国际象棋上摆放八个皇后，使其不能互相攻击，即任意两个皇后都不能处于同一行、同一列或同一斜线上，问有多少种摆法。 皇后问题 用数组A[i]来存储第i列皇后的位置，如图 A= [4 2 7 3 6 8 5 1] 发现这形成了一个排序 算法 procedure queen(m) 1. i