#lydlx06x0B20. 平面 Planar

平面 Planar

题目描述

若能将无向图 G=(V,E)G=(V,E) 画在平面上使得任意两条无重合顶点的边不相交,则称 GG 是平面图。

判定一个图是否为平面图的问题是图论中的一个重要问题。

现在假设你要判定的是一类特殊的图,图中存在一个包含所有顶点的环,即存在哈密顿回路。

请你判定它们是否是平面图。

输入格式

第一行包含正整数 TT,表示共有 TT 组测试数据。

每组测试数据第一行包含两个整数 NNMM,分别表示对应图的顶点数和边数。

之后 MM 行,每行包含两个整数 uuvv,表示对应图的一条边 (u,v)(u,v),输入数据保证所有边仅出现一次。

最后一行,包含 NN 个整数,从左到右表示对应图中的一个哈密顿回路。

输出格式

输出共 TT 行。

如果第 ii 组数据对应的图是平面图,则第 ii 行输出 YES,否则输出 NO

样例

输入样例:

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

输出样例:

NO
YES

样例解释

第一组数据:N=6,M=9N=6, M=9,哈密顿回路为 14253611-4-2-5-3-6-1
这个图是 K3,3K_{3,3} 的某种变形,不是平面图,所以输出 NO

第二组数据:N=5,M=5N=5, M=5,哈密顿回路为 1234511-2-3-4-5-1,是一个五边形,且只有哈密顿回路上的边,显然是平面图,输出 YES

数据范围

  • T100T \le 100
  • 3N2003 \le N \le 200
  • M10000M \le 10000

时空限制

  • 时间限制:1 秒
  • 空间限制:64 MB