P0605

[ZJOI2007]最大半连通子图

[ZJOI2007]最大半连通子图

一个有向图 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') 满足 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)(a, b)。图中的每个点编号为 1,2,3,…,n1, 2, 3, \dots, n,保证输入中同一个 (a,b)(a, b) 不会出现两次。

输出格式

应包含两行。

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

样例输入

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

样例输出

3
3

数据范围

  • n≤100000n\le 100000,m≤1000000m\le 1000000;
  • 对于 100%100\% 的数据,X≤108X\le 10^8。

来源与许可

本题为 ZJOI 2007 试题「最大半连通子图」,题面与测试数据整理自 BZOJ 1093。

样例 1

输入

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

输出

3
3