#P2272. [ZJOI2007] 最大半连通子图

[ZJOI2007] 最大半连通子图

题目描述

一个有向图 G=(V,E)G=\left(V,E\right) 称为半连通的 (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'=\left(V',E'\right) 满足 V′⊆VV'\subseteq V,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,b)\left(a,b\right)。图中的每个点将编号为 1,2,3…N1,2,3\dots N,保证输入中同一个 (a,b)\left(a,b\right) 不会出现两次。

输出格式

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

6 6 20070603
1 2
2 1
1 3
2 4
5 6
6 4
3
3

提示

对于 100%100\% 的数据,N≤105N\le 10^5,M≤106M\le 10^6,X≤108X\le 10^8。