#P10346. ix35的点集

ix35的点集

ix35的点集(set)


题目描述

ix35 有一张 nn 个点 mm 条边的有向图 (V,E)(V,E),他希望你从其中找出一个点集 KVK\subseteq V,满足以下条件:

  • KK 中的点两两无边

  • vV\forall v\in V,一定可以在 00TT 步内走到 KK(即走过 T\le T 条边)

其中 TTix35 喜欢的一个数,保证是 11 或者 22

为了防止在这张图里迷路,你需要在开始寻找之前,看看这个图是否包含奇环(环是有向的)。如果包含奇环,直接输出 ODD 即可。否则,如果找得到 KK 就输出 YES 和这个点集,否则输出 NO。

输入格式

第一行,三个正整数 n,m,Tn,m,T

接下来 mm 行,每行 22 个正整数 x,yx,y,表示一条从 xxyy 的有向边,可能存在重边,但是没有自环。

输出格式

如果存在奇环,输出一行 ODD。

否则,如果有解,第一行输出 YES,第二行输出 K|K|,第三行输出这 K|K| 个元素,顺序任意,有多解可任意输出一种。

否则,输出一行 NO。

样例输入 1
4 5 1
2 3
2 1
4 1
2 3
4 3
样例输出 1
YES
2
1 3
样例输入 2
4 4 2
1 2
2 3
2 4
3 1
样例输出 2
ODD

即使 {1,4}\{1,4\} 是一组合法的解,你也应该输出 ODD。

样例 3,4,5

见下发文件,注意样例 4,54,5 只给出了答案的第一行。

数据范围

对于所有的数据,保证 1n5000,1m200001\le n\le 5000,1\le m\le 20000T=1T=1221x,yn1\le x,y\le n

Subtask 111010 分):保证答案为 ODD 或 NO

Subtask 221515 分):保证给出的图无环

Subtask 331010 分):保证给出的图是强联通的,T=2T=2

Subtask 442020 分):保证给出的图是强联通的,T=1T=1

Subtask 551515 分):保证 T=2T=2

Subtask 6655 分):保证 n20n\le 20

Subtask 772525 分):无特殊限制,依赖前面所有 Subtask