有向图's strongly connected components of a directed graph

最大半联通子图

一个有向图 G=(V,E) 被称为半连通 (Semi-Connected)，其条件是：对于所有顶点对 u,v \in V 均满足 u \rightarrow v 或 v \rightarrow u；换句话说，在图中的任意两个顶点之间都存在一条从 u 到 v 的有向路径或从 v 到 u 的有向路径。

若 G′=(V′,E′) 满足，E′ 是 E 中所有和 V′ 有关的边，则称 G′ 是 G 的一个导出子图。

若 G′ 是 G 的导出子图，且 G′ 半连通，则称 G′ 为 G 的半连通子图。

当G′属于G的所有半连通子图，并且其包含的节点数为所有这些子图中的最大值时，则称G′为G的最大半连通子图。

设有有向图 G，请求其最大半连通子图所包含的节点数量 K 和不同最大半连通子图的数量 C。

由于 C 可能比较大，仅要求输出 C 对 X 的余数。

具体解释：

1. 将"第一行包含三个整数"改为"在第一行中包含三个整数"以增强句子的自然性
2. 将"N,M,X"改为"N、M 和 X"以增强可读性
3. 将"N,M 分别表示图 G 的点數与邊數"改为"它们分别代表图 G 的顶点数目和边数目"以增强专业性
4. 将"X的意义如上文所述;"改为"其中 X 其意义如前所述."使其表述更加规范

接下来 M 行，每行两个正整数 a,b