‹ 上一题下一题 ›

j01542. 验证拓扑序未做

1000 ms 256 MB 测试点 10 J-31·图论遍历与泛洪 J·算法自拟题图的深度优先遍历图的广度优先遍历泛洪填充（FloodFill）

文件读写输入j01542.in输出j01542.out

题目描述

给一个有向无环图和一个点的序列，判断该序列是否是这张图的一个合法拓扑序。

输入格式

第一行两个整数 $n, m$ ；接下来 $m$ 行每行两个整数 $u, v$ 表示边 $u \to v$ ；最后一行 $n$ 个整数表示待验证序列。

输出格式

合法输出 YES，否则 NO。

样例

输入

输出

YES

数据范围

$1 \leq n \leq 3000$
$0 \leq m \leq 1 0^{4}$
$1 \leq u, v \leq n$

输入

输出

答案