Problem:
Score : 600 points

Problem Statement

Given is a directed graph G with N vertices and M edges.

The vertices are numbered 1 to N, and the i-th edge is directed from Vertex A_i to Vertex B_i.

It is guaranteed that the graph contains no self-loops or multiple edges.

Determine whether there exists an induced subgraph (see Notes) of G such that the in-degree and out-degree of every vertex are both 1. If the answer is yes, show one such subgraph.

Here the null graph is not considered as a subgraph.

Notes

For a directed graph G = (V, E), we call a directed graph G' = (V', E') satisfying the following conditions an induced subgraph of G:

V' is a (non-empty) subset of V.

E' is the set of all the edges in E that have both endpoints in V'.

Constraints

1 \leq N \leq 1000

0 \leq M \leq 2000

1 \leq A_i,B_i \leq N

A_i \neq B_i

All pairs (A_i, B_i) are distinct.

All values in input are integers.

Input

Input is given from Standard Input in the following format:

N M
A_1 B_1
A_2 B_2
:
A_M B_M

Output

If there is no induced subgraph of G that satisfies the condition, print -1.
Otherwise, print an induced subgraph of G that satisfies the condition, in the following format:

K
v_1
v_2
:
v_K

This represents the induced subgraph of G with K vertices whose vertex set is \{v_1, v_2, \ldots, v_K\}. (The order of v_1, v_2, \ldots, v_K does not matter.)
If there are multiple subgraphs of G that satisfy the condition, printing any of them is accepted.

Sample Input 1

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

Sample Output 1

3
1
2
4

The induced subgraph of G whose vertex set is \{1, 2, 4\} has the edge set \{(1, 2), (2, 4), (4, 1)\}. The in-degree and out-degree of every vertex in this graph are both 1.

Sample Input 2

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

Sample Output 2

-1

There is no induced subgraph of G that satisfies the condition.

Sample Input 3

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

Sample Output 3

4
2
3
4
5

Solution in Java8 (OpenJDK 1.8.0) (judge verdict: Wrong Answer)

import java.io.IOException;
import java.io.InputStream;
import java.util.ArrayDeque;
import java.util.ArrayList;
import java.util.Collection;
import java.util.HashMap;
import java.util.HashSet;
import java.util.NoSuchElementException;
import java.util.Objects;
import java.util.PriorityQueue;
import java.util.Queue;
import java.util.Set;
import static java.util.Arrays.fill;



public class Main {
    public static void main(String[] args) {
        FastScanner fsc = new FastScanner();
        int n = fsc.nextInt();
        int m = fsc.nextInt();
        Digraph g = new Digraph(n, m);
        for (int i = 0; i < m; i++) {
            int a = fsc.nextInt() - 1;
            int b = fsc.nextInt() - 1;
            g.addEdge(a, b, -1);
        }
        for (int root : g.getRoots()) {
            long[] dst = ShortestPath.bellmanFord(g, root);
            HashSet<Integer> cycle = new HashSet<>();
            for (int i = 0; i < n; i++) {
                if (dst[i] == -Const.LINF) {
                    cycle.add(i);
                }
            }
            if (cycle.isEmpty()) {
                continue;
            }
            int min = n + 1;
            int[] p = new int[n];
            int st = -1;
            for (int s : cycle) {
                ArrayDeque<Integer> dq = new ArrayDeque<>();
                int[] d = new int[n];
                fill(d, -1);
                dq.add(s);
                d[s] = 0;
                bfs: while (dq.size() > 0) {
                    int now = dq.pollFirst();
                    for (Edge e : g.getEdges(now)) {
                        int next = e.to;
                        if (next == s) {
                            p[next] = now;
                            d[next] = d[now] + 1;
                            break bfs;
                        }
                        if (d[next] < 0) {
                            p[next] = now;
                            d[next] = d[now] + 1;
                            dq.add(next);
                        }
                    }
                }
                if (d[s] > 0 && d[s] < min) {
                    st = s;
                    min = d[s];
                }
            }
            ArrayDeque<Integer> dq = new ArrayDeque<>();
            int[] d = new int[n];
            fill(d, -1);
            dq.add(st);
            d[st] = 0;
            bfs: while (dq.size() > 0) {
                int now = dq.pollFirst();
                for (Edge e : g.getEdges(now)) {
                    int next = e.to;
                    if (next == st) {
                        p[next] = now;
                        d[next] = d[now] + 1;
                        break bfs;
                    }
                    if (d[next] < 0) {
                        p[next] = now;
                        d[next] = d[now] + 1;
                        dq.add(next);
                    }
                }
            }
            StringBuilder sb = new StringBuilder();
            for (int v = st;;) {
                sb.append(v + 1).append('\n');
                v = p[v];
                if (v == st) {
                    break;
                }
            }
            System.out.println(min);
            System.out.print(sb);
            return;
        }
        System.out.println(-1);
    }
}


class Graph extends AbstractGraph {
    public Graph(int n, int m) {
        super(n, m);
    }

    @Override
    public Edge addEdge(int from, int to, long cost) {
        Edge e = super.addEdge(from, to, cost);
        super.addEdge(to, from, cost);
        this.edges.add(e);
        return e;
    }

    @Override
    public Edge addEdge(int from, int to) {
        return this.addEdge(from, to, 1);
    }

    @Override
    public HashMap<Integer, ArrayList<Integer>> getComponents() {
        generateComponentsIfAbsent();
        return this.components;
    }
    
    @Override
    protected boolean generateComponentsIfAbsent() {
        if (Objects.nonNull(this.components)) {
            return false;
        }
        this.components = new HashMap<>();
        HashSet<Integer> toVisit = new HashSet<>();
        for (int i = 0; i < getV(); i++) {
            toVisit.add(i);
        }
        while (toVisit.size() > 0) {
            ArrayList<Integer> component = new ArrayList<>();
            ArrayDeque<Integer> dq = new ArrayDeque<>();
            int st = toVisit.iterator().next();
            component.add(st);
            dq.add(st);
            toVisit.remove(st);
            while (dq.size() > 0) {
                int now = dq.pollFirst();
                for (Edge e : getEdges(now)) {
                    int next = e.to;
                    if (toVisit.contains(next)) {
                        component.add(next);
                        dq.add(next);
                        toVisit.remove(next);
                    }
                }
            }
            this.components.put(uft.root(st), component);
        }
        return true;
    }

    @Override
    public boolean isBipartite() {
        int[] color = new int[getV()];
        ArrayDeque<Integer> dq = new ArrayDeque<>();
        for (int root : getRoots()) {
            dq.add(root);
            color[root] = 1;
        }
        while (dq.size() > 0) {
            int now = dq.pollFirst();
            for (Edge e : this.adj.get(now)) {
                int next = e.to;
                if (color[next] == 0) {
                    color[next] = -color[now];
                    dq.add(next);
                } else if (color[now] == color[next]) {
                    return false;
                }
            }
        }
        return true;
    }
}



class ShortestPath {
    public static long[] bellmanFord(AbstractGraph g, int s) {
        ArrayList<Integer> component = g.getComponent(s);
        int n = g.getV();
        boolean negativeLoop[] = new boolean[n];
        long[] d = new long[n];
        fill(d, Const.LINF);
        d[s] = 0;
        for (int i = 0; i < component.size(); i++) {
            for (int from : component) {
                for (Edge edge : g.adj.get(from)) {
                    int to = edge.to;
                    long c = edge.cost;
                    if (d[to] > d[from] + c) {
                        d[to] = d[from] + c;
                    }
                }
            }
        }
        for (int i = 0; i < component.size(); i++) {
            for (int from : component) {
                for (Edge edge : g.adj.get(from)) {
                    int to = edge.to;
                    long c = edge.cost;
                    if (d[to] > d[from] + c) {
                        negativeLoop[to] = true;
                        d[to] = -Const.LINF;
                    }
                    if (negativeLoop[from]) {
                        negativeLoop[to] = true;
                        d[to] = -Const.LINF;
                    }
                }
            }
        }
        return d;
    }

    public static PrevAndDist dijkstra(AbstractGraph g, int s) {
        int n = g.getV();
        int[] prev = new int[n];
        long[] d = new long[n];
        Queue<Integer> pq = new PriorityQueue<>((u, v) -> Long.compare(d[u], d[v]));
        fill(d, Const.LINF);
        d[s] = 0;
        pq.add(s);
        while (pq.size() > 0) {
            int now = pq.poll();
            for (Edge e : g.adj.get(now)) {
                int next = e.to;
                long c = e.cost;
                if (d[now] + c < d[next]) {
                    d[next] = d[now] + c;
                    prev[next] = now;
                    pq.add(next);
                }
            }
        }
        return new PrevAndDist(prev, d);
    }

    public static int[] path(PrevAndDist pd, int from, int to) {
        ArrayList<Integer> rev = new ArrayList<>();
        for (int now = to; now != from; now = pd.prev[now])
            rev.add(now);
        rev.add(from);
        int[] path = new int[rev.size()];
        for (int i = 0; i < path.length; i++)
            path[i] = rev.get(path.length - i - 1);
        return path;
    }

    public static class PrevAndDist {
        public int[] prev;
        public long[] d;

        public PrevAndDist(int[] prev, long[] d) {
            this.prev = prev;
            this.d = d;
        }
    }
}


class FastScanner {
    private final InputStream in = System.in;
    private final byte[] buffer = new byte[1024];
    private int ptr = 0;
    private int buflen = 0;
    private boolean hasNextByte() {
        if (ptr < buflen) {
            return true;
        }else{
            ptr = 0;
            try {
                buflen = in.read(buffer);
            } catch (IOException e) {
                e.printStackTrace();
            }
            if (buflen <= 0) {
                return false;
            }
        }
        return true;
    }
    private int readByte() { if (hasNextByte()) return buffer[ptr++]; else return -1;}
    private static boolean isPrintableChar(int c) { return 33 <= c && c <= 126;}
    public boolean hasNext() { while(hasNextByte() && !isPrintableChar(buffer[ptr])) ptr++; return hasNextByte();}
    public String next() {
        if (!hasNext()) throw new NoSuchElementException();
        StringBuilder sb = new StringBuilder();
        int b = readByte();
        while(isPrintableChar(b)) {
            sb.appendCodePoint(b);
            b = readByte();
        }
        return sb.toString();
    }
    public long nextLong() {
        if (!hasNext()) throw new NoSuchElementException();
        long n = 0;
        boolean minus = false;
        int b = readByte();
        if (b == '-') {
            minus = true;
            b = readByte();
        }
        if (b < '0' || '9' < b) {
            throw new NumberFormatException();
        }
        while(true){
            if ('0' <= b && b <= '9') {
                n *= 10;
                n += b - '0';
            }else if(b == -1 || !isPrintableChar(b)){
                return minus ? -n : n;
            }else{
                throw new NumberFormatException();
            }
            b = readByte();
        }
    }
    public int nextInt() {
        long nl = nextLong();
        if (nl < Integer.MIN_VALUE || nl > Integer.MAX_VALUE) throw new NumberFormatException();
        return (int) nl;
    }
    public double nextDouble() { return Double.parseDouble(next());}
}


class Digraph extends AbstractGraph {
    private Graph g;

    public Digraph(int n, int m) {
        super(n, m);
    }
    public Digraph(int n) {
        super(n);
    }

    @Override
    public Edge addEdge(int from, int to, long cost) {
        Edge e = super.addEdge(from, to, cost);
        this.edges.add(e);
        return e;
    }

    @Override
    public Edge addEdge(int from, int to) {
        return this.addEdge(from, to, 1);
    }

    @Override
    protected Edge addEdge(Edge e) {
        this.edges.add(super.addEdge(e));
        return e;
    }

    @Override
    public HashMap<Integer, ArrayList<Integer>> getComponents() {
        generateComponentsIfAbsent();
        return this.components;
    }

    @Override
    protected boolean generateComponentsIfAbsent() {
        if (Objects.nonNull(this.components)) {
            return false;
        }
        generateNonDirectGraphIfAbsent();
        this.components = this.g.getComponents();
        return true;
    }

    @Override
    public boolean isBipartite() {
        generateNonDirectGraphIfAbsent();
        return this.g.isBipartite();
    }

    private boolean generateNonDirectGraphIfAbsent() {
        if (Objects.isNull(this.g)) {
            this.g = new Graph(getV(), getE());
            for (Edge e : this.edges) {
                this.g.addEdge(e);
            }
            return true;
        } else {
            return false;
        }
    }

    public boolean isDAG() {
        return isConnected() && Objects.nonNull(TopologicalSort.topologicalSort(this));
    }
}


abstract class AbstractGraph {
    public ArrayList<Node> nodes;
    public ArrayList<Edge> edges;
    
    protected ArrayList<ArrayList<Edge>> adj;
    protected HashMap<Integer, ArrayList<Integer>> components;
    protected UnionFindTree uft;

    private int n;
    private int m;
    
    protected AbstractGraph(int n, int m) {
        this.n = n;
        this.m = m;
        this.nodes = new ArrayList<>();
        this.adj = new ArrayList<>();
        for (int i = 0; i < n; i++) {
            this.nodes.add(new Node(i));
            this.adj.add(new ArrayList<>());
        }
        this.edges = new ArrayList<>();
        this.uft = new UnionFindTree(n);
    }

    protected AbstractGraph(int n) {
        this(n, 0);
    }

    protected Edge addEdge(int from, int to, long cost) {
        Edge e = new Edge(from, to, cost);
        this.adj.get(from).add(e);
        this.nodes.get(to).in++;
        this.uft.unite(from, to);
        return e;
    }

    protected Edge addEdge(int from, int to) {
        return this.addEdge(from, to, 1l);
    }

    protected Edge addEdge(Edge e) {
        this.adj.get(e.from).add(e);
        this.nodes.get(e.to).in++;
        this.uft.unite(e.from, e.to);
        return e;
    }

    public void setNodeWeight(long[] w) {
        for (int i = 0; i < n; i++) {
            this.nodes.get(i).w = w[i];
        }
    }

    public int in(int i) {
        return this.nodes.get(i).in;
    }

    public int out(int i) {
        return this.adj.get(i).size();
    }

    public Node getNode(int i) {
        return this.nodes.get(i);
    }

    public ArrayList<Node> getNodes() {
        return this.nodes;
    }

    public Edge getEdge(int from, int index) {
        return this.adj.get(from).get(index);
    }

    public ArrayList<Edge> getEdges(int v) {
        return this.adj.get(v);
    }

    public ArrayList<Edge> getAllEdges() {
        return this.edges;
    }

    public int getV() {
        return this.n;
    }

    public int getE() {
        return this.m;
    }

    public int getRoot(int v) {
        return uft.root(v);
    }

    abstract public HashMap<Integer, ArrayList<Integer>> getComponents();

    public ArrayList<Integer> getComponent(int v) {
        return components.get(getRoot(v));
    }

    public Set<Integer> getRoots() {
        generateComponentsIfAbsent();
        return this.components.keySet();
    }

    public Collection<ArrayList<Integer>> getComponentSet() {
        generateComponentsIfAbsent();
        return this.components.values();
    }

    public boolean isConnected() {
        return getComponents().size() == 1;
    }

    public boolean isTree() {
        return getE() == getV() - 1 && isConnected();
    }

    abstract public boolean isBipartite();

    abstract protected boolean generateComponentsIfAbsent();
}


class Node {
    public int id;
    public long w;
    public int in;

    public Node(int id) {
        this.id = id;
    }

    public Node(int id, long w) {
        this.id = id;
        this.w = w;
    }

    @Override
    public boolean equals(Object o) {
        if (this == o) {
            return true;
        } else if (!(o instanceof Node)) {
            return false;
        } else {
            Node n = (Node) o;
            return n.id == id && n.w == w && n.in == in;
        }
    }

    @Override
    public int hashCode() {
        return Objects.hash(id, w, in);
    }
}


class UnionFindTree {
    private int[] parent;
    private int[] rank;
    private int[] size;
    private int groups;

    public UnionFindTree(int n) {
        this.parent = new int[n];
        this.rank = new int[n];
        this.size = new int[n];
        this.groups = n;
        fill(this.size, 1);
        for (int i = 0; i < n; i++) {
            parent[i] = i;
        }
    }

    public int root(int x) {
        if (parent[x] == x) {
            return x;
        }
        return parent[x] = root(parent[x]);
    }

    public boolean isSame(int x, int y) {
        return root(x) == root(y);
    }

    public void unite(int x, int y) {
        int xr = root(x);
        int yr = root(y);
        if (xr == yr)
            return;
        if (rank[xr] < rank[yr]) {
            parent[xr] = yr;
            size[yr] += size[xr];
        } else {
            parent[yr] = xr;
            size[xr] += size[yr];
            if (rank[xr] == rank[yr]) {
                rank[xr]++;
            }
        }
        groups--;
    }

    public int size(int x) {
        return size[root(x)];
    }

    public boolean isRoot(int x) {
        return parent[x] == x;
    }

    public int groups() {
        return groups;
    }
}

class TopologicalSort {
    public static int[] topologicalSort(Digraph g) {
        int n = g.getV();
        int[] ret = new int[n];
        IntQueue zeros = new IntQueue(n);
        for (int i = 0; i < n; i++) {
            if (g.in(i) == 0) {
                zeros.addLast(i);
            }
        }
        int index = 0;
        while (zeros.size() > 0) {
            int v = zeros.pollFirst();
            for (Edge e : g.getEdges(v)) {
                if (--g.getNode(e.to).in == 0) {
                    zeros.addLast(e.to);
                }
            }
            ret[index++] = v;
        }
        if (index < n) {
            return null;
        }
        return ret;
    }

    // for example (n=9)
    // [1, 8] -> [2, 5, 6] -> [3, 7] -> [4] -> [9]
    // => length:5
    public static int shortest(Digraph g) {
        int n = g.getV();
        int ret = 0;
        IntQueue zeros = new IntQueue(n);
        for (int i = 0; i < n; i++) {
            if (g.in(i) == 0) {
                zeros.addLast(i);
            }
        }
        int num = zeros.size();
        while (zeros.size() > 0) {
            int size = zeros.size();
            while (size > 0) {
                int v = zeros.pollFirst();
                size--;
                for (Edge e : g.getEdges(v)) {
                    if (--g.getNode(e.to).in == 0) {
                        zeros.addLast(e.to);
                        num++;
                    }
                }
            }
            ret++;
        }
        if (num < n) {
            return -1;
        }
        return ret;
    }
}

class Const {
    public static final long MOD7 = 1_000_000_007;
    public static final long MOD9 = 1_000_000_009;
    public static long MOD = MOD7;

    public static final long LINF = 1_000_000_000_000_000_000l;
    public static final int IINF = 1_000_000_000;

    public static void setMod(long mod) {
        MOD = mod;
    }
}

class Edge {
    public int from;
    public int to;
    public long cost;
    public long cap;
    public int rev;

    private Edge(int from, int to, long cost, long cap, int rev) {
        this.from = from;
        this.to = to;
        this.cost = cost;
        this.cap = cap;
        this.rev = rev;
    }

    protected Edge(int from, int to, long cost) {
        this(from, to, cost, -1, -1);
    }

    protected Edge(int from, int to) {
        this(from, to, 1, -1, -1);
    }

    protected Edge(int from, int to, long cap, int rev) {
        this(from, to, -1, cap, rev);
    }

    protected Edge reverse() {
        return new Edge(from, to, cost, cap, rev);
    }
}

class IntQueue {
    private int[] a;
    private int head = 0, tail = 0;

    public IntQueue(int max) {
        a = new int[max+2];
    }
    public void addLast(int x) {
        a[tail++] = x;
    }
    public int pollFirst() {
        if(tail == head) {
            try { throw new Exception("no elements."); } 
            catch (Exception e) { e.printStackTrace(); }
        }
        return a[head++];
    }
    public int pollLast() {
        if(tail == head) {
            try { throw new Exception("no elements."); } 
            catch (Exception e) { e.printStackTrace(); }
        }
        return a[--tail];
    }
    public int getFirst() {
        return a[head];
    }
    public int getLast() {
        return a[tail - 1];
    }
    public int size() {
        return tail - head;
    }
    public void init() {
        head = tail = 0;
    }
}