#abc232c. [abc232_c]Graph Isomorphism

[abc232_c]Graph Isomorphism

题目描述

Takahashi 和 Aoki 分别有一种玩具,它们是通过将 MM 条线连接到 NN 个球上制作的。

在 Takahashi 的玩具中,球的编号为 1,dots,N1, \\dots, N,第 ii 条线连接球 AiA_iBiB_i

同样,在 Aoki 的玩具中,球的编号为 1,dots,N1, \\dots, N,第 ii 条线连接球 CiC_iDiD_i

在每个玩具中,没有线将一个球连接到自己,并且没有两个球由两条或两条以上不同的线连接。

Snuke 想知道这两个玩具是否具有相同的形状。
在这里,当满足以下条件的序列 PP 存在时,它们被认为具有相同的形状。

  • PP(1,dots,N)(1, \\dots, N) 的一个排列。
  • 对于 11NN(包括 11NN)之间的每对整数 i,ji, j,以下条件成立。
    • 如果 Takahashi 玩具中的球 iijj 由一条线连接,则当且仅当 Aoki 玩具中的球 PiP_iPjP_j 被一条线连接时,它们相等。

如果这两个玩具具有相同的形状,则输出 Yes;否则,输出 No

约束条件

  • 1leqNleq81 \\leq N \\leq 8
  • 0leqMleqfracN(N1)20 \\leq M \\leq \\frac{N(N - 1)}{2}
  • $1 \\leq A_i \\lt B_i \\leq N \\, (1 \\leq i \\leq M)$
  • (Ai,Bi)neq(Aj,Bj),(ineqj)(A_i, B_i) \\neq (A_j, B_j) \\, (i \\neq j)
  • $1 \\leq C_i \\lt D_i \\leq N \\, (1 \\leq i \\leq M)$
  • (Ci,Di)neq(Cj,Dj),(ineqj)(C_i, D_i) \\neq (C_j, D_j) \\, (i \\neq j)
  • 输入中的所有值都是整数。

输入

从标准输入读入数据,输入格式如下:

NN MM A1A_1 B1B_1 vdots\\vdots AMA_M BMB_M C1C_1 D1D_1 vdots\\vdots CMC_M DMD_M

输出

如果这两个玩具具有相同的形状,则输出 Yes;否则,输出 No


示例输入1

4 4
1 2
1 3
1 4
3 4
1 3
1 4
2 3
3 4

示例输出1

Yes

Takahashi 的玩具如下图所示(在图的左边),Aoki 的玩具如下图所示(在图的右边)。

yes1

下图显示这两个玩具具有相同的形状。例如,当 P=(3,2,1,4)P = (3, 2, 1, 4) 时,满足了题目中的条件。

yes2


示例输入2

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

示例输出2

No

这两个玩具没有相同的形状。

no


示例输入3

8 0

示例输出3

Yes