题目 1514

「一本通 3.5 例 2」最大半连通子图

查看题解 ↗GitHub ↗如何评测
题号
1514
时间限制
1000 ms
内存限制
128 MB
标签
Tarjan动态规划图论

【题目描述】

原题来自:ZJOI 2007

一个有向图 G=(V,E)G=(V,E) 称为半连通的 (Semi-Connected),如果满足:∀u,v∈V\forall u,v\in V,满足 u→vu\to v或 v→uv\to u,即对于图中任意两点 u,vu,v,存在一条 uu 到 vv 的有向路径或者从 vv 到 uu 的有向路径。

若 G′=(V′,E′)G′=(V′,E′) 满足,E′E′ 是 EE 中所有和V′V′ 有关的边,则称G′G′ 是 GG 的一个导出子图。若 G′G′ 是 GG 的导出子图,且 G′G′ 半连通,则称 G′G′ 为 GG 的半连通子图。若G′G′ 是 GG 所有半连通子图中包含节点数最多的,则称 G′G′ 是 GG 的最大半连通子图。

给定一个有向图 GG,请求出 GG 的最大半连通子图拥有的节点数 KK,以及不同的最大半连通子图的数目 CC。由于 CC 可能比较大,仅要求输出 CC 对 XX 的余数。

【输入】

第一行包含三个整数 N,M,XN,M,X。N,MN,M 分别表示图 GG 的点数与边数,XX 的意义如上文所述;

接下来 MM 行,每行两个正整数 a,ba,b,表示一条有向边 (a,ba,b)。

图中的每个点将编号为 1,2,3,⋯ ,N1,2,3,\cdots,N,保证输入中同一个 (a,ba,b)不会出现两次。

【输出】

应包含两行。第一行包含一个整数 KK,第二行包含整数C mod XC \bmod X。

【输入样例】

文本
6 6 20070603
1 2
2 1
1 3
2 4
5 6
6 4

【输出样例】

文本
3
3

【提示】

对于 20% 的数据,N≤18N\leq 18;

对于 60% 的数据,N≤104N\leq 10^4 ;

对于 100% 的数据,1≤N≤105,1≤M≤106,X≤1081\leq N\leq 10^5,1\leq M\leq 10^6,X\leq 10^8​ 。

【来源】

一本通在线评测

数据下载

题目 1514 的公开数据

正在读取文件列表…

常用命令

题目 1514 的 ROJ 命令

以下命令默认使用全局安装的 ROJ Skill,请在终端中直接执行;如果修改过 AGENT_HOME,请将命令中的 ~/.agents 替换为对应目录。