计算理论与算法分析设计总复习2016年上详解.ppt

* * of 158 最大团问题 给定无向图G=(V，E)。如果U?V，且对任意u，v?U有(u，v)?E，则称U是G的完全子图。G的完全子图U是G的团。G的最大团是指G中所含顶点数最多的团。 如果U?V且对任意u，v?U有(u，v)?E，则称U是G的空子图。G的空子图U是G的独立集当且仅当U不包含在G的更大的空子图中。G的最大独立集是G中所含顶点数最多的独立集。 对于任一无向图G=(V，E)其补图G=(V1，E1)定义为：V1=V，且(u，v)?E1当且仅当(u，v)?E。 U是G的最大团当且仅当U是G的最大独立集。 1 2 4 5 3 1 2 4 5 3 * * of 158 最大团问题 解空间：子集树 可行性约束函数：顶点i到已选入的顶点集中每一个顶点都有边相连。 上界函数：有足够多的可选择顶点使得算法有可能在右子树中找到更大的团。 private static void backtrack(int i) { if (i n) {// 到达叶结点 for (int j = 1; j = n; j++) bestx[j] = x[j]; bestn = cn; return; } // 检查顶点 i 与当前团的连接 boolean ok = true; for