The King’s Problem

Time Limit: 2000/1000 MS (Java/Others)    Memory Limit: 65536/32768 K (Java/Others)
Total Submission(s): 4080    Accepted Submission(s): 1430

Problem Description
In the Kingdom of Silence, the king has a new problem. There are N cities in the kingdom and there are M directional roads between the cities. That means that if there is a road from u to v, you can only go from city u to city v, but can’t go from city v to city u. In order to rule his kingdom more effectively, the king want to divide his kingdom into several states, and each city must belong to exactly one state. What’s more, for each pair of city (u, v), if there is one way to go from u to v and go from v to u, (u, v) have to belong to a same state. And the king must insure that in each state we can ether go from u to v or go from v to u between every pair of cities (u, v) without passing any city which belongs to other state.
  Now the king asks for your help, he wants to know the least number of states he have to divide the kingdom into.
 
Input
The first line contains a single integer T, the number of test cases. And then followed T cases.

The first line for each case contains two integers n, m(0 < n <= 5000,0 <= m <= 100000), the number of cities and roads in the kingdom. The next m lines each contains two integers u and v (1 <= u, v <= n), indicating that there is a road going from city u to city v.

 
Output
The output should contain T lines. For each test case you should just output an integer which is the least number of states the king have to divide into.
 
Sample Input
1
3 2
1 2
1 3
 
Sample Output
2
 
Source
 
题目意思:
现在有n个点,m条边的有向图,要求划分的区域最少
规则如下:
1.可以互相到达的点必须属于一个区域
2.u可以到v或者v可以到v,即一个区域内任意两点u,v,必须存在路径从u->v或者从v->u
3.一个点只能属于一个区域
4.所有点都应该被划分
分析:
可以互相到达的点肯定是属于一个强连通分量的,所以利用tarjan将属于同一个强连通分量的点缩成一个点
得到新图,现在新图是一个DAG图,有向无环图
最小路径的定义:在一个有向图中,找出最少的路径,使得这些路径经过了所有的点
对照一下题目:一个区域其实就是一条路径
最少的区域数目就是最少的路径数目
所以题目转换成最小不相交的路径覆盖,注意:不相交的路径,疑问一个点只能属于一个区域
最小不相交路径覆盖=点数-最大二分匹配
所以对得到的新图,求一遍最大二分匹配就好
最大二分匹配用匈牙利算法写
 
#include<stdio.h>
#include<iostream>
#include<math.h>
#include<string.h>
#include<set>
#include<map>
#include<list>
#include<math.h>
#include<queue>
#include<algorithm>
using namespace std;
typedef long long LL;
#define INF 0x7fffffff
#define mem(a,x) memset(a,x,sizeof(a))
int mon1[]= {,,,,,,,,,,,,};
int mon2[]= {,,,,,,,,,,,,};
int dir[][]= {{,},{,-},{,},{-,}}; int getval()
{
int ret();
char c;
while((c=getchar())==' '||c=='\n'||c=='\r');
ret=c-'';
while((c=getchar())!=' '&&c!='\n'&&c!='\r')
ret=ret*+c-'';
return ret;
} #define max_v 5005
int dfn[max_v];
int low[max_v];
int vis[max_v];
int stk[max_v];
int color[max_v];
vector<int> G[max_v];
vector<int> G2[max_v];
int n,m;
int sig,cnt,sp; int link[max_v];
int match[max_v];
void init()
{
mem(dfn,);
mem(low,);
mem(vis,);
mem(stk,);
mem(color,);
for(int i=;i<=n;i++)
{
G[i].clear();
G2[i].clear();
}
sig=;
cnt=;
sp=-;
} int tarjan(int u)
{
vis[u]=;
low[u]=dfn[u]=cnt++;
stk[++sp]=u;
for(int j=;j<G[u].size();j++)
{
int v=G[u][j];
if(vis[v]==)
tarjan(v);
if(vis[v]==)
low[u]=min(low[u],low[v]);
}
if(low[u]==dfn[u])
{
sig++;
do
{
color[stk[sp]]=sig;
vis[stk[sp]]=-;
}while(stk[sp--]!=u);
}
} int dfs(int u)
{
for(int j=;j<G2[u].size();j++)
{
int v=G2[u][j];
if(vis[v]==)
{
vis[v]=;
if(match[v]==-||dfs(match[v]))
{
match[v]=u;
return ;
}
}
}
return ;
} int max_match()//匈牙利算法
{
mem(match,-);
int ans=;
for(int i=;i<=sig;i++)
{
mem(vis,);
if(dfs(i))
ans++;
}
return ans;
} int main()
{
int t;
cin>>t;
int x,y;
while(t--)
{
scanf("%d %d",&n,&m);
init();
for(int i=;i<=m;i++)
{
scanf("%d %d",&x,&y);
if(count(G[x].begin(),G[x].end(),y)==)//重边
G[x].push_back(y);
}
for(int i=;i<=n;i++)
{
if(vis[i]==)
tarjan(i);
}
for(int i=;i<=n;i++)
{
for(int j=;j<G[i].size();j++)
{
if(color[i]!=color[G[i][j]])
{
if(count(G2[color[i]].begin(),G2[color[i]].end(),color[G[i][j]])==)//重边
G2[color[i]].push_back(color[G[i][j]]);
}
}
}
printf("%d\n",sig-max_match());//最小不相交路径覆盖=新图点数-最大二分匹配数
}
return ;
}
/*
题目意思:
现在有n个点,m条边的有向图,要求划分的区域最少
规则如下:
1.可以互相到达的点必须属于一个区域
2.u可以到v或者v可以到v,即一个区域内任意两点u,v,必须存在路径从u->v或者从v->u
3.一个点只能属于一个区域
4.所有点都应该被划分 分析:
可以互相到达的点肯定是属于一个强连通分量的,所以利用tarjan将属于同一个强连通分量的点缩成一个点
得到新图,现在新图是一个DAG图,有向无环图 最小路径的定义:在一个有向图中,找出最少的路径,使得这些路径经过了所有的点 对照一下题目:一个区域其实就是一条路径
最少的区域数目就是最少的路径数目
所以题目转换成最小不相交的路径覆盖,注意:不相交的路径,疑问一个点只能属于一个区域 最小不相交路径覆盖=点数-最大二分匹配
所以对得到的新图,求一遍最大二分匹配就好
最大二分匹配用匈牙利算法写 gameover! */
 

最新文章

  1. 第2月第6天 iOS 运行时添加属性和方法
  2. memcache 笔记
  3. 20145205 《Java程序设计》实验报告五:Java网络编程及安全
  4. JVM1.6 GC详解
  5. SSH框架详解
  6. Spring MVC @ResponseBody返回中文字符串乱码问题
  7. 【BZOJ-2295】我爱你啊 暴力
  8. 数据库字段Pointer的操作方法
  9. How to run an manually installed program from terminals in Linux / Ubuntu
  10. android的简单入门学习
  11. 利用mysql-proxy 代理无法迁移数据库
  12. rhel5.5 Oracle10g安装记录
  13. UVa 12034 (递推) Race
  14. Hadoop安装测试简单记录
  15. BackgroundWorker用法
  16. AOJ 2249 Road Construction(Dijkstra+优先队列)
  17. DTD验证XML(转)
  18. ZZNU 1993: cots&#39; friends
  19. Swift 项目中常用的第三方框架
  20. javascript面向对象一:函数

热门文章

  1. JS 回调函数、立即执行、for块作用域、try/catch、let、垃圾收集 p3
  2. 使用PHPExcel实现数据批量导入到数据库
  3. vue 数据请求
  4. 【代码笔记】iOS-自定义alertView
  5. MSCRM中报表开发一:创建基于SQL报表
  6. UWP开发细节记录:WRL::ComPtr 的坑
  7. Python笔记(十):正则表达式
  8. Python Word2Vec使用训练好的模型生成词向量
  9. go语言练习:条件语句和循环语句
  10. SQL Server 高并发Insert数据解析,实践