#4847. Typical Path Problem

0

Typical Path Problem

Typical Path Problem

题目描述

你被给定了一个具有 NN 个顶点和 MM 条边的简单连通无向图 GG。
图 GG 的顶点与边分别编号为 顶点 11、顶点 22、…\ldots、顶点 NN,以及 边 11、边 22、…\ldots、边 MM,并且第 ii 条边 (1≤i≤M)(1\leq i\leq M) 连接顶点 UiU_i 和 ViV_i。
还给定了图 GG 上互不相同的顶点 A,B,CA,B,C。 判断是否存在一条通过顶点 BB 的连接顶点 AA 和 CC 的简单路径。

什么是简单连通无向图? 当且仅当图 $G$ 是无向的、简单的并且连通时,称 $G$ 为简单连通无向图。
当图 $G$ 的边没有方向时,称 $G$ 为无向图。
当图 $G$ 不包含自环或多重边时,称 $G$ 为简单图。
当可以通过边在图的所有顶点之间到达时,称 $G$ 为连通图。
什么是通过顶点 $Z$ 的简单路径? 对于图 $G$ 上的顶点 $X$ 和 $Y$,连接 $X$ 和 $Y$ 的简单路径是一个由互不相同的顶点组成的序列 $(v_1,v_2,\ldots,v_k)$,满足 $v_1=X$,$v_k=Y$,且对任意满足 $1\leq i\leq k-1$ 的整数 $i$,图 $G$ 上存在一条连接顶点 $v_i$ 和 $v_{i+1}$ 的边。
当存在一个 $i$ $(2\leq i\leq k-1)$ 使得 $v_i=Z$ 时,称简单路径 $(v_1,v_2,\ldots,v_k)$ 为通过顶点 $Z$ 的路径。

输入格式

输入由标准输入按以下格式给出: NN MM AA BB CC U1U_1 V1V_1 U2U_2 V2V_2 ⋮\vdots UMU_M VMV_M

输出格式

如果存在满足题意的简单路径,输出 YesYes;否则,输出 NoNo。

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

提示

3≤N≤2×1053 \leq N \leq 2\times 10^5 $N-1\leq M\leq\min\left(\frac{N(N-1)}{2},2\times 10^5\right)$ 1≤A,B,C≤N1\leq A,B,C\leq N AA、BB 和 CC 互不相同。 1\leq U_i<V_i\leq N 对所有的 (Ui,Vi)(U_i,V_i) 成对都互不相同。 所有输入值均为整数。一条连接顶点 11 和 22 且经过顶点 33 的简单路径为 11 →\to 55 →\to 44 →\to 33 →\to 22。 因此,输出 YesYes。
没有简单路径满足条件。因此,输出 NoNo。

标签: AtCoder|abc318G

来源

AtCoder|abc318G