树形DP 树的最小支配集,最小点覆盖与最大独立集
最小支配集:
从V中选取尽量少的点组成一个集合,让V中剩余的点都与取出来的点有边相连。
(点)
最小点覆盖:
从V中选取尽量少的点组成一个集合V1,让所有边(u,v)中要么u属于V1,要么v属于V1
(边)
最大独立集:
从V中选取尽量多的点组成一个集合,让这些点中间没有边项链,也就是说对于任何一条边,u,v不能同时属于集合V1.
1.贪心算法
首先选取一个点为根节点,求出所有节点对应的DFS序列,按照所得序列反向进行贪心,这样保证对于每个点来说,当子树都被处理过之后才会处理该节点
int p[MAXN];
bool select[MAXN];
int newpos[MAXN];
int now, n, m;
//最小支配集
int greedy1()
{
bool s[MAXN] = { };
bool set[MAXN] = { };
int ans = ;
int i;
for (i = n - ; i >= ; i--)
{
int t = newpos[p[t]];
if (!s[t])
{
if (!set[p[t]])
{
set[p[t]] = true;
ans++;
}
s[t] = s[p[t]] = s[p[p[t]]] = true;
}
}
return ans;
}
//最小点覆盖
int greedy2()
{
bool s[MAXN] = { };
bool set[MAXN] = { };
int ans = ;
for (int i = n - ; i >= ; i--)//不可以检查根节点,p[root] = root
{
int t = newpos[i];
if (!s[t] && !s[p[t]])
{
set[p[t]] = true;
ans++;
s[t] = s[p[t]] = true;
}
}
}
//最大独立集
int greedy3()
{
int ans = ;
bool s[MAXN] = { };
bool set[MAXN] = { };
for (int i = ; i >= ; i--)
{
int t = newpos[i];
if (!s[t])
{
set[t] = true;
ans++;
s[t] = s[p[t]] = true;
}
}
return ans;
}
2.树形DP
1.dp[i][0]: 表示点i属于支配集,并且以点i为根的子树都被覆盖了的情况下支配集中包含点最少的个数
2.dp[i][1] i不属于支配集,而且以i为根的子树都被覆盖而且i被其中不少于一个子节点覆盖情况下支配集所包含最少点的个数
3.dp[i][2] i不属于支配集,而且i为根的子树都被覆盖而且I没有被子节点覆盖的情况下支配集报验最少点的个数
对于第一情况,对子节点无限制
dp[i][0] = 1 + 西格玛min(dp[u][0],dp[u][1],dp[u][2]) p[u] = t
对于第二红情况, 如果i没有子节点那么dp[i][1] = INF,子节点必须被覆盖,所以和状态dp[i][2]无关的!
dp[i][1] = 西格玛min(dp[u][0],dp[u][1]) + inc
如果选取了某一个dp[u][0] inc = 0;
else inc = min(dp[u][0] - dp[u][1])
选取的时候注意如果全部选的都是dp[u][1]那父节点没办法被覆盖啦!所以判断一下
对于第三种情况,i不属于支配集,i的子树都被覆盖,说明i和i的儿子都不是支配集的!
dp[i][2] = 西格玛dp[u][1]
#include<iostream>
#include<cstdio>
#include<cmath>
#include<cstring>
#include<sstream>
#include<algorithm>
#include<queue>
#include<deque>
#include<iomanip>
#include<vector>
#include<cmath>
#include<map>
#include<stack>
#include<set>
#include<functional>
#include<fstream>
#include<memory>
#include<list>
#include<string>
using namespace std;
typedef long long LL;
typedef unsigned long long ULL; #define N 31
#define INF 1000000009
#define eps 0.00000001
#define sf(a) scanf("%d",&a)
const int MAXN = 1e5 + ; int dp[MAXN][];
int head[MAXN];
void DP(int u, int p)
{
dp[u][] = ;
dp[u][] = ;
bool s = false;
int sum = , inc = INF;
int k;
for (k = head[u]; k != -; k = E[k].next)
{
int to = E[k].to;
if (to == p)
continue;
DP(to, u);
dp[u][] += min(dp[to][], dp[to][], dp[to][]);
if (dp[to][] < dp[to][])
{
s = true;
sum += dp[to][];
}
else
{
sum += dp[to][];
inc = min(inc, dp[to][] - dp[to][]);
}
if (dp[to][] != INF&&dp[u][] != INF)
dp[u][] += dp[to][];
else
dp[u][] = INF;
}
if (inc == INF && !s)
dp[u][] = INF;
else
{
dp[u][] = sum;
if (!s) dp[u][] += inc;
}
}
对于最小点覆盖
dp[u][0] u点被覆盖
dp[u][1] u点没被覆盖
int dp[MAXN][];
int head[MAXN];
void DP(int u, int p)
{
dp[u][] = ;
dp[u][] = ;
int k, to;
for (k = head[u]; k != -; k = E[k].next)
{
to = E[k].to;
if (to == p)
continue;
DP(to, u);
dp[u][] += min(dp[to][], dp[to][]);
dp[u][] += dp[to][];
}
}
树形DP 树的最小支配集,最小点覆盖与最大独立集的更多相关文章
- 树形DP求树的最小支配集,最小点覆盖,最大独立集
一:最小支配集 考虑最小支配集,每个点有两种状态,即属于支配集合或者不属于支配集合,其中不属于支配集合时此点还需要被覆盖,被覆盖也有两种状态,即被子节点覆盖或者被父节点覆盖.总结起来就是三种状态,现对 ...
- 求树的最大独立集,最小点覆盖,最小支配集 贪心and树形dp
目录 求树的最大独立集,最小点覆盖,最小支配集 三个定义 贪心解法 树形DP解法 (有任何问题欢迎留言或私聊&&欢迎交流讨论哦 求树的最大独立集,最小点覆盖,最小支配集 三个定义 最大 ...
- POJ3659 Cell Phone Network(树上最小支配集:树型DP)
题目求一棵树的最小支配数. 支配集,即把图的点分成两个集合,所有非支配集内的点都和支配集内的某一点相邻. 听说即使是二分图,最小支配集的求解也是还没多项式算法的.而树上求最小支配集树型DP就OK了. ...
- 树形dp(最小支配集)
http://poj.org/problem?id=3659 #include<iostream> #include<cstring> #include<algorith ...
- POJ 3659 Cell Phone Network / HUST 1036 Cell Phone Network(最小支配集,树型动态规划,贪心)-动态规划做法
POJ 3659 Cell Phone Network / HUST 1036 Cell Phone Network(最小支配集,树型动态规划,贪心) Description Farmer John ...
- POJ 3398 Perfect Service(树型动态规划,最小支配集)
POJ 3398 Perfect Service(树型动态规划,最小支配集) Description A network is composed of N computers connected by ...
- POJ 3659 Cell Phone Network(树的最小支配集)(贪心)
Cell Phone Network Time Limit: 1000MS Memory Limit: 65536K Total Submissions: 6781 Accepted: 242 ...
- 树的问题小结(最小生成树、次小生成树、最小树形图、LCA、最小支配集、最小点覆盖、最大独立集)
树的定义:连通无回路的无向图是一棵树. 有关树的问题: 1.最小生成树. 2.次小生成树. 3.有向图的最小树形图. 4.LCA(树上两点的最近公共祖先). 5.树的最小支配集.最小点覆盖.最大独立集 ...
- POJ 3398 Perfect Service --最小支配集
题目链接:http://poj.org/problem?id=3398 这题可以用两种上述讲的两种算法解:http://www.cnblogs.com/whatbeg/p/3776612.html 第 ...
随机推荐
- 【Python】第一个爬虫
import urllib.request import re class DownPic: def __init__(self,url,re_str): self.url = url self.re ...
- php查询快递信息
$code = 'shunfeng'; $invoice = '952255884068'; $test = getExpressDelivery($code,$invoice); function ...
- ubunut在线音乐比方软件
今天安装了一个音乐在线播放软件,忍不住要来赞一下, 之前一直都是用网页在线的qq音乐听的,这样就有点感觉不爽了, 今天突然想起来好像在网上看到的在ubuntu下有用网易云音乐的,就上网看了一下 还真的 ...
- python中break、continue 、exit() 、pass终止循环的区别
python中break.continue .exit() .pass区分 1.break:跳出循环,不再执行 Python break语句,就像在C语言中,打破了最小封闭for或while循环. b ...
- (转) 淘淘商城系列——CMS内容管理系统工程搭建
http://blog.csdn.net/yerenyuan_pku/article/details/72825801 淘淘商城系列——CMS内容管理系统工程搭建 上文我们一起搭建了表现层中的商城门户 ...
- leetcode_894. All Possible Full Binary Trees
https://leetcode.com/problems/all-possible-full-binary-trees/ 给定节点个数,求所有可能二叉树,该二叉树所有节点要么有0个子节点要么有两个子 ...
- 在死循环中使用Scanner获得键盘输入
1. 编译时无错误和警告,且运行过程中无异常的代码示例 //编译时无错误和警告,且运行过程中无异常的代码示例package scanner_test; import java.util.*; publ ...
- TYPE=MyISAM 与 ENGINE=MyISAM 的区别(摘要版)
TYPE=MyISAM 和 ENGINE=MyISAM 都是设置数据库存储引擎的语句 (老版本的MySQL使用TYPE而不是ENGINE(例如,TYPE = MYISAM). MySQL 5.1为向下 ...
- vue小结1
(1)渐进式vue 构建用户界面的渐进式框架 只关注视图层 (2)vue中的两个核心点 响应的数据绑定:当数据发生改变时,自动更新视图 利用Object.definedProperty(该属性IE8不 ...
- PHP-碎片知识 $_SERVER['argv']
1.cli模式(命令行)下,第一个参数$_SERVER['argv'][0]是脚本名,其余的是传递给脚本的参数 2.web网页模式下 在web页模式下必须在php.ini开启register_argc ...