弦图判定 - ROJ

给定一个简单无向无权图，由 $N$ 个顶点和 $M$ 条边组成。第 $i$ 条边连接顶点 $a_i$ 和顶点 $b_i$ 。

如果一个图不包含长度为四或更长的诱导环，则称其为弦图。完美消除序列是顶点的一个排列，使得对于每个顶点 $v$ ， $v$ 以及在该排列中出现在它之后的 $v$ 的邻居构成一个团。可以证明，一个图是弦图，当且仅当它存在完美消除序列。

如果图是弦图，请找出一个完美消除序列。如果存在多个完美消除序列，输出任意一个即可。

如果图不是弦图，请找出一个长度为四或更长的诱导环。如果存在多个这样的环，输出任意一个即可。

$N$ $M$
$a_0$ $b_0$
$a_1$ $b_1$
$a_2$ $b_2$
$\vdots$
$a_{M - 1}$ $b_{M - 1}$

如果图不是弦图，请按以下格式输出一个长度为四或更长的诱导环。

NO
$K$
$c_0$ $c_1$ $\ldots$ $c_K$

$K$ 表示诱导环的长度。

$c_i$ 是环中的第 $i$ 个顶点。

如果图是弦图，请按以下格式输出一个完美消除序列。

YES
$v_0$ $v_1$ $\ldots$ $v_N$

$v_i$ 是完美消除序列中的第 $i$ 个顶点。

YES
2 0 1 3

NO
4
1 3 2 0

NO
5
6 3 2 9 5

Library Checker（yosupo06） chordal_graph_recognition

本题为 special judge（输出任意合法解），暂不可本地评测。