AT_abc142_f.[ABC142F] Pure

普及+/提高

通过率:0%

AC君温馨提醒

该题目为【atcoder】题库的题目,您提交的代码将被提交至atcoder进行远程评测,并由ACGO抓取测评结果后进行展示。由于远程测评的测评机由其他平台提供,我们无法保证该服务的稳定性,若提交后无反应,请等待一段时间后再进行重试。

题目描述

给定一个有 NN 个顶点、MM 条边的有向图 GG
图中的顶点编号为 11NN,第 ii 条边是从顶点 AiA_i 指向顶点 BiB_i
保证图中没有自环和重边。

请判断是否存在 GG 的一个诱导子图(见注释),使得该子图中所有顶点的入度和出度都为 11
如果存在,请给出一个这样的例子。
注意,空图不计入答案。

输入格式

输入按以下格式从标准输入读入。

NN MM
A1A_1 B1B_1
A2A_2 B2B_2
\vdots
AMA_M BMB_M

输出格式

如果不存在满足条件的 GG 的诱导子图,输出 -1
否则,输出如下格式的一个满足条件的 GG 的诱导子图:

KK v1v_1 v2v_2 \ldots vKv_K

其中,KK 表示顶点数,{v1,v2,,vK}\{v_1, v_2, \ldots, v_K\} 表示该诱导子图的顶点集合(顺序不限)。
如果存在多个满足条件的诱导子图,输出任意一个即可。

输入输出样例

  • 输入#1

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

    输出#1

    3
    1
    2
    4
  • 输入#2

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

    输出#2

    -1
  • 输入#3

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

    输出#3

    4
    2
    3
    4
    5

说明/提示

注释

对于有向图 G=(V,E)G = (V, E),满足以下条件的有向图 G=(V,E)G' = (V', E') 被称为 GG 的诱导子图:

  • VV'VV 的(非空)子集。
  • EE' 是所有端点都属于 VV'EE 中的边的集合。

约束条件

  • 1N10001 \leq N \leq 1000
  • 0M20000 \leq M \leq 2000
  • 1Ai,BiN1 \leq A_i, B_i \leq N
  • AiBiA_i \neq B_i
  • 所有 (Ai,Bi)(A_i, B_i) 互不相同。
  • 所有输入均为整数。

样例解释 1

顶点集合为 {1,2,4}\{1, 2, 4\}GG 的诱导子图的边集合为 {(1,2),(2,4),(4,1)}\{(1, 2), (2, 4), (4, 1)\},所有顶点的入度和出度均为 11

样例解释 2

不存在满足条件的 GG 的诱导子图。

首页