码迷,mamicode.com
首页 > 其他好文 > 详细

hlg1492盒子【最小路径覆盖】

时间:2014-08-10 21:04:40      阅读:212      评论:0      收藏:0      [点我收藏+]

标签:style   blog   http   color   os   io   strong   for   

大意:有n个盒子,告诉你一些嵌套关系,比如a能放到b里  c能放到a里

问最少使多少盒子露在外面

 

分析:这里要求的是最少DAG的数量,也就是传说中的最小路径覆盖问题

最小路径覆盖:

公式:最小路径覆盖 = 节点个数 - 最大匹配

这儿有一篇关于其解释,

首先给出公式:DAG的最小路径覆盖数=DAG图中的节点数-相应二分图中的最大匹配数.

那么对应一个DAG,如何构造相应的二分图?对于DAG中的一个顶点p,二分图中有两个顶点p和p‘,对应DAG中的一条有向边p->q,二分图中有p-q‘的一条无向边.二分图中p属于S集合,p‘属于T集合.
下面我们来解释上面公式为什么成立,思路参考baihacker神牛:

bubuko.com,布布扣
上图中,对应左边的DAG建立构造右边的二分图,可以找到二分图的一个最大匹配M:1-3‘,3-4‘,那么M中的这两条匹配边怎样对应DAG中的路径的边?
使二分图中一条边对应DAG中的一条有向边,1-3‘对应DAG图中的有向边1->3,这样DAG中1就会有一个后继顶点(3会是1的唯一后继,因为二分图中一个顶点至多关联一条边!),所以1不会成为DAG中一条路径中的结尾顶点,同样,3-4‘对应DAG中3->4,3也不会成为结尾顶点,那么原图中总共4个顶点,减去2个有后继的顶点,就剩下没有后继的顶点,即DAG路径的结尾顶点,而每个结尾顶点正好对应DAG中的一条路径,二分图中寻找最大匹配M,就是找到了对应DAG中的非路径结尾顶点的最大数目,那么DAG中顶点数-|M|就是DAG中结尾顶点的最小数目,即DAG的最小路径覆盖数.
 
代码:
bubuko.com,布布扣
 1 #include <iostream>
 2 #include <cstdio>
 3 #include <cstring>
 4 using namespace std;
 5 
 6 const int maxn = 505;
 7 
 8 struct Node {
 9     int to;
10     int next;
11 }p[maxn * maxn];
12 int head[maxn * maxn];
13 int tot;
14 void AddEdge(int u, int v) {
15     p[tot].to = v;
16     p[tot].next = head[u];
17     head[u] = tot++;
18 }
19 
20 int Link[maxn];
21 int vis[maxn];
22 
23 bool Find(int u) {
24     for(int i = head[u]; i; i = p[i].next) {
25         int v = p[i].to;
26         if(!vis[v]) {
27             vis[v] = 1;
28             if(Link[v] == -1 || Find(Link[v])) {
29                 Link[v] = u;
30                 return true;
31             }
32         }
33     }
34     return false;
35 }
36 
37 int solve(int n) {
38     int cnt = 0;
39     memset(Link, -1, sizeof(Link));
40     for(int i = 1; i <= n; i++) {
41         memset(vis, 0, sizeof(vis));
42         if(Find(i)) {
43             cnt++;
44         }
45     }
46     return cnt;
47 }
48 
49 int main() {
50     int n, m;
51     int u, v;
52     while(EOF != scanf("%d %d",&n, &m)) {
53         memset(head, 0, sizeof(head));
54         tot = 1;
55         for(int i = 0; i < m; i++) {
56             scanf("%d %d",&u, &v);
57             AddEdge(u, v);
58         }
59         printf("%d\n",n - solve(n));
60     }
61     return 0;
62 }
View Code

 

hlg1492盒子【最小路径覆盖】,布布扣,bubuko.com

hlg1492盒子【最小路径覆盖】

标签:style   blog   http   color   os   io   strong   for   

原文地址:http://www.cnblogs.com/zhanzhao/p/3903207.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!