#P5988. [PA2019] Wyspa

[PA2019] Wyspa

题目描述

比特岛位于海上,在比特岛的中心有一个内陆湖。

在比特岛一共有 nn 个点,编号为 11nn,其中 11aa 的点按照顺时针或者逆时针表示内陆湖边上的点, a+1a+1a+ba+b 的点按照顺时针或者逆时针表示比特岛海岸线上的点, a+b+1a+b+1nn 的点表示既不在湖边也不在海边的点。

这些点之间连着 mm 条单向或双向道路。每条道路不会经过湖、海或者任意一个点;任意两点间只会连着最多一条道路;这些道路中不存在“天桥”或者“地下隧道”,任意两条道路只可能在端点处相交。换言之,这是一张平面图。并且从任意一个湖边的点出发,都能沿着这些道路直接或间接地到达至少一个海边的点。

现在要在 bb 个海边点中选择若干个点作为港口,问有多少种选点的方案使得任意一个湖边的点都能到达至少一个港口?

输入格式

第一行四个正整数 n,m,a,bn,m,a,b

接下来 mm 行描述 mm 条道路,每行要么是 u -- v 要么是 u -> v(1u,vn,uv1\le u,v\le n,u\ne v):

如果是“u -- v,表示这是一条连接 uuvv的双向道路。

如果是 u -> v,表示这是一条从 uu出发到达 vv的单向道路。

输出格式

输出一行一个整数,即满足条件的方案数模 109+710^9+7

6 8 3 3
2 -> 1
2 -> 3
1 -> 3
3 -- 6
1 -> 4
2 -> 5
4 -> 6
4 -- 5
4

提示

对于 100%100\% 的数据,2n5×1052\le n\le 5\times 10^51m1061\le m\le 10^61a,bn,2a+bn1\le a,b\le n,2\le a+b\le n


样例解释:

66 号点必选, 4455 可选可不选,因此有 44种方案。