bzoj#P2893. 征服王

征服王

题目描述

有一张 nn 个点 mm 条边的有向图,其中有 aa 个点可以作为起点,bb 个点可以作为终点,结点从 11nn 编号。

你可以任意选择若干条以某个起点走到某个终点的路径使得图上的每个点被经过至少一次。

求出最少需要的路径数量或报告无解。

输入格式

多测。第一行一个整数 TT 表示数据组数,对于每组数据,格式如下:

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

第二行 aa 个整数表示可以作为起点的点的编号。

第二行 bb 个整数表示可以作为终点的点的编号。

接下来 mm 行,每行两个整数 u,vu,v 表示一条边 uvu\to v

输出格式

TT 行,每行一个整数表示对应数据的答案,或一行 no solution 表示无解。

2
2 1 1 1
1
2
2 1
3 2 3 3
1 2 3
1 2 3
1 2
1 3
no solution
2

数据规模与约定

对于 30%30\% 的数据,n10n\leq 10m100m\leq 100

对于 60%60\% 的数据,n200n\leq 200m5×103m\leq 5\times 10^3

对于 100%100\% 的数据,1T101\leq T\leq 101a,bn1031\leq a,b\leq n\leq 10^31m1041\leq m\leq 10^4