子问题定义: 对于图中的每个结点,有两种状态,即属于最小点覆盖和不属于最小点覆盖,定义minSet[i][0]表示结点i属于点覆盖,并且以i为根的树的最小点覆盖的大小。minSet[i][1]表示点i不属于点覆盖,并且以i为根的树的最小点覆盖的大小。

递归关系:

对于minSet[i][0],i的孩子结点可以属于点覆盖,也可以不属于点覆盖,取其使以i为根的子树的点覆盖最小的情况,因此

  对于minSet[i][1],由于i不属于点覆盖,因此其所有孩子结点都必须属于点覆盖,因此

初值设定:

minSet[i][0]=1

minSet[i][1]=0

求解顺序:

从树的叶子结点开始求每个结点的最小点覆盖,自底向上,最后比较minSet[root][0]与minSet[root][1]的大小,最小者即为最终的结果。

 package org.xiu68.ch6.ex8;

 import java.util.ArrayList;

 public class Exp6_21 {

     public static void main(String[] args) {
// TODO Auto-generated method stub
//运行结果
/*
树的最大独立集为: 4
顶点值为: 4 6 2 3
树的最小点覆盖为: 2
顶点值为: 5 1
*/
//由结果可知 最大独立集与最小点覆盖集合互为补集
ArrayList<Integer> vexs=new ArrayList<>();
for(int i=1;i<=6;i++)
vexs.add(i);
//构造一个无向无环图
int[][] edges=new int[][]{
{0,1,1,0,0,0},
{1,0,0,0,1,0},
{1,0,0,0,0,0},
{0,0,0,0,1,0},
{0,1,0,1,0,1},
{0,0,0,0,1,0}
};
MGraph<Integer> m=new MGraph<Integer>(6, 6, edges, vexs);
m.maxIndependentSet();
System.out.println();
m.minCoverSet();
}
} //邻接矩阵表示图、无向无环图
class MGraph<T>{
public int vexNum; //顶点数量
public int edgeNum; //边数量
public int[][] edges; //邻接矩阵
public ArrayList<T> vexs; //顶点表 public int[][] maxDep; //最大独立集
public ArrayList<Integer> set; //最大独立集顶点序号 public int[][] minCover; //最小点覆盖
public ArrayList<Integer> minSet; //最小点覆盖顶点序号 public MGraph(int vexNum, int edgeNum, int[][] edges, ArrayList<T> vexs) {
this.vexNum = vexNum;
this.edgeNum = edgeNum;
this.edges = edges;
this.vexs = vexs; maxDep=new int[vexNum][2];
set=new ArrayList<>(); minCover=new int[vexNum][2];
minSet=new ArrayList<>();
} //最大独立集
public void maxIndependentSet(){
independentSet(0, 0); if(maxDep[0][0]>maxDep[0][1])
System.out.println("树的最大独立集为: "+maxDep[0][0]);
else
System.out.println("树的最大独立集为: "+maxDep[0][1]); System.out.print("顶点值为: ");
for(int i=0;i<set.size();i++)
System.out.print(vexs.get(set.get(i))+" ");
}
//求以child为根的树的最大独立集
//child:当前正在处理的结点
//parent:child的父结点
private void independentSet(int child,int parent){
maxDep[child][0]=1; //当前结点放入独立集
maxDep[child][1]=0; //当前结点不放入独立集 for(int i=0;i<vexNum;i++){
if(edges[child][i]==0 || i==parent) //如果顶点间不存在边或尾结点为父结点
continue;
independentSet(i, child); //因为child加入了最大独立集,所以子结点不加入最大独立集
//以child为根的树的最大独立集的规模为 ( 1+ child的孙子结点的最大独立集的规模 )
maxDep[child][0]+=maxDep[i][1]; if(maxDep[i][0]>maxDep[i][1])
maxDep[child][1]+=maxDep[i][0]; //加入子结点
else
maxDep[child][1]+=maxDep[i][1]; //不加入子结点
} if(maxDep[child][0]>maxDep[child][1]) //比较加入child与不加入child的独立集大小,取较大者为结果
set.add(child);
} //*********************************************************** //最小点覆盖
public void minCoverSet(){
coverSet(0,0);
if(minCover[0][0]<minCover[0][1])
System.out.println("树的最小点覆盖为: "+minCover[0][0]);
else
System.out.println("树的最小点覆盖为: "+minCover[0][1]); System.out.print("顶点值为: ");
for(int i=0;i<minSet.size();i++){
System.out.print(vexs.get(minSet.get(i))+" ");
}
}
//求以child为根的树的最小点覆盖集合
//child:当前正在处理的结点
//parent:child的父结点
private void coverSet(int child,int parent){
minCover[child][0]=1; //child放入最小点覆盖集合
minCover[child][1]=0; //child不放入最小点覆盖集合 for(int i=0;i<vexNum;i++){
if(edges[child][i]==0 || i==parent) //如果顶点间不存在边或尾结点为父结点
continue; coverSet(i,child); //如果子结点i放入集合结果更小则把i放入集合
if(minCover[i][0]<minCover[i][1])
minCover[child][0]+=minCover[i][0]; //子结点i放入集合
else
minCover[child][0]+=minCover[i][1]; //子结点i不放入集合 //若child不放入最小点覆盖集合,则其所有子结点都要放入最小点覆盖集合
minCover[child][1]+=minCover[i][0]; if(minCover[child][0]<minCover[child][1]) //取最小值作为结果
minSet.add(child);
}
}
}

Ex 6_21 最小点覆盖问题_第八次作业的更多相关文章

  1. Ex 6_14 布料剪裁问题_第八次作业

    子问题定义: 定义p[i][j]为布料宽为i,高为j的最优产出,每次剪下一块布料,剩余布料最多形成三块矩阵面料.每次剪裁会有两种情况,水平切割布料,其次是将布料旋转90度后在切割布料. 递归关系: 初 ...

  2. Ex 6_5棋子放置问题_第八次作业

    题目貌似有问题 (b) 子问题定义: 设maxValue[i][j]为棋盘的前i行中最后一行为i时第i行按照第j种放置方式放置时得到的最大覆盖值,comp[i][j]为第i种放置方式与第j种放置方式是 ...

  3. ACM/ICPC 之 机器调度-匈牙利算法解最小点覆盖集(DFS)(POJ1325)

    //匈牙利算法-DFS //求最小点覆盖集 == 求最大匹配 //Time:0Ms Memory:208K #include<iostream> #include<cstring&g ...

  4. 【POJ 3041】Asteroids (最小点覆盖)

    每次选择清除一行或者一列上的小行星.最少选择几次. 将行和列抽象成点,第i行为节点i+n,第j列为节点j,每个行星则是一条边,连接了所在的行列. 于是问题转化成最小点覆盖.二分图的最小点覆盖==最大匹 ...

  5. POJ 2226 最小点覆盖(经典建图)

    Muddy Fields Time Limit: 1000MS   Memory Limit: 65536K Total Submissions: 8881   Accepted: 3300 Desc ...

  6. nyoj 237 游戏高手的烦恼 二分匹配--最小点覆盖

    题目链接:http://acm.nyist.net/JudgeOnline/problem.php?pid=237 二分匹配--最小点覆盖模板题 Tips:用邻接矩阵超时,用数组模拟邻接表WA,暂时只 ...

  7. [USACO2005][POJ2226]Muddy Fields(二分图最小点覆盖)

    题目:http://poj.org/problem?id=2226 题意:给你一个字符矩阵,每个位置只能有"*"或者“.",连续的横着或者竖的“*"可以用一块木 ...

  8. POJ3041Asteroids(最小点覆盖+有点小抽象)

    Asteroids Time Limit: 1000MS   Memory Limit: 65536K Total Submissions: 18289   Accepted: 9968 Descri ...

  9. hdu 1054 最小点覆盖

    Sample Input 4 0:(1) 1 1:(2) 2 3 2:(0) 3:(0) 5 3:(3) 1 4 2 1:(1) 0 2:(0) 0:(0) 4:(0)   Sample Output ...

随机推荐

  1. (转)Maven中的DependencyManagement和pluginmanagement

    背景:最近在学习maven的多模块构建过程中看到DependencyManagement选项,对这个选项的使用做个记录! 区别与联系 这里介绍一个在父项目中的根结点中声明dependencyManag ...

  2. C++11并发——多线程std::mutex (二)

    https://www.cnblogs.com/haippy/p/3237213.html Mutex 又称互斥量,C++ 11中与 Mutex 相关的类(包括锁类型)和函数都声明在 <mute ...

  3. NCBI上查看SNP位点在哪个基因座上(locus)

    首先,进入NCBI的主页网站:https://www.ncbi.nlm.nih.gov/variation/view/ 进入后,在下图红色框框位置输入目的SNP,比如rs608139 输完后,出现如下 ...

  4. json.stringify和json.parse,序列化和反序列化

    json.stringify()是序列化函数,用于将对象转化为字符串:json.parse()是反序列化函数,用于将字符串转化为json对象 一.序列化: var o={name:'wen',age: ...

  5. 最短路算法模板--SPFA

    初见SPFA时,直接认成了优先队列优化的Dijkstra,经过几位大佬的指点,我终于明白了他们的差异. Dijkstra是保证已经出队过的点不再入队,SPFA是已经在队列中不再入队.比较起来,SPFA ...

  6. EClipse for PHP 中文乱码问题

    UTF-8 格式的php,中文都是乱码. 如果此时在EClipse中输入中文会有 CP1252 错误( CP1252不支持xxxx ) 解决方法: windows->preferences-&g ...

  7. git杂记:忽略ssl认证

        当你通过HTTPS访问Git远程仓库,如果服务器的SSL证书未经过第三方机构签署,那么Git就会报错.这是十分合理的设计,毕竟未知的没有签署过的证书意味着很大安全风险.但是,如果你正好在架设G ...

  8. spring校验注解

    @Null   被注释的元素必须为 null @NotNull    被注释的元素必须不为 null @AssertTrue     被注释的元素必须为 true @AssertFalse    被注 ...

  9. Xen的入门到放弃

    Xen的入门到放弃 作者:尹正杰 版权声明:原创作品,谢绝转载!否则将追究法律责任. Xen 是一个开放源代码虚拟机监视器(VMM),由剑桥大学的"Ina Pratt"和" ...

  10. 面向对象【day07】:多态(九)

    本节内容 概述 多态 小结 一.概述 多态性(polymorphisn)是允许你将父对象设置成为和一个或更多的他的子对象相等的技术,赋值之后,父对象就可以根据当前赋值给它的子对象的特性以不同的方式运作 ...