{"trustable":false,"sections":[{"title":"题目描述","value":{"format":"MD","content":"**原题来自:ZJOI 2007**\n参考题解:https://www.acwing.com/solution/content/42912/\n\n一个有向图 $G \u003d (V,E)$ 称为半连通的 *(Semi-Connected)*,如果满足:$\\forall u,v\\in V$,满足 $u\\to v$ 或 $v\\to u$,即对于图中任意两点 $u,v$,存在一条 $u$ 到 $v$ 的有向路径或者从 $v$ 到 $u$ 的有向路径。\n\n若 $G\u0027\u003d(V\u0027,E\u0027)$ 满足,$E’$ 是 $E$ 中所有和 $V’$ 有关的边,则称 $G’$ 是 $G$ 的一个导出子图。若 $G’$ 是 $G$ 的导出子图,且 $G’$ 半连通,则称 $G’$ 为 $G$ 的半连通子图。若 $G’$ 是 $G$ 所有半连通子图中包含节点数最多的,则称 $G’$ 是 $G$ 的最大半连通子图。\n\n给定一个有向图 $G$,请求出 $G$ 的最大半连通子图拥有的节点数 $K$,以及不同的最大半连通子图的数目 $C$。由于 $C$ 可能比较大,仅要求输出 $C$ 对 $X$ 的余数。"}},{"title":"输入格式","value":{"format":"MD","content":"第一行包含三个整数 $N,M,X$。$N,M$ 分别表示图 $G$ 的点数与边数,$X$ 的意义如上文所述; \n接下来 $M$ 行,每行两个正整数 $a, b$,表示一条有向边 $(a, b)$。\n\n图中的每个点将编号为 $1,2,3,\\cdots ,N$,保证输入中同一个 $(a,b)$ 不会出现两次。"}},{"title":"输出格式","value":{"format":"MD","content":"应包含两行。第一行包含一个整数 $K$,第二行包含整数 $C \\bmod X$。"}},{"title":"样例","value":{"format":"MD","content":"\u003ctable class\u003d\u0027vjudge_sample\u0027\u003e\n\u003cthead\u003e\n \u003ctr\u003e\n \u003cth\u003eInput\u003c/th\u003e\n \u003cth\u003eOutput\u003c/th\u003e\n \u003c/tr\u003e\n\u003c/thead\u003e\n\u003ctbody\u003e\n \u003ctr\u003e\n \u003ctd\u003e\u003cpre\u003e6 6 20070603\n1 2\n2 1\n1 3\n2 4\n5 6\n6 4\u003c/pre\u003e\u003c/td\u003e\n \u003ctd\u003e\u003cpre\u003e3\n3\u003c/pre\u003e\u003c/td\u003e\n \u003c/tr\u003e\n\u003c/tbody\u003e\n\u003c/table\u003e\n"}},{"title":"数据范围与提示","value":{"format":"MD","content":"对于 $20\\%$ 的数据,$N \\le 18$; \n对于 $60\\%$ 的数据,$N \\le 10^4$; \n对于 $100\\%$ 的数据,$1\\le N \\le 10^5,1\\le M \\le 10^6,X\\le 10^8$。"}}]}