路径覆盖就是在图中找一些路径,使之覆盖了图中的所有顶点,且任何一个顶点有且只有一条路径与之关联。

对于一个有向无环图怎么求最小路径覆盖?

先构造二分图: 对于原图,先拆点,吧每个点i拆成ii,iii。若有边i--》j,则在二分图中,添加边 ii--》jjj(即原来每个点拆为一个入点和出点),这样构成二分图。

则:最小路径覆盖数=原图顶点数-二分图最大匹配数。

粗略解析证明:(设有n个顶点)

若原图没有边,则最大匹配数为0,最小路径覆盖为n,思想:每得到一个匹配,相当于把这俩个点并为一个集合(原来有N个集合),即这俩个点在原图中是在同一条路径覆盖上的,每次成功匹配,相当于一次成功“并集”,所谓的路径覆盖,可以理解为合并顶点的动作,而匹配的点不重复(分出俩个点恰好对应路径覆盖时该店的一出一入),每成功一次匹配,则顶点集合少了一,即路径少了一条,所以最小路径覆盖对应最大匹配的时候,即证。

该题(hdu3861),题意:划分一个有向图,要求:1,:同一个强连通分量(SCC)中的点属于一个集合,2:每个点只属于一个集合。3:任意俩个点都可以单向抵达的(不能越过其他集合)是属于一个集合。

原图不是无环图,先缩点,成有向无环图,在求最下路径覆盖,按上面方法,代码有注解:

(转载请注明出处。)

#include<iostream>
#include<cstdio>
#include<cstring>
#include<vector>
#include<queue>
#include<stack>
using namespace std;
int n,m;
const int MAX=50010*2;const int inf=0x3f3f3f3f;
vector<vector<int> >v(MAX);
int vis[MAX];int dfn[MAX];int low[MAX];
int times=0;int scc[MAX];int ins[MAX];stack<int>s;
int num=0; //缩点后点数
int e[MAX*3][3];int head[MAX*2];int nume=0;
void clea() //初始化工作
{
for(int i=0;i<=2*n+1;i++)
{
head[i]=-1;
ins[i]=dfn[i]=vis[i]=low[i]=scc[i]=0;
v[i].clear();
}
num=0;times=0;nume=0;
}
void inline adde(int f,int s,int w) //添加新图(二分图)的边,用网络流法解,所用之
{
e[nume][0]=s;e[nume][1]=head[f];head[f]=nume;
e[nume++][2]=w;
e[nume][0]=f;e[nume][1]=head[s];head[s]=nume;
e[nume++][2]=0;
}
void tarjan(int u) //有向图缩点
{
dfn[u]=low[u]=++times;
ins[u]=1;
s.push(u);
for(int i=0;i<v[u].size();i++)
{
int ch=v[u][i];
if(!vis[ch])
{
vis[ch]=1;
tarjan(ch);
if(low[ch]<low[u])
low[u]=low[ch];
}
else
if(ins[ch]&&dfn[ch]<low[u])
low[u]=dfn[ch];
}
if(low[u]==dfn[u])
{
int cur;
num++;
do
{
cur=s.top();
s.pop();
scc[cur]=num;
ins[cur]=0;
}while(cur!=u);
}
}
void get_newgraph() //获得新图,二分图
{
for(int i=1;i<=n;i++)
{
for(int j=0;j<v[i].size();j++)
{
int c=v[i][j];
if(scc[i]!=scc[c])
{
adde(scc[i],scc[c]+num,1);
}
}
}
for(int i=1;i<=num;i++)
{
adde(0,i,1);
adde(i+num,num+num+1,1);
}
}
int lev[MAX]; //网络流法求最大匹配 添加源汇点(0,2*num+1),流量为1,有重边也不无纺。
bool bfs()
{
for(int i=0;i<=num*2+1;i++)
{
lev[i]=vis[i]=0;
}
queue<int>q;
q.push(0);vis[0]=1;
while(!q.empty())
{
int cur=q.front();
q.pop();
for(int i=head[cur];i!=-1;i=e[i][1])
{
int c=e[i][0];
if(!vis[c]&&e[i][2]>0)
{
lev[c]=lev[cur]+1;
if(c==num*2+1)return 1;
vis[c]=1;
q.push(c);
}
}
}
return vis[num*2+1];
}
int dfs(int u,int minf)
{
if(u==num*2+1||minf==0)return minf;
int sum=0,f;
for(int i=head[u];i!=-1&&minf;i=e[i][1])
{
int c=e[i][0];
if(lev[c]==lev[u]+1&&e[i][2]>0)
{
f=dfs(c,minf<e[i][2]?minf:e[i][2]);
e[i][2]-=f;e[i^1][2]+=f;
sum+=f;minf-=f;
}
}
return sum;
}
int dinic()
{
int sum=0;
while(bfs())
{
sum+=dfs(0,inf);
}
return sum;
}
int main()
{
int ta;
scanf("%d",&ta);
while(ta--)
{
scanf("%d%d",&n,&m);
int aa,bb;
clea();
for(int i=0;i<m;i++)
{
scanf("%d%d",&aa,&bb);
v[aa].push_back(bb);
}
for(int i=1;i<=n;i++)
{
if(!vis[i])
{
vis[i]=1;
tarjan(i);
}
}
get_newgraph();
int ans=num-dinic(); //最小路径覆盖数
printf("%d\n",ans);
}
return 0;
}

有向图最小路径覆盖方法浅析、证明 //hdu 3861的更多相关文章

  1. HDOJ1151有向图最小路径覆盖

    //有向图最小路径覆盖:从某一点出发沿着有向路径,不走回路,能将所有的结点遍历. #include<iostream> #include<cstdio> #include< ...

  2. (匹配 最小路径覆盖)Air Raid --hdu --1151

    链接: http://acm.hdu.edu.cn/showproblem.php?pid=1151 http://acm.hust.edu.cn/vjudge/contest/view.action ...

  3. ●hihocoder #1394 网络流四·最小路径覆盖

    题链: http://hihocoder.com/problemset/problem/1394 题解: 有向图最小路径覆盖:最少的路径条数不重不漏的覆盖所有点. 注意到在任意一个最小路径覆盖的方案下 ...

  4. HDU 3861 The King’s Problem 最小路径覆盖(强连通分量缩点+二分图最大匹配)

    题目链接:http://acm.hdu.edu.cn/showproblem.php?pid=3861 最小路径覆盖的一篇博客:https://blog.csdn.net/qq_39627843/ar ...

  5. hdu 1151 Air Raid(二分图最小路径覆盖)

    http://acm.hdu.edu.cn/showproblem.php?pid=1151 Air Raid Time Limit: 1000MS   Memory Limit: 10000K To ...

  6. (step6.3.4)hdu 1151(Air Raid——最小路径覆盖)

    题意:     一个镇里所有的路都是单向路且不会组成回路. 派一些伞兵去那个镇里,要到达所有的路口,有一些或者没有伞兵可以不去那些路口,只要其他人能完成这个任务.每个在一个路口着陆了的伞兵可以沿着街去 ...

  7. HDU 3861 The King’s Problem(tarjan连通图与二分图最小路径覆盖)

    题意:给我们一个图,问我们最少能把这个图分成几部分,使得每部分内的任意两点都能至少保证单向连通. 思路:使用tarjan算法求强连通分量然后进行缩点,形成一个新图,易知新图中的每个点内部的内部点都能保 ...

  8. HDU 3861.The King’s Problem 强联通分量+最小路径覆盖

    The King’s Problem Time Limit: 2000/1000 MS (Java/Others)    Memory Limit: 65536/32768 K (Java/Other ...

  9. HDU 3861 The King’s Problem(强连通+二分图最小路径覆盖)

    HDU 3861 The King's Problem 题目链接 题意:给定一个有向图,求最少划分成几个部分满足以下条件 互相可达的点必须分到一个集合 一个对点(u, v)必须至少有u可达v或者v可达 ...

随机推荐

  1. c语言文件打开模式

    (转载) 在C语言的文件操作语法中,打开文件文件有以下12种模式,如下图: 打开模式  只可以读   只可以写  读写兼备 文本模式 r w a r+ w+ a+ 二进制模式 rb wb ab  rb ...

  2. pandas.DataFrame——pd数据框的简单认识、存csv文件

    接着前天的豆瓣书单信息爬取,这一篇文章看一下利用pandas完成对数据的存储. 回想一下我们当时在最后得到了六个列表:img_urls, titles, ratings, authors, detai ...

  3. rootfs注册挂载过程分析

    参考:Linux Filesystem: 解析 Linux 中的 VFS 文件系统机制 主要代码, init_rootfs(); init_mount_tree(); 1.init_rootfs()解 ...

  4. cf950e Data Center Maintenance

    若推迟 \(u\) 必推迟 \(v\),则连边 <\(u,v\)>. 求强联通分量后缩点,答案显然是出度为 \(0\) 且 size 最小的 scc. #include <iostr ...

  5. appium+python自动化-adb logcat查看日志

    前言 做app测试,遇到异常情况,查看日志是必不可少的,日志如何输出到手机sdcard和电脑的目录呢?这就需要用logcat输出日志了 以下操作是基于windows平台的操作:adb logcat | ...

  6. centos 修改时间 计划任务

    centos 修改时间 计划任务 一,系统时间修改   1 远程连接到centos 或者直接登录系统 #date 查看系统时间 如下图所示 2 #date -s 修改时间 看下面的例子#date -s ...

  7. 【LeetCode】Maximize Sum Of Array After K Negations(K 次取反后最大化的数组和)

    这道题是LeetCode里的第1005道题. 题目描述: 给定一个整数数组 A,我们只能用以下方法修改该数组:我们选择某个个索引 i 并将 A[i] 替换为 -A[i],然后总共重复这个过程 K 次. ...

  8. HDU-4417 Super Mario,划分树+二分!

    Super Mario 这个题也做了一天,思路是很清晰,不过二分那里写残了,然后又是无限RE.. 题意:就是查询区间不大于k的数的个数. 思路:裸划分树+二分答案.将区间长度作为二分范围.这个是重点. ...

  9. PTA 10-排序4 统计工龄 (20分)

    题目地址 https://pta.patest.cn/pta/test/15/exam/4/question/721 5-13 统计工龄   (20分) 给定公司NN名员工的工龄,要求按工龄增序输出每 ...

  10. 九度oj 题目1114:神奇的口袋

    题目描述: 有一个神奇的口袋,总的容积是40,用这个口袋可以变出一些物品,这些物品的总体积必须是40.John现在有n个想要得到的物品,每个物品的体积分别是a1,a2……an.John可以从这些物品中 ...