P0878

不相交路径

不相交路径

给定一个包含 NN 个顶点的有向无环简单图,以及 44 个互不相同的顶点 a,b,c,da,b,c,d。

一组不相交路径由两条有向路径组成:第一条路径从 aa 到 bb,第二条路径从 cc 到 dd。要求两条路径顶点不相交,即不存在同时属于两条路径的顶点。

求不相交路径的方案数。

保证不存在两条顶点不相交的有向路径,使得其中一条从 aa 到 dd,另一条从 cc 到 bb。等价地,任意一条从 aa 到 dd 的有向路径与任意一条从 cc 到 bb 的有向路径都至少有一个公共顶点。

输入格式

第一行包含两个整数 N,MN,M,分别表示图的顶点数和边数。

接下来 MM 行,每行包含两个整数 x,yx,y,表示存在一条从顶点 xx 指向顶点 yy 的有向边。

最后一行包含四个整数 a,b,c,da,b,c,d,含义如题目描述所述。

输出格式

输出一行一个整数,表示不相交路径的方案数。

样例输入

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

样例输出

3

数据范围

  • N≤150N\le 150;
  • a,b,c,da,b,c,d 互不相同;
  • 输入图为有向无环简单图;
  • 不存在两条顶点不相交的有向路径,使得其中一条从 aa 到 dd,另一条从 cc 到 bb。

来源与许可

本题题面与测试数据整理自 BZOJ。

样例 1

输入

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

输出

3