#2212. [ABC286G] Unique Walk

[ABC286G] Unique Walk

当前没有测试数据。

题目描述

有一张 nn 个点 mm 条边的无向连通图,已知 kk 条边为关键边,需要经过每条关键边恰好一次,非关键边无限制,判断能否满足条件。

输入格式

第一行输入 N N M M

接下来 MM 行每行两个整数 Ui U_i Vi V_i 代表图的一条边

接下来输入一个整数 K K

最后一行输入 KK 个整数代表 KK 个关键边的编号 x1 x_1 x2 x_2 \ldots xK x_K

输出格式

可以输出 Yes 否则输出 No

6 6
1 3
2 3
3 4
4 5
4 6
5 6
4
1 2 4 5
Yes
6 5
1 2
1 3
1 4
1 5
1 6
3
1 2 3
No

提示

  • 2  N  2× 105 2\ \leq\ N\ \leq\ 2\times\ 10^5
  • $ N-1\ \leq\ M\ \leq\ \min(\frac{N(N-1)}{2},2\times\ 10^5) $
  • 1  Ui < Vi N 1\ \leq\ U_i\ <\ V_i\leq\ N
  • i j i\neq\ j 满足 (Ui,Vi) (Uj,Vj) (U_i,V_i)\neq\ (U_j,V_j)
  • G G 是连通图
  • 1  K  M 1\ \leq\ K\ \leq\ M
  • 1  x1 < x2 <  < xK  M 1\ \leq\ x_1\ <\ x_2\ <\ \cdots\ <\ x_K\ \leq\ M

样例 1 解释

行走 $(v_1,e_1,v_3,e_3,v_4,e_4,v_5,e_6,v_6,e_5,v_4,e_3,v_3,e_2,v_2)$ 满足条件,其中 viv_i 表示顶点 iieie_i 表示边 ii 。 换句话说,行走按以下顺序经过 GG 上的顶点: 134564321\to 3\to 4\to 5\to 6\to 4\to 3\to 2 . 这个行走满足条件是因为它包含了边 11224455 各一次。